activeprimesmarksievefromss0activefromXmarkconsXfromsXactiveheadconsXYmarkXactivetailconsXYmarkYactiveiftrueXYmarkXactiveiffalseXYmarkYactivefilterssXconsYZmarkifdividesssXYfilterssXZconsYfilterXsieveYactivesieveconsXYmarkconsXfilterXsieveYactivesieveXsieveactiveXactivefromXfromactiveXactivesXsactiveXactiveconsX1X2consactiveX1X2activeheadXheadactiveXactivetailXtailactiveXactiveifX1X2X3ifactiveX1X2X3activefilterX1X2filteractiveX1X2activefilterX1X2filterX1activeX2activedividesX1X2dividesactiveX1X2activedividesX1X2dividesX1activeX2sievemarkXmarksieveXfrommarkXmarkfromXsmarkXmarksXconsmarkX1X2markconsX1X2headmarkXmarkheadXtailmarkXmarktailXifmarkX1X2X3markifX1X2X3filtermarkX1X2markfilterX1X2filterX1markX2markfilterX1X2dividesmarkX1X2markdividesX1X2dividesX1markX2markdividesX1X2properprimesokprimespropersieveXsieveproperXproperfromXfromproperXpropersXsproperXproper0ok0properconsX1X2consproperX1properX2properheadXheadproperXpropertailXtailproperXproperifX1X2X3ifproperX1properX2properX3propertrueoktrueproperfalseokfalseproperfilterX1X2filterproperX1properX2properdividesX1X2dividesproperX1properX2sieveokXoksieveXfromokXokfromXsokXoksXconsokX1okX2okconsX1X2headokXokheadXtailokXoktailXifokX1okX2okX3okifX1X2X3filterokX1okX2okfilterX1X2dividesokX1okX2okdividesX1X2topmarkXtopproperXtopokXtopactiveXactiveprimess0activeprimesss0activeprimesfromss0activeprimessievefromss0activefromXsXactivefromXfromsXactivefromXconsXfromsXactivefilterssXconsYZsieveYactivefilterssXconsYZfilterXsieveYactivefilterssXconsYZconsYfilterXsieveYactivefilterssXconsYZfilterssXZactivefilterssXconsYZdividesssXYactivefilterssXconsYZifdividesssXYfilterssXZconsYfilterXsieveYactivesieveconsXYsieveYactivesieveconsXYfilterXsieveYactivesieveconsXYconsXfilterXsieveYactivesieveXactiveXactivesieveXsieveactiveXactivefromXactiveXactivefromXfromactiveXactivesXactiveXactivesXsactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeheadXactiveXactiveheadXheadactiveXactivetailXactiveXactivetailXtailactiveXactiveifX1X2X3activeX1activeifX1X2X3ifactiveX1X2X3activefilterX1X2activeX1activefilterX1X2filteractiveX1X2activefilterX1X2activeX2activefilterX1X2filterX1activeX2activedividesX1X2activeX1activedividesX1X2dividesactiveX1X2activedividesX1X2activeX2activedividesX1X2dividesX1activeX2sievemarkXsieveXfrommarkXfromXsmarkXsXconsmarkX1X2consX1X2headmarkXheadXtailmarkXtailXifmarkX1X2X3ifX1X2X3filtermarkX1X2filterX1X2filterX1markX2filterX1X2dividesmarkX1X2dividesX1X2dividesX1markX2dividesX1X2propersieveXproperXpropersieveXsieveproperXproperfromXproperXproperfromXfromproperXpropersXproperXpropersXsproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properheadXproperXproperheadXheadproperXpropertailXproperXpropertailXtailproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properifX1X2X3ifproperX1properX2properX3properfilterX1X2properX2properfilterX1X2properX1properfilterX1X2filterproperX1properX2properdividesX1X2properX2properdividesX1X2properX1properdividesX1X2dividesproperX1properX2sieveokXsieveXfromokXfromXsokXsXconsokX1okX2consX1X2headokXheadXtailokXtailXifokX1okX2okX3ifX1X2X3filterokX1okX2filterX1X2dividesokX1okX2dividesX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactivesieveXactiveXactivefromXactiveXactivesXactiveXactiveconsX1X2activeX1activeheadXactiveXactivetailXactiveXactiveifX1X2X3activeX1activefilterX1X2activeX1activefilterX1X2activeX2activedividesX1X2activeX1activedividesX1X2activeX2trueactive11activedividesX1X2dividesX1activeX2falseactivedividesX1X2dividesactiveX1X2falseactivefilterX1X2filterX1activeX2falseactivefilterX1X2filteractiveX1X2falseactiveifX1X2X3ifactiveX1X2X3falseactivetailXtailactiveXfalseactiveheadXheadactiveXfalseactiveconsX1X2consactiveX1X2falseactivesXsactiveXfalseactivefromXfromactiveXfalseactivesieveXsieveactiveXfalseactivesieveconsXYconsXfilterXsieveYfalseactivesieveconsXYfilterXsieveYfalseactivesieveconsXYsieveYfalseactivefilterssXconsYZifdividesssXYfilterssXZconsYfilterXsieveYfalseactivefilterssXconsYZdividesssXYfalseactivefilterssXconsYZfilterssXZfalseactivefilterssXconsYZconsYfilterXsieveYfalseactivefilterssXconsYZfilterXsieveYfalseactivefilterssXconsYZsieveYfalseactivefromXconsXfromsXfalseactivefromXfromsXfalseactivefromXsXfalseactiveprimessievefromss0falseactiveprimesfromss0falseactiveprimesss0falseactiveprimess0falsetopmarkXproperXfalsepropersieveXproperXproperfromXproperXpropersXproperXproperconsX1X2properX2properconsX1X2properX1properheadXproperXpropertailXproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properfilterX1X2properX2properfilterX1X2properX1properdividesX1X2properX2properdividesX1X2properX1trueproper11properdividesX1X2dividesproperX1properX2falsedividesmarkX1X2dividesX1X2dividesX1markX2dividesX1X2dividesokX1okX2dividesX1X2truedivides22dividesmarkX1X2dividesX1X2divides21properfilterX1X2filterproperX1properX2falsefiltermarkX1X2filterX1X2filterX1markX2filterX1X2filterokX1okX2filterX1X2truefilter22filtermarkX1X2filterX1X2filter21properifX1X2X3ifproperX1properX2properX3falseifmarkX1X2X3ifX1X2X3ifokX1okX2okX3ifX1X2X3trueif33ifmarkX1X2X3ifX1X2X3if31propertailXtailproperXfalsetailmarkXtailXtailokXtailXtruetail11properheadXheadproperXfalseheadmarkXheadXheadokXheadXtruehead11properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2truecons22consmarkX1X2consX1X2cons21propersXsproperXfalsesmarkXsXsokXsXtrues11properfromXfromproperXfalsefrommarkXfromXfromokXfromXtruefrom11propersieveXsieveproperXfalsesievemarkXsieveXsieveokXsieveXtruesieve11