{"event":"start","b":1,"requested":68719476736,"threads":5,"condition":0,"seed":"195ab07249093303aedf7a582103deaf","rng_kat":true,"live_words":34,"live_ranges":[[0,27],[216,219],[428,432]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":9.301}
{"event":"progress","completed":536870912,"collisions":0,"seconds":18.430}
{"event":"progress","completed":805306368,"collisions":0,"seconds":27.593}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":36.786}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":45.962}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":55.183}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":64.312}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":73.509}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":82.654}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":91.827}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":101.025}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":110.176}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":119.368}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":128.579}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":137.723}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":146.955}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":156.115}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":165.316}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":174.619}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":183.795}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":192.965}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":202.153}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":211.407}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":220.562}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":229.738}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":238.939}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":248.125}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":257.282}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":266.450}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":275.614}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":284.776}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":293.933}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":303.091}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":312.338}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":321.470}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":330.602}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":339.763}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":349.000}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":358.139}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":367.285}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":376.443}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":385.641}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":394.783}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":403.925}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":413.086}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":422.231}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":431.438}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":440.578}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":449.761}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":458.902}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":468.094}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":477.237}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":486.462}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":495.628}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":504.762}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":513.902}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":523.134}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":532.294}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":541.428}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":550.577}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":559.772}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":568.948}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":578.087}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":587.254}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":596.412}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":605.632}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":614.791}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":623.953}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":633.083}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":642.299}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":651.446}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":660.625}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":669.770}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":678.970}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":688.115}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":697.284}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":706.419}