{"event":"start","b":2,"requested":46170898432,"threads":4,"condition":0,"seed":"8fb77974b300c267f14b4db61fcc4c89","rng_kat":true,"live_words":40,"live_ranges":[[0,27],[216,222],[640,647]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":8.229}
{"event":"progress","completed":536870912,"collisions":0,"seconds":16.394}
{"event":"progress","completed":805306368,"collisions":0,"seconds":24.564}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":32.682}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":40.879}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":49.010}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":57.178}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":65.347}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":73.526}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":81.692}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":89.821}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":98.007}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":106.149}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":114.329}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":122.470}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":130.672}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":138.816}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":146.944}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":155.156}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":163.274}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":171.463}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":179.616}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":187.803}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":195.947}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":204.140}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":212.306}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":220.498}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":228.625}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":236.823}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":245.043}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":253.190}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":261.396}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":269.597}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":277.723}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":285.874}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":294.060}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":302.208}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":310.395}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":318.548}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":326.743}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":334.873}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":343.074}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":351.209}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":359.406}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":367.625}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":375.730}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":383.929}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":392.049}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":400.252}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":408.362}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":416.567}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":424.690}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":432.858}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":440.998}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":449.195}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":457.307}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":465.514}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":473.643}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":481.831}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":490.003}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":498.220}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":506.425}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":514.594}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":522.790}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":531.014}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":539.164}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":547.386}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":555.527}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":563.699}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":571.886}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":580.059}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":588.222}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":596.397}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":604.618}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":612.782}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":620.962}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":629.144}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":637.345}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":645.542}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":653.730}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":661.871}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":670.067}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":678.225}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":686.344}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":694.551}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":702.700}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":710.877}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":719.064}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":727.247}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":735.403}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":743.578}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":751.740}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":759.934}
{"event":"progress","completed":25232932864,"collisions":0,"seconds":768.088}
{"event":"progress","completed":25501368320,"collisions":0,"seconds":776.296}
{"event":"progress","completed":25769803776,"collisions":0,"seconds":784.461}
{"event":"progress","completed":26038239232,"collisions":0,"seconds":792.629}
{"event":"progress","completed":26306674688,"collisions":0,"seconds":800.787}
{"event":"progress","completed":26575110144,"collisions":0,"seconds":809.003}
{"event":"progress","completed":26843545600,"collisions":0,"seconds":817.129}
{"event":"progress","completed":27111981056,"collisions":0,"seconds":825.373}
{"event":"progress","completed":27380416512,"collisions":0,"seconds":833.521}
{"event":"progress","completed":27648851968,"collisions":0,"seconds":841.731}
{"event":"progress","completed":27917287424,"collisions":0,"seconds":849.847}
{"event":"progress","completed":28185722880,"collisions":0,"seconds":858.044}
{"event":"progress","completed":28454158336,"collisions":0,"seconds":866.188}
{"event":"progress","completed":28722593792,"collisions":0,"seconds":874.382}
{"event":"progress","completed":28991029248,"collisions":0,"seconds":882.591}
{"event":"progress","completed":29259464704,"collisions":0,"seconds":890.721}
{"event":"progress","completed":29527900160,"collisions":0,"seconds":898.900}
{"event":"progress","completed":29796335616,"collisions":0,"seconds":907.114}
{"event":"progress","completed":30064771072,"collisions":0,"seconds":915.260}
{"event":"progress","completed":30333206528,"collisions":0,"seconds":923.437}
{"event":"progress","completed":30601641984,"collisions":0,"seconds":931.658}
{"event":"progress","completed":30870077440,"collisions":0,"seconds":939.810}
{"event":"progress","completed":31138512896,"collisions":0,"seconds":948.003}
{"event":"progress","completed":31406948352,"collisions":0,"seconds":956.208}
{"event":"progress","completed":31675383808,"collisions":0,"seconds":964.412}
{"event":"progress","completed":31943819264,"collisions":0,"seconds":972.560}
{"event":"progress","completed":32212254720,"collisions":0,"seconds":980.721}
{"event":"progress","completed":32480690176,"collisions":0,"seconds":988.907}
{"event":"progress","completed":32749125632,"collisions":0,"seconds":997.095}
{"event":"progress","completed":33017561088,"collisions":0,"seconds":1005.219}
{"event":"progress","completed":33285996544,"collisions":0,"seconds":1013.407}
{"event":"progress","completed":33554432000,"collisions":0,"seconds":1021.565}
{"event":"progress","completed":33822867456,"collisions":0,"seconds":1029.706}
{"event":"progress","completed":34091302912,"collisions":0,"seconds":1037.916}
{"event":"progress","completed":34359738368,"collisions":0,"seconds":1046.020}
{"event":"progress","completed":34628173824,"collisions":0,"seconds":1054.235}
{"event":"progress","completed":34896609280,"collisions":0,"seconds":1062.351}
{"event":"progress","completed":35165044736,"collisions":0,"seconds":1070.559}
{"event":"progress","completed":35433480192,"collisions":0,"seconds":1078.692}
{"event":"progress","completed":35701915648,"collisions":0,"seconds":1086.876}
{"event":"progress","completed":35970351104,"collisions":0,"seconds":1095.057}
{"event":"progress","completed":36238786560,"collisions":0,"seconds":1103.260}
{"event":"progress","completed":36507222016,"collisions":0,"seconds":1111.413}
{"event":"progress","completed":36775657472,"collisions":0,"seconds":1119.616}
{"event":"progress","completed":37044092928,"collisions":0,"seconds":1127.776}
{"event":"progress","completed":37312528384,"collisions":0,"seconds":1136.009}
{"event":"progress","completed":37580963840,"collisions":0,"seconds":1144.158}
{"event":"progress","completed":37849399296,"collisions":0,"seconds":1152.341}
{"event":"progress","completed":38117834752,"collisions":0,"seconds":1160.518}
{"event":"progress","completed":38386270208,"collisions":0,"seconds":1168.687}
{"event":"progress","completed":38654705664,"collisions":0,"seconds":1176.886}
{"event":"progress","completed":38923141120,"collisions":0,"seconds":1185.019}
{"event":"progress","completed":39191576576,"collisions":0,"seconds":1193.161}
{"event":"progress","completed":39460012032,"collisions":0,"seconds":1201.340}
{"event":"progress","completed":39728447488,"collisions":0,"seconds":1209.468}
{"event":"progress","completed":39996882944,"collisions":0,"seconds":1217.652}
{"event":"progress","completed":40265318400,"collisions":0,"seconds":1225.795}
{"event":"progress","completed":40533753856,"collisions":0,"seconds":1233.936}
{"event":"progress","completed":40802189312,"collisions":0,"seconds":1242.109}
{"event":"progress","completed":41070624768,"collisions":0,"seconds":1250.258}
{"event":"progress","completed":41339060224,"collisions":0,"seconds":1258.424}
{"event":"progress","completed":41607495680,"collisions":0,"seconds":1266.588}
{"event":"progress","completed":41875931136,"collisions":0,"seconds":1274.776}
{"event":"progress","completed":42144366592,"collisions":0,"seconds":1282.894}
{"event":"progress","completed":42412802048,"collisions":0,"seconds":1291.060}
{"event":"progress","completed":42681237504,"collisions":0,"seconds":1299.208}
{"event":"progress","completed":42949672960,"collisions":0,"seconds":1307.340}
{"event":"progress","completed":43218108416,"collisions":0,"seconds":1315.537}
{"event":"progress","completed":43486543872,"collisions":0,"seconds":1323.686}
{"event":"progress","completed":43754979328,"collisions":0,"seconds":1331.868}
{"event":"progress","completed":44023414784,"collisions":0,"seconds":1340.042}
{"event":"progress","completed":44291850240,"collisions":0,"seconds":1348.217}
{"event":"progress","completed":44560285696,"collisions":0,"seconds":1356.333}
{"event":"progress","completed":44828721152,"collisions":0,"seconds":1364.551}
{"event":"progress","completed":45097156608,"collisions":0,"seconds":1372.670}
{"event":"progress","completed":45365592064,"collisions":0,"seconds":1380.888}
{"event":"progress","completed":45634027520,"collisions":0,"seconds":1389.011}
{"event":"progress","completed":45902462976,"collisions":0,"seconds":1402.030}
{"event":"progress","completed":46170898432,"collisions":0,"seconds":1435.345}
{"event":"result","b":2,"condition":0,"completed":46170898432,"collisions":0,"seconds":1435.345}