activefXmarkifXcftrueactiveiftrueXYmarkXactiveiffalseXYmarkYactivefXfactiveXactiveifX1X2X3ifactiveX1X2X3activeifX1X2X3ifX1activeX2X3fmarkXmarkfXifmarkX1X2X3markifX1X2X3ifX1markX2X3markifX1X2X3properfXfproperXproperifX1X2X3ifproperX1properX2properX3propercokcpropertrueoktrueproperfalseokfalsefokXokfXifokX1okX2okX3okifX1X2X3topmarkXtopproperXtopokXtopactiveXactivefXftrueactivefXifXcftrueactivefXactiveXactivefXfactiveXactiveifX1X2X3activeX1activeifX1X2X3ifactiveX1X2X3activeifX1X2X3activeX2activeifX1X2X3ifX1activeX2X3fmarkXfXifmarkX1X2X3ifX1X2X3ifX1markX2X3ifX1X2X3properfXproperXproperfXfproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1properifX1X2X3ifproperX1properX2properX3fokXfXifokX1okX2okX3ifX1X2X3topmarkXproperXtopmarkXtopproperXtopokXactiveXtopokXtopactiveXtruetopokXtopactiveXtopmarkXtopproperXtruetopokXactiveXfalseactivefXactiveXactiveifX1X2X3activeX1activeifX1X2X3activeX2true1active1215top1010ok1014proper1819false00mark1014if34112036true00c02active1110f1214activeifX1X2X3ifX1activeX2X3falseactiveifX1X2X3ifactiveX1X2X3falseactivefXfactiveXfalseactivefXifXcftruefalseactivefXftruefalsetopmarkXproperXfalseproperfXproperXproperifX1X2X3properX3properifX1X2X3properX2properifX1X2X3properX1true1proper1810top1010ok1110proper1110false00mark1014if34142131true00c015active11314f1110properfXproperX1proper11110top1014ok1010proper1810false00mark1010if30102033true00c00active1410f1411properifX1X2X3ifproperX1properX2properX3falseifmarkX1X2X3ifX1X2X3ifX1markX2X3ifX1X2X3ifokX1okX2okX3ifX1X2X3true1if301021030top1010ok1211proper1611false02mark1010if30182834true01c00active1612f1413ifmarkX1X2X3ifX1X2X3ifX1markX2X3ifX1X2X31if30122030top1014ok1110proper1110false03mark1112if32112230true02c00active1810f1111ifmarkX1X2X3ifX1X2X31if341020312top1012ok1110proper1210false01mark1112if38122230true01c04active1410f19115properfXfproperXfalsefmarkXfXfokXfXtrue1f1110top1011ok1110proper1110false02mark1112if32112131true00c04active1817f1110fokXfX1f112110top1017ok1112proper1410false03mark1010if30182330true01c01active1110f14114