{"event":"start","b":1,"requested":52881784832,"threads":6,"condition":0,"seed":"2fdde53acfa28738fe3f6a41eea31295","rng_kat":true,"live_words":34,"live_ranges":[[0,27],[216,219],[428,432]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":7.742}
{"event":"progress","completed":536870912,"collisions":0,"seconds":15.485}
{"event":"progress","completed":805306368,"collisions":0,"seconds":23.206}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":30.867}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":38.590}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":46.265}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":53.967}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":61.654}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":69.396}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":77.057}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":84.777}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":92.450}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":100.159}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":107.865}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":115.563}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":123.246}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":130.917}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":138.715}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":146.401}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":154.088}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":161.813}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":169.515}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":177.201}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":184.886}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":192.616}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":200.306}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":207.987}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":215.683}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":223.390}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":231.074}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":238.736}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":246.476}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":254.207}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":261.912}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":269.560}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":277.251}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":284.984}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":292.691}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":300.309}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":308.020}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":315.766}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":323.482}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":331.129}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":338.844}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":346.510}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":354.148}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":361.875}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":369.546}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":377.191}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":384.911}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":392.567}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":400.222}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":407.931}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":415.588}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":423.257}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":430.965}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":438.629}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":446.289}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":453.988}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":461.656}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":469.314}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":477.013}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":484.693}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":492.349}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":500.075}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":507.736}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":515.452}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":523.186}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":530.875}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":538.529}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":546.250}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":553.924}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":561.574}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":569.291}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":576.968}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":584.614}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":592.320}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":600.041}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":607.653}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":615.370}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":623.111}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":630.731}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":638.415}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":646.148}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":653.764}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":661.508}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":669.223}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":676.863}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":684.538}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":692.274}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":700.009}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":707.715}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":715.344}
{"event":"progress","completed":25232932864,"collisions":0,"seconds":723.053}
{"event":"progress","completed":25501368320,"collisions":0,"seconds":730.779}
{"event":"progress","completed":25769803776,"collisions":0,"seconds":738.390}
{"event":"progress","completed":26038239232,"collisions":0,"seconds":746.088}
{"event":"progress","completed":26306674688,"collisions":0,"seconds":753.806}
{"event":"progress","completed":26575110144,"collisions":0,"seconds":761.471}
{"event":"progress","completed":26843545600,"collisions":0,"seconds":769.120}
{"event":"progress","completed":27111981056,"collisions":0,"seconds":776.845}
{"event":"progress","completed":27380416512,"collisions":0,"seconds":784.582}
{"event":"progress","completed":27648851968,"collisions":0,"seconds":792.178}
{"event":"progress","completed":27917287424,"collisions":0,"seconds":799.907}
{"event":"progress","completed":28185722880,"collisions":0,"seconds":807.609}
{"event":"progress","completed":28454158336,"collisions":0,"seconds":815.241}
{"event":"progress","completed":28722593792,"collisions":0,"seconds":822.971}
{"event":"progress","completed":28991029248,"collisions":0,"seconds":830.639}
{"event":"progress","completed":29259464704,"collisions":0,"seconds":838.327}
{"event":"progress","completed":29527900160,"collisions":0,"seconds":846.019}
{"event":"progress","completed":29796335616,"collisions":0,"seconds":853.692}
{"event":"progress","completed":30064771072,"collisions":0,"seconds":861.403}
{"event":"progress","completed":30333206528,"collisions":0,"seconds":869.046}
{"event":"progress","completed":30601641984,"collisions":0,"seconds":876.729}
{"event":"progress","completed":30870077440,"collisions":0,"seconds":884.460}
{"event":"progress","completed":31138512896,"collisions":0,"seconds":892.066}
{"event":"progress","completed":31406948352,"collisions":0,"seconds":899.810}
{"event":"progress","completed":31675383808,"collisions":0,"seconds":907.508}
{"event":"progress","completed":31943819264,"collisions":0,"seconds":915.222}
{"event":"progress","completed":32212254720,"collisions":0,"seconds":922.872}
{"event":"progress","completed":32480690176,"collisions":0,"seconds":930.535}
{"event":"progress","completed":32749125632,"collisions":0,"seconds":938.251}
{"event":"progress","completed":33017561088,"collisions":0,"seconds":945.931}
{"event":"progress","completed":33285996544,"collisions":0,"seconds":953.568}
{"event":"progress","completed":33554432000,"collisions":0,"seconds":961.285}
{"event":"progress","completed":33822867456,"collisions":0,"seconds":969.932}
{"event":"progress","completed":34091302912,"collisions":0,"seconds":977.550}
{"event":"progress","completed":34359738368,"collisions":0,"seconds":985.273}
{"event":"progress","completed":34628173824,"collisions":0,"seconds":992.961}
{"event":"progress","completed":34896609280,"collisions":0,"seconds":1000.668}
{"event":"progress","completed":35165044736,"collisions":0,"seconds":1008.318}
{"event":"progress","completed":35433480192,"collisions":0,"seconds":1016.054}
{"event":"progress","completed":35701915648,"collisions":0,"seconds":1023.749}
{"event":"progress","completed":35970351104,"collisions":0,"seconds":1031.359}
{"event":"progress","completed":36238786560,"collisions":0,"seconds":1039.091}
{"event":"progress","completed":36507222016,"collisions":0,"seconds":1046.797}
{"event":"progress","completed":36775657472,"collisions":0,"seconds":1054.398}
{"event":"progress","completed":37044092928,"collisions":0,"seconds":1062.115}
{"event":"progress","completed":37312528384,"collisions":0,"seconds":1069.832}
{"event":"progress","completed":37580963840,"collisions":0,"seconds":1077.453}
{"event":"progress","completed":37849399296,"collisions":0,"seconds":1085.155}
{"event":"progress","completed":38117834752,"collisions":0,"seconds":1092.863}
{"event":"progress","completed":38386270208,"collisions":0,"seconds":1100.511}
{"event":"progress","completed":38654705664,"collisions":0,"seconds":1108.184}
{"event":"progress","completed":38923141120,"collisions":0,"seconds":1115.881}
{"event":"progress","completed":39191576576,"collisions":0,"seconds":1123.556}
{"event":"progress","completed":39460012032,"collisions":0,"seconds":1131.217}
{"event":"progress","completed":39728447488,"collisions":0,"seconds":1138.900}
{"event":"progress","completed":39996882944,"collisions":0,"seconds":1146.616}
{"event":"progress","completed":40265318400,"collisions":0,"seconds":1154.268}
{"event":"progress","completed":40533753856,"collisions":0,"seconds":1161.930}
{"event":"progress","completed":40802189312,"collisions":0,"seconds":1169.649}
{"event":"progress","completed":41070624768,"collisions":0,"seconds":1177.302}
{"event":"progress","completed":41339060224,"collisions":0,"seconds":1184.989}
{"event":"progress","completed":41607495680,"collisions":0,"seconds":1192.678}
{"event":"progress","completed":41875931136,"collisions":0,"seconds":1200.337}
{"event":"progress","completed":42144366592,"collisions":0,"seconds":1208.046}
{"event":"progress","completed":42412802048,"collisions":0,"seconds":1215.690}
{"event":"progress","completed":42681237504,"collisions":0,"seconds":1223.364}
{"event":"progress","completed":42949672960,"collisions":0,"seconds":1231.073}
{"event":"progress","completed":43218108416,"collisions":0,"seconds":1238.697}
{"event":"progress","completed":43486543872,"collisions":0,"seconds":1246.402}
{"event":"progress","completed":43754979328,"collisions":0,"seconds":1254.095}
{"event":"progress","completed":44023414784,"collisions":0,"seconds":1261.723}
{"event":"progress","completed":44291850240,"collisions":0,"seconds":1269.426}
{"event":"progress","completed":44560285696,"collisions":0,"seconds":1277.139}
{"event":"progress","completed":44828721152,"collisions":0,"seconds":1284.789}
{"event":"progress","completed":45097156608,"collisions":0,"seconds":1292.446}
{"event":"progress","completed":45365592064,"collisions":0,"seconds":1300.167}
{"event":"progress","completed":45634027520,"collisions":0,"seconds":1307.846}
{"event":"progress","completed":45902462976,"collisions":0,"seconds":1315.482}
{"event":"progress","completed":46170898432,"collisions":0,"seconds":1323.246}
{"event":"progress","completed":46439333888,"collisions":0,"seconds":1330.951}
{"event":"progress","completed":46707769344,"collisions":0,"seconds":1338.684}
{"event":"progress","completed":46976204800,"collisions":0,"seconds":1346.380}
{"event":"progress","completed":47244640256,"collisions":0,"seconds":1354.030}
{"event":"progress","completed":47513075712,"collisions":0,"seconds":1361.710}
{"event":"progress","completed":47781511168,"collisions":0,"seconds":1369.445}
{"event":"progress","completed":48049946624,"collisions":0,"seconds":1377.144}
{"event":"progress","completed":48318382080,"collisions":0,"seconds":1384.739}
{"event":"progress","completed":48586817536,"collisions":0,"seconds":1392.472}
{"event":"progress","completed":48855252992,"collisions":0,"seconds":1400.179}
{"event":"progress","completed":49123688448,"collisions":0,"seconds":1407.766}
{"event":"progress","completed":49392123904,"collisions":0,"seconds":1415.488}
{"event":"progress","completed":49660559360,"collisions":0,"seconds":1423.210}
{"event":"progress","completed":49928994816,"collisions":0,"seconds":1430.791}
{"event":"progress","completed":50197430272,"collisions":0,"seconds":1438.518}
{"event":"progress","completed":50465865728,"collisions":0,"seconds":1446.254}
{"event":"progress","completed":50734301184,"collisions":0,"seconds":1453.954}
{"event":"progress","completed":51002736640,"collisions":0,"seconds":1461.619}
{"event":"progress","completed":51271172096,"collisions":0,"seconds":1469.295}
{"event":"progress","completed":51539607552,"collisions":0,"seconds":1477.027}
{"event":"progress","completed":51808043008,"collisions":0,"seconds":1484.747}
{"event":"progress","completed":52076478464,"collisions":0,"seconds":1492.410}
{"event":"progress","completed":52344913920,"collisions":0,"seconds":1500.095}
{"event":"progress","completed":52613349376,"collisions":0,"seconds":1507.803}
{"event":"progress","completed":52881784832,"collisions":0,"seconds":1518.426}
{"event":"result","b":1,"condition":0,"completed":52881784832,"collisions":0,"seconds":1518.426}