YES activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivetailconsXXSmarkXSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX2.11active111pairNs00mark111cons21112000incr121oddNs00s111take21112nil00zip22122pair21112tail1221repItems121activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons21112000incr121oddNs00s121take212122nil00zip22112pair21112repItems121tail111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s111take22112zip22122nil02pair21112repItems121tail111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsXactivepairNsmarkcons0incroddNsactivepairNscons0incroddNsactivepairNsincroddNsactiveoddNsmarkincrpairNsactiveoddNsincrpairNsactiveincrconsXXSmarkconssXincrXSactiveincrconsXXSconssXincrXSactiveincrconsXXSsXactiveincrconsXXSincrXSactivetakesNconsXXSmarkconsXtakeNXSactivetakesNconsXXSconsXtakeNXSactivetakesNconsXXStakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivezipconsXXSconsYYSconspairXYzipXSYSactivezipconsXXSconsYYSpairXYactivezipconsXXSconsYYSzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiverepItemsconsXXSconsXconsXrepItemsXSactiverepItemsconsXXSconsXrepItemsXSactiverepItemsconsXXSrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1mark0active0markincrXactiveincrmarkXmarkincrXincrmarkXmarkincrXmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarksXsmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markzipX1X2zipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2pairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXtailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXrepItemsmarkXmarkrepItemsXmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsXtruemarkconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2markzipX1X2activezipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXtrue1active111pairNs00mark111cons22112000incr121oddNs00s111take22122zip212122pair22112repItems121nil00tail121mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s121take212112zip22122pair22112repItems121nil00tail111mark111active111markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons21112000incr121oddNs00s121take21112zip22122pair21112repItems121nil00tail1121mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s121take21122zip22122pair21112repItems1221nil00tail111mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1pairNs0110001zip242pair251oddNs021tail132nil062mark11cons21active11mark11incr11s11pairNs000take22zip212pair212repItems11oddNs0tail1active11nil0markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXactiveincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2activetakesNconsXXSmarkconsXtakeNXSmarkconsX1X2markX1markincrXactiveincrmarkXactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXtrue1repItems161zip243pair252tail132pairNs0110001oddNs021nil072active11incr11cons21mark11s11mark11take22repItems11zip2pair2tail1pairNs0active1100oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2activetakesNconsXXSmarkconsXtakeNXSmarkconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1take251zip243pair262tail132pairNs0110001oddNs021nil072active11incr11cons21mark11s11mark11take22zip2pair2tail1repItems11pairNs0active1100oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1active1-221cons2-2incr12pair22repItems12s10tail12take20zip22mark12pairNs00active11000oddNs00nil00mark12activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXmarkXmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incractiveXincrXincrmarkXincrXsactiveXsXsmarkXsXtakeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailactiveXtailXtailmarkXtailXrepItemsactiveXrepItemsXrepItemsmarkXrepItemsX1cons241zip224pair252tail111pairNs0640032oddNs005nil072active11incr11cons21mark11s11mark11zip2pair2tail1repItems11pairNs0active1100oddNs0take22nil0activeincrconsXXSmarkconssXincrXSmarkincrXactiveincrmarkXmarkincrXmarkXmarksXmarkXmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXmarksXmarkXmarkincrXmarkXtrueincrmarkx0incractivex0smarkx0sactivex0marksXmarkX1true1markincrXmarkX1true1markincrXactiveincrmarkXfalsemarkzipX1X2activezipmarkX1markX2falsemarkpairX1X2activepairmarkX1markX2falsemarktailXactivetailmarkXfalsemarkrepItemsXactiverepItemsmarkXfalseactiveincrconsXXSmarkconssXincrXSfalsemarkpairNsactivepairNsfalsemarkoddNsactiveoddNsfalsemark0active0falsemarknilactivenilfalseactivepairNscons0incroddNsfalseactiveincrconsXXSconssXincrXSfalseactivetakesNconsXXSconsXtakeNXSfalseactivezipconsXXSconsYYSconspairXYzipXSYSfalseactiverepItemsconsXXSconsXconsXrepItemsXSfalseactiverepItemsconsXXSconsXrepItemsXSfalsemarkconsX1X2consmarkX1X2falseactivepairNsincroddNsfalseactiveoddNsincrpairNsfalseactiveincrconsXXSincrXSfalsemarkincrXincrmarkXfalseactiveincrconsXXSsXfalsemarksXsmarkXfalseactivetakesNconsXXStakeNXSfalsemarktakeX1X2takemarkX1markX2falseactivezipconsXXSconsYYSzipXSYSfalsemarkzipX1X2zipmarkX1markX2falseactivezipconsXXSconsYYSpairXYfalsemarkpairX1X2pairmarkX1markX2falsemarktailXtailmarkXfalseactiverepItemsconsXXSrepItemsXSfalsemarkrepItemsXrepItemsmarkXfalseconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0consX1markX2consX1X21false12true2consmarkX1X2consX1X21true12false2consactiveX1X2consX1X21true12false2consX1activeX2consX1X21false12true2incractiveXincrXincrmarkXincrXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0incractiveXincrX1true1incrmarkXincrX1true1sactiveXsXsmarkXsXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0sactiveXsX1true1smarkXsX1true1takeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0takeX1markX2takeX1X21false12true2takemarkX1X2takeX1X21true12false2takeactiveX1X2takeX1X21true12false2takeX1activeX2takeX1X21false12true2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0zipX1markX2zipX1X21false12true2zipmarkX1X2zipX1X21true12false2zipactiveX1X2zipX1X21true12false2zipX1activeX2zipX1X21false12true2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0pairX1markX2pairX1X21false12true2pairmarkX1X2pairX1X21true12false2pairactiveX1X2pairX1X21true12false2pairX1activeX2pairX1X21false12true2tailactiveXtailXtailmarkXtailXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0tailactiveXtailX1true1tailmarkXtailX1true1repItemsactiveXrepItemsXrepItemsmarkXrepItemsXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0repItemsactiveXrepItemsX1true1repItemsmarkXrepItemsX1true1AProVEAProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Statistics for single proof: 100.00 % (43 real / 0 unknown / 0 assumptions / 43 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe