NO U72ttslengthLU93ttconsNzeroscons0U11ttttU21ttttU31ttttU41ttU42isNatIListU42ttttU51ttU52isNatListU52ttttU61ttU62isNatIListU62ttttU71ttU72isNatU81ttnilU91ttU92isNatU92ttU93isNatisNatttisNatU11isNatListisNatU21isNatisNatIListU31isNatListisNatIListttisNatIListU41isNatisNatListttisNatListU51isNatisNatListU61isNatlengthnil0lengthconsNU71isNatListtake0ILU81isNatIListtakesMconsNU91isNatIList2.1U72ttU72ttslengthLslengthU72ttslengthAProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe