activeprimesmarksievefromss0activefromXmarkconsXfromsXactiveheadconsXYmarkXactivetailconsXYmarkYactiveiftrueXYmarkXactiveiffalseXYmarkYactivefilterssXconsYZmarkifdividesssXYfilterssXZconsYfilterXsieveYactivesieveconsXYmarkconsXfilterXsieveYactivesieveXsieveactiveXactivefromXfromactiveXactivesXsactiveXactiveconsX1X2consactiveX1X2activeheadXheadactiveXactivetailXtailactiveXactiveifX1X2X3ifactiveX1X2X3activefilterX1X2filteractiveX1X2activefilterX1X2filterX1activeX2activedividesX1X2dividesactiveX1X2activedividesX1X2dividesX1activeX2sievemarkXmarksieveXfrommarkXmarkfromXsmarkXmarksXconsmarkX1X2markconsX1X2headmarkXmarkheadXtailmarkXmarktailXifmarkX1X2X3markifX1X2X3filtermarkX1X2markfilterX1X2filterX1markX2markfilterX1X2dividesmarkX1X2markdividesX1X2dividesX1markX2markdividesX1X2properprimesokprimespropersieveXsieveproperXproperfromXfromproperXpropersXsproperXproper0ok0properconsX1X2consproperX1properX2properheadXheadproperXpropertailXtailproperXproperifX1X2X3ifproperX1properX2properX3propertrueoktrueproperfalseokfalseproperfilterX1X2filterproperX1properX2properdividesX1X2dividesproperX1properX2sieveokXoksieveXfromokXokfromXsokXoksXconsokX1okX2okconsX1X2headokXokheadXtailokXoktailXifokX1okX2okX3okifX1X2X3filterokX1okX2okfilterX1X2dividesokX1okX2okdividesX1X2topmarkXtopproperXtopokXtopactiveXactiveprimess0activeprimesss0activeprimesfromss0activeprimessievefromss0activefromXsXactivefromXfromsXactivefromXconsXfromsXactivefilterssXconsYZsieveYactivefilterssXconsYZfilterXsieveYactivefilterssXconsYZconsYfilterXsieveYactivefilterssXconsYZfilterssXZactivefilterssXconsYZdividesssXYactivefilterssXconsYZifdividesssXYfilterssXZconsYfilterXsieveYactivesieveconsXYsieveYactivesieveconsXYfilterXsieveYactivesieveconsXYconsXfilterXsieveYactivesieveXactiveXactivesieveXsieveactiveXactivefromXactiveXactivefromXfromactiveXactivesXactiveXactivesXsactiveXactiveconsX1X2activeX1activeconsX1X2consactiveX1X2activeheadXactiveXactiveheadXheadactiveXactivetailXactiveXactivetailXtailactiveXactiveifX1X2X3activeX1activeifX1X2X3ifactiveX1X2X3activefilterX1X2activeX1activefilterX1X2filteractiveX1X2activefilterX1X2activeX2activefilterX1X2filterX1activeX2activedividesX1X2activeX1activedividesX1X2dividesactiveX1X2activedividesX1X2activeX2activedividesX1X2dividesX1activeX2sievemarkXsieveXfrommarkXfromXsmarkXsXconsmarkX1X2consX1X2headmarkXheadXtailmarkXtailXifmarkX1X2X3ifX1X2X3filtermarkX1X2filterX1X2filterX1markX2filterX1X2dividesmarkX1X2dividesX1X2dividesX1markX2dividesX1X2propersieveXproperXpropersieveXsieveproperXproperfromXproperXproperfromXfromproperXpropersXproperXpropersXsproperXproperconsX1X2properX2properconsX1X2properX1properconsX1X2consproperX1properX2properheadXproperXproperheadXheadproperXpropertailXproperXpropertailXtailproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properifX1X2X3ifproperX1properX2properX3properfilterX1X2properX2properfilterX1X2properX1properfilterX1X2filterproperX1properX2properdividesX1X2properX2properdividesX1X2properX1properdividesX1X2dividesproperX1properX2sieveokXsieveXfromokXfromXsokXsXconsokX1okX2consX1X2headokXheadXtailokXtailXifokX1okX2okX3ifX1X2X3filterokX1okX2filterX1X2dividesokX1okX2dividesX1X2topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactivesieveXactiveXactivefromXactiveXactivesXactiveXactiveconsX1X2activeX1activeheadXactiveXactivetailXactiveXactiveifX1X2X3activeX1activefilterX1X2activeX1activefilterX1X2activeX2activedividesX1X2activeX1activedividesX1X2activeX2true1active16114divides211222filter211120if31102032tail1110head1114cons211023sieve1613from1212s1110activesXactiveXactivetailXactiveXactivefilterX1X2activeX1activefilterX1X2activeX21active1116filter211120tail1111s1110activesXactiveXactivefilterX1X2activeX1activefilterX1X2activeX21active1311filter2217213s11312activedividesX1X2dividesX1activeX2falseactivedividesX1X2dividesactiveX1X2falseactivefilterX1X2filterX1activeX2falseactivefilterX1X2filteractiveX1X2falseactiveifX1X2X3ifactiveX1X2X3falseactivetailXtailactiveXfalseactiveheadXheadactiveXfalseactiveconsX1X2consactiveX1X2falseactivesXsactiveXfalseactivefromXfromactiveXfalseactivesieveXsieveactiveXfalseactivesieveconsXYconsXfilterXsieveYfalseactivesieveconsXYfilterXsieveYfalseactivesieveconsXYsieveYfalseactivefilterssXconsYZifdividesssXYfilterssXZconsYfilterXsieveYfalseactivefilterssXconsYZdividesssXYfalseactivefilterssXconsYZfilterssXZfalseactivefilterssXconsYZconsYfilterXsieveYfalseactivefilterssXconsYZfilterXsieveYfalseactivefilterssXconsYZsieveYfalseactivefromXconsXfromsXfalseactivefromXfromsXfalseactivefromXsXfalseactiveprimessievefromss0falseactiveprimesfromss0falseactiveprimesss0falseactiveprimess0falsetopmarkXproperXfalsepropersieveXproperXproperfromXproperXpropersXproperXproperconsX1X2properX2properconsX1X2properX1properheadXproperXpropertailXproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properfilterX1X2properX2properfilterX1X2properX1properdividesX1X2properX2properdividesX1X2properX1true1proper1410divides271623filter281120if34112630tail11010head1610cons2811120sieve1415from1110s1110properfromXproperXpropersXproperXproperconsX1X2properX2properconsX1X2properX1properheadXproperXpropertailXproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properfilterX1X2properX2properfilterX1X2properX11proper1814filter241621if31122137tail1216head1211cons221222from1314s1414properdividesX1X2dividesproperX1properX2falsedividesmarkX1X2dividesX1X2dividesX1markX2dividesX1X2dividesokX1okX2dividesX1X2true1divides271426ok1515mark1818properfilterX1X2filterproperX1properX2falsefiltermarkX1X2filterX1X2filterX1markX2filterX1X2filterokX1okX2filterX1X2true1filter271426ok1515mark1818properifX1X2X3ifproperX1properX2properX3falseifmarkX1X2X3ifX1X2X3ifokX1okX2okX3ifX1X2X3true1if38132633ok1711mark1411propertailXtailproperXfalsetailmarkXtailXtailokXtailXtrue1tail11113ok1113mark11019properheadXheadproperXfalseheadmarkXheadXheadokXheadXtrue1head11113ok1113mark11019properconsX1X2consproperX1properX2falseconsmarkX1X2consX1X2consokX1okX2consX1X2true1cons281120ok1413mark1110consmarkX1X2consX1X21cons2810212mark1113propersXsproperXfalsesmarkXsXsokXsXtrue1s11113ok1113mark11019properfromXfromproperXfalsefrommarkXfromXfromokXfromXtrue1from11113ok1113mark11019propersieveXsieveproperXfalsesievemarkXsieveXsieveokXsieveXtrue1sieve11113ok1113mark11019