{"event":"start","b":8,"requested":56639881216,"threads":9,"condition":0,"seed":"4c273c23b2f2944dd7aee592061811e5","rng_kat":true,"live_words":76,"live_ranges":[[0,27],[216,240],[1912,1937]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":6.692}
{"event":"progress","completed":536870912,"collisions":0,"seconds":13.277}
{"event":"progress","completed":805306368,"collisions":0,"seconds":19.856}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":26.447}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":33.013}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":39.651}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":46.169}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":52.816}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":59.332}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":65.973}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":72.498}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":79.121}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":85.736}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":92.269}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":98.847}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":105.438}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":112.015}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":118.600}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":125.178}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":131.780}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":138.343}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":144.900}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":151.506}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":158.084}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":164.711}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":171.249}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":177.810}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":184.460}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":191.019}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":197.613}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":204.210}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":210.764}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":217.393}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":223.930}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":230.587}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":237.146}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":243.736}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":250.312}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":256.881}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":263.526}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":270.067}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":276.630}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":283.229}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":289.800}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":296.366}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":302.989}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":309.513}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":316.164}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":322.703}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":329.325}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":335.909}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":342.459}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":349.051}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":355.606}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":362.194}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":368.783}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":375.411}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":381.956}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":388.546}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":395.152}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":401.761}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":408.349}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":414.920}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":421.498}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":428.136}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":434.660}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":441.334}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":447.849}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":454.469}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":461.077}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":467.669}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":474.252}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":480.822}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":487.423}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":494.051}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":500.639}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":507.262}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":513.876}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":520.434}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":527.073}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":533.615}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":540.237}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":546.782}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":553.435}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":560.050}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":566.600}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":573.251}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":579.807}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":586.416}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":592.993}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":599.587}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":606.217}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":612.751}
{"event":"progress","completed":25232932864,"collisions":0,"seconds":619.412}
{"event":"progress","completed":25501368320,"collisions":0,"seconds":625.974}
{"event":"progress","completed":25769803776,"collisions":0,"seconds":632.577}
{"event":"progress","completed":26038239232,"collisions":0,"seconds":639.195}
{"event":"progress","completed":26306674688,"collisions":0,"seconds":645.763}
{"event":"progress","completed":26575110144,"collisions":0,"seconds":652.431}
{"event":"progress","completed":26843545600,"collisions":0,"seconds":658.946}
{"event":"progress","completed":27111981056,"collisions":0,"seconds":665.615}
{"event":"progress","completed":27380416512,"collisions":0,"seconds":672.177}
{"event":"progress","completed":27648851968,"collisions":0,"seconds":678.769}
{"event":"progress","completed":27917287424,"collisions":0,"seconds":685.402}
{"event":"progress","completed":28185722880,"collisions":0,"seconds":691.949}
{"event":"progress","completed":28454158336,"collisions":0,"seconds":698.579}
{"event":"progress","completed":28722593792,"collisions":0,"seconds":705.158}
{"event":"progress","completed":28991029248,"collisions":0,"seconds":711.784}
{"event":"progress","completed":29259464704,"collisions":0,"seconds":718.376}
{"event":"progress","completed":29527900160,"collisions":0,"seconds":724.950}
{"event":"progress","completed":29796335616,"collisions":0,"seconds":731.538}
{"event":"progress","completed":30064771072,"collisions":0,"seconds":738.112}
{"event":"progress","completed":30333206528,"collisions":0,"seconds":744.729}
{"event":"progress","completed":30601641984,"collisions":0,"seconds":751.381}
{"event":"progress","completed":30870077440,"collisions":0,"seconds":757.941}
{"event":"progress","completed":31138512896,"collisions":0,"seconds":764.528}
{"event":"progress","completed":31406948352,"collisions":0,"seconds":771.108}
{"event":"progress","completed":31675383808,"collisions":0,"seconds":777.722}
{"event":"progress","completed":31943819264,"collisions":0,"seconds":784.319}
{"event":"progress","completed":32212254720,"collisions":0,"seconds":790.905}
{"event":"progress","completed":32480690176,"collisions":0,"seconds":797.521}
{"event":"progress","completed":32749125632,"collisions":0,"seconds":804.095}
{"event":"progress","completed":33017561088,"collisions":0,"seconds":810.700}
{"event":"progress","completed":33285996544,"collisions":0,"seconds":817.293}
{"event":"progress","completed":33554432000,"collisions":0,"seconds":823.884}
{"event":"progress","completed":33822867456,"collisions":0,"seconds":830.519}
{"event":"progress","completed":34091302912,"collisions":0,"seconds":837.086}
{"event":"progress","completed":34359738368,"collisions":0,"seconds":843.727}
{"event":"progress","completed":34628173824,"collisions":0,"seconds":850.299}
{"event":"progress","completed":34896609280,"collisions":0,"seconds":856.877}
{"event":"progress","completed":35165044736,"collisions":0,"seconds":863.483}
{"event":"progress","completed":35433480192,"collisions":0,"seconds":870.097}
{"event":"progress","completed":35701915648,"collisions":0,"seconds":876.674}
{"event":"progress","completed":35970351104,"collisions":0,"seconds":883.266}
{"event":"progress","completed":36238786560,"collisions":0,"seconds":889.841}
{"event":"progress","completed":36507222016,"collisions":0,"seconds":896.422}
{"event":"progress","completed":36775657472,"collisions":0,"seconds":903.018}
{"event":"progress","completed":37044092928,"collisions":0,"seconds":909.621}
{"event":"progress","completed":37312528384,"collisions":0,"seconds":916.246}
{"event":"progress","completed":37580963840,"collisions":0,"seconds":922.829}
{"event":"progress","completed":37849399296,"collisions":0,"seconds":929.390}
{"event":"progress","completed":38117834752,"collisions":0,"seconds":935.984}
{"event":"progress","completed":38386270208,"collisions":0,"seconds":942.554}
{"event":"progress","completed":38654705664,"collisions":0,"seconds":949.178}
{"event":"progress","completed":38923141120,"collisions":0,"seconds":955.750}
{"event":"progress","completed":39191576576,"collisions":0,"seconds":962.389}
{"event":"progress","completed":39460012032,"collisions":0,"seconds":968.959}
{"event":"progress","completed":39728447488,"collisions":0,"seconds":975.563}
{"event":"progress","completed":39996882944,"collisions":0,"seconds":982.113}
{"event":"progress","completed":40265318400,"collisions":0,"seconds":988.730}
{"event":"progress","completed":40533753856,"collisions":0,"seconds":995.322}
{"event":"progress","completed":40802189312,"collisions":0,"seconds":1001.932}
{"event":"progress","completed":41070624768,"collisions":0,"seconds":1008.530}
{"event":"progress","completed":41339060224,"collisions":0,"seconds":1015.102}
{"event":"progress","completed":41607495680,"collisions":0,"seconds":1021.688}
{"event":"progress","completed":41875931136,"collisions":0,"seconds":1028.264}
{"event":"progress","completed":42144366592,"collisions":0,"seconds":1034.918}
{"event":"progress","completed":42412802048,"collisions":0,"seconds":1041.549}
{"event":"progress","completed":42681237504,"collisions":0,"seconds":1048.089}
{"event":"progress","completed":42949672960,"collisions":0,"seconds":1054.650}
{"event":"progress","completed":43218108416,"collisions":0,"seconds":1061.260}
{"event":"progress","completed":43486543872,"collisions":0,"seconds":1067.867}
{"event":"progress","completed":43754979328,"collisions":0,"seconds":1074.482}
{"event":"progress","completed":44023414784,"collisions":0,"seconds":1081.066}
{"event":"progress","completed":44291850240,"collisions":0,"seconds":1087.662}
{"event":"progress","completed":44560285696,"collisions":0,"seconds":1094.205}
{"event":"progress","completed":44828721152,"collisions":0,"seconds":1100.848}
{"event":"progress","completed":45097156608,"collisions":0,"seconds":1107.408}
{"event":"progress","completed":45365592064,"collisions":0,"seconds":1114.024}
{"event":"progress","completed":45634027520,"collisions":0,"seconds":1120.621}
{"event":"progress","completed":45902462976,"collisions":0,"seconds":1127.169}
{"event":"progress","completed":46170898432,"collisions":0,"seconds":1133.771}
{"event":"progress","completed":46439333888,"collisions":0,"seconds":1140.333}
{"event":"progress","completed":46707769344,"collisions":0,"seconds":1146.939}
{"event":"progress","completed":46976204800,"collisions":0,"seconds":1153.554}
{"event":"progress","completed":47244640256,"collisions":0,"seconds":1160.114}
{"event":"progress","completed":47513075712,"collisions":0,"seconds":1166.737}
{"event":"progress","completed":47781511168,"collisions":0,"seconds":1173.285}
{"event":"progress","completed":48049946624,"collisions":0,"seconds":1179.882}
{"event":"progress","completed":48318382080,"collisions":0,"seconds":1186.473}
{"event":"progress","completed":48586817536,"collisions":0,"seconds":1193.063}
{"event":"progress","completed":48855252992,"collisions":0,"seconds":1199.687}
{"event":"progress","completed":49123688448,"collisions":0,"seconds":1206.210}
{"event":"progress","completed":49392123904,"collisions":0,"seconds":1212.838}
{"event":"progress","completed":49660559360,"collisions":0,"seconds":1219.395}
{"event":"progress","completed":49928994816,"collisions":0,"seconds":1226.018}
{"event":"progress","completed":50197430272,"collisions":0,"seconds":1232.609}
{"event":"progress","completed":50465865728,"collisions":0,"seconds":1239.146}
{"event":"progress","completed":50734301184,"collisions":0,"seconds":1245.773}
{"event":"progress","completed":51002736640,"collisions":0,"seconds":1252.312}
{"event":"progress","completed":51271172096,"collisions":0,"seconds":1258.959}
{"event":"progress","completed":51539607552,"collisions":0,"seconds":1265.529}
{"event":"progress","completed":51808043008,"collisions":0,"seconds":1272.127}
{"event":"progress","completed":52076478464,"collisions":0,"seconds":1278.746}
{"event":"progress","completed":52344913920,"collisions":0,"seconds":1285.305}
{"event":"progress","completed":52613349376,"collisions":0,"seconds":1291.904}
{"event":"progress","completed":52881784832,"collisions":0,"seconds":1298.462}