activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivetailconsXXSmarkXSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX2.11active111pairNs00mark111cons21112000incr121oddNs00s111take21112nil00zip22122pair21112tail1221repItems121activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons21112000incr121oddNs00s121take212122nil00zip22112pair21112repItems121tail111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s111take22112zip22122nil02pair21112repItems121tail111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsXactivepairNsmarkcons0incroddNsactivepairNscons0incroddNsactivepairNsincroddNsactiveoddNsmarkincrpairNsactiveoddNsincrpairNsactiveincrconsXXSmarkconssXincrXSactiveincrconsXXSconssXincrXSactiveincrconsXXSsXactiveincrconsXXSincrXSactivetakesNconsXXSmarkconsXtakeNXSactivetakesNconsXXSconsXtakeNXSactivetakesNconsXXStakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivezipconsXXSconsYYSconspairXYzipXSYSactivezipconsXXSconsYYSpairXYactivezipconsXXSconsYYSzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiverepItemsconsXXSconsXconsXrepItemsXSactiverepItemsconsXXSconsXrepItemsXSactiverepItemsconsXXSrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1mark0active0markincrXactiveincrmarkXmarkincrXincrmarkXmarkincrXmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarksXsmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markzipX1X2zipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2pairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXtailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXrepItemsmarkXmarkrepItemsXmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsXtruemarkconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXactivezipconsXXSconsYYSmarkconspairXYzipXSYSmarksXmarkXmarktakeX1X2activetakemarkX1markX2activerepItemsconsXXSmarkconsXconsXrepItemsXSmarktakeX1X2markX1marktakeX1X2markX2markzipX1X2activezipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXtrue1active111pairNs00mark111cons21112000incr111oddNs00s111take221112zip21122pair21112repItems121nil00tail121mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXactivezipconsXXSconsYYSmarkconspairXYzipXSYSmarksXmarkXmarktakeX1X2activetakemarkX1markX2activerepItemsconsXXSmarkconsXconsXrepItemsXSmarkzipX1X2activezipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons21112000incr121oddNs00s111take21112zip22122pair21122repItems121nil00tail1211mark111active111markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXactivezipconsXXSconsYYSmarkconspairXYzipXSYSmarksXmarkXmarktakeX1X2activetakemarkX1markX2activerepItemsconsXXSmarkconsXconsXrepItemsXSmarkzipX1X2activezipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr111oddNs00s111take22112zip222122pair22122repItems121nil00tail121mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXactivezipconsXXSconsYYSmarkconspairXYzipXSYSmarksXmarkXmarktakeX1X2activetakemarkX1markX2activerepItemsconsXXSmarkconsXconsXrepItemsXSmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s111take21122zip22122pair22112repItems1121nil00tail121mark111active111markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXactivezipconsXXSconsYYSmarkconspairXYzipXSYSmarksXmarkXmarktakeX1X2activetakemarkX1markX2activerepItemsconsXXSmarkconsXconsXrepItemsXSmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1pairNs0110001oddNs021zip242pair251tail132nil062mark11cons21active11mark11incr11s11pairNs000take22oddNs0zip212pair212repItems11tail1active11nil0markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSmarkincrXmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2activerepItemsconsXXSmarkconsXconsXrepItemsXSmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXactiveincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2activetakesNconsXXSmarkconsXtakeNXSmarkconsX1X2markX1markincrXactiveincrmarkXactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXtrue1repItems161zip243pair252tail132pairNs0110001oddNs021nil072active11incr11cons21mark11s11mark11take22repItems11zip2pair2tail1active11pairNs000oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2activetakesNconsXXSmarkconsXtakeNXSmarkconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1take251zip243pair262tail132pairNs0110001oddNs021nil072active11incr11cons21mark11s11mark11take22zip2pair2tail1repItems11active11pairNs000oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1cons241zip224pair252tail111pairNs0640032oddNs005nil072active11incr11cons21mark11s11mark11take22zip2pair2tail1repItems11active11pairNs000oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1active1-121mark11cons2-2s1-2active12mark1-2incr11pair20repItems1-2tail1-2take2-2zip20pairNs00000oddNs00nil00activeincrconsXXSmarkconssXincrXSmarkincrXactiveincrmarkXmarkincrXmarkXmarksXmarkXsactiveXsXsmarkXsXincractiveXincrXincrmarkXincrXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2takeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailactiveXtailXtailmarkXtailXrepItemsactiveXrepItemsXrepItemsmarkXrepItemsX1active111cons201incr121active1mark11cons2incr11s11marksXmarkXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X21s111mark111marksXmarkXmarksXmarkX1true1markpairNsactivepairNsfalsemarkoddNsactiveoddNsfalsemark0active0falsemarknilactivenilfalseactivepairNscons0incroddNsfalseactiveincrconsXXSconssXincrXSfalseactivetakesNconsXXSconsXtakeNXSfalseactivezipconsXXSconsYYSconspairXYzipXSYSfalseactiverepItemsconsXXSconsXconsXrepItemsXSfalseactiverepItemsconsXXSconsXrepItemsXSfalsemarkconsX1X2consmarkX1X2falseactivepairNsincroddNsfalseactiveoddNsincrpairNsfalseactiveincrconsXXSincrXSfalsemarkincrXincrmarkXfalseactiveincrconsXXSsXfalsemarksXsmarkXfalseactivetakesNconsXXStakeNXSfalsemarktakeX1X2takemarkX1markX2falseactivezipconsXXSconsYYSzipXSYSfalsemarkzipX1X2zipmarkX1markX2falseactivezipconsXXSconsYYSpairXYfalsemarkpairX1X2pairmarkX1markX2falsemarktailXtailmarkXfalseactiverepItemsconsXXSrepItemsXSfalsemarkrepItemsXrepItemsmarkXfalseconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2true1mark111active111cons21112consX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2consX1markX2consX1X21false12true2consmarkX1X2consX1X21true12false2consactiveX1X2consX1X21true12false2consX1activeX2consX1X21false12true2incractiveXincrXincrmarkXincrXtrue1active111mark111incr111incractiveXincrXincrmarkXincrXincractiveXincrX1true1incrmarkXincrX1true1sactiveXsXsmarkXsXtrue1active111mark111s111sactiveXsXsmarkXsXsactiveXsX1true1smarkXsX1true1takeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2true1mark111active111take21112takeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2takeX1markX2takeX1X21false12true2takemarkX1X2takeX1X21true12false2takeactiveX1X2takeX1X21true12false2takeX1activeX2takeX1X21false12true2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2true1mark111active111zip21112zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2zipX1markX2zipX1X21false12true2zipmarkX1X2zipX1X21true12false2zipactiveX1X2zipX1X21true12false2zipX1activeX2zipX1X21false12true2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2true1mark111active111pair21112pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2pairX1markX2pairX1X21false12true2pairmarkX1X2pairX1X21true12false2pairactiveX1X2pairX1X21true12false2pairX1activeX2pairX1X21false12true2tailactiveXtailXtailmarkXtailXtrue1active111mark111tail111tailactiveXtailXtailmarkXtailXtailactiveXtailX1true1tailmarkXtailX1true1repItemsactiveXrepItemsXrepItemsmarkXrepItemsXtrue1active111mark111repItems111repItemsactiveXrepItemsXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1true1repItemsmarkXrepItemsX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (34 real / 0 unknown / 0 assumptions / 34 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe