/export/starexec/sandbox2/solver/bin/starexec_run_certified /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivetailconsXXSmarkXSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX2.11active111pairNs00mark111cons21112000incr121oddNs00s111take21112nil00zip22122pair21112tail1221repItems121activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons21112000incr121oddNs00s121take212122nil00zip22112pair21112repItems121tail111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s111take22112zip22122nil02pair21112repItems121tail111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsXactivepairNsmarkcons0incroddNsactivepairNscons0incroddNsactivepairNsincroddNsactiveoddNsmarkincrpairNsactiveoddNsincrpairNsactiveincrconsXXSmarkconssXincrXSactiveincrconsXXSconssXincrXSactiveincrconsXXSsXactiveincrconsXXSincrXSactivetakesNconsXXSmarkconsXtakeNXSactivetakesNconsXXSconsXtakeNXSactivetakesNconsXXStakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivezipconsXXSconsYYSconspairXYzipXSYSactivezipconsXXSconsYYSpairXYactivezipconsXXSconsYYSzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiverepItemsconsXXSconsXconsXrepItemsXSactiverepItemsconsXXSconsXrepItemsXSactiverepItemsconsXXSrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1mark0active0markincrXactiveincrmarkXmarkincrXincrmarkXmarkincrXmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarksXsmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markzipX1X2zipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2pairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXtailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXrepItemsmarkXmarkrepItemsXmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsXtruemarkconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2markzipX1X2activezipmarkX1markX2markzipX1X2markX1markzipX1X2markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXtrue1active111pairNs00mark111cons22112000incr121oddNs00s111take22122zip212122pair22112repItems121nil00tail121mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s121take212112zip22122pair22112repItems121nil00tail111mark111active111markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarktailXmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons21112000incr121oddNs00s121take21112zip22122pair21112repItems121nil00tail1121mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXmarkrepItemsXmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1active111pairNs00mark111cons22112000incr121oddNs00s121take21122zip22122pair21112repItems1221nil00tail111mark121active121markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsactivepairNsmarkcons0incroddNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsactiveoddNsmarkincrpairNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2markpairX1X2markX1markpairX1X2markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkpairNsactivepairNsmarkconsX1X2activeconsmarkX1X2mark0active0markincrXactiveincrmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2marknilactivenilmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incrmarkXincrXincractiveXincrXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailmarkXtailXtailactiveXtailXrepItemsmarkXrepItemsXrepItemsactiveXrepItemsX1pairNs0110001zip242pair251oddNs021tail132nil062mark11cons21active11mark11incr11s11pairNs000take22zip212pair212repItems11oddNs0tail1active11nil0markconsX1X2activeconsmarkX1X2activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markpairNsactivepairNsmarkincrXactiveincrmarkXactivetakesNconsXXSmarkconsXtakeNXSactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarkoddNsactiveoddNsmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXactiveincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2activetakesNconsXXSmarkconsXtakeNXSmarkconsX1X2markX1markincrXactiveincrmarkXactiverepItemsconsXXSmarkconsXconsXrepItemsXSmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXtrue1repItems161zip243pair252tail132pairNs0110001oddNs021nil072active11incr11cons21mark11s11mark11take22repItems11zip2pair2tail1pairNs0active1100oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2activetakesNconsXXSmarkconsXtakeNXSmarkconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1take251zip243pair262tail132pairNs0110001oddNs021nil072active11incr11cons21mark11s11mark11take22zip2pair2tail1repItems11pairNs0active1100oddNs0nil0activeincrconsXXSmarkconssXincrXSmarkconsX1X2activeconsmarkX1X2markconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2markzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkX1active1-221cons2-2incr12pair22repItems12s10tail12take20zip22mark12pairNs00active11000oddNs00nil00mark12activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXmarkXmarkzipX1X2activezipmarkX1markX2markpairX1X2activepairmarkX1markX2marktailXactivetailmarkXmarkrepItemsXactiverepItemsmarkXconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2incractiveXincrXincrmarkXincrXsactiveXsXsmarkXsXtakeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailactiveXtailXtailmarkXtailXrepItemsactiveXrepItemsXrepItemsmarkXrepItemsX1active1-121incr11pair2-2repItems1-2tail1-2zip2-2mark1-2pairNs00active11cons2-2000oddNs00s12take2-21nil00mark11activeincrconsXXSmarkconssXincrXSmarkconsX1X2markX1markincrXactiveincrmarkXmarkincrXmarkXmarksXmarkXincractiveXincrXincrmarkXincrXzipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2tailactiveXtailXtailmarkXtailXrepItemsactiveXrepItemsXrepItemsmarkXrepItemsX1active11incr1121mark121pairNs00active11cons221000oddNs02s11take22122zip2-2pair20repItems121nil01tail12mark121markconsX1X2markX1marksXmarkXconsmarkx0x1consx0markx1consactivex0x1consx0activex1smarkx0sactivex0markconsX1X2markX11true1marksXmarkX1true1markpairNsactivepairNsfalsemarkoddNsactiveoddNsfalsemark0active0falsemarknilactivenilfalseactivepairNscons0incroddNsfalseactiveincrconsXXSconssXincrXSfalseactivetakesNconsXXSconsXtakeNXSfalseactivezipconsXXSconsYYSconspairXYzipXSYSfalseactiverepItemsconsXXSconsXconsXrepItemsXSfalseactiverepItemsconsXXSconsXrepItemsXSfalsemarkconsX1X2consmarkX1X2falseactivepairNsincroddNsfalseactiveoddNsincrpairNsfalseactiveincrconsXXSincrXSfalsemarkincrXincrmarkXfalseactiveincrconsXXSsXfalsemarksXsmarkXfalseactivetakesNconsXXStakeNXSfalsemarktakeX1X2takemarkX1markX2falseactivezipconsXXSconsYYSzipXSYSfalsemarkzipX1X2zipmarkX1markX2falseactivezipconsXXSconsYYSpairXYfalsemarkpairX1X2pairmarkX1markX2falsemarktailXtailmarkXfalseactiverepItemsconsXXSrepItemsXSfalsemarkrepItemsXrepItemsmarkXfalseconsX1markX2consX1X2consmarkX1X2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0consX1markX2consX1X21false12true2consmarkX1X2consX1X21true12false2consactiveX1X2consX1X21true12false2consX1activeX2consX1X21false12true2incractiveXincrXincrmarkXincrXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0incractiveXincrX1true1incrmarkXincrX1true1sactiveXsXsmarkXsXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0sactiveXsX1true1smarkXsX1true1takeX1markX2takeX1X2takemarkX1X2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0takeX1markX2takeX1X21false12true2takemarkX1X2takeX1X21true12false2takeactiveX1X2takeX1X21true12false2takeX1activeX2takeX1X21false12true2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipactiveX1X2zipX1X2zipX1activeX2zipX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0zipX1markX2zipX1X21false12true2zipmarkX1X2zipX1X21true12false2zipactiveX1X2zipX1X21true12false2zipX1activeX2zipX1X21false12true2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairactiveX1X2pairX1X2pairX1activeX2pairX1X2trueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0pairX1markX2pairX1X21false12true2pairmarkX1X2pairX1X21true12false2pairactiveX1X2pairX1X21true12false2pairX1activeX2pairX1X21false12true2tailactiveXtailXtailmarkXtailXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0tailactiveXtailX1true1tailmarkXtailX1true1repItemsactiveXrepItemsXrepItemsmarkXrepItemsXtrueactivepairNsactiveoddNsactiveincrconsx0x1activetake0x0activetakesx0consx1x2activezipnilx0activezipx0nilactivezipconsx0x1consx2x3activetailconsx0x1activerepItemsnilactiverepItemsconsx0x1markpairNsmarkconsx0x1mark0markincrx0markoddNsmarksx0marktakex0x1marknilmarkzipx0x1markpairx0x1marktailx0markrepItemsx0repItemsactiveXrepItemsX1true1repItemsmarkXrepItemsX1true1AProVEAProVE Commit ID: c69e44bd14796315568835c1ffa2502984884775 mhark 20210624 unpublished Statistics for single proof: 100.00 % (43 real / 0 unknown / 0 assumptions / 43 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe