zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthnil0lengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXX2.1zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXXU11ttLU12ttactivateLU11ttLactivateLU12ttLlengthactivateLU12ttLactivateLlengthconsNLU11ttactivateLlengthconsNLactivateLactivaten__zeroszerostrueU12ttLlengthactivateLlengthconsNLU11ttactivateLU11ttLU12ttactivateLzeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLlengthconsNLU11ttactivateLzerosn__zerosactivaten__zeroszerosactivateXXU12ttLlengthactivateLlengthconsNLU11ttactivateLU11ttLU12ttactivateLactivaten__zeroszerosactivateXXzeroscons0n__zeroszerosn__zerosU12ttLlengthactivateL1U12ttn__zeroslengthzerosU12ttx0lengthx0U12ttn__zeroslengthzeros1U12ttn__zeroslengthcons0n__zerosU12ttn__zeroslengthn__zerosU11ttLU12ttactivateLU12ttx0lengthx0lengthconsNLU11ttactivateLU12ttn__zeroslengthcons0n__zerosactivaten__zeroszerosactivateXXzeroscons0n__zeroszerosn__zerosU12ttactivateactivaten__zeros2activateXXU12ttactivaten__zeros2activateXXU12ttn__zerosU12ttn__zeroslengthcons0n__zeroslengthcons0n__zeroslengthconsNL'U11ttactivateL'U11ttactivaten__zerosU11ttLU12ttactivateLU12ttactivateactivaten__zerosAProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (8 real / 0 unknown / 0 assumptions / 8 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe