activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactivetailconsXXSmarkXSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2pairmarkX1X2markpairX1X2pairX1markX2markpairX1X2tailmarkXmarktailXrepItemsmarkXmarkrepItemsXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXtakeokX1okX2oktakeX1X2zipokX1okX2okzipX1X2pairokX1okX2okpairX1X2tailokXoktailXrepItemsokXokrepItemsXtopmarkXtopproperXtopokXtopactiveX2.11active111pairNs00mark111cons22112000incr121oddNs00s111take22122nil00zip22122pair22122tail1211repItems121proper111ok111top111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipnilXSmarknilactivezipXnilmarknilactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2pairmarkX1X2markpairX1X2pairX1markX2markpairX1X2tailmarkXmarktailXrepItemsmarkXmarkrepItemsXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXtakeokX1okX2oktakeX1X2zipokX1okX2okzipX1X2pairokX1okX2okpairX1X2tailokXoktailXrepItemsokXokrepItemsXtopmarkXtopproperXtopokXtopactiveX1active111pairNs00mark111cons22112000incr121oddNs00s111take22112nil00zip211122pair21122repItems121tail121proper111ok111top111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetake0XSmarknilactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2pairmarkX1X2markpairX1X2pairX1markX2markpairX1X2tailmarkXmarktailXrepItemsmarkXmarkrepItemsXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXtakeokX1okX2oktakeX1X2zipokX1okX2okzipX1X2pairokX1okX2okpairX1X2tailokXoktailXrepItemsokXokrepItemsXtopmarkXtopproperXtopokXtopactiveX1active111pairNs00mark111cons22112000incr111oddNs00s111take221112nil00zip22122pair22122repItems121tail111proper111ok111top111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsnilmarknilactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2pairmarkX1X2markpairX1X2pairX1markX2markpairX1X2tailmarkXmarktailXrepItemsmarkXmarkrepItemsXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXtakeokX1okX2oktakeX1X2zipokX1okX2okzipX1X2pairokX1okX2okpairX1X2tailokXoktailXrepItemsokXokrepItemsXtopmarkXtopproperXtopokXtopactiveX1active111pairNs00mark111cons22112000incr111oddNs00s111take22112zip22122pair21122repItems121nil02tail121proper111ok111top111activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXconsmarkX1X2markconsX1X2incrmarkXmarkincrXsmarkXmarksXtakemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2pairmarkX1X2markpairX1X2pairX1markX2markpairX1X2tailmarkXmarktailXrepItemsmarkXmarkrepItemsXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXconsokX1okX2okconsX1X2incrokXokincrXsokXoksXtakeokX1okX2oktakeX1X2zipokX1okX2okzipX1X2pairokX1okX2okpairX1X2tailokXoktailXrepItemsokXokrepItemsXtopmarkXtopproperXtopokXtopactiveXactivepairNscons0incroddNsactivepairNsincroddNsactiveoddNsincrpairNsactiveincrconsXXSconssXincrXSactiveincrconsXXSsXactiveincrconsXXSincrXSactivetakesNconsXXSconsXtakeNXSactivetakesNconsXXStakeNXSactivezipconsXXSconsYYSconspairXYzipXSYSactivezipconsXXSconsYYSpairXYactivezipconsXXSconsYYSzipXSYSactiverepItemsconsXXSconsXconsXrepItemsXSactiverepItemsconsXXSconsXrepItemsXSactiverepItemsconsXXSrepItemsXSactiveconsX1X2consactiveX1X2activeconsX1X2activeX1activeincrXincractiveXactiveincrXactiveXactivesXsactiveXactivesXactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2activeX1activetakeX1X2takeX1activeX2activetakeX1X2activeX2activezipX1X2zipactiveX1X2activezipX1X2activeX1activezipX1X2zipX1activeX2activezipX1X2activeX2activepairX1X2pairactiveX1X2activepairX1X2activeX1activepairX1X2pairX1activeX2activepairX1X2activeX2activetailXtailactiveXactivetailXactiveXactiverepItemsXrepItemsactiveXactiverepItemsXactiveXconsmarkX1X2consX1X2incrmarkXincrXsmarkXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2zipmarkX1X2zipX1X2zipX1markX2zipX1X2pairmarkX1X2pairX1X2pairX1markX2pairX1X2tailmarkXtailXrepItemsmarkXrepItemsXproperconsX1X2consproperX1properX2properconsX1X2properX1properconsX1X2properX2properincrXincrproperXproperincrXproperXpropersXsproperXpropersXproperXpropertakeX1X2takeproperX1properX2propertakeX1X2properX1propertakeX1X2properX2properzipX1X2zipproperX1properX2properzipX1X2properX1properzipX1X2properX2properpairX1X2pairproperX1properX2properpairX1X2properX1properpairX1X2properX2propertailXtailproperXpropertailXproperXproperrepItemsXrepItemsproperXproperrepItemsXproperXconsokX1okX2consX1X2incrokXincrXsokXsXtakeokX1okX2takeX1X2zipokX1okX2zipX1X2pairokX1okX2pairX1X2tailokXtailXrepItemsokXrepItemsXtopmarkXtopproperXtopmarkXproperXtopokXtopactiveXtopokXactiveXtruetopokXtopactiveXtopmarkXtopproperXtrue1proper111pairNs00ok111cons22112000incr121oddNs00s121take21122nil00zip22122pair22112tail111repItems121mark111active111top111topokXtopactiveXtopmarkXtopproperXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXrepItemsmarkXmarkrepItemsXrepItemsokXokrepItemsXtailmarkXmarktailXtailokXoktailXpairmarkX1X2markpairX1X2pairX1markX2markpairX1X2pairokX1okX2okpairX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2zipokX1okX2okzipX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2takeokX1okX2oktakeX1X2smarkXmarksXsokXoksXincrmarkXmarkincrXincrokXokincrXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXproperpairNsokpairNsproperconsX1X2consproperX1properX2proper0ok0properincrXincrproperXproperoddNsokoddNspropersXsproperXpropertakeX1X2takeproperX1properX2properniloknilproperzipX1X2zipproperX1properX2properpairX1X2pairproperX1properX2propertailXtailproperXproperrepItemsXrepItemsproperXrepItemsmarkXmarkrepItemsXrepItemsokXokrepItemsXtailmarkXmarktailXtailokXoktailXpairmarkX1X2markpairX1X2pairX1markX2markpairX1X2pairokX1okX2okpairX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2zipokX1okX2okzipX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2takeokX1okX2oktakeX1X2smarkXmarksXsokXoksXincrmarkXmarkincrXincrokXokincrXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXtop10mark11pairNs03002incr11oddNs04take25zip27pair26repItems18tail11nil09top11ok11active11mark11proper11pairNs0cons2100incr11oddNs0s11take212zip212pair221repItems11tail11nil0topokXtopactiveX1active111pairNs00mark111cons21112000incr121oddNs00s121take22112zip22112pair21112repItems121tail121ok121top111topokXtopactiveXactivepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXrepItemsmarkXmarkrepItemsXrepItemsokXokrepItemsXtailmarkXmarktailXtailokXoktailXpairmarkX1X2markpairX1X2pairX1markX2markpairX1X2pairokX1okX2okpairX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2zipokX1okX2okzipX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2takeokX1okX2oktakeX1X2smarkXmarksXsokXoksXincrmarkXmarkincrXincrokXokincrXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X2activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactivezipconsXXSconsYYSmarkconspairXYzipXSYSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activezipX1X2zipactiveX1X2activezipX1X2zipX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXrepItemsmarkXmarkrepItemsXrepItemsokXokrepItemsXtailmarkXmarktailXtailokXoktailXpairmarkX1X2markpairX1X2pairX1markX2markpairX1X2pairokX1okX2okpairX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2zipokX1okX2okzipX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2takeokX1okX2oktakeX1X2smarkXmarksXsokXoksXincrmarkXmarkincrXincrokXokincrXconsmarkX1X2markconsX1X2consokX1okX2okconsX1X21active121pairNs00mark111cons22112000incr121oddNs00s121take22122zip211122pair22122repItems121tail121ok1121top121activepairNsmarkcons0incroddNsactiveoddNsmarkincrpairNsactiveincrconsXXSmarkconssXincrXSactivetakesNconsXXSmarkconsXtakeNXSactiverepItemsconsXXSmarkconsXconsXrepItemsXSactiveconsX1X2consactiveX1X2activeincrXincractiveXactivesXsactiveXactivetakeX1X2takeactiveX1X2activetakeX1X2takeX1activeX2activepairX1X2pairactiveX1X2activepairX1X2pairX1activeX2activetailXtailactiveXactiverepItemsXrepItemsactiveXrepItemsmarkXmarkrepItemsXtailmarkXmarktailXpairmarkX1X2markpairX1X2pairX1markX2markpairX1X2zipmarkX1X2markzipX1X2zipX1markX2markzipX1X2takemarkX1X2marktakeX1X2takeX1markX2marktakeX1X2smarkXmarksXincrmarkXmarkincrXconsmarkX1X2markconsX1X2topokXactiveXfalsetopmarkXproperXfalseactiveincrXactiveXactiveconsX1X2activeX1activesXactiveXactivetakeX1X2activeX1activetakeX1X2activeX2activezipX1X2activeX1activezipX1X2activeX2activepairX1X2activeX1activepairX1X2activeX2activetailXactiveXactiverepItemsXactiveXtrue1incr111cons21112s111take21112zip21112pair21112tail111repItems111active111activeincrXactiveXactiveconsX1X2activeX1activesXactiveXactivetakeX1X2activeX1activetakeX1X2activeX2activezipX1X2activeX1activezipX1X2activeX2activepairX1X2activeX1activepairX1X2activeX2activetailXactiveXactiverepItemsXactiveXactiveincrXactiveX1true1activeconsX1X2activeX11true1activesXactiveX1true1activetakeX1X2activeX11true1activetakeX1X2activeX21true1activezipX1X2activeX11true1activezipX1X2activeX21true1activepairX1X2activeX11true1activepairX1X2activeX21true1activetailXactiveX1true1activerepItemsXactiveX1true1properconsX1X2properX2properconsX1X2properX1properincrXproperXpropersXproperXpropertakeX1X2properX1propertakeX1X2properX2properzipX1X2properX1properzipX1X2properX2properpairX1X2properX1properpairX1X2properX2propertailXproperXproperrepItemsXproperXtrue1cons21112incr111s111take21112zip21112pair21112tail111repItems111proper111properconsX1X2properX2properconsX1X2properX1properincrXproperXpropersXproperXpropertakeX1X2properX1propertakeX1X2properX2properzipX1X2properX1properzipX1X2properX2properpairX1X2properX1properpairX1X2properX2propertailXproperXproperrepItemsXproperXproperconsX1X2properX21true1properconsX1X2properX11true1properincrXproperX1true1propersXproperX1true1propertakeX1X2properX11true1propertakeX1X2properX21true1properzipX1X2properX11true1properzipX1X2properX21true1properpairX1X2properX11true1properpairX1X2properX21true1propertailXproperX1true1properrepItemsXproperX1true1activepairNscons0incroddNsfalseactiveincrconsXXSconssXincrXSfalseactivetakesNconsXXSconsXtakeNXSfalseactivezipconsXXSconsYYSconspairXYzipXSYSfalseactiverepItemsconsXXSconsXconsXrepItemsXSfalseactiverepItemsconsXXSconsXrepItemsXSfalseactiveconsX1X2consactiveX1X2falseproperconsX1X2consproperX1properX2falseactivepairNsincroddNsfalseactiveoddNsincrpairNsfalseactiveincrconsXXSincrXSfalseactiveincrXincractiveXfalseproperincrXincrproperXfalseactiveincrconsXXSsXfalseactivesXsactiveXfalsepropersXsproperXfalseactivetakesNconsXXStakeNXSfalseactivetakeX1X2takeactiveX1X2falseactivetakeX1X2takeX1activeX2falsepropertakeX1X2takeproperX1properX2falseactivezipconsXXSconsYYSzipXSYSfalseactivezipX1X2zipactiveX1X2falseactivezipX1X2zipX1activeX2falseproperzipX1X2zipproperX1properX2falseactivezipconsXXSconsYYSpairXYfalseactivepairX1X2pairactiveX1X2falseactivepairX1X2pairX1activeX2falseproperpairX1X2pairproperX1properX2falseactivetailXtailactiveXfalsepropertailXtailproperXfalseactiverepItemsconsXXSrepItemsXSfalseactiverepItemsXrepItemsactiveXfalseproperrepItemsXrepItemsproperXfalseconsokX1okX2consX1X2consmarkX1X2consX1X2true1ok111mark111cons21112consokX1okX2consX1X2consmarkX1X2consX1X2consokX1okX2consX1X21true12true2consmarkX1X2consX1X21true12false2incrokXincrXincrmarkXincrXtrue1ok111mark111incr111incrokXincrXincrmarkXincrXincrokXincrX1true1incrmarkXincrX1true1sokXsXsmarkXsXtrue1ok111mark111s111sokXsXsmarkXsXsokXsX1true1smarkXsX1true1takeX1markX2takeX1X2takemarkX1X2takeX1X2takeokX1okX2takeX1X2true1mark111ok111take21112takeX1markX2takeX1X2takemarkX1X2takeX1X2takeokX1okX2takeX1X2takeX1markX2takeX1X21false12true2takemarkX1X2takeX1X21true12false2takeokX1okX2takeX1X21true12true2zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipokX1okX2zipX1X2true1mark111ok111zip21112zipX1markX2zipX1X2zipmarkX1X2zipX1X2zipokX1okX2zipX1X2zipX1markX2zipX1X21false12true2zipmarkX1X2zipX1X21true12false2zipokX1okX2zipX1X21true12true2pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairokX1okX2pairX1X2true1mark111ok111pair21112pairX1markX2pairX1X2pairmarkX1X2pairX1X2pairokX1okX2pairX1X2pairX1markX2pairX1X21false12true2pairmarkX1X2pairX1X21true12false2pairokX1okX2pairX1X21true12true2tailokXtailXtailmarkXtailXtrue1ok111mark111tail111tailokXtailXtailmarkXtailXtailokXtailX1true1tailmarkXtailX1true1repItemsokXrepItemsXrepItemsmarkXrepItemsXtrue1ok111mark111repItems111repItemsokXrepItemsXrepItemsmarkXrepItemsXrepItemsokXrepItemsX1true1repItemsmarkXrepItemsX1true1AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (31 real / 0 unknown / 0 assumptions / 31 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe