{"event":"start","b":2,"requested":68719476736,"threads":5,"condition":0,"seed":"ec004732c2c70100ea32d971a4ab91d6","rng_kat":true,"live_words":40,"live_ranges":[[0,27],[216,222],[640,647]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":6.592}
{"event":"progress","completed":536870912,"collisions":0,"seconds":13.057}
{"event":"progress","completed":805306368,"collisions":0,"seconds":19.532}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":26.099}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":32.586}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":39.050}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":45.526}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":52.041}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":58.532}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":65.008}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":71.485}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":77.955}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":84.444}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":90.965}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":97.422}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":103.891}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":110.388}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":116.897}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":123.363}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":129.826}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":136.352}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":142.819}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":149.296}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":155.761}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":162.264}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":168.754}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":175.233}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":181.708}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":188.193}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":194.742}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":201.209}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":207.701}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":214.178}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":220.676}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":227.210}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":233.692}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":240.161}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":246.644}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":253.175}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":259.658}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":266.119}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":272.597}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":279.087}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":285.610}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":292.079}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":298.548}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":305.036}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":311.522}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":318.017}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":324.476}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":330.952}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":337.433}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":343.942}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":350.417}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":356.903}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":363.383}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":369.848}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":376.354}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":382.844}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":389.308}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":395.800}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":402.293}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":408.771}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":415.250}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":421.762}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":428.228}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":434.700}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":441.186}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":447.681}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":454.166}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":460.637}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":467.098}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":473.633}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":480.106}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":486.571}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":493.070}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":499.586}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":506.051}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":512.510}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":518.974}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":525.526}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":531.996}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":538.457}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":544.920}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":551.407}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":557.930}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":564.391}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":570.872}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":577.357}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":583.868}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":590.330}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":596.832}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":603.320}
{"event":"progress","completed":25232932864,"collisions":0,"seconds":609.796}
{"event":"progress","completed":25501368320,"collisions":0,"seconds":616.249}
{"event":"progress","completed":25769803776,"collisions":0,"seconds":622.725}
{"event":"progress","completed":26038239232,"collisions":0,"seconds":629.266}
{"event":"progress","completed":26306674688,"collisions":0,"seconds":635.724}
{"event":"progress","completed":26575110144,"collisions":0,"seconds":642.190}
{"event":"progress","completed":26843545600,"collisions":0,"seconds":648.648}
{"event":"progress","completed":27111981056,"collisions":0,"seconds":655.186}
{"event":"progress","completed":27380416512,"collisions":0,"seconds":661.663}
{"event":"progress","completed":27648851968,"collisions":0,"seconds":668.139}
{"event":"progress","completed":27917287424,"collisions":0,"seconds":674.597}
{"event":"progress","completed":28185722880,"collisions":0,"seconds":681.061}
{"event":"progress","completed":28454158336,"collisions":0,"seconds":687.613}
{"event":"progress","completed":28722593792,"collisions":0,"seconds":694.073}
{"event":"progress","completed":28991029248,"collisions":0,"seconds":700.539}
{"event":"progress","completed":29259464704,"collisions":0,"seconds":706.999}