[now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 255, fault:5240 [now] propagate_cnt: 26, stem_cnt: 3, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33339, stem: 199, fault:5200 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:260 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33339, stem: 255, fault:5220 [now] propagate_cnt: 27, stem_cnt: 3, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33300, stem: 242, fault:5280 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33383, stem: 242, fault:5260 [now] propagate_cnt: 29, stem_cnt: 2, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33436, stem: 199, fault:5220 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33644, stem: 441, fault:5260 [now] propagate_cnt: 32, stem_cnt: 11, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33645, stem: 441, fault:5240 [now] propagate_cnt: 33, stem_cnt: 11, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5320 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 230, fault:5320 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33300, stem: 230, fault:5300 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 248, fault:5240 [now] propagate_cnt: 25, stem_cnt: 2, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 248, fault:5220 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33456, stem: 199, fault:5260 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33395, stem: 302, fault:5860 [now] propagate_cnt: 29, stem_cnt: 4, fault_cnt:293 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33478, stem: 302, fault:5840 [now] propagate_cnt: 30, stem_cnt: 4, fault_cnt:292 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33553, stem: 277, fault:5300 [now] propagate_cnt: 35, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33307, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33562, stem: 277, fault:5280 [now] propagate_cnt: 36, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5280 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 204, fault:5280 [now] propagate_cnt: 26, stem_cnt: 4, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 204, fault:5260 [now] propagate_cnt: 27, stem_cnt: 4, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 247, fault:5300 [now] propagate_cnt: 26, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33317, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33317, stem: 247, fault:5280 [now] propagate_cnt: 27, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33318, stem: 453, fault:5420 [now] propagate_cnt: 28, stem_cnt: 7, fault_cnt:271 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33319, stem: 453, fault:5400 [now] propagate_cnt: 29, stem_cnt: 7, fault_cnt:270 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 200, fault:5860 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:293 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33319, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33320, stem: 200, fault:5840 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:292 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33567, stem: 293, fault:5300 [now] propagate_cnt: 35, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33337, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33606, stem: 293, fault:5280 [now] propagate_cnt: 36, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 200, fault:5320 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 200, fault:5320 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33353, stem: 222, fault:5240 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33318, stem: 199, fault:5220 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33376, stem: 222, fault:5220 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 242, fault:5280 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 242, fault:5260 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 319, fault:5260 [now] propagate_cnt: 26, stem_cnt: 5, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 319, fault:5240 [now] propagate_cnt: 27, stem_cnt: 5, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 273, fault:5280 [now] propagate_cnt: 26, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33341, stem: 199, fault:5280 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33341, stem: 273, fault:5260 [now] propagate_cnt: 27, stem_cnt: 3, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33536, stem: 289, fault:5340 [now] propagate_cnt: 36, stem_cnt: 3, fault_cnt:267 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33308, stem: 199, fault:5280 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33545, stem: 289, fault:5320 [now] propagate_cnt: 37, stem_cnt: 3, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33323, stem: 199, fault:5220 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33323, stem: 199, fault:5220 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 210, fault:5280 [now] propagate_cnt: 25, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5280 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 210, fault:5260 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33295, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33295, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 202, fault:5280 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 202, fault:5260 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33555, stem: 259, fault:5300 [now] propagate_cnt: 35, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33352, stem: 199, fault:5260 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33566, stem: 259, fault:5280 [now] propagate_cnt: 36, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33543, stem: 381, fault:5300 [now] propagate_cnt: 35, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33388, stem: 199, fault:5260 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33578, stem: 381, fault:5280 [now] propagate_cnt: 36, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33340, stem: 199, fault:5260 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33341, stem: 199, fault:5240 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33335, stem: 362, fault:5400 [now] propagate_cnt: 31, stem_cnt: 4, fault_cnt:270 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33336, stem: 362, fault:5380 [now] propagate_cnt: 32, stem_cnt: 4, fault_cnt:269 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33351, stem: 238, fault:5240 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33358, stem: 199, fault:5220 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33390, stem: 238, fault:5220 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33300, stem: 201, fault:5300 [now] propagate_cnt: 28, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5280 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33301, stem: 201, fault:5280 [now] propagate_cnt: 29, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33327, stem: 200, fault:5280 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33376, stem: 200, fault:5260 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33420, stem: 199, fault:5220 [now] propagate_cnt: 28, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33333, stem: 199, fault:5320 [now] propagate_cnt: 29, stem_cnt: 1, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33330, stem: 204, fault:5320 [now] propagate_cnt: 26, stem_cnt: 4, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33331, stem: 204, fault:5300 [now] propagate_cnt: 27, stem_cnt: 4, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33317, stem: 230, fault:5280 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33338, stem: 230, fault:5260 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33319, stem: 199, fault:5220 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33301, stem: 202, fault:5320 [now] propagate_cnt: 29, stem_cnt: 4, fault_cnt:266 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5280 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33302, stem: 202, fault:5300 [now] propagate_cnt: 30, stem_cnt: 4, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 565, fault:5280 [now] propagate_cnt: 26, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33371, stem: 199, fault:5280 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33371, stem: 565, fault:5260 [now] propagate_cnt: 27, stem_cnt: 3, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33341, stem: 242, fault:5240 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33322, stem: 199, fault:5220 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33366, stem: 242, fault:5220 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33297, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33337, stem: 368, fault:5240 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33320, stem: 199, fault:5220 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33360, stem: 368, fault:5220 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:261 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33543, stem: 309, fault:5300 [now] propagate_cnt: 35, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33319, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33564, stem: 309, fault:5280 [now] propagate_cnt: 36, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 241, fault:5300 [now] propagate_cnt: 26, stem_cnt: 3, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 199, fault:5260 [now] propagate_cnt: 27, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 241, fault:5280 [now] propagate_cnt: 27, stem_cnt: 3, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33296, stem: 238, fault:5300 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:265 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33295, stem: 199, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33299, stem: 238, fault:5280 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:264 [before] propagate: 33298, stem: 199, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33298, stem: 199, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [UP] propagate: 33312, stem: 201, fault:5240. propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 Gate: 1 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 4 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 8 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 11 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 14 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 17 (t: IN v:1 pi:1 po:0 s:1 p:0 s0:0 s1:0) Inputs: Gate: 21 (t: IN v:0 pi:1 po:0 s:1 p:0 s0:0 s1:0) Inputs: Gate: 24 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 27 (t: IN v:0 pi:1 po:0 s:1 p:0 s0:0 s1:0) Inputs: Gate: 30 (t: IN v:1 pi:1 po:0 s:1 p:0 s0:0 s1:0) Inputs: Gate: 34 (t: IN v:0 pi:1 po:0 s:1 p:0 s0:0 s1:0) Inputs: Gate: 37 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 40 (t: IN v:0 pi:1 po:0 s:1 p:0 s0:0 s1:0) Inputs: Gate: 43 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 47 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 50 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 53 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 56 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 60 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 63 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 66 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 69 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 73 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 76 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 79 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 82 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 86 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 89 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 92 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 95 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 99 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 102 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 105 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 108 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 112 (t: IN v:0 pi:1 po:0 s:1 p:1 s0:0 s1:1) Inputs: Gate: 115 (t: IN v:1 pi:1 po:0 s:1 p:1 s0:1 s1:0) Inputs: Gate: 118 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 1 Gate: 119 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 4 Gate: 122 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 11 Gate: 123 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 17 Gate: 126 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 24 Gate: 127 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 30 Gate: 130 (t: NOT v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 37 Gate: 131 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 43 Gate: 134 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 50 Gate: 135 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 56 Gate: 138 (t: NOT v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 63 Gate: 139 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 69 Gate: 142 (t: NOT v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 76 Gate: 143 (t: NOT v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 82 Gate: 146 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 89 Gate: 147 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 95 Gate: 150 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 102 Gate: 151 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 108 Gate: 154 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 118 4 Gate: 157 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 8 119 Gate: 158 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 14 119 Gate: 159 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 122 17 Gate: 162 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 126 30 Gate: 165 (t:NAND v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 130 43 Gate: 168 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 134 56 Gate: 171 (t:NAND v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 138 69 Gate: 174 (t:NAND v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 142 82 Gate: 177 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 146 95 Gate: 180 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 150 108 Gate: 183 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 21 123 Gate: 184 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 27 123 Gate: 185 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 34 127 Gate: 186 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 40 127 Gate: 187 (t: NOR v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 47 131 Gate: 188 (t: NOR v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 53 131 Gate: 189 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 60 135 Gate: 190 (t: NOR v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 66 135 Gate: 191 (t: NOR v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 73 139 Gate: 192 (t: NOR v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 79 139 Gate: 193 (t: NOR v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 86 143 Gate: 194 (t: NOR v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 92 143 Gate: 195 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 99 147 Gate: 196 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 105 147 Gate: 197 (t: NOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 112 151 Gate: 198 (t: NOR v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 115 151 Gate: 199 (t: AND v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 154 159 162 165 168 171 174 177 180 Gate: 203 (t: NOT v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 199 Gate: 213 (t: NOT v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 199 Gate: 223 (t: NOT v:1 pi:0 po:1 s:1 p:1 s0:1 s1:0) Inputs: 199 Gate: 224 (t: XOR v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 203 154 Gate: 227 (t: XOR v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 203 159 Gate: 230 (t: XOR v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 203 162 Gate: 233 (t: XOR v:1 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 203 165 Gate: 236 (t: XOR v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 203 168 Gate: 239 (t: XOR v:1 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 203 171 Gate: 242 (t:NAND v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 1 213 Gate: 243 (t: XOR v:1 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 203 174 Gate: 246 (t:NAND v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 213 11 Gate: 247 (t: XOR v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 203 177 Gate: 250 (t:NAND v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 213 24 Gate: 251 (t: XOR v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 203 180 Gate: 254 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 213 37 Gate: 255 (t:NAND v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 213 50 Gate: 256 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 213 63 Gate: 257 (t:NAND v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 213 76 Gate: 258 (t:NAND v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 213 89 Gate: 259 (t:NAND v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 213 102 Gate: 260 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 224 157 Gate: 263 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 224 158 Gate: 264 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 227 183 Gate: 267 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 230 185 Gate: 270 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 233 187 Gate: 273 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 236 189 Gate: 276 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 239 191 Gate: 279 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 243 193 Gate: 282 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 247 195 Gate: 285 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 251 197 Gate: 288 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 227 184 Gate: 289 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 230 186 Gate: 290 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 233 188 Gate: 291 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 236 190 Gate: 292 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 239 192 Gate: 293 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 243 194 Gate: 294 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 247 196 Gate: 295 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 251 198 Gate: 296 (t: AND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 260 264 267 270 273 276 279 282 285 Gate: 300 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 263 Gate: 301 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 288 Gate: 302 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 289 Gate: 303 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 290 Gate: 304 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 291 Gate: 305 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 292 Gate: 306 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 293 Gate: 307 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 294 Gate: 308 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 295 Gate: 309 (t: NOT v:0 pi:0 po:0 s:1 p:0 s0:0 s1:0) Inputs: 296 Gate: 319 (t: NOT v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 296 Gate: 329 (t: NOT v:0 pi:0 po:1 s:1 p:1 s0:0 s1:1) Inputs: 296 Gate: 330 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 260 Gate: 331 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 264 Gate: 332 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 267 Gate: 333 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 270 Gate: 334 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 8 319 Gate: 335 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 273 Gate: 336 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 319 21 Gate: 337 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 276 Gate: 338 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 319 34 Gate: 339 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 279 Gate: 340 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 319 47 Gate: 341 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 282 Gate: 342 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 319 60 Gate: 343 (t: XOR v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 309 285 Gate: 344 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 319 73 Gate: 345 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 319 86 Gate: 346 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 319 99 Gate: 347 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 319 112 Gate: 348 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 330 300 Gate: 349 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 331 301 Gate: 350 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 332 302 Gate: 351 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 333 303 Gate: 352 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 335 304 Gate: 353 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 337 305 Gate: 354 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 339 306 Gate: 355 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 341 307 Gate: 356 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 343 308 Gate: 357 (t: AND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 348 349 350 351 352 353 354 355 356 Gate: 360 (t: NOT v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 357 Gate: 370 (t: NOT v:0 pi:0 po:1 s:1 p:1 s0:0 s1:1) Inputs: 357 Gate: 371 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 14 360 Gate: 372 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 360 27 Gate: 373 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 360 40 Gate: 374 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 360 53 Gate: 375 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 360 66 Gate: 376 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 360 79 Gate: 377 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 360 92 Gate: 378 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 360 105 Gate: 379 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 360 115 Gate: 380 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 4 242 334 371 Gate: 381 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 246 336 372 17 Gate: 386 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 250 338 373 30 Gate: 393 (t:NAND v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 254 340 374 43 Gate: 399 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 255 342 375 56 Gate: 404 (t:NAND v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 256 344 376 69 Gate: 407 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 257 345 377 82 Gate: 411 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 258 346 378 95 Gate: 414 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 259 347 379 108 Gate: 415 (t: NOT v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 380 Gate: 416 (t: AND v:0 pi:0 po:0 s:0 p:1 s0:0 s1:1) Inputs: 381 386 393 399 404 407 411 414 Gate: 417 (t: NOT v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 393 Gate: 418 (t: NOT v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 404 Gate: 419 (t: NOT v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 407 Gate: 420 (t: NOT v:0 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 411 Gate: 421 (t: NOR v:1 pi:0 po:1 s:1 p:1 s0:1 s1:0) Inputs: 415 416 Gate: 422 (t:NAND v:0 pi:0 po:0 s:1 p:1 s0:0 s1:1) Inputs: 386 417 Gate: 425 (t:NAND v:1 pi:0 po:0 s:1 p:1 s0:1 s1:0) Inputs: 386 393 418 399 Gate: 428 (t:NAND v:1 pi:0 po:0 s:0 p:1 s0:1 s1:0) Inputs: 399 393 419 Gate: 429 (t:NAND v:1 pi:0 po:0 s:0 p:0 s0:0 s1:0) Inputs: 386 393 407 420 Gate: 430 (t:NAND v:1 pi:0 po:1 s:1 p:1 s0:1 s1:0) Inputs: 381 386 422 399 Gate: 431 (t:NAND v:0 pi:0 po:1 s:1 p:1 s0:0 s1:1) Inputs: 381 386 425 428 Gate: 432 (t:NAND v:1 pi:0 po:1 s:1 p:1 s0:1 s1:0) Inputs: 381 422 425 429 > propagate falsified: 4 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 8 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 14 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 56 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33309, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -17 > propagate falsified: 60 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33364, stem: 201, fault:5260 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:263 score: -72 > propagate falsified: 66 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33309, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -17 > propagate falsified: 76 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 86 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33307, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -15 > propagate falsified: 92 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33293, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -1 > propagate falsified: 95 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33309, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -17 > propagate falsified: 99 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33309, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -17 > propagate falsified: 105 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33293, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -1 > propagate falsified: 108 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 112 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33354, stem: 201, fault:5260 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:263 score: -62 > propagate falsified: 115 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 223 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33312, stem: 201, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 score: 0 > propagate falsified: 329 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33312, stem: 202, fault:5240 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:262 score: -1 > propagate falsified: 370 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33312, stem: 204, fault:5240 [now] propagate_cnt: 26, stem_cnt: 2, fault_cnt:262 score: -3 > propagate falsified: 399 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5280 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:264 score: -39 > propagate falsified: 404 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33313, stem: 232, fault:5320 [now] propagate_cnt: 27, stem_cnt: 2, fault_cnt:266 score: -112 > propagate falsified: 407 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5260 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:263 score: -19 > propagate falsified: 411 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33311, stem: 201, fault:5280 [now] propagate_cnt: 25, stem_cnt: 1, fault_cnt:264 score: -39 > propagate falsified: 421 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33312, stem: 201, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 score: 0 > propagate falsified: 430 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33312, stem: 201, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 score: 0 > propagate falsified: 431 s0: 0 s1: 1, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33314, stem: 202, fault:5260 [now] propagate_cnt: 28, stem_cnt: 2, fault_cnt:263 score: -23 > propagate falsified: 432 s0: 1 s1: 0, cal_s0: 0, cal_s1: 0 [before] propagate: 33312, stem: 201, fault:5240 [before] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 [now] propagate: 33312, stem: 201, fault:5240 [now] propagate_cnt: 26, stem_cnt: 1, fault_cnt:262 score: 0