{"event":"start","b":8,"requested":68719476736,"threads":24,"condition":0,"seed":"2b7304da8daf22f7899baf95787c4992","rng_kat":true,"live_words":76,"live_ranges":[[0,27],[216,240],[1912,1937]]}
{"event":"progress","completed":268435456,"collisions":0,"seconds":2.540}
{"event":"progress","completed":536870912,"collisions":0,"seconds":5.074}
{"event":"progress","completed":805306368,"collisions":0,"seconds":7.466}
{"event":"progress","completed":1073741824,"collisions":0,"seconds":9.922}
{"event":"progress","completed":1342177280,"collisions":0,"seconds":12.453}
{"event":"progress","completed":1610612736,"collisions":0,"seconds":14.866}
{"event":"progress","completed":1879048192,"collisions":0,"seconds":17.302}
{"event":"progress","completed":2147483648,"collisions":0,"seconds":19.828}
{"event":"progress","completed":2415919104,"collisions":0,"seconds":22.244}
{"event":"progress","completed":2684354560,"collisions":0,"seconds":24.682}
{"event":"progress","completed":2952790016,"collisions":0,"seconds":27.211}
{"event":"progress","completed":3221225472,"collisions":0,"seconds":29.661}
{"event":"progress","completed":3489660928,"collisions":0,"seconds":32.095}
{"event":"progress","completed":3758096384,"collisions":0,"seconds":34.588}
{"event":"progress","completed":4026531840,"collisions":0,"seconds":37.005}
{"event":"progress","completed":4294967296,"collisions":0,"seconds":39.456}
{"event":"progress","completed":4563402752,"collisions":0,"seconds":41.972}
{"event":"progress","completed":4831838208,"collisions":0,"seconds":44.423}
{"event":"progress","completed":5100273664,"collisions":0,"seconds":46.864}
{"event":"progress","completed":5368709120,"collisions":0,"seconds":49.351}
{"event":"progress","completed":5637144576,"collisions":0,"seconds":51.815}
{"event":"progress","completed":5905580032,"collisions":0,"seconds":54.244}
{"event":"progress","completed":6174015488,"collisions":0,"seconds":56.733}
{"event":"progress","completed":6442450944,"collisions":0,"seconds":59.193}
{"event":"progress","completed":6710886400,"collisions":0,"seconds":61.628}
{"event":"progress","completed":6979321856,"collisions":0,"seconds":64.110}
{"event":"progress","completed":7247757312,"collisions":0,"seconds":66.552}
{"event":"progress","completed":7516192768,"collisions":0,"seconds":69.028}
{"event":"progress","completed":7784628224,"collisions":0,"seconds":71.489}
{"event":"progress","completed":8053063680,"collisions":0,"seconds":73.953}
{"event":"progress","completed":8321499136,"collisions":0,"seconds":76.398}
{"event":"progress","completed":8589934592,"collisions":0,"seconds":78.857}
{"event":"progress","completed":8858370048,"collisions":0,"seconds":81.335}
{"event":"progress","completed":9126805504,"collisions":0,"seconds":83.771}
{"event":"progress","completed":9395240960,"collisions":0,"seconds":86.253}
{"event":"progress","completed":9663676416,"collisions":0,"seconds":88.723}
{"event":"progress","completed":9932111872,"collisions":0,"seconds":91.175}
{"event":"progress","completed":10200547328,"collisions":0,"seconds":93.635}
{"event":"progress","completed":10468982784,"collisions":0,"seconds":96.103}
{"event":"progress","completed":10737418240,"collisions":0,"seconds":98.559}
{"event":"progress","completed":11005853696,"collisions":0,"seconds":101.015}
{"event":"progress","completed":11274289152,"collisions":0,"seconds":103.481}
{"event":"progress","completed":11542724608,"collisions":0,"seconds":105.938}
{"event":"progress","completed":11811160064,"collisions":0,"seconds":108.396}
{"event":"progress","completed":12079595520,"collisions":0,"seconds":110.855}
{"event":"progress","completed":12348030976,"collisions":0,"seconds":113.318}
{"event":"progress","completed":12616466432,"collisions":0,"seconds":115.778}
{"event":"progress","completed":12884901888,"collisions":0,"seconds":118.232}
{"event":"progress","completed":13153337344,"collisions":0,"seconds":120.707}
{"event":"progress","completed":13421772800,"collisions":0,"seconds":123.159}
{"event":"progress","completed":13690208256,"collisions":0,"seconds":125.618}
{"event":"progress","completed":13958643712,"collisions":0,"seconds":128.076}
{"event":"progress","completed":14227079168,"collisions":0,"seconds":130.537}
{"event":"progress","completed":14495514624,"collisions":0,"seconds":133.006}
{"event":"progress","completed":14763950080,"collisions":0,"seconds":135.450}
{"event":"progress","completed":15032385536,"collisions":0,"seconds":137.922}
{"event":"progress","completed":15300820992,"collisions":0,"seconds":140.380}
{"event":"progress","completed":15569256448,"collisions":0,"seconds":142.820}
{"event":"progress","completed":15837691904,"collisions":0,"seconds":145.298}
{"event":"progress","completed":16106127360,"collisions":0,"seconds":147.733}
{"event":"progress","completed":16374562816,"collisions":0,"seconds":150.220}
{"event":"progress","completed":16642998272,"collisions":0,"seconds":152.683}
{"event":"progress","completed":16911433728,"collisions":0,"seconds":155.160}
{"event":"progress","completed":17179869184,"collisions":0,"seconds":157.598}
{"event":"progress","completed":17448304640,"collisions":0,"seconds":160.068}
{"event":"progress","completed":17716740096,"collisions":0,"seconds":162.543}
{"event":"progress","completed":17985175552,"collisions":0,"seconds":164.972}
{"event":"progress","completed":18253611008,"collisions":0,"seconds":167.450}
{"event":"progress","completed":18522046464,"collisions":0,"seconds":169.901}
{"event":"progress","completed":18790481920,"collisions":0,"seconds":172.352}
{"event":"progress","completed":19058917376,"collisions":0,"seconds":174.827}
{"event":"progress","completed":19327352832,"collisions":0,"seconds":177.281}
{"event":"progress","completed":19595788288,"collisions":0,"seconds":179.740}
{"event":"progress","completed":19864223744,"collisions":0,"seconds":182.203}
{"event":"progress","completed":20132659200,"collisions":0,"seconds":184.662}
{"event":"progress","completed":20401094656,"collisions":0,"seconds":187.116}
{"event":"progress","completed":20669530112,"collisions":0,"seconds":189.581}
{"event":"progress","completed":20937965568,"collisions":0,"seconds":192.041}
{"event":"progress","completed":21206401024,"collisions":0,"seconds":194.487}
{"event":"progress","completed":21474836480,"collisions":0,"seconds":196.962}
{"event":"progress","completed":21743271936,"collisions":0,"seconds":199.424}
{"event":"progress","completed":22011707392,"collisions":0,"seconds":201.876}
{"event":"progress","completed":22280142848,"collisions":0,"seconds":204.342}
{"event":"progress","completed":22548578304,"collisions":0,"seconds":206.822}
{"event":"progress","completed":22817013760,"collisions":0,"seconds":209.285}
{"event":"progress","completed":23085449216,"collisions":0,"seconds":211.725}
{"event":"progress","completed":23353884672,"collisions":0,"seconds":214.223}
{"event":"progress","completed":23622320128,"collisions":0,"seconds":216.664}
{"event":"progress","completed":23890755584,"collisions":0,"seconds":219.109}
{"event":"progress","completed":24159191040,"collisions":0,"seconds":221.596}
{"event":"progress","completed":24427626496,"collisions":0,"seconds":224.048}
{"event":"progress","completed":24696061952,"collisions":0,"seconds":226.512}
{"event":"progress","completed":24964497408,"collisions":0,"seconds":228.975}
{"event":"progress","completed":25232932864,"collisions":0,"seconds":231.436}
{"event":"progress","completed":25501368320,"collisions":0,"seconds":233.882}
{"event":"progress","completed":25769803776,"collisions":0,"seconds":236.351}
{"event":"progress","completed":26038239232,"collisions":0,"seconds":238.820}
{"event":"progress","completed":26306674688,"collisions":0,"seconds":241.256}
{"event":"progress","completed":26575110144,"collisions":0,"seconds":243.729}
{"event":"progress","completed":26843545600,"collisions":0,"seconds":246.204}
{"event":"progress","completed":27111981056,"collisions":0,"seconds":248.636}
{"event":"progress","completed":27380416512,"collisions":0,"seconds":251.098}
{"event":"progress","completed":27648851968,"collisions":0,"seconds":253.591}
{"event":"progress","completed":27917287424,"collisions":0,"seconds":256.028}
{"event":"progress","completed":28185722880,"collisions":0,"seconds":258.479}
{"event":"progress","completed":28454158336,"collisions":0,"seconds":260.978}
{"event":"progress","completed":28722593792,"collisions":0,"seconds":263.396}
{"event":"progress","completed":28991029248,"collisions":0,"seconds":265.861}
{"event":"progress","completed":29259464704,"collisions":0,"seconds":268.365}
{"event":"progress","completed":29527900160,"collisions":0,"seconds":270.802}
{"event":"progress","completed":29796335616,"collisions":0,"seconds":273.265}
{"event":"progress","completed":30064771072,"collisions":0,"seconds":275.741}
{"event":"progress","completed":30333206528,"collisions":0,"seconds":278.182}
{"event":"progress","completed":30601641984,"collisions":0,"seconds":280.627}
{"event":"progress","completed":30870077440,"collisions":0,"seconds":283.122}
{"event":"progress","completed":31138512896,"collisions":0,"seconds":285.577}
{"event":"progress","completed":31406948352,"collisions":0,"seconds":288.004}
{"event":"progress","completed":31675383808,"collisions":0,"seconds":290.504}
{"event":"progress","completed":31943819264,"collisions":0,"seconds":292.946}
{"event":"progress","completed":32212254720,"collisions":0,"seconds":295.391}
{"event":"progress","completed":32480690176,"collisions":0,"seconds":297.891}
{"event":"progress","completed":32749125632,"collisions":0,"seconds":300.313}
{"event":"progress","completed":33017561088,"collisions":0,"seconds":302.783}
{"event":"progress","completed":33285996544,"collisions":0,"seconds":305.268}
{"event":"progress","completed":33554432000,"collisions":0,"seconds":307.689}
{"event":"progress","completed":33822867456,"collisions":0,"seconds":310.156}
{"event":"progress","completed":34091302912,"collisions":0,"seconds":312.638}
{"event":"progress","completed":34359738368,"collisions":0,"seconds":315.080}
{"event":"progress","completed":34628173824,"collisions":0,"seconds":317.529}
{"event":"progress","completed":34896609280,"collisions":0,"seconds":320.011}
{"event":"progress","completed":35165044736,"collisions":0,"seconds":322.464}
{"event":"progress","completed":35433480192,"collisions":0,"seconds":324.908}
{"event":"progress","completed":35701915648,"collisions":0,"seconds":327.400}
{"event":"progress","completed":35970351104,"collisions":0,"seconds":329.845}
{"event":"progress","completed":36238786560,"collisions":0,"seconds":332.334}
{"event":"progress","completed":36507222016,"collisions":0,"seconds":334.783}
{"event":"progress","completed":36775657472,"collisions":0,"seconds":337.252}
{"event":"progress","completed":37044092928,"collisions":0,"seconds":339.701}
{"event":"progress","completed":37312528384,"collisions":0,"seconds":342.166}
{"event":"progress","completed":37580963840,"collisions":0,"seconds":344.629}
{"event":"progress","completed":37849399296,"collisions":0,"seconds":347.072}
{"event":"progress","completed":38117834752,"collisions":0,"seconds":349.560}
{"event":"progress","completed":38386270208,"collisions":0,"seconds":351.990}
{"event":"progress","completed":38654705664,"collisions":0,"seconds":354.465}
{"event":"progress","completed":38923141120,"collisions":0,"seconds":356.949}
{"event":"progress","completed":39191576576,"collisions":0,"seconds":359.366}
{"event":"progress","completed":39460012032,"collisions":0,"seconds":361.841}
{"event":"progress","completed":39728447488,"collisions":0,"seconds":364.308}
{"event":"progress","completed":39996882944,"collisions":0,"seconds":366.764}
{"event":"progress","completed":40265318400,"collisions":0,"seconds":369.228}
{"event":"progress","completed":40533753856,"collisions":0,"seconds":371.718}
{"event":"progress","completed":40802189312,"collisions":0,"seconds":374.121}
{"event":"progress","completed":41070624768,"collisions":0,"seconds":376.607}
{"event":"progress","completed":41339060224,"collisions":0,"seconds":379.096}
{"event":"progress","completed":41607495680,"collisions":0,"seconds":381.502}
{"event":"progress","completed":41875931136,"collisions":0,"seconds":383.990}
{"event":"progress","completed":42144366592,"collisions":0,"seconds":386.477}
{"event":"progress","completed":42412802048,"collisions":0,"seconds":388.903}
{"event":"progress","completed":42681237504,"collisions":0,"seconds":391.384}
{"event":"progress","completed":42949672960,"collisions":0,"seconds":393.859}
{"event":"progress","completed":43218108416,"collisions":0,"seconds":396.298}
{"event":"progress","completed":43486543872,"collisions":0,"seconds":398.775}
{"event":"progress","completed":43754979328,"collisions":0,"seconds":401.234}
{"event":"progress","completed":44023414784,"collisions":0,"seconds":403.681}
{"event":"progress","completed":44291850240,"collisions":0,"seconds":406.152}
{"event":"progress","completed":44560285696,"collisions":0,"seconds":408.634}
{"event":"progress","completed":44828721152,"collisions":0,"seconds":411.061}
{"event":"progress","completed":45097156608,"collisions":0,"seconds":413.530}
{"event":"progress","completed":45365592064,"collisions":0,"seconds":415.976}
{"event":"progress","completed":45634027520,"collisions":0,"seconds":418.416}
{"event":"progress","completed":45902462976,"collisions":0,"seconds":420.913}
{"event":"progress","completed":46170898432,"collisions":0,"seconds":423.332}
{"event":"progress","completed":46439333888,"collisions":0,"seconds":425.817}
{"event":"progress","completed":46707769344,"collisions":0,"seconds":428.270}
{"event":"progress","completed":46976204800,"collisions":0,"seconds":430.718}
{"event":"progress","completed":47244640256,"collisions":0,"seconds":433.190}
{"event":"progress","completed":47513075712,"collisions":0,"seconds":435.653}
{"event":"progress","completed":47781511168,"collisions":0,"seconds":438.093}
{"event":"progress","completed":48049946624,"collisions":0,"seconds":440.564}
{"event":"progress","completed":48318382080,"collisions":0,"seconds":443.038}
{"event":"progress","completed":48586817536,"collisions":0,"seconds":445.464}
{"event":"progress","completed":48855252992,"collisions":0,"seconds":447.939}
{"event":"progress","completed":49123688448,"collisions":0,"seconds":450.430}
{"event":"progress","completed":49392123904,"collisions":0,"seconds":452.844}
{"event":"progress","completed":49660559360,"collisions":0,"seconds":455.324}
{"event":"progress","completed":49928994816,"collisions":0,"seconds":457.790}
{"event":"progress","completed":50197430272,"collisions":0,"seconds":460.239}
{"event":"progress","completed":50465865728,"collisions":0,"seconds":462.692}
{"event":"progress","completed":50734301184,"collisions":0,"seconds":465.168}
{"event":"progress","completed":51002736640,"collisions":0,"seconds":467.621}
{"event":"progress","completed":51271172096,"collisions":0,"seconds":470.060}
{"event":"progress","completed":51539607552,"collisions":0,"seconds":472.563}
{"event":"progress","completed":51808043008,"collisions":0,"seconds":474.993}
{"event":"progress","completed":52076478464,"collisions":0,"seconds":477.444}
{"event":"progress","completed":52344913920,"collisions":0,"seconds":479.939}
{"event":"progress","completed":52613349376,"collisions":0,"seconds":482.369}
{"event":"progress","completed":52881784832,"collisions":0,"seconds":484.827}
{"event":"progress","completed":53150220288,"collisions":0,"seconds":487.307}
{"event":"progress","completed":53418655744,"collisions":0,"seconds":489.751}
{"event":"progress","completed":53687091200,"collisions":0,"seconds":492.207}
{"event":"progress","completed":53955526656,"collisions":0,"seconds":494.683}
{"event":"progress","completed":54223962112,"collisions":0,"seconds":497.131}
{"event":"progress","completed":54492397568,"collisions":0,"seconds":499.586}
{"event":"progress","completed":54760833024,"collisions":0,"seconds":502.065}
{"event":"progress","completed":55029268480,"collisions":0,"seconds":504.511}
{"event":"progress","completed":55297703936,"collisions":0,"seconds":506.965}
{"event":"progress","completed":55566139392,"collisions":0,"seconds":509.443}
{"event":"progress","completed":55834574848,"collisions":0,"seconds":511.912}
{"event":"progress","completed":56103010304,"collisions":0,"seconds":514.348}
{"event":"progress","completed":56371445760,"collisions":0,"seconds":516.823}
{"event":"progress","completed":56639881216,"collisions":0,"seconds":519.293}
{"event":"progress","completed":56908316672,"collisions":0,"seconds":521.727}
{"event":"progress","completed":57176752128,"collisions":0,"seconds":524.208}
{"event":"progress","completed":57445187584,"collisions":0,"seconds":526.667}
{"event":"progress","completed":57713623040,"collisions":0,"seconds":529.108}
{"event":"progress","completed":57982058496,"collisions":0,"seconds":531.589}
{"event":"progress","completed":58250493952,"collisions":0,"seconds":534.027}
{"event":"progress","completed":58518929408,"collisions":0,"seconds":536.488}
{"event":"progress","completed":58787364864,"collisions":0,"seconds":538.965}
{"event":"progress","completed":59055800320,"collisions":0,"seconds":541.434}
{"event":"progress","completed":59324235776,"collisions":0,"seconds":543.864}
{"event":"progress","completed":59592671232,"collisions":0,"seconds":546.343}
{"event":"progress","completed":59861106688,"collisions":0,"seconds":548.786}
{"event":"progress","completed":60129542144,"collisions":0,"seconds":551.243}
{"event":"progress","completed":60397977600,"collisions":0,"seconds":553.728}
{"event":"progress","completed":60666413056,"collisions":0,"seconds":556.164}
{"event":"progress","completed":60934848512,"collisions":0,"seconds":558.631}
{"event":"progress","completed":61203283968,"collisions":0,"seconds":561.106}
{"event":"progress","completed":61471719424,"collisions":0,"seconds":563.542}
{"event":"progress","completed":61740154880,"collisions":0,"seconds":566.001}
{"event":"progress","completed":62008590336,"collisions":0,"seconds":568.490}
{"event":"progress","completed":62277025792,"collisions":0,"seconds":570.951}
{"event":"progress","completed":62545461248,"collisions":0,"seconds":573.380}
{"event":"progress","completed":62813896704,"collisions":0,"seconds":575.870}
{"event":"progress","completed":63082332160,"collisions":0,"seconds":578.328}
{"event":"progress","completed":63350767616,"collisions":0,"seconds":580.757}
{"event":"progress","completed":63619203072,"collisions":0,"seconds":583.248}
{"event":"progress","completed":63887638528,"collisions":0,"seconds":585.694}
{"event":"progress","completed":64156073984,"collisions":0,"seconds":588.134}
{"event":"progress","completed":64424509440,"collisions":0,"seconds":590.624}
{"event":"progress","completed":64692944896,"collisions":0,"seconds":593.076}
{"event":"progress","completed":64961380352,"collisions":0,"seconds":595.510}
{"event":"progress","completed":65229815808,"collisions":0,"seconds":597.998}
{"event":"progress","completed":65498251264,"collisions":0,"seconds":600.448}
{"event":"progress","completed":65766686720,"collisions":0,"seconds":602.888}
{"event":"progress","completed":66035122176,"collisions":0,"seconds":605.390}
{"event":"progress","completed":66303557632,"collisions":0,"seconds":607.817}
{"event":"progress","completed":66571993088,"collisions":0,"seconds":610.267}
{"event":"progress","completed":66840428544,"collisions":0,"seconds":612.749}
{"event":"progress","completed":67108864000,"collisions":0,"seconds":615.187}
{"event":"progress","completed":67377299456,"collisions":0,"seconds":617.729}
{"event":"progress","completed":67645734912,"collisions":0,"seconds":620.301}
{"event":"progress","completed":67914170368,"collisions":0,"seconds":622.898}
{"event":"progress","completed":68182605824,"collisions":0,"seconds":625.452}
{"event":"progress","completed":68451041280,"collisions":0,"seconds":628.010}
{"event":"progress","completed":68719476736,"collisions":0,"seconds":635.172}
{"event":"result","b":8,"condition":0,"completed":68719476736,"collisions":0,"seconds":635.172}