revnilnilrev.xy++revy.xnilcar.xyxcdr.xyynullniltruenull.xyfalse++nilyy++.xyz.x++yz2.11rev121nil00.22112++21112car121cdr121null1121true01false00revnilnilrev.xy++revy.xnilcar.xyxcdr.xyynullniltrue++nilyy++.xyz.x++yz1rev121nil00.22112++21112car121cdr1121null1221true02revnilnilrev.xy++revy.xnilcar.xyxnullniltrue++nilyy++.xyz.x++yz1rev121nil00.22112++21112car1121null1221true02revnilnilrev.xy++revy.xnilnullniltrue++nilyy++.xyz.x++yz1rev121nil00.22112++21112null1121true00revnilnilrev.xy++revy.xnil++nilyy++.xyz.x++yz1rev1221nil00.22112++21122rev.xy++revy.xnil++nilyy++.xyz.x++yz1rev121.222112++21112nil02rev.xy++revy.xnil++.xyz.x++yz1rev121.222112++21112nil00++.xyz.x++yz1.200++210AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (9 real / 0 unknown / 0 assumptions / 9 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe