primessievefromss0fromXconsXn__fromsXheadconsXYXtailconsXYactivateYiftrueXYactivateXiffalseXYactivateYfilterssXconsYZifdividesssXYn__filterssXactivateZn__consYn__filterXsieveYsieveconsXYconsXn__filterXsieveactivateYfromXn__fromXfilterX1X2n__filterX1X2consX1X2n__consX1X2activaten__fromXfromXactivaten__filterX1X2filterX1X2activaten__consX1X2consX1X2activateXX2.1primessievefromss0primesfromss0fromXconsXn__fromsXtailconsXYactivateYiftrueXYactivateXiffalseXYactivateYfilterssXconsYZifdividesssXYn__filterssXactivateZn__consYn__filterXsieveYfilterssXconsYZactivateZfilterssXconsYZsieveYsieveconsXYconsXn__filterXsieveactivateYsieveconsXYsieveactivateYsieveconsXYactivateYactivaten__fromXfromXactivaten__filterX1X2filterX1X2activaten__consX1X2consX1X2trueactivaten__filterX1X2filterX1X2filterssXconsYZactivateZfilterssXconsYZsieveYsieveconsXYsieveactivateYsieveconsXYactivateYfilterssXconsYZactivateZfilterssXconsYZsieveYsieveconsXYsieveactivateYsieveconsXYactivateYsieveconsXYsieveactivateYsieveactivaten__fromX1activaten__fromX'fromX'sievefromX1fromX'consX'n__fromsX'sieveconsXn__fromsXsieveconsXYsieveactivateYsieveactivaten__fromsXXsX
AProVE
cc15997c1f07bc57e721d9726d3251d110b0b452 cryingshadow 20130616
http://aprove.informatik.rwth-aachen.de/
AProVE-CeTACompetition 2013(TC 2013)
John
Doe
tpdb-8.0/TRS/Transformed_CSR_04/ExIntrod_GM99_Z.xml55070