revnilnilrev.xy++revy.xnilcar.xyxcdr.xyynullniltruenull.xyfalse++nilyy++.xyz.x++yztrue0.2nil0false0rev1car1cdr1null1++222.1revnilnilrevnilcrev.z0z1++revz1.z0nilrev.z0z1c1++revz1.z0nilrevz1car.z0z1z0car.z0z1c2cdr.z0z1z1cdr.z0z1c3nullniltruenullnilc4null.z0z1falsenull.z0z1c5++nilz0z0++nilz0c6++.z0z1z2.z0++z1z2++.z0z1z2c7++z1z2revnilrev.z0z1car.z0z1cdr.z0z1nullnilnull.z0z1++nilz0++.z0z1z2car.z0z1z0cdr.z0z1z1nullniltruenull.z0z1false1c00c1211012c200c300c400c500c600c71110rev1421++2120rev11car1531cdr1231null1110++20nil01.2120revnilccar.z0z1c2cdr.z0z1c3nullnilc4revnilcrev.z0z1c1++revz1.z0nilrevz1car.z0z1c2cdr.z0z1c3nullnilc4null.z0z1c5++nilz0c6++.z0z1z2c7++z1z21c00c1211012c200c300c400c500c600c71110rev14++2242rev10car10cdr10null1141++2520nil00.20null.z0z1c5revnilcrev.z0z1c1++revz1.z0nilrevz1car.z0z1c2cdr.z0z1c3nullnilc4null.z0z1c5++nilz0c6++.z0z1z2c7++z1z21c00c1211012c200c300c400c500c600c71110rev1310++20rev1510car10cdr10null10++2422nil02.2412rev.z0z1c1++revz1.z0nilrevz1++nilz0c6revnilcrev.z0z1c1++revz1.z0nilrevz1car.z0z1c2cdr.z0z1c3nullnilc4null.z0z1c5++nilz0c6++.z0z1z2c7++z1z22c00c1211012c200c300c400c500c600c71110rev1110++211012rev1210311car10cdr10null10++211012nil00.2112++.z0z1z2c7++z1z2revnilcrev.z0z1c1++revz1.z0nilrevz1car.z0z1c2cdr.z0z1c3nullnilc4null.z0z1c5++nilz0c6++.z0z1z2c7++z1z2rev.z0z1++revz1.z0nil++.z0z1z2.z0++z1z2revnilnil++nilz0z0AProVEAProVE Commit ID: 156c86b7b11a18d2b8755c546857c69058ce23a8 ffrohn 20150901
Statistics for single proof: 100,00 % (7 real / 0 unknown / 0 assumptions / 7 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe