zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthnil0lengthconsNLU11ttactivateLtake0ILniltakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXX1take211120nil00n__take211120U234211213440U224411213440U214411213440s1110length1112U12241122activate1110U11241122tt00cons241120n__zeros00000zeros00zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthconsNLU11ttactivateLtake0ILniltakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXX1take211121nil00n__take211121U234111213140U224111213140U214111213140s1110length1414U12221422activate1110U11221422tt01cons211120n__zeros00000zeros00zeroscons0n__zerosU11ttLU12ttactivateLU12ttLslengthactivateLU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILlengthconsNLU11ttactivateLtakesMconsNILU21ttactivateILMNzerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXU11ttLactivateLU11ttLU12ttactivateLU12ttLactivateLU12ttLlengthactivateLU21ttILMNactivateNU21ttILMNactivateMU21ttILMNactivateILU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNactivateNU22ttILMNactivateMU22ttILMNactivateILU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNactivateILU23ttILMNactivateMU23ttILMNactivateNlengthconsNLactivateLlengthconsNLU11ttactivateLtakesMconsNILactivateILtakesMconsNILU21ttactivateILMNactivaten__zeroszerosactivaten__takeX1X2takeX1X2truelengthconsNLU11ttactivateLU11ttLU12ttactivateLU12ttLlengthactivateLtrue1length1814U12241820U11231821take211120n__take211120U2341311213142U2248112103147U21421121031413s112115activate1110tt01cons211120n__zeros00000zeros00lengthconsNLU11ttactivateLU11ttLU12ttactivateLU12ttLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostakesMconsNILU21ttactivateILMNtakeX1X2n__takeX1X2U21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostakesMconsNILU21ttactivateILMNtakeX1X2n__takeX1X2U21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateIL1length1110U122411020U112211020take231220n__take231220U234111213147U224211283447U2148112103847s16115activate1110tt00cons2511220n__zeros00000zeros00lengthconsNLU11ttactivateLU11ttLU12ttactivateLU12ttLlengthactivateLactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostakeX1X2n__takeX1X2U21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateN1length1110U12221220U11281420take221824n__take211424activate1210tt00cons221820n__zeros00000zeros00lengthconsNLU11ttactivateLU11ttLU12ttactivateLU12ttLlengthactivateLactivaten__zeroszerosactivateXXzeroscons0n__zeroszerosn__zerostakeX1X2n__takeX1X2activaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostakeX1X2n__takeX1X2U12ttLactivateLfalseU11ttLactivateLfalselengthconsNLactivateLfalsetakesMconsNILU21ttactivateILMNU21ttILMNactivateNactivaten__takeX1X2takeX1X2takesMconsNILactivateILU21ttILMNactivateMU21ttILMNactivateILU21ttILMNU22ttactivateILactivateMactivateNU22ttILMNactivateNU22ttILMNactivateMU22ttILMNactivateILU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNactivateILU23ttILMNactivateMU23ttILMNactivateNtrue1take241120U234011213144U224111213140U214211223140activate1110take241220n__take241220U234012243140U224012243140U214312243144s1114activate1110tt04cons211120n__zeros02000zeros02activaten__takeX1X2takeX1X2U22ttILMNU23ttactivateILactivateMactivateNactivaten__zeroszerosactivaten__takeX1X2takeX1X2activateXXzeroscons0n__zeroszerosn__zerostakesMconsNILU21ttactivateILMNtakeX1X2n__takeX1X2U21ttILMNU22ttactivateILactivateMactivateNU22ttILMNU23ttactivateILactivateMactivateNU23ttILMNconsactivateNn__takeactivateMactivateILactivaten__takeX1X2takeX1X2falseU22ttILMNU23ttactivateILactivateMactivateNfalseactivaten__zeroszerosfalse