atpg-ls/new.txt

1001 lines
50 KiB
Plaintext

[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