zeroscons0U11ttttU21ttttU31ttttU41ttU42isNatIListU42ttttU51ttU52isNatListU52ttttU61ttU62isNatisNatttisNatU11isNatListisNatU21isNatisNatIListU31isNatListisNatIListttisNatIListU41isNatisNatListttisNatListU51isNatlengthnil0lengthconsNU61isNatListU62ttslengthL2.1isNatisNatU21isNatU21isNatU21AProVEunknownStatistics for single proof: 100,00 % (1 real / 0 unknown / 0 assumptions / 1 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe