{"event":"start","b":4,"requested":49392123904,"threads":5,"condition":0,"seed":"dc1ea781791599e1f4be08cffaad2ab9","rng_kat":true,"live_words":52,"live_ranges":[[0,27],[216,228],[1064,1077]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":7.641}
{"event":"progress","completed":536870912,"collisions":0,"seconds":15.234}
{"event":"progress","completed":805306368,"collisions":0,"seconds":22.797}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":30.368}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":37.925}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":45.509}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":53.116}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":60.717}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":68.277}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":75.869}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":83.429}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":90.981}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":98.608}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":106.153}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":113.719}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":121.338}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":128.945}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":136.537}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":144.098}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":151.647}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":159.229}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":166.805}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":174.410}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":181.985}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":189.606}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":197.172}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":204.737}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":212.351}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":219.930}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":227.494}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":235.053}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":242.678}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":250.250}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":257.802}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":265.405}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":273.002}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":280.567}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":288.131}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":295.712}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":303.308}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":310.896}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":318.499}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":326.054}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":333.663}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":341.279}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":348.855}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":356.454}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":364.072}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":371.636}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":379.195}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":386.742}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":394.322}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":401.906}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":409.459}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":417.045}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":424.637}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":432.205}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":439.765}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":447.307}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":454.929}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":462.489}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":470.051}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":477.661}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":485.277}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":492.842}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":500.412}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":507.975}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":515.540}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":523.159}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":530.751}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":538.297}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":545.904}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":553.485}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":561.035}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":568.628}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":576.174}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":583.754}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":591.315}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":598.876}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":606.448}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":614.018}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":621.603}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":629.158}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":636.719}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":644.296}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":651.854}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":659.457}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":667.046}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":674.597}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":682.179}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":689.735}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":697.299}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":704.881}
{"event":"progress","completed":25232932864,"collisions":0,"seconds":712.429}
{"event":"progress","completed":25501368320,"collisions":0,"seconds":719.990}
{"event":"progress","completed":25769803776,"collisions":0,"seconds":727.547}
{"event":"progress","completed":26038239232,"collisions":0,"seconds":735.134}
{"event":"progress","completed":26306674688,"collisions":0,"seconds":742.681}
{"event":"progress","completed":26575110144,"collisions":0,"seconds":750.270}
{"event":"progress","completed":26843545600,"collisions":0,"seconds":757.846}
{"event":"progress","completed":27111981056,"collisions":0,"seconds":765.405}
{"event":"progress","completed":27380416512,"collisions":0,"seconds":772.969}
{"event":"progress","completed":27648851968,"collisions":0,"seconds":780.520}
{"event":"progress","completed":27917287424,"collisions":0,"seconds":788.107}
{"event":"progress","completed":28185722880,"collisions":0,"seconds":795.658}
{"event":"progress","completed":28454158336,"collisions":0,"seconds":803.226}
{"event":"progress","completed":28722593792,"collisions":0,"seconds":810.794}
{"event":"progress","completed":28991029248,"collisions":0,"seconds":818.361}
{"event":"progress","completed":29259464704,"collisions":0,"seconds":825.980}
{"event":"progress","completed":29527900160,"collisions":0,"seconds":833.539}
{"event":"progress","completed":29796335616,"collisions":0,"seconds":841.099}
{"event":"progress","completed":30064771072,"collisions":0,"seconds":848.657}
{"event":"progress","completed":30333206528,"collisions":0,"seconds":856.214}
{"event":"progress","completed":30601641984,"collisions":0,"seconds":863.832}
{"event":"progress","completed":30870077440,"collisions":0,"seconds":871.374}
{"event":"progress","completed":31138512896,"collisions":0,"seconds":878.915}
{"event":"progress","completed":31406948352,"collisions":0,"seconds":886.455}
{"event":"progress","completed":31675383808,"collisions":0,"seconds":894.040}
{"event":"progress","completed":31943819264,"collisions":0,"seconds":901.626}
{"event":"progress","completed":32212254720,"collisions":0,"seconds":909.179}
{"event":"progress","completed":32480690176,"collisions":0,"seconds":916.733}
{"event":"progress","completed":32749125632,"collisions":0,"seconds":924.280}
{"event":"progress","completed":33017561088,"collisions":0,"seconds":931.855}
{"event":"progress","completed":33285996544,"collisions":0,"seconds":939.401}
{"event":"progress","completed":33554432000,"collisions":0,"seconds":946.973}
{"event":"progress","completed":33822867456,"collisions":0,"seconds":954.531}
{"event":"progress","completed":34091302912,"collisions":0,"seconds":962.091}
{"event":"progress","completed":34359738368,"collisions":0,"seconds":969.710}
{"event":"progress","completed":34628173824,"collisions":0,"seconds":977.273}
{"event":"progress","completed":34896609280,"collisions":0,"seconds":984.821}
{"event":"progress","completed":35165044736,"collisions":0,"seconds":992.409}
{"event":"progress","completed":35433480192,"collisions":0,"seconds":999.969}
{"event":"progress","completed":35701915648,"collisions":0,"seconds":1007.530}
{"event":"progress","completed":35970351104,"collisions":0,"seconds":1015.082}
{"event":"progress","completed":36238786560,"collisions":0,"seconds":1022.678}
{"event":"progress","completed":36507222016,"collisions":0,"seconds":1030.228}
{"event":"progress","completed":36775657472,"collisions":0,"seconds":1037.792}
{"event":"progress","completed":37044092928,"collisions":0,"seconds":1045.379}
{"event":"progress","completed":37312528384,"collisions":0,"seconds":1052.919}
{"event":"progress","completed":37580963840,"collisions":0,"seconds":1060.510}
{"event":"progress","completed":37849399296,"collisions":0,"seconds":1068.054}
{"event":"progress","completed":38117834752,"collisions":0,"seconds":1075.618}
{"event":"progress","completed":38386270208,"collisions":0,"seconds":1083.204}
{"event":"progress","completed":38654705664,"collisions":0,"seconds":1090.760}
{"event":"progress","completed":38923141120,"collisions":0,"seconds":1098.320}
{"event":"progress","completed":39191576576,"collisions":0,"seconds":1105.872}
{"event":"progress","completed":39460012032,"collisions":0,"seconds":1113.449}
{"event":"progress","completed":39728447488,"collisions":0,"seconds":1120.996}
{"event":"progress","completed":39996882944,"collisions":0,"seconds":1128.575}
{"event":"progress","completed":40265318400,"collisions":0,"seconds":1136.207}
{"event":"progress","completed":40533753856,"collisions":0,"seconds":1143.758}
{"event":"progress","completed":40802189312,"collisions":0,"seconds":1151.306}
{"event":"progress","completed":41070624768,"collisions":0,"seconds":1158.859}
{"event":"progress","completed":41339060224,"collisions":0,"seconds":1166.421}
{"event":"progress","completed":41607495680,"collisions":0,"seconds":1173.979}
{"event":"progress","completed":41875931136,"collisions":0,"seconds":1181.532}
{"event":"progress","completed":42144366592,"collisions":0,"seconds":1189.148}
{"event":"progress","completed":42412802048,"collisions":0,"seconds":1196.704}
{"event":"progress","completed":42681237504,"collisions":0,"seconds":1204.279}
{"event":"progress","completed":42949672960,"collisions":0,"seconds":1211.873}
{"event":"progress","completed":43218108416,"collisions":0,"seconds":1219.418}
{"event":"progress","completed":43486543872,"collisions":0,"seconds":1226.976}
{"event":"progress","completed":43754979328,"collisions":0,"seconds":1234.571}
{"event":"progress","completed":44023414784,"collisions":0,"seconds":1242.103}
{"event":"progress","completed":44291850240,"collisions":0,"seconds":1249.678}
{"event":"progress","completed":44560285696,"collisions":0,"seconds":1257.228}
{"event":"progress","completed":44828721152,"collisions":0,"seconds":1264.804}
{"event":"progress","completed":45097156608,"collisions":0,"seconds":1272.399}
{"event":"progress","completed":45365592064,"collisions":0,"seconds":1279.946}
{"event":"progress","completed":45634027520,"collisions":0,"seconds":1287.507}
{"event":"progress","completed":45902462976,"collisions":0,"seconds":1295.045}
{"event":"progress","completed":46170898432,"collisions":0,"seconds":1302.622}
{"event":"progress","completed":46439333888,"collisions":0,"seconds":1310.175}
{"event":"progress","completed":46707769344,"collisions":0,"seconds":1317.736}
{"event":"progress","completed":46976204800,"collisions":0,"seconds":1325.322}
{"event":"progress","completed":47244640256,"collisions":0,"seconds":1332.881}
{"event":"progress","completed":47513075712,"collisions":0,"seconds":1340.446}
{"event":"progress","completed":47781511168,"collisions":0,"seconds":1348.044}
{"event":"progress","completed":48049946624,"collisions":0,"seconds":1355.594}
{"event":"progress","completed":48318382080,"collisions":0,"seconds":1363.168}
{"event":"progress","completed":48586817536,"collisions":0,"seconds":1370.715}
{"event":"progress","completed":48855252992,"collisions":0,"seconds":1378.277}
{"event":"progress","completed":49123688448,"collisions":0,"seconds":1386.746}
{"event":"progress","completed":49392123904,"collisions":0,"seconds":1400.194}
{"event":"result","b":4,"condition":0,"completed":49392123904,"collisions":0,"seconds":1400.195}