{"event":"start","b":4,"requested":68719476736,"threads":5,"condition":0,"seed":"0eb24d631dd710f94f30ffb2f63a2962","rng_kat":true,"live_words":52,"live_ranges":[[0,27],[216,228],[1064,1077]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":7.699}
{"event":"progress","completed":536870912,"collisions":0,"seconds":15.275}
{"event":"progress","completed":805306368,"collisions":0,"seconds":22.933}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":30.501}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":38.142}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":45.713}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":53.309}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":60.958}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":68.550}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":76.141}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":83.770}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":91.431}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":99.008}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":106.602}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":114.257}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":121.868}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":129.466}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":137.112}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":144.724}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":152.321}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":159.931}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":167.601}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":175.183}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":182.851}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":190.426}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":198.093}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":205.721}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":213.337}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":220.935}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":228.578}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":236.200}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":243.865}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":251.442}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":259.100}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":266.704}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":274.293}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":281.916}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":289.516}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":297.163}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":304.771}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":312.418}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":319.984}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":327.594}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":335.242}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":342.833}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":350.497}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":358.078}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":365.673}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":373.323}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":380.880}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":388.536}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":396.131}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":403.741}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":411.358}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":418.976}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":426.543}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":434.183}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":441.768}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":449.334}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":456.984}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":464.554}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":472.182}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":479.771}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":487.357}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":495.015}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":502.592}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":510.192}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":517.829}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":525.429}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":533.056}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":540.650}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":548.275}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":555.900}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":563.523}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":571.126}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":578.743}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":586.322}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":593.951}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":601.563}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":609.138}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":616.751}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":624.377}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":632.003}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":639.636}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":647.198}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":654.863}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":662.439}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":670.051}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":677.677}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":685.302}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":692.924}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":700.511}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":708.155}