activezerosmarkcons0zerosactiveandttXmarkXactivelengthnilmark0activelengthconsNLmarkslengthLactivetake0ILmarknilactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X22.1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetake0ILmarknilactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2activezerosmarkcons0zerosactivezeroscons0zerosactivelengthconsNLmarkslengthLactivelengthconsNLslengthLactivelengthconsNLlengthLactivetakesMconsNILmarkconsNtakeMILactivetakesMconsNILconsNtakeMILactivetakesMconsNILtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2markconsX1X2consmarkX1X2markconsX1X2markX1mark0active0markandX1X2activeandmarkX1X2markandX1X2andmarkX1X2markandX1X2markX1markttactivettmarklengthXactivelengthmarkXmarklengthXlengthmarkXmarklengthXmarkXmarknilactivenilmarksXactivesmarkXmarksXsmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2takemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2truemarkconsX1X2activeconsmarkX1X2activelengthconsNLmarkslengthLmarkconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosmarkandX1X2activeandmarkX1X2activetakesMconsNILmarkconsNtakeMILmarkandX1X2markX1marklengthXactivelengthmarkXmarklengthXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2markconsX1X2activeconsmarkX1X2activelengthconsNLmarkslengthLmarkconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosmarkandX1X2activeandmarkX1X2activetakesMconsNILmarkconsNtakeMILmarklengthXactivelengthmarkXmarklengthXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2marktakeX1X2markX1marktakeX1X2markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2markconsX1X2activeconsmarkX1X2activelengthconsNLmarkslengthLmarkconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosmarkandX1X2activeandmarkX1X2activetakesMconsNILmarkconsNtakeMILmarklengthXactivelengthmarkXmarklengthXmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2markconsX1X2activeconsmarkX1X2activelengthconsNLmarkslengthLmarkconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosmarkandX1X2activeandmarkX1X2activetakesMconsNILmarkconsNtakeMILmarklengthXactivelengthmarkXmarksXactivesmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2activelengthconsNLmarkslengthLmarkconsX1X2markX1markzerosactivezerosactivezerosmarkcons0zerosactivetakesMconsNILmarkconsNtakeMILmarklengthXactivelengthmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2activelengthconsNLmarkslengthLmarkconsX1X2markX1markzerosactivezerosactivetakesMconsNILmarkconsNtakeMILmarklengthXactivelengthmarkXmarksXmarkXmarktakeX1X2activetakemarkX1markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2markconsX1X2markX1marklengthXactivelengthmarkXactivelengthconsNLmarkslengthLmarksXmarkXmarktakeX1X2activetakemarkX1markX2activetakesMconsNILmarkconsNtakeMILactivezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2markconsX1X2markX1marklengthXactivelengthmarkXactivelengthconsNLmarkslengthLmarksXmarkXmarktakeX1X2activetakemarkX1markX2activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marklengthXactivelengthmarkXactivelengthconsNLmarkslengthLmarksXmarkXactivezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marklengthXactivelengthmarkX1marklengthx0activelengthx0marklengthzerosactivelengthactivezerosmarklengthconsx0x1activelengthactiveconsmarkx0x1marklength0activelengthactive0marklengthandx0x1activelengthactiveandmarkx0x1marklengthttactivelengthactivettmarklengthlengthx0activelengthactivelengthmarkx0marklengthnilactivelengthactivenilmarklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1marklength0activelengthactive01marklength0activelength0marksXmarkXmarklengthx0activelengthx0activelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthconsx0x1activelengthactiveconsmarkx0x1marklengthandx0x1activelengthactiveandmarkx0x1marklengthttactivelengthactivettmarklengthlengthx0activelengthactivelengthmarkx0marklengthnilactivelengthactivenilmarklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marklengthttactivelengthactivett1marklengthttactivelengthttmarksXmarkXmarklengthx0activelengthx0activelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthconsx0x1activelengthactiveconsmarkx0x1marklengthandx0x1activelengthactiveandmarkx0x1marklengthlengthx0activelengthactivelengthmarkx0marklengthnilactivelengthactivenilmarklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marklengthnilactivelengthactivenil1marklengthnilactivelengthnilmarksXmarkXmarklengthx0activelengthx0activelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthconsx0x1activelengthactiveconsmarkx0x1marklengthandx0x1activelengthactiveandmarkx0x1marklengthlengthx0activelengthactivelengthmarkx0marklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marksXmarkXmarklengthx0activelengthx0activelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthconsx0x1activelengthactiveconsmarkx0x1marklengthlengthx0activelengthactivelengthmarkx0marklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marksXmarkXmarklengthx0activelengthx0activelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthconsx0x1activelengthactiveconsmarkx0x1marklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marksXmarkXmarklengthx0activelengthx0activelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marksXmarkXactivelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthsx0activelengthactivesmarkx0marklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marksXmarkXactivelengthconsNLmarkslengthLmarklengthzerosactivelengthactivezerosmarklengthtakex0x1activelengthactivetakemarkx0markx1activezerosmarkcons0zerosactivelengthconsNLmarkslengthLactivetakesMconsNILmarkconsNtakeMILmarkzerosactivezerosmarkconsX1X2activeconsmarkX1X2mark0active0markandX1X2activeandmarkX1X2markttactivettmarklengthXactivelengthmarkXmarknilactivenilmarksXactivesmarkXmarktakeX1X2activetakemarkX1markX2consmarkX1X2consX1X2consX1markX2consX1X2consactiveX1X2consX1X2consX1activeX2consX1X2andmarkX1X2andX1X2andX1markX2andX1X2andactiveX1X2andX1X2andX1activeX2andX1X2lengthmarkXlengthXlengthactiveXlengthXsmarkXsXsactiveXsXtakemarkX1X2takeX1X2takeX1markX2takeX1X2takeactiveX1X2takeX1X2takeX1activeX2takeX1X2marklengthzerosmarklengthzerosactivelengthactivezerosactivelengthactivezeros11activezerosmarkcons0zerosactivelengthmarkcons0zeros1lengthmarkXlengthXactivelengthcons0zerosactivelengthconsNLmarkslengthLmarkslengthzerosmarksXmarkXmarklengthzerosAProVEunknownStatistics for single proof: 100,00 % (25 real / 0 unknown / 0 assumptions / 25 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe