*********************************************************************************** * Addibit: Another Double Description Implementation with BInary Trees. ** * Copyright (C) 2013 Blagoy Genov * * This program comes with ABSOLUTELY NO WARRANTY!!! * *********************************************************************************** ----------------------------------------------------------------------------------- | GENERAL SETTINGS | ----------------------------------------------------------------------------------- -> Plot file = gnuplot.dat ----------------------------------------------------------------------------------- | NARROWING DEGENERATE TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_QUERY_BITS_NEUTRALIZATION -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | NARROWING NONDEGENERATE TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_QUERY_BITS_NEUTRALIZATION -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | VERIFICATION TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_QUERY_BITS_NEUTRALIZATION -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | COMPUTATION | ----------------------------------------------------------------------------------- [1/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(0)/2(0)/2.7067/0/0/-/-/4, dt=0ms [2/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6(0)/3(0)/2.29282/0/0/-/-/5, dt=1ms [3/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 10(0)/4(0)/2.14974/0/0/-/-/6, dt=1ms [4/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 15(0)/5(0)/2.09015/0/0/-/-/8, dt=1ms [5/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 21(0)/6(0)/2.18064/0/0/-/-/9, dt=1ms [6/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 28(0)/7(0)/1.56883/0/0/-/-/10, dt=1ms [7/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 36(0)/8(0)/1.48103/0/0/-/-/11, dt=1ms [8/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 45(0)/9(0)/1.41784/0/0/-/-/12, dt=1ms [9/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 55(0)/10(0)/1.37016/0/0/-/-/13, dt=1ms [10/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 66(0)/11(0)/1.33284/0/0/-/-/14, dt=2ms [11/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 78(0)/12(0)/1.30279/0/0/-/-/15, dt=2ms [12/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 91(0)/13(0)/1.27804/0/0/-/-/16, dt=2ms [13/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 105(0)/14(0)/1.25727/0/0/-/-/17, dt=3ms [14/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 120(0)/15(0)/1.23956/0/0/-/-/18, dt=2ms [15/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 136(0)/16(0)/1.22428/0/0/-/-/19, dt=3ms [16/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 153(0)/17(0)/1.21094/0/0/-/-/20, dt=3ms [17/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 171(0)/18(0)/1.19918/0/0/-/-/21, dt=2ms [18/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 190(0)/19(0)/1.18873/0/0/-/-/22, dt=3ms [19/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 210(0)/20(0)/1.17938/0/0/-/-/23, dt=3ms [20/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 231(0)/21(0)/1.17586/0/0/-/-/24, dt=3ms [21/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(0)/22(0)/1.1585/0/0/-/-/48, dt=11ms [22/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(0.913043)/253(0)/2.11338/253/253/1.18224/1.8352/48, dt=20ms [23/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(0.977273)/253(0)/2.01354/253/253/1.10942/1.42692/48, dt=17ms [24/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(1.01562)/253(0)/1.94269/253/253/1.16824/1.58161/48, dt=17ms [25/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(1.06024)/253(0)/1.6726/253/253/1.2018/1.63474/49, dt=18ms [26/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(1.10891)/252(0)/1.52204/250/250/1.24016/1.6971/49, dt=18ms [27/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(1.16102)/250(0)/1.43289/247/247/1.25504/1.69467/49, dt=17ms [28/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(1.21642)/247(0)/1.37501/243/243/1.26004/1.67099/49, dt=18ms [29/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(1.27517)/243(0)/1.33297/238/238/1.27073/1.66672/49, dt=17ms [30/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(1.33742)/238(0)/1.3015/232/232/1.28186/1.66653/49, dt=17ms [31/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(1.40341)/232(0)/1.27714/225/225/1.30357/1.69277/49, dt=17ms [32/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(1.4734)/225(0)/1.26064/217/217/1.31029/1.68631/49, dt=17ms [33/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(1.54774)/217(0)/1.2482/208/208/1.31576/1.67941/49, dt=16ms [34/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(1.62679)/208(0)/1.23726/198/198/1.08048/1.16901/49, dt=16ms [35/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(1.71101)/198(0)/1.22997/187/187/1.07828/1.1609/49, dt=15ms [36/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(1.80088)/187(0)/1.2246/175/175/1.07707/1.15546/49, dt=14ms [37/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(1.897)/175(0)/1.22076/162/162/1.0759/1.15061/49, dt=13ms [38/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(2)/162(0)/1.21815/148/148/1.07469/1.14613/49, dt=12ms [39/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(2.11066)/148(0)/1.21647/133/133/1.07334/1.14174/49, dt=11ms [40/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(2.22984)/133(0)/1.21544/117/117/1.07165/1.13708/49, dt=10ms [41/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(2.35857)/117(0)/1.21465/100/100/1.05109/1.09692/49, dt=9ms [42/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(2.49802)/100(0)/1.21348/82/82/1.04472/1.08428/49, dt=7ms [43/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(2.64961)/82(0)/1.11669/63/63/1.05396/1.1012/49, dt=6ms [44/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(2.81496)/63(0)/1.09489/43/43/1.06143/1.11483/49, dt=5ms [45/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(2.98425)/43(0)/1.04665/22/22/1.05234/1.09783/49, dt=3ms [46/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(3.07087)/22(0)/0.995981/0/0/-/-/49, dt=1ms [47/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(4.86957)/253(3)/2.21307/799/275/1.13446/1.25135/49, dt=17ms [48/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(4.47727)/253(2.91304)/2.10973/820/274/1.11797/1.21302/49, dt=17ms [49/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(4.35938)/253(2.74308)/1.76189/836/273/1.12553/1.2197/49, dt=18ms [50/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(4.3253)/253(2.57708)/1.56938/847/271/1.12893/1.21965/49, dt=18ms [51/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(4.32673)/252(2.4246)/1.4685/853/268/1.12888/1.21455/49, dt=18ms [52/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(4.34746)/250(2.284)/1.40931/854/264/1.1345/1.21956/49, dt=18ms [53/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(4.3806)/247(2.15385)/1.36841/850/259/1.14249/1.22878/49, dt=18ms [54/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(4.42282)/243(2.03292)/1.33927/841/253/1.13624/1.21578/49, dt=18ms [55/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(4.47239)/238(1.92017)/1.31799/827/246/1.13394/1.20984/49, dt=18ms [56/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(4.52841)/232(1.81466)/1.3024/808/238/1.13585/1.21106/49, dt=18ms [57/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(4.59043)/225(1.71556)/1.29271/784/229/1.11388/1.17588/49, dt=17ms [58/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(4.65829)/217(1.62212)/1.28449/755/219/1.12126/1.18662/49, dt=17ms [59/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(4.73206)/208(1.53365)/1.27937/721/208/1.08003/1.12303/49, dt=16ms [60/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(4.81193)/198(1.44949)/1.27581/682/196/1.07425/1.11428/49, dt=15ms [61/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(4.89823)/187(1.36898)/1.2734/638/183/1.06928/1.10701/49, dt=14ms [62/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(4.99142)/175(1.29143)/1.27175/589/169/1.06323/1.09824/49, dt=13ms [63/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(5.09205)/162(1.21605)/1.27048/535/154/1.05796/1.0908/49, dt=12ms [64/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(5.20082)/148(1.14189)/1.26908/476/138/1.05252/1.08319/49, dt=11ms [65/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(5.31855)/133(1.06767)/1.2669/412/121/1.04668/1.07496/49, dt=10ms [66/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(5.44622)/117(0.991453)/1.25273/343/103/1.04272/1.06973/49, dt=9ms [67/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(5.58498)/100(0.91)/1.16447/269/84/1.04121/1.0686/49, dt=7ms [68/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(5.73622)/82(0.817073)/1.10043/190/64/1.04414/1.07519/49, dt=6ms [69/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(5.90157)/63(0.698413)/1.07205/106/43/1.06214/1.10874/49, dt=5ms [70/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(6.07087)/43(0.511628)/1.04268/22/22/1.04964/1.08962/49, dt=3ms [71/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(6.15748)/22(0)/0.979722/0/0/-/-/49, dt=1ms [72/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(8.82609)/253(6)/2.21307/799/275/1.13446/1.25135/49, dt=19ms [73/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(7.97727)/253(5.82609)/2.15281/1299/274/1.08895/1.16062/49, dt=18ms [74/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(7.70312)/253(5.48617)/1.99046/1714/273/1.07405/1.12959/49, dt=18ms [75/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(7.59036)/253(5.15415)/1.76169/2084/271/1.0687/1.11704/49, dt=19ms [76/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(7.54455)/252(4.84921)/1.62198/2409/268/1.06252/1.10408/49, dt=19ms [77/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(7.5339)/250(4.568)/1.53692/2689/264/1.06213/1.10142/49, dt=18ms [78/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(7.54478)/247(4.30769)/1.47456/2924/259/1.05433/1.08723/49, dt=18ms [79/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(7.57047)/243(4.06584)/1.42742/3114/253/1.05966/1.09449/49, dt=18ms [80/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(7.60736)/238(3.84034)/1.38947/3259/246/1.05954/1.09328/49, dt=19ms [81/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(7.65341)/232(3.62931)/1.36498/3359/238/1.06011/1.09339/49, dt=18ms [82/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(7.70745)/225(3.43111)/1.34764/3414/229/1.05345/1.08255/49, dt=19ms [83/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(7.76884)/217(3.24424)/1.33148/3424/219/1.05434/1.08364/49, dt=18ms [84/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(7.83732)/208(3.06731)/1.32026/3389/208/1.02835/1.04358/49, dt=17ms [85/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(7.91284)/198(2.89899)/1.31115/3309/196/1.02523/1.03883/49, dt=16ms [86/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(7.99558)/187(2.73797)/1.3036/3184/183/1.02271/1.03508/49, dt=15ms [87/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(8.08584)/175(2.58286)/1.29711/3014/169/1.01951/1.03031/49, dt=14ms [88/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(8.1841)/162(2.4321)/1.2912/2799/154/1.01702/1.02667/49, dt=13ms [89/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(8.29098)/148(2.28378)/1.28531/2539/138/1.01454/1.02304/49, dt=12ms [90/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(8.40726)/133(2.13534)/1.27868/2234/121/1.01197/1.01923/49, dt=10ms [91/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(8.53386)/117(1.98291)/1.26202/1884/103/1.0086/1.01405/49, dt=9ms [92/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(8.67194)/100(1.82)/1.17557/1489/84/1.00513/1.00853/49, dt=8ms [93/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(8.82283)/82(1.63415)/1.10826/1050/64/1.00926/1.01578/49, dt=6ms [94/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(8.98819)/63(1.39683)/1.07728/548/43/1.0295/1.05162/49, dt=5ms [95/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(9.15748)/43(1.02326)/1.04476/44/22/1.05851/1.10565/49, dt=3ms [96/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(9.24409)/22(0)/0.979722/0/0/-/-/49, dt=1ms [97/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 23(12.7826)/253(9)/2.21307/799/275/1.13446/1.25135/71, dt=29ms [98/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 44(11.4773)/253(8.73913)/2.15281/1299/274/1.08525/1.15394/92, dt=20ms [99/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 64(11.0469)/253(8.22925)/1.99046/1714/273/1.0714/1.12495/112, dt=21ms [100/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 83(10.8554)/253(7.73123)/1.76169/2084/271/1.0687/1.11704/131, dt=30ms [101/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 101(10.7624)/252(7.27381)/1.62198/2409/268/1.06252/1.10408/149, dt=29ms [102/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 118(10.7203)/250(6.852)/1.53692/2689/264/1.05936/1.09689/166, dt=23ms [103/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 134(10.709)/247(6.46154)/1.47456/2924/259/1.05298/1.08507/182, dt=23ms [104/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 149(10.7181)/243(6.09877)/1.42742/3114/253/1.0568/1.08997/197, dt=21ms [105/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 163(10.7423)/238(5.7605)/1.38947/3259/246/1.05671/1.08885/211, dt=22ms [106/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 176(10.7784)/232(5.44397)/1.36498/3359/238/1.0573/1.08902/224, dt=22ms [107/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 188(10.8245)/225(5.14667)/1.34764/3414/229/1.05021/1.07754/236, dt=21ms [108/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 199(10.8794)/217(4.86636)/1.33148/3424/219/1.05124/1.07886/247, dt=21ms [109/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 209(10.9426)/208(4.60096)/1.32026/3389/208/1.02399/1.03688/257, dt=39ms [110/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 218(11.0138)/198(4.34848)/1.31115/3309/196/1.02102/1.03236/266, dt=18ms [111/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 226(11.0929)/187(4.10695)/1.3036/3184/183/1.01866/1.02883/274, dt=17ms [112/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 233(11.1803)/175(3.87429)/1.29711/3014/169/1.01565/1.02432/281, dt=16ms [113/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 239(11.2762)/162(3.64815)/1.2912/2799/154/1.01342/1.02102/287, dt=14ms [114/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 244(11.3811)/148(3.42568)/1.28531/2539/138/1.01128/1.01786/292, dt=13ms [115/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 248(11.496)/133(3.20301)/1.27868/2234/121/1.0092/1.01477/296, dt=12ms [116/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 251(11.6215)/117(2.97436)/1.26202/1884/103/1.0086/1.01405/299, dt=10ms [117/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 253(11.7589)/100(2.73)/1.17557/1489/84/1.00532/1.00886/301, dt=8ms [118/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(11.9094)/82(2.45122)/1.10826/1050/64/1.00847/1.01442/302, dt=7ms [119/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(12.0748)/63(2.09524)/1.07728/548/43/1.02628/1.04598/302, dt=5ms [120/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(12.2441)/43(1.53488)/1.04476/44/22/1.05851/1.10565/302, dt=3ms [121/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 254(12.3307)/22(0)/0.979722/0/0/-/-/302, dt=2ms [122/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(12.9844)/2(96)/2.15726/512/512/1.2415/1.45144/305, dt=48ms [123/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.0703)/506(9)/2.03677/24876/506/1.0365/1.04058/305, dt=59ms [124/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.2383)/506(8.73913)/2.03479/23952/506/1.0376/1.0418/305, dt=55ms [125/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.4023)/506(8.22925)/2.03167/22740/506/1.04192/1.0466/305, dt=60ms [126/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.5664)/506(7.73123)/2.0281/21540/504/1.03969/1.04419/305, dt=53ms [127/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.7305)/504(7.27381)/2.02547/20352/500/1.03746/1.04182/305, dt=57ms [128/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(13.8945)/500(6.852)/1.90369/19176/494/1.03529/1.03956/305, dt=50ms [129/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.0586)/494(6.46154)/1.86836/18012/486/1.03291/1.0371/305, dt=53ms [130/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.2227)/486(6.09877)/1.82938/16860/476/1.01967/1.02233/305, dt=45ms [131/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.3867)/476(5.7605)/1.78765/15720/464/1.01605/1.01838/305, dt=48ms [132/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.5508)/464(5.44397)/1.73954/14592/450/1.01431/1.01656/305, dt=41ms [133/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.7148)/450(5.14667)/1.68995/13476/434/1.01298/1.01519/305, dt=43ms [134/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(14.8789)/434(4.86636)/1.64689/12372/416/1.01167/1.01384/305, dt=37ms [135/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.043)/416(4.60096)/1.60302/11280/396/1.01021/1.0123/305, dt=37ms [136/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.207)/396(4.34848)/1.55822/10200/374/1.00896/1.01099/305, dt=33ms [137/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.3711)/374(4.10695)/1.51238/9132/350/1.00778/1.00972/305, dt=32ms [138/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.5352)/350(3.87429)/1.4653/8076/324/1.0068/1.00869/305, dt=28ms [139/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.6992)/324(3.64815)/1.41674/7032/296/1.00583/1.00764/305, dt=25ms [140/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(15.8633)/296(3.42568)/1.36634/6000/266/1.00502/1.00676/305, dt=23ms [141/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.0273)/266(3.20301)/1.31352/4980/234/1.00444/1.00616/305, dt=20ms [142/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.1914)/234(2.97436)/1.25727/3972/200/1.0091/1.01308/305, dt=18ms [143/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.3555)/200(2.73)/1.19524/2976/164/1.00761/1.01137/305, dt=15ms [144/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.5195)/164(2.45122)/1.12593/1992/126/1.01011/1.01578/305, dt=12ms [145/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.6836)/126(2.09524)/1.09018/1016/86/1.0096/1.01575/305, dt=9ms [146/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.8516)/86(1.53488)/1.05448/44/44/1.04309/1.07487/305, dt=6ms [147/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 256(16.9375)/44(0)/0.987903/0/0/-/-/305, dt=2ms [148/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(17.8533)/3(96)/2.15539/777/767/1.27221/1.50556/309, dt=38ms [149/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(17.9382)/759(9)/2.04521/39591/759/1.03137/1.02983/309, dt=88ms [150/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.1042)/759(8.73913)/2.04291/37985/759/1.0323/1.03072/309, dt=82ms [151/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.2664)/759(8.22925)/2.03915/35979/759/1.04034/1.03837/309, dt=89ms [152/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.4286)/759(7.73123)/2.03496/34000/756/1.03815/1.03634/309, dt=81ms [153/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.5907)/756(7.27381)/2.03176/32048/750/1.03599/1.03439/309, dt=84ms [154/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.7529)/750(6.852)/2.02701/30123/741/1.03385/1.03251/309, dt=75ms [155/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(18.9151)/741(6.46154)/1.87804/28225/729/1.03166/1.0306/309, dt=78ms [156/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.0772)/729(6.09877)/1.83992/26354/714/1.02915/1.02841/309, dt=69ms [157/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.2394)/714(5.7605)/1.79924/24510/696/1.01254/1.01235/309, dt=68ms [158/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.4015)/696(5.44397)/1.75533/22693/675/1.0113/1.01126/309, dt=58ms [159/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.5637)/675(5.14667)/1.70398/20903/651/1.01019/1.01029/309, dt=62ms [160/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.7259)/651(4.86636)/1.65074/19140/624/1.00907/1.00932/309, dt=52ms [161/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(19.888)/624(4.60096)/1.60684/17404/594/1.00821/1.00859/309, dt=53ms [162/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.0502)/594(4.34848)/1.56206/15695/561/1.00712/1.00761/309, dt=46ms [163/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.2124)/561(4.10695)/1.51626/14013/525/1.00626/1.00684/309, dt=45ms [164/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.3745)/525(3.87429)/1.46925/12358/486/1.00549/1.00617/309, dt=40ms [165/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.5367)/486(3.64815)/1.42581/10730/444/1.00504/1.00583/309, dt=37ms [166/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.6988)/444(3.42568)/1.37416/9129/399/1.0072/1.00862/309, dt=33ms [167/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(20.861)/399(3.20301)/1.3201/7555/351/1.00688/1.00856/309, dt=30ms [168/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.0232)/351(2.97436)/1.26079/6008/300/1.00794/1.01032/309, dt=25ms [169/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.1853)/300(2.73)/1.19616/4488/246/1.00596/1.00814/309, dt=21ms [170/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.3475)/246(2.45122)/1.12429/2995/189/1.00915/1.01323/309, dt=17ms [171/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.5097)/189(2.09524)/1.09206/1523/129/1.00928/1.01435/309, dt=13ms [172/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.6757)/129(1.53488)/1.05377/66/66/1.04239/1.07095/309, dt=8ms [173/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 259(21.7606)/66(0)/0.98798/0/0/-/-/309, dt=3ms [174/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(22.8897)/4(96)/2.15296/1052/1022/1.28779/1.53027/314, dt=48ms [175/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(22.9734)/1012(9)/2.04451/54812/1012/1.02994/1.02511/314, dt=115ms [176/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.1369)/1012(8.73913)/2.04156/52480/1012/1.03076/1.0258/314, dt=108ms [177/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.2966)/1012(8.22925)/2.03687/49638/1012/1.03981/1.03338/314, dt=116ms [178/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.4563)/1012(7.73123)/2.03178/46840/1008/1.03764/1.03162/314, dt=107ms [179/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.616)/1008(7.27381)/2.02775/44086/1000/1.03552/1.02995/314, dt=111ms [180/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.7757)/1000(6.852)/2.02648/41376/988/1.03347/1.02837/314, dt=100ms [181/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(23.9354)/988(6.46154)/1.91267/38710/972/1.03139/1.0268/314, dt=101ms [182/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.0951)/972(6.09877)/1.83495/36088/952/1.02895/1.02495/314, dt=90ms [183/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.2548)/952(5.7605)/1.79406/33510/928/1.01118/1.00974/314, dt=86ms [184/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.4144)/928(5.44397)/1.75005/30976/900/1.01014/1.00895/314, dt=76ms [185/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.5741)/900(5.14667)/1.69877/28486/868/1.00915/1.0082/314, dt=78ms [186/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.7338)/868(4.86636)/1.64567/26040/832/1.00806/1.00736/314, dt=68ms [187/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(24.8935)/832(4.60096)/1.60182/23638/792/1.00712/1.00664/314, dt=68ms [188/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.0532)/792(4.34848)/1.56656/21280/748/1.00623/1.00594/314, dt=59ms [189/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.2129)/748(4.10695)/1.51928/18966/700/1.0054/1.00528/314, dt=58ms [190/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.3726)/700(3.87429)/1.471/16696/648/1.00481/1.00485/314, dt=50ms [191/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.5323)/648(3.64815)/1.42142/14470/592/1.00424/1.00443/314, dt=47ms [192/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.692)/592(3.42568)/1.37012/12288/532/1.00388/1.00421/314, dt=41ms [193/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(25.8517)/532(3.20301)/1.31647/10150/468/1.00381/1.00432/314, dt=37ms [194/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.0114)/468(2.97436)/1.25685/8056/400/1.01207/1.01438/314, dt=32ms [195/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.1711)/400(2.73)/1.19337/6006/328/1.00486/1.00613/314, dt=27ms [196/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.3308)/328(2.45122)/1.12234/4000/252/1.00709/1.00958/314, dt=22ms [197/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.4905)/252(2.09524)/1.09065/2030/172/1.00674/1.00987/314, dt=16ms [198/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.654)/172(1.53488)/1.05284/88/88/1.04202/1.06782/314, dt=10ms [199/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 263(26.7376)/88(0)/0.988081/0/0/-/-/314, dt=4ms [200/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.0299)/5(96)/2.15004/1337/1277/1.29755/1.54311/320, dt=56ms [201/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.1119)/1265(9)/2.05751/70539/1265/1.02919/1.02202/320, dt=140ms [202/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.2724)/1265(8.73913)/2.05354/67437/1265/1.02993/1.02258/320, dt=134ms [203/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.4291)/1265(8.22925)/2.04607/63717/1265/1.03721/1.02808/320, dt=143ms [204/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.5858)/1265(7.73123)/2.03838/60060/1260/1.03506/1.0265/320, dt=133ms [205/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.7425)/1260(7.27381)/2.03199/56466/1250/1.03298/1.02502/320, dt=135ms [206/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(28.8993)/1250(6.852)/2.02585/52935/1235/1.03098/1.02364/320, dt=123ms [207/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.056)/1235(6.46154)/2.00998/49467/1215/1.02898/1.02229/320, dt=125ms [208/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.2127)/1215(6.09877)/1.88461/46062/1190/1.02664/1.02068/320, dt=110ms [209/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.3694)/1190(5.7605)/1.80316/42720/1160/1.0103/1.0081/320, dt=105ms [210/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.5261)/1160(5.44397)/1.76053/39441/1125/1.0093/1.00741/320, dt=93ms [211/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.6828)/1125(5.14667)/1.73965/36225/1085/1.00839/1.0068/320, dt=94ms [212/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.8396)/1085(4.86636)/1.68201/33072/1040/1.00747/1.00617/320, dt=82ms [213/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(29.9963)/1040(4.60096)/1.60775/29982/990/1.00662/1.00559/320, dt=81ms [214/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.153)/990(4.34848)/1.56129/26955/935/1.00582/1.00504/320, dt=71ms [215/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.3097)/935(4.10695)/1.51411/23991/875/1.00508/1.00452/320, dt=70ms [216/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.4664)/875(3.87429)/1.466/21090/810/1.00441/1.00406/320, dt=61ms [217/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.6231)/810(3.64815)/1.41666/18252/740/1.00387/1.00369/320, dt=57ms [218/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.7799)/740(3.42568)/1.36627/15477/665/1.00366/1.00364/320, dt=50ms [219/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(30.9366)/665(3.20301)/1.31284/12765/585/1.00366/1.00382/320, dt=44ms [220/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.0933)/585(2.97436)/1.25313/10116/500/1.0052/1.00573/320, dt=38ms [221/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.25)/500(2.73)/1.19049/7530/410/1.00586/1.00689/320, dt=32ms [222/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.4067)/410(2.45122)/1.12027/5007/315/1.00818/1.01038/320, dt=26ms [223/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.5634)/315(2.09524)/1.08893/2537/215/1.00817/1.01136/320, dt=20ms [224/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.7239)/215(1.53488)/1.05173/110/110/1.0418/1.0651/320, dt=12ms [225/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 268(31.806)/110(0)/0.988204/0/0/-/-/320, dt=5ms [226/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.2117)/6(96)/2.14667/1632/1532/1.25695/1.46396/327, dt=63ms [227/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.292)/1518(9)/2.06227/86772/1518/1.02883/1.01986/327, dt=166ms [228/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.4489)/1518(8.73913)/2.05728/82856/1518/1.0295/1.02032/327, dt=161ms [229/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.6022)/1518(8.22925)/2.04833/78216/1518/1.03513/1.02419/327, dt=171ms [230/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.7555)/1518(7.73123)/2.03914/73660/1512/1.03304/1.0228/327, dt=161ms [231/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(33.9088)/1512(7.27381)/2.03136/69188/1500/1.03106/1.02152/327, dt=160ms [232/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.062)/1500(6.852)/2.02328/64800/1482/1.02919/1.02034/327, dt=147ms [233/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.2153)/1482(6.46154)/2.01148/60496/1458/1.02734/1.01921/327, dt=147ms [234/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.3686)/1458(6.09877)/1.90523/56276/1428/1.02517/1.01786/327, dt=131ms [235/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.5219)/1428(5.7605)/1.86965/52140/1392/1.00961/1.00691/327, dt=122ms [236/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.6752)/1392(5.44397)/1.79182/48088/1350/1.00873/1.00636/327, dt=108ms [237/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.8285)/1350(5.14667)/1.73204/44120/1302/1.00789/1.00586/327, dt=108ms [238/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(34.9818)/1302(4.86636)/1.67701/40236/1248/1.00704/1.00533/327, dt=96ms [239/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.135)/1248(4.60096)/1.62417/36436/1188/1.00627/1.00485/327, dt=94ms [240/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.2883)/1188(4.34848)/1.57424/32720/1122/1.00554/1.0044/327, dt=83ms [241/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.4416)/1122(4.10695)/1.50864/29088/1050/1.00486/1.00398/327, dt=80ms [242/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.5949)/1050(3.87429)/1.46058/25540/972/1.00427/1.00362/327, dt=70ms [243/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.7482)/972(3.64815)/1.41139/22076/888/1.0038/1.00335/327, dt=64ms [244/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(35.9015)/888(3.42568)/1.36065/18696/798/1.00352/1.00324/327, dt=57ms [245/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.0547)/798(3.20301)/1.30777/15400/702/1.00406/1.00394/327, dt=50ms [246/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.208)/702(2.97436)/1.24849/12188/600/1.00516/1.00531/327, dt=43ms [247/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.3613)/600(2.73)/1.1869/9060/492/1.00525/1.00579/327, dt=36ms [248/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.5146)/492(2.45122)/1.11781/6016/378/1.00789/1.00945/327, dt=29ms [249/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.6679)/378(2.09524)/1.08693/3044/258/1.00817/1.01082/327, dt=22ms [250/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.8248)/258(1.53488)/1.05045/132/132/1.04167/1.06267/327, dt=13ms [251/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 274(36.9051)/132(0)/0.988349/0/0/-/-/327, dt=5ms [252/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.3772)/7(96)/2.14293/1937/1787/1.2643/1.4715/335, dt=68ms [253/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.4555)/1771(9)/2.08797/103511/1771/1.02872/1.01825/335, dt=191ms [254/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.6085)/1771(8.73913)/2.0775/98737/1771/1.02933/1.01864/335, dt=187ms [255/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.758)/1771(8.22925)/2.06149/93135/1771/1.03479/1.02211/335, dt=198ms [256/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(38.9075)/1771(7.73123)/2.04625/87640/1764/1.0327/1.02083/335, dt=183ms [257/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.0569)/1764(7.27381)/2.03338/82252/1750/1.03073/1.01965/335, dt=185ms [258/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.2064)/1750(6.852)/2.02195/76971/1729/1.02889/1.01859/335, dt=167ms [259/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.3559)/1729(6.46154)/2.00386/71797/1701/1.02709/1.01758/335, dt=170ms [260/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.5053)/1701(6.09877)/1.99286/66730/1666/1.02496/1.01636/335, dt=151ms [261/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.6548)/1666(5.7605)/1.86217/61770/1624/1.00912/1.00606/335, dt=138ms [262/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.8043)/1624(5.44397)/1.78498/56917/1575/1.00829/1.00559/335, dt=122ms [263/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(39.9537)/1575(5.14667)/1.72359/52171/1519/1.00752/1.00516/335, dt=122ms [264/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.1032)/1519(4.86636)/1.66779/47532/1456/1.00672/1.00471/335, dt=108ms [265/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.2527)/1456(4.60096)/1.61624/43000/1386/1.00601/1.00431/335, dt=106ms [266/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.4021)/1386(4.34848)/1.56759/38575/1309/1.00533/1.00393/335, dt=93ms [267/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.5516)/1309(4.10695)/1.51682/34257/1225/1.00472/1.00359/335, dt=90ms [268/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.7011)/1225(3.87429)/1.45311/30046/1134/1.00419/1.0033/335, dt=79ms [269/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(40.8505)/1134(3.64815)/1.40438/25942/1036/1.00378/1.0031/335, dt=71ms [270/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41)/1036(3.42568)/1.3542/21945/931/1.00356/1.00306/335, dt=63ms [271/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.1495)/931(3.20301)/1.29813/18055/819/1.00361/1.00328/335, dt=56ms [272/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.2989)/819(2.97436)/1.24334/14272/700/1.00597/1.00577/335, dt=48ms [273/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.4484)/700(2.73)/1.18289/10596/574/1.00518/1.00539/335, dt=40ms [274/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.5979)/574(2.45122)/1.11508/7027/441/1.00673/1.00764/335, dt=31ms [275/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.7473)/441(2.09524)/1.08469/3551/301/1.00827/1.01046/335, dt=24ms [276/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.9004)/301(1.53488)/1.04902/154/154/1.04158/1.06047/335, dt=15ms [277/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 281(41.9786)/154(0)/0.988513/0/0/-/-/335, dt=6ms [278/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.474)/8(96)/2.13888/2252/2042/1.27286/1.48032/344, dt=74ms [279/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.5502)/2024(9)/2.08548/120756/2024/1.02881/1.01704/344, dt=218ms [280/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.699)/2024(8.73913)/2.07436/115080/2024/1.02938/1.01738/344, dt=213ms [281/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.8443)/2024(8.22925)/2.05718/108474/2024/1.03461/1.02047/344, dt=222ms [282/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(43.9896)/2024(7.73123)/2.04085/102000/2016/1.03251/1.01927/344, dt=208ms [283/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.1349)/2016(7.27381)/2.02703/95658/2000/1.03055/1.01818/344, dt=205ms [284/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.2803)/2000(6.852)/2.01436/89448/1976/1.02873/1.01721/344, dt=190ms [285/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.4256)/1976(6.46154)/1.99575/83370/1944/1.02697/1.01629/344, dt=186ms [286/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.5709)/1944(6.09877)/1.9842/77424/1904/1.02487/1.01518/344, dt=170ms [287/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.7163)/1904(5.7605)/1.85419/71610/1856/1.00878/1.00543/344, dt=152ms [288/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(44.8616)/1856(5.44397)/1.81498/65928/1800/1.00799/1.00502/344, dt=136ms [289/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.0069)/1800(5.14667)/1.71445/60378/1736/1.00725/1.00464/344, dt=134ms [290/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.1522)/1736(4.86636)/1.65777/54960/1664/1.00649/1.00424/344, dt=117ms [291/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.2976)/1664(4.60096)/1.6037/49674/1584/1.0058/1.00388/344, dt=114ms [292/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.4429)/1584(4.34848)/1.5593/44520/1496/1.00515/1.00355/344, dt=100ms [293/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.5882)/1496(4.10695)/1.50975/39498/1400/1.00455/1.00324/344, dt=97ms [294/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.7336)/1400(3.87429)/1.45845/34608/1296/1.00402/1.00297/344, dt=85ms [295/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(45.8789)/1296(3.64815)/1.39659/29850/1184/1.00361/1.00278/344, dt=77ms [296/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.0242)/1184(3.42568)/1.34704/25224/1064/1.00335/1.00271/344, dt=68ms [297/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.1696)/1064(3.20301)/1.2917/20730/936/1.00334/1.00285/344, dt=60ms [298/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.3149)/936(2.97436)/1.23777/16368/800/1.00344/1.00313/344, dt=51ms [299/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.4602)/800(2.73)/1.17852/12138/656/1.00509/1.00501/344, dt=43ms [300/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.6055)/656(2.45122)/1.11212/8040/504/1.0068/1.00734/344, dt=34ms [301/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.7509)/504(2.09524)/1.08225/4058/344/1.00613/1.00742/344, dt=25ms [302/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.8997)/344(1.53488)/1.04749/176/176/1.04154/1.05844/344, dt=16ms [303/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 289(46.9758)/176(0)/0.988694/0/0/-/-/344, dt=6ms [304/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.4564)/9(96)/2.13458/2577/2297/1.28294/1.49092/354, dt=78ms [305/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.5302)/2277(9)/2.08283/138507/2277/1.02899/1.01607/354, dt=240ms [306/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.6745)/2277(8.73913)/2.07101/131885/2277/1.02952/1.01636/354, dt=236ms [307/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.8154)/2277(8.22925)/2.0526/124233/2277/1.03453/1.01914/354, dt=246ms [308/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(48.9564)/2277(7.73123)/2.03516/116740/2268/1.03243/1.01801/354, dt=232ms [309/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.0973)/2268(7.27381)/2.02037/109406/2250/1.03047/1.01699/354, dt=228ms [310/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.2383)/2250(6.852)/2.00642/102231/2223/1.02867/1.01609/354, dt=210ms [311/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.3792)/2223(6.46154)/1.98728/95215/2187/1.02693/1.01525/354, dt=207ms [312/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.5201)/2187(6.09877)/1.97677/88358/2142/1.00973/1.00557/354, dt=167ms [313/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.6611)/2142(5.7605)/1.84583/81660/2088/1.00838/1.00486/354, dt=155ms [314/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.802)/2088(5.44397)/1.80598/75121/2025/1.00771/1.00454/354, dt=146ms [315/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(49.943)/2025(5.14667)/1.70477/68741/1953/1.00701/1.00421/354, dt=136ms [316/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.0839)/1953(4.86636)/1.64711/62520/1872/1.00627/1.00385/354, dt=127ms [317/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.2248)/1872(4.60096)/1.59347/56458/1782/1.00562/1.00354/354, dt=119ms [318/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.3658)/1782(4.34848)/1.54661/50555/1683/1.00501/1.00325/354, dt=110ms [319/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.5067)/1683(4.10695)/1.49907/44811/1575/1.00445/1.00298/354, dt=102ms [320/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.6477)/1575(3.87429)/1.45115/39226/1458/1.00396/1.00275/354, dt=92ms [321/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.7886)/1458(3.64815)/1.39949/33800/1332/1.00357/1.0026/354, dt=84ms [322/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(50.9295)/1332(3.42568)/1.33933/28533/1197/1.00335/1.00256/354, dt=75ms [323/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.0705)/1197(3.20301)/1.28483/23425/1053/1.00337/1.00273/354, dt=66ms [324/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.2114)/1053(2.97436)/1.23184/18476/900/1.00346/1.00299/354, dt=57ms [325/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.3523)/900(2.73)/1.17386/13686/738/1.0037/1.00346/354, dt=47ms [326/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.4933)/738(2.45122)/1.10898/9055/567/1.00717/1.00739/354, dt=39ms [327/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.6342)/567(2.09524)/1.07967/4565/387/1.00589/1.00685/354, dt=29ms [328/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.7785)/387(1.53488)/1.04587/198/198/1.04153/1.05656/354, dt=18ms [329/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 298(51.8523)/198(0)/0.988891/0/0/-/-/354, dt=8ms [330/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.2857)/10(96)/2.13012/2912/2552/1.29399/1.50224/365, dt=82ms [331/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.3571)/2530(9)/2.08008/156764/2530/1.02926/1.01528/365, dt=252ms [332/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.4968)/2530(8.73913)/2.06748/149152/2530/1.02974/1.01553/365, dt=261ms [333/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.6331)/2530(8.22925)/2.04784/140412/2530/1.02397/1.01252/365, dt=247ms [334/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.7695)/2530(7.73123)/2.02926/131860/2520/1.02175/1.01138/365, dt=246ms [335/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(53.9058)/2520(7.27381)/2.01349/123496/2500/1.01966/1.01033/365, dt=226ms [336/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.0422)/2500(6.852)/1.99822/115320/2470/1.01773/1.00938/365, dt=221ms [337/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.1786)/2470(6.46154)/1.97857/107332/2430/1.01269/1.00677/365, dt=192ms [338/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.3149)/2430(6.09877)/1.96746/99532/2380/1.00979/1.00528/365, dt=182ms [339/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.4513)/2380(5.7605)/1.83721/91920/2320/1.00843/1.00461/365, dt=168ms [340/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.5877)/2320(5.44397)/1.79668/84496/2250/1.00779/1.00433/365, dt=159ms [341/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.724)/2250(5.14667)/1.75042/77260/2170/1.00711/1.00403/365, dt=149ms [342/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.8604)/2170(4.86636)/1.63598/70212/2080/1.0064/1.00371/365, dt=138ms [343/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(54.9968)/2080(4.60096)/1.58277/63352/1980/1.00577/1.00343/365, dt=128ms [344/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.1331)/1980(4.34848)/1.53622/56680/1870/1.00518/1.00317/365, dt=119ms [345/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.2695)/1870(4.10695)/1.48908/50196/1750/1.00464/1.00294/365, dt=110ms [346/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.4058)/1750(3.87429)/1.44117/43900/1620/1.00416/1.00274/365, dt=99ms [347/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.5422)/1620(3.64815)/1.39227/37792/1480/1.00378/1.0026/365, dt=90ms [348/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.6786)/1480(3.42568)/1.34203/31872/1330/1.00354/1.00256/365, dt=80ms [349/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.8149)/1330(3.20301)/1.27761/26140/1170/1.00355/1.00273/365, dt=70ms [350/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(55.9513)/1170(2.97436)/1.22564/20596/1000/1.00343/1.00282/365, dt=60ms [351/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.0877)/1000(2.73)/1.16898/15240/820/1.0037/1.0033/365, dt=50ms [352/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.224)/820(2.45122)/1.10569/10072/630/1.00933/1.0092/365, dt=40ms [353/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.3604)/630(2.09524)/1.07697/5072/430/1.00796/1.0089/365, dt=29ms [354/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.5)/430(1.53488)/1.04419/220/220/1.04154/1.05481/365, dt=18ms [355/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 308(56.5714)/220(0)/0.989101/0/0/-/-/365, dt=8ms [356/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(57.931)/11(96)/2.12553/3257/2807/1.36051/1.60583/377, dt=85ms [357/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58)/2783(9)/2.07726/175527/2783/1.02962/1.01464/377, dt=277ms [358/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.1348)/2783(8.73913)/2.06384/166881/2783/1.03007/1.01486/377, dt=285ms [359/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.2665)/2783(8.22925)/2.04296/157011/2783/1.02362/1.01167/377, dt=266ms [360/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.3981)/2783(7.73123)/2.02324/147360/2772/1.02137/1.01058/377, dt=267ms [361/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.5298)/2772(7.27381)/2.00648/137928/2750/1.01581/1.00786/377, dt=223ms [362/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.6614)/2750(6.852)/1.98987/128715/2717/1.0142/1.00711/377, dt=218ms [363/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.7931)/2717(6.46154)/1.96972/119721/2673/1.01246/1.0063/377, dt=202ms [364/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(58.9248)/2673(6.09877)/1.95802/110946/2618/1.00956/1.00489/377, dt=194ms [365/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.0564)/2618(5.7605)/1.94571/102390/2552/1.00819/1.00424/377, dt=179ms [366/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.1881)/2552(5.44397)/1.78721/94053/2475/1.00757/1.00399/377, dt=169ms [367/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.3197)/2475(5.14667)/1.74032/85935/2387/1.00687/1.00369/377, dt=156ms [368/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.4514)/2387(4.86636)/1.62453/78036/2288/1.00623/1.00342/377, dt=145ms [369/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.5831)/2288(4.60096)/1.57177/70356/2178/1.00562/1.00317/377, dt=133ms [370/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.7147)/2178(4.34848)/1.52553/62895/2057/1.00506/1.00294/377, dt=125ms [371/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.8464)/2057(4.10695)/1.4788/55653/1925/1.00454/1.00273/377, dt=116ms [372/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(59.9781)/1925(3.87429)/1.43142/48630/1782/1.00408/1.00255/377, dt=104ms [373/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.1097)/1782(3.64815)/1.38314/41826/1628/1.00372/1.00244/377, dt=94ms [374/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.2414)/1628(3.42568)/1.32974/35241/1463/1.00351/1.00242/377, dt=84ms [375/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.373)/1463(3.20301)/1.27876/28875/1287/1.00354/1.00259/377, dt=74ms [376/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.5047)/1287(2.97436)/1.21924/22728/1100/1.00347/1.00272/377, dt=63ms [377/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.6364)/1100(2.73)/1.16394/16800/902/1.00374/1.00319/377, dt=51ms [378/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.768)/902(2.45122)/1.10231/11091/693/1.00449/1.00425/377, dt=40ms [379/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(60.8997)/693(2.09524)/1.07419/5579/473/1.00346/1.00372/377, dt=30ms [380/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(61.0345)/473(1.53488)/1.04247/242/242/1.04156/1.05318/377, dt=20ms [381/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 319(61.1034)/242(0)/0.989322/0/0/-/-/377, dt=9ms [382/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.3686)/12(96)/2.12088/3612/3062/1.36623/1.60485/390, dt=87ms [383/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.435)/3036(9)/2.0744/194796/3036/1.02099/1.00986/390, dt=270ms [384/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.565)/3036(8.73913)/2.06012/185072/3036/1.02186/1.01026/390, dt=278ms [385/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.6918)/3036(8.22925)/2.03801/174030/3036/1.01923/1.00903/390, dt=258ms [386/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.8187)/3036(7.73123)/2.01716/163240/3024/1.01742/1.0082/390, dt=257ms [387/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(62.9456)/3024(7.27381)/1.99942/152702/3000/1.01568/1.00742/390, dt=241ms [388/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.0725)/3000(6.852)/1.98146/142416/2964/1.01405/1.00669/390, dt=232ms [389/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.1994)/2964(6.46154)/1.96082/132382/2916/1.01228/1.0059/390, dt=216ms [390/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.3263)/2916(6.09877)/1.94855/122600/2856/1.00937/1.00455/390, dt=205ms [391/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.4532)/2856(5.7605)/1.93592/113070/2784/1.00798/1.00393/390, dt=190ms [392/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.5801)/2784(5.44397)/1.77767/103792/2700/1.00739/1.0037/390, dt=178ms [393/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.7069)/2700(5.14667)/1.73012/94766/2604/1.00671/1.00343/390, dt=165ms [394/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.8338)/2604(4.86636)/1.61289/85992/2496/1.00611/1.0032/390, dt=154ms [395/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(63.9607)/2496(4.60096)/1.56059/77470/2376/1.00551/1.00296/390, dt=142ms [396/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.0876)/2376(4.34848)/1.51467/69200/2244/1.00497/1.00275/390, dt=130ms [397/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.2145)/2244(4.10695)/1.46836/61182/2100/1.00447/1.00256/390, dt=121ms [398/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.3414)/2100(3.87429)/1.42151/53416/1944/1.00404/1.00241/390, dt=108ms [399/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.4683)/1944(3.64815)/1.37388/45902/1776/1.0037/1.00231/390, dt=96ms [400/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.5952)/1776(3.42568)/1.32134/38640/1596/1.00351/1.00231/390, dt=85ms [401/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.7221)/1596(3.20301)/1.27125/31630/1404/1.00356/1.00249/390, dt=75ms [402/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.8489)/1404(2.97436)/1.21898/24872/1200/1.00352/1.00265/390, dt=63ms [403/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(64.9758)/1200(2.73)/1.16266/18366/984/1.0038/1.00311/390, dt=53ms [404/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.1027)/984(2.45122)/1.09887/12112/756/1.00459/1.00418/390, dt=42ms [405/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.2296)/756(2.09524)/1.07138/6086/516/1.00364/1.00378/390, dt=32ms [406/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.3595)/516(1.53488)/1.04073/264/264/1.10449/1.12971/390, dt=21ms [407/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 331(65.426)/264(0)/0.989552/0/0/-/-/390, dt=9ms [408/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.5814)/13(96)/2.11622/3977/3317/1.19763/1.32055/404, dt=84ms [409/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.6453)/3289(9)/2.07153/214571/3289/1.02108/1.00944/404, dt=285ms [410/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.7703)/3289(8.73913)/2.05638/203725/3289/1.02196/1.00983/404, dt=294ms [411/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(66.8924)/3289(8.22925)/2.03304/191469/3289/1.01925/1.00862/404, dt=271ms [412/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.0145)/3289(7.73123)/2.01107/179500/3276/1.01738/1.0078/404, dt=271ms [413/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.1366)/3276(7.27381)/1.99238/167818/3250/1.0156/1.00703/404, dt=252ms [414/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.2587)/3250(6.852)/1.97308/156423/3211/1.01393/1.00632/404, dt=243ms [415/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.3808)/3211(6.46154)/1.95197/145315/3159/1.01214/1.00556/404, dt=223ms [416/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.5029)/3159(6.09877)/1.93914/134494/3094/1.00921/1.00427/404, dt=213ms [417/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.625)/3094(5.7605)/1.92621/123960/3016/1.00781/1.00367/404, dt=196ms [418/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.7471)/3016(5.44397)/1.76814/113713/2925/1.00724/1.00346/404, dt=183ms [419/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.8692)/2925(5.14667)/1.71994/103753/2821/1.00658/1.00321/404, dt=169ms [420/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(67.9913)/2821(4.86636)/1.63998/94080/2704/1.006/1.003/404, dt=159ms [421/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.1134)/2704(4.60096)/1.54936/84694/2574/1.00546/1.0028/404, dt=144ms [422/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.2355)/2574(4.34848)/1.50375/75595/2431/1.0049/1.00259/404, dt=134ms [423/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.3576)/2431(4.10695)/1.45787/66783/2275/1.00442/1.00242/404, dt=125ms [424/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.4797)/2275(3.87429)/1.41155/58258/2106/1.00401/1.00228/404, dt=112ms [425/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.6017)/2106(3.64815)/1.36077/50020/1924/1.00369/1.0022/404, dt=101ms [426/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.7238)/1924(3.42568)/1.31291/42069/1729/1.00351/1.00221/404, dt=87ms [427/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.8459)/1729(3.20301)/1.26371/34405/1521/1.00358/1.0024/404, dt=78ms [428/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(68.968)/1521(2.97436)/1.21251/27028/1300/1.00488/1.00351/404, dt=66ms [429/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.0901)/1300(2.73)/1.15754/19938/1066/1.00387/1.00304/404, dt=55ms [430/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.2122)/1066(2.45122)/1.09706/13135/819/1.0047/1.00411/404, dt=43ms [431/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.3343)/819(2.09524)/1.06855/6593/559/1.00375/1.00376/404, dt=33ms [432/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.4593)/559(1.53488)/1.03899/286/286/1.11299/1.13616/404, dt=22ms [433/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 344(69.5233)/286(0)/0.98979/0/0/-/-/404, dt=10ms [434/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.5587)/14(96)/2.11158/4352/3572/1.19371/1.30832/419, dt=83ms [435/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.6201)/3542(9)/2.06868/234852/3542/1.02121/1.00908/419, dt=306ms [436/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.7402)/3542(8.73913)/2.05263/222840/3542/1.0221/1.00946/419, dt=317ms [437/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.8575)/3542(8.22925)/2.02288/209328/3542/1.01932/1.00827/419, dt=291ms [438/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(70.9749)/3542(7.73123)/2.00027/196140/3528/1.01739/1.00746/419, dt=287ms [439/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.0922)/3528(7.27381)/1.98108/183276/3500/1.01556/1.00671/419, dt=265ms [440/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.2095)/3500(6.852)/1.96479/170736/3458/1.01385/1.00601/419, dt=257ms [441/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.3268)/3458(6.46154)/1.94322/158520/3402/1.01203/1.00527/419, dt=236ms [442/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.4441)/3402(6.09877)/1.92987/146628/3332/1.00909/1.00403/419, dt=225ms [443/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.5615)/3332(5.7605)/1.91805/135060/3248/1.00766/1.00345/419, dt=208ms [444/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.6788)/3248(5.44397)/1.75872/123816/3150/1.00711/1.00325/419, dt=192ms [445/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.7961)/3150(5.14667)/1.70984/112896/3038/1.00648/1.00302/419, dt=179ms [446/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(71.9134)/3038(4.86636)/1.62679/102300/2912/1.00591/1.00283/419, dt=166ms [447/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.0307)/2912(4.60096)/1.53817/92028/2772/1.00539/1.00264/419, dt=152ms [448/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.148)/2772(4.34848)/1.49288/82080/2618/1.00489/1.00248/419, dt=138ms [449/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.2654)/2618(4.10695)/1.44743/72456/2450/1.00444/1.00233/419, dt=128ms [450/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.3827)/2450(3.87429)/1.40164/63156/2268/1.00399/1.00218/419, dt=114ms [451/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.5)/2268(3.64815)/1.35163/54180/2072/1.00369/1.00211/419, dt=103ms [452/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.6173)/2072(3.42568)/1.30452/45528/1862/1.00353/1.00213/419, dt=90ms [453/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.7346)/1862(3.20301)/1.25622/37200/1638/1.00361/1.00233/419, dt=80ms [454/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.852)/1638(2.97436)/1.20608/29196/1400/1.00498/1.00345/419, dt=68ms [455/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(72.9693)/1400(2.73)/1.15245/21516/1148/1.00393/1.00298/419, dt=56ms [456/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.0866)/1148(2.45122)/1.09364/14160/882/1.0048/1.00405/419, dt=44ms [457/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.2039)/882(2.09524)/1.06574/7100/602/1.00538/1.00522/419, dt=33ms [458/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.324)/602(1.53488)/1.03727/308/308/1.12188/1.14267/419, dt=23ms [459/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 358(73.3855)/308(0)/0.990032/0/0/-/-/419, dt=11ms [460/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.2949)/15(96)/2.10701/4737/3827/1.1899/1.29645/435, dt=83ms [461/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.3539)/3795(9)/2.06586/255639/3795/1.02137/1.00877/435, dt=331ms [462/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.4692)/3795(8.73913)/2.04892/242417/3795/1.02227/1.00914/435, dt=345ms [463/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.5818)/3795(8.22925)/2.01822/227607/3795/1.01941/1.00797/435, dt=322ms [464/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.6944)/3795(7.73123)/1.99453/213160/3780/1.01742/1.00717/435, dt=308ms [465/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.807)/3780(7.27381)/1.97442/199076/3750/1.01554/1.00642/435, dt=290ms [466/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(74.9196)/3750(6.852)/1.95665/185355/3705/1.01379/1.00574/435, dt=274ms [467/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.0322)/3705(6.46154)/1.93465/171997/3645/1.01195/1.00502/435, dt=248ms [468/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.1448)/3645(6.09877)/1.92078/159002/3570/1.00899/1.00382/435, dt=229ms [469/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.2574)/3570(5.7605)/1.90865/146370/3480/1.00754/1.00325/435, dt=213ms [470/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.37)/3480(5.44397)/1.74946/134101/3375/1.00701/1.00308/435, dt=195ms [471/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.4826)/3375(5.14667)/1.69992/122195/3255/1.00639/1.00286/435, dt=181ms [472/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.5952)/3255(4.86636)/1.61375/110652/3120/1.00584/1.00268/435, dt=166ms [473/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.7078)/3120(4.60096)/1.52712/99472/2970/1.00533/1.00251/435, dt=153ms [474/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.8204)/2970(4.34848)/1.48215/88655/2805/1.00485/1.00236/435, dt=140ms [475/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(75.933)/2805(4.10695)/1.43711/78201/2625/1.00442/1.00223/435, dt=131ms [476/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.0456)/2625(3.87429)/1.38829/68110/2430/1.00405/1.00213/435, dt=115ms [477/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.1582)/2430(3.64815)/1.3426/58382/2220/1.00369/1.00203/435, dt=104ms [478/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.2708)/2220(3.42568)/1.29625/49017/1995/1.00355/1.00206/435, dt=91ms [479/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.3834)/1995(3.20301)/1.24883/40015/1755/1.00365/1.00226/435, dt=80ms [480/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.496)/1755(2.97436)/1.19973/31376/1500/1.00508/1.00339/435, dt=69ms [481/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.6086)/1500(2.73)/1.14742/23100/1230/1.00615/1.00449/435, dt=58ms [482/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.7212)/1230(2.45122)/1.09026/15187/945/1.00491/1.004/435, dt=44ms [483/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.8338)/945(2.09524)/1.06297/7607/645/1.00511/1.00479/435, dt=34ms [484/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(76.9491)/645(1.53488)/1.03558/330/330/1.13115/1.14922/435, dt=23ms [485/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 373(77.008)/330(0)/0.990279/0/0/-/-/435, dt=11ms [486/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(77.7892)/16(96)/2.10252/5132/4082/1.18602/1.28464/452, dt=79ms [487/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(77.8458)/4048(9)/2.0631/276932/4048/1.02155/1.0085/452, dt=345ms [488/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(77.9563)/4048(8.73913)/2.04527/262456/4048/1.02247/1.00887/452, dt=366ms [489/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.0643)/4048(8.22925)/2.01365/246306/4048/1.01953/1.00771/452, dt=332ms [490/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.1722)/4048(7.73123)/1.98892/230560/4032/1.01748/1.00691/452, dt=323ms [491/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.2802)/4032(7.27381)/1.96792/215218/4000/1.01555/1.00618/452, dt=300ms [492/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.3882)/4000(6.852)/1.94513/200280/3952/1.01376/1.00551/452, dt=285ms [493/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.4961)/3952(6.46154)/1.92327/185746/3888/1.01189/1.0048/452, dt=264ms [494/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.6041)/3888(6.09877)/1.91194/171616/3808/1.0089/1.00364/452, dt=246ms [495/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.7121)/3808(5.7605)/1.89951/157890/3712/1.00743/1.00308/452, dt=228ms [496/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.8201)/3712(5.44397)/1.74042/144568/3600/1.00692/1.00292/452, dt=202ms [497/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(78.928)/3600(5.14667)/1.69023/131650/3472/1.00631/1.00272/452, dt=189ms [498/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.036)/3472(4.86636)/1.60096/119136/3328/1.00578/1.00255/452, dt=172ms [499/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.144)/3328(4.60096)/1.51627/107026/3168/1.00529/1.0024/452, dt=158ms [500/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.2519)/3168(4.34848)/1.47161/95320/2992/1.00482/1.00226/452, dt=143ms [501/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.3599)/2992(4.10695)/1.42699/84018/2800/1.0044/1.00214/452, dt=131ms [502/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.4679)/2800(3.87429)/1.37882/73120/2592/1.00405/1.00205/452, dt=117ms [503/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.5758)/2592(3.64815)/1.33375/62626/2368/1.0038/1.00201/452, dt=105ms [504/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.6838)/2368(3.42568)/1.28813/52536/2128/1.0037/1.00207/452, dt=92ms [505/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.7918)/2128(3.20301)/1.24158/42850/1872/1.00369/1.00221/452, dt=81ms [506/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(79.8997)/1872(2.97436)/1.19351/33568/1600/1.00519/1.00334/452, dt=69ms [507/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.0077)/1600(2.73)/1.14249/24690/1312/1.00629/1.00443/452, dt=59ms [508/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.1157)/1312(2.45122)/1.08695/16216/1008/1.00502/1.00396/452, dt=45ms [509/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.2237)/1008(2.09524)/1.06026/8114/688/1.0051/1.00464/452, dt=34ms [510/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.3342)/688(1.53488)/1.03393/352/352/1.14669/1.16231/452, dt=24ms [511/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 389(80.3907)/352(0)/0.990527/0/0/-/-/452, dt=12ms [512/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.0443)/17(96)/2.09815/5537/4337/1.18248/1.27357/470, dt=78ms [513/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.0985)/4301(9)/2.06041/298731/4301/1.02176/1.00827/470, dt=369ms [514/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.2044)/4301(8.73913)/2.0417/282957/4301/1.02269/1.00862/470, dt=384ms [515/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.3079)/4301(8.22925)/2.0092/265425/4301/1.01967/1.00748/470, dt=350ms [516/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.4113)/4301(7.73123)/1.98346/248340/4284/1.01756/1.00669/470, dt=333ms [517/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.5148)/4284(7.27381)/1.9616/231702/4250/1.01558/1.00596/470, dt=309ms [518/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.6182)/4250(6.852)/1.93757/215511/4199/1.01375/1.0053/470, dt=292ms [519/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.7217)/4199(6.46154)/1.91531/199767/4131/1.01184/1.00461/470, dt=273ms [520/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.8251)/4131(6.09877)/1.90085/184470/4046/1.00884/1.00348/470, dt=250ms [521/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(81.9286)/4046(5.7605)/1.88851/169620/3944/1.00734/1.00293/470, dt=230ms [522/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.032)/3944(5.44397)/1.73165/155217/3825/1.00685/1.00278/470, dt=210ms [523/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.1355)/3825(5.14667)/1.6808/141261/3689/1.00625/1.00259/470, dt=195ms [524/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.2389)/3689(4.86636)/1.58847/127752/3536/1.00574/1.00244/470, dt=174ms [525/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.3424)/3536(4.60096)/1.50569/114690/3366/1.00525/1.0023/470, dt=158ms [526/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.4458)/3366(4.34848)/1.46132/102075/3179/1.0048/1.00217/470, dt=144ms [527/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.5493)/3179(4.10695)/1.41384/89907/2975/1.0044/1.00206/470, dt=131ms [528/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.6527)/2975(3.87429)/1.36957/78186/2754/1.00406/1.00198/470, dt=115ms [529/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.7562)/2754(3.64815)/1.32512/66912/2516/1.00382/1.00195/470, dt=104ms [530/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.8596)/2516(3.42568)/1.28021/56085/2261/1.00373/1.00202/470, dt=91ms [531/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(82.9631)/2261(3.20301)/1.23451/45705/1989/1.0039/1.00225/470, dt=80ms [532/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.0665)/1989(2.97436)/1.18745/35772/1700/1.00486/1.00303/470, dt=68ms [533/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.17)/1700(2.73)/1.13769/26286/1394/1.00642/1.00438/470, dt=58ms [534/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.2734)/1394(2.45122)/1.08373/17247/1071/1.00829/1.00633/470, dt=46ms [535/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.3768)/1071(2.09524)/1.05761/8621/731/1.00511/1.00451/470, dt=34ms [536/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.4828)/731(1.53488)/1.03233/374/374/1.19581/1.21081/470, dt=24ms [537/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 406(83.5369)/374(0)/0.990775/0/0/-/-/470, dt=12ms [538/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.066)/18(96)/2.09391/5952/4592/1.17885/1.26259/489, dt=74ms [539/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.1179)/4554(9)/2.0578/321036/4554/1.02198/1.00806/489, dt=383ms [540/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.2193)/4554(8.73913)/2.03822/303920/4554/1.02293/1.0084/489, dt=403ms [541/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.3184)/4554(8.22925)/2.00488/284964/4554/1.01984/1.00727/489, dt=366ms [542/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.4175)/4554(7.73123)/1.97818/266500/4536/1.01766/1.00649/489, dt=345ms [543/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.5165)/4536(7.27381)/1.9555/248528/4500/1.01563/1.00577/489, dt=322ms [544/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.6156)/4500(6.852)/1.93026/231048/4446/1.01376/1.00511/489, dt=302ms [545/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.7146)/4446(6.46154)/1.90762/214060/4374/1.01182/1.00443/489, dt=275ms [546/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.8137)/4374(6.09877)/1.89271/197564/4284/1.00879/1.00334/489, dt=254ms [547/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(84.9127)/4284(5.7605)/1.88009/181560/4176/1.00727/1.0028/489, dt=235ms [548/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.0118)/4176(5.44397)/1.72146/166048/4050/1.00679/1.00266/489, dt=212ms [549/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.1108)/4050(5.14667)/1.67036/151028/3906/1.0062/1.00248/489, dt=194ms [550/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.2099)/3906(4.86636)/1.57635/136500/3744/1.0057/1.00234/489, dt=177ms [551/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.309)/3744(4.60096)/1.49541/122464/3564/1.00523/1.00221/489, dt=158ms [552/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.408)/3564(4.34848)/1.44826/108920/3366/1.00479/1.00209/489, dt=143ms [553/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.5071)/3366(4.10695)/1.40438/95868/3150/1.0044/1.00199/489, dt=129ms [554/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.6061)/3150(3.87429)/1.3606/83308/2916/1.00407/1.00192/489, dt=115ms [555/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.7052)/2916(3.64815)/1.31674/71240/2664/1.00384/1.0019/489, dt=103ms [556/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.8042)/2664(3.42568)/1.27253/59664/2394/1.00377/1.00197/489, dt=91ms [557/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(85.9033)/2394(3.20301)/1.22765/48580/2106/1.00395/1.0022/489, dt=80ms [558/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.0024)/2106(2.97436)/1.18157/37988/1800/1.00524/1.00315/489, dt=68ms [559/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.1014)/1800(2.73)/1.13303/27888/1476/1.00687/1.00454/489, dt=58ms [560/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.2005)/1476(2.45122)/1.0806/18280/1134/1.0084/1.00622/489, dt=46ms [561/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.2995)/1134(2.09524)/1.05505/9128/774/1.02622/1.02247/489, dt=38ms [562/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.4009)/774(1.53488)/1.03078/396/396/1.24449/1.25626/489, dt=25ms [563/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 424(86.4528)/396(0)/0.991023/0/0/-/-/489, dt=13ms [564/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(86.8623)/19(96)/2.08982/6377/4847/1.17559/1.25239/509, dt=72ms [565/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(86.912)/4807(9)/2.05528/343847/4807/1.02222/1.00787/509, dt=406ms [566/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.009)/4807(8.73913)/2.03485/325345/4807/1.02318/1.00821/509, dt=417ms [567/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.1038)/4807(8.22925)/2.0007/304923/4807/1.02001/1.00709/509, dt=376ms [568/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.1986)/4807(7.73123)/1.97308/285040/4788/1.01778/1.00631/509, dt=357ms [569/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.2935)/4788(7.27381)/1.94963/265696/4750/1.01569/1.0056/509, dt=326ms [570/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.3883)/4750(6.852)/1.92324/246891/4693/1.01378/1.00495/509, dt=309ms [571/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.4831)/4693(6.46154)/1.90022/228625/4617/1.0118/1.00428/509, dt=282ms [572/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.5779)/4617(6.09877)/1.88489/210898/4522/1.00876/1.00321/509, dt=260ms [573/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.6727)/4522(5.7605)/1.87202/193710/4408/1.0072/1.00268/509, dt=237ms [574/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.7675)/4408(5.44397)/1.71337/177061/4275/1.00674/1.00255/509, dt=214ms [575/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.8623)/4275(5.14667)/1.66164/160951/4123/1.00616/1.00239/509, dt=195ms [576/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(87.9571)/4123(4.86636)/1.56375/145380/3952/1.00567/1.00225/509, dt=178ms [577/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.0519)/3952(4.60096)/1.4826/130348/3762/1.00521/1.00213/509, dt=160ms [578/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.1467)/3762(4.34848)/1.43874/115855/3553/1.00479/1.00202/509, dt=142ms [579/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.2415)/3553(4.10695)/1.39524/101901/3325/1.00441/1.00192/509, dt=128ms [580/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.3363)/3325(3.87429)/1.35193/88486/3078/1.00409/1.00186/509, dt=114ms [581/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.4312)/3078(3.64815)/1.30864/75610/2812/1.00387/1.00185/509, dt=102ms [582/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.526)/2812(3.42568)/1.26511/63273/2527/1.00381/1.00193/509, dt=89ms [583/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.6208)/2527(3.20301)/1.22103/51475/2223/1.00401/1.00216/509, dt=78ms [584/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.7156)/2223(2.97436)/1.17589/40216/1900/1.00613/1.00358/509, dt=69ms [585/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.8104)/1900(2.73)/1.12852/29496/1558/1.00912/1.00584/509, dt=58ms [586/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(88.9052)/1558(2.45122)/1.07758/19315/1197/1.01883/1.01353/509, dt=48ms [587/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89)/1197(2.09524)/1.05258/9635/817/1.00871/1.00726/509, dt=34ms [588/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89.0971)/817(1.53488)/1.0293/418/418/1.29057/1.29663/509, dt=25ms [589/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 443(89.1467)/418(0)/0.991269/0/0/-/-/509, dt=14ms [590/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.4428)/20(96)/2.08588/6812/5102/1.17077/1.24024/530, dt=71ms [591/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.4903)/5060(9)/2.05286/367164/5060/1.02471/1.00847/530, dt=435ms [592/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.5832)/5060(8.73913)/2.03159/347232/5060/1.02567/1.0088/530, dt=445ms [593/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.6739)/5060(8.22925)/1.99668/325302/5060/1.02258/1.00774/530, dt=400ms [594/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.7646)/5060(7.73123)/1.96814/303960/5040/1.02045/1.00703/530, dt=379ms [595/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.8553)/5040(7.27381)/1.94399/283206/5000/1.0185/1.00639/530, dt=347ms [596/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(89.946)/5000(6.852)/1.91649/263040/4940/1.01677/1.00583/530, dt=326ms [597/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.0367)/4940(6.46154)/1.89314/243462/4860/1.01501/1.00527/530, dt=297ms [598/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.1274)/4860(6.09877)/1.8774/224472/4760/1.01224/1.00435/530, dt=276ms [599/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.2181)/4760(5.7605)/1.86429/206070/4640/1.01097/1.00395/530, dt=253ms [600/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.3089)/4640(5.44397)/1.85247/188256/4500/1.01112/1.00408/530, dt=237ms [601/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.3996)/4500(5.14667)/1.65326/171030/4340/1.01071/1.00401/530, dt=207ms [602/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.4903)/4340(4.86636)/1.5525/154392/4160/1.01037/1.00398/530, dt=189ms [603/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.581)/4160(4.60096)/1.47314/138342/3960/1.01007/1.00398/530, dt=169ms [604/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.6717)/3960(4.34848)/1.42956/122880/3740/1.00982/1.00401/530, dt=153ms [605/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.7624)/3740(4.10695)/1.38643/108006/3500/1.00963/1.00408/530, dt=135ms [606/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.8531)/3500(3.87429)/1.34358/93720/3240/1.00953/1.00421/530, dt=122ms [607/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(90.9438)/3240(3.64815)/1.30084/80022/2960/1.00955/1.00443/530, dt=107ms [608/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.0346)/2960(3.42568)/1.25796/66912/2660/1.00975/1.00478/530, dt=93ms [609/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.1253)/2660(3.20301)/1.21465/54390/2340/1.01022/1.00536/530, dt=81ms [610/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.216)/2340(2.97436)/1.17042/42456/2000/1.01262/1.00715/530, dt=70ms [611/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.3067)/2000(2.73)/1.12419/31110/1640/1.01372/1.00853/530, dt=60ms [612/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.3974)/1640(2.45122)/1.07467/20352/1260/1.01928/1.01346/530, dt=47ms [613/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.4881)/1260(2.09524)/1.0502/10142/860/1.00963/1.0078/530, dt=33ms [614/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.581)/860(1.53488)/1.02787/440/440/1.33448/1.33274/530, dt=24ms [615/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 463(91.6285)/440(0)/0.991512/0/0/-/-/530, dt=14ms [616/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(91.8182)/21(96)/2.0863/7257/5357/1.16785/1.23105/552, dt=59ms [617/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(91.8636)/5313(9)/2.05053/390987/5313/1.02501/1.00831/552, dt=476ms [618/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(91.9525)/5313(8.73913)/2.02846/369581/5313/1.02598/1.00863/552, dt=474ms [619/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.0393)/5313(8.22925)/1.99283/346101/5313/1.02282/1.00758/552, dt=433ms [620/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.126)/5313(7.73123)/1.96345/323260/5292/1.02063/1.00687/552, dt=402ms [621/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.2128)/5292(7.27381)/1.9386/301058/5250/1.01863/1.00623/552, dt=369ms [622/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.2996)/5250(6.852)/1.91004/279495/5187/1.01685/1.00568/552, dt=343ms [623/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.3864)/5187(6.46154)/1.88637/258571/5103/1.01507/1.00513/552, dt=317ms [624/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.4731)/5103(6.09877)/1.87025/238286/4998/1.01227/1.00423/552, dt=287ms [625/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.5599)/4998(5.7605)/1.85693/218640/4872/1.01115/1.0039/552, dt=265ms [626/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.6467)/4872(5.44397)/1.84512/199633/4725/1.01132/1.00403/552, dt=246ms [627/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.7335)/4725(5.14667)/1.64523/181265/4557/1.01058/1.00384/552, dt=217ms [628/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.8202)/4557(4.86636)/1.54169/163536/4368/1.01025/1.00382/552, dt=194ms [629/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.907)/4368(4.60096)/1.49503/146446/4158/1.00993/1.0038/552, dt=175ms [630/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(92.9938)/4158(4.34848)/1.42075/129995/3927/1.00965/1.00382/552, dt=155ms [631/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.0806)/3927(4.10695)/1.37797/114183/3675/1.00942/1.00387/552, dt=138ms [632/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.1674)/3675(3.87429)/1.33556/99010/3402/1.00925/1.00396/552, dt=120ms [633/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.2541)/3402(3.64815)/1.29335/84476/3108/1.00917/1.00412/552, dt=105ms [634/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.3409)/3108(3.42568)/1.2511/70581/2793/1.00922/1.00439/552, dt=90ms [635/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.4277)/2793(3.20301)/1.20852/57325/2457/1.00947/1.00482/552, dt=78ms [636/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.5145)/2457(2.97436)/1.16517/44708/2100/1.01064/1.00585/552, dt=66ms [637/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.6012)/2100(2.73)/1.12003/32730/1722/1.01185/1.00716/552, dt=54ms [638/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.688)/1722(2.45122)/1.07188/21391/1323/1.00625/1.00425/552, dt=39ms [639/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.7748)/1323(2.09524)/1.04792/10649/903/1.01029/1.00812/552, dt=29ms [640/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.8636)/903(1.53488)/1.02651/462/462/1.37656/1.3652/552, dt=23ms [641/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 484(93.9091)/462(0)/0.991751/0/0/-/-/552, dt=14ms [642/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94)/22(96)/2.09054/7712/5612/1.16533/1.22264/598, dt=51ms [643/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.0435)/5566(9)/2.04854/415316/5566/1.02533/1.00816/598, dt=490ms [644/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.1285)/5566(8.73913)/2.02564/392392/5566/1.02632/1.00848/598, dt=488ms [645/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.2115)/5566(8.22925)/1.98982/367320/5566/1.02309/1.00744/598, dt=448ms [646/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.2945)/5566(7.73123)/1.96235/342940/5544/1.02084/1.00673/598, dt=410ms [647/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.3775)/5544(7.27381)/1.93397/319252/5500/1.01879/1.0061/598, dt=378ms [648/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.4605)/5500(6.852)/1.90434/296256/5434/1.01697/1.00555/598, dt=346ms [649/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.5435)/5434(6.46154)/1.88031/273952/5346/1.01516/1.005/598, dt=319ms [650/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.6265)/5346(6.09877)/1.86377/252340/5236/1.01235/1.00413/598, dt=286ms [651/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.7095)/5236(5.7605)/1.8502/231420/5104/1.01121/1.0038/598, dt=261ms [652/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.7925)/5104(5.44397)/1.83836/211192/4950/1.01141/1.00394/598, dt=242ms [653/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.8755)/4950(5.14667)/1.63775/191656/4774/1.01067/1.00376/598, dt=212ms [654/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(94.9585)/4774(4.86636)/1.53148/172812/4576/1.01037/1.00375/598, dt=188ms [655/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.0415)/4576(4.60096)/1.48506/154660/4356/1.01006/1.00374/598, dt=169ms [656/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.1245)/4356(4.34848)/1.41237/137200/4114/1.00979/1.00376/598, dt=150ms [657/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.2075)/4114(4.10695)/1.36989/120432/3850/1.00958/1.00382/598, dt=133ms [658/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.2905)/3850(3.87429)/1.32788/104356/3564/1.00942/1.00392/598, dt=115ms [659/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.3735)/3564(3.64815)/1.28615/88972/3256/1.00936/1.00409/598, dt=99ms [660/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.4565)/3256(3.42568)/1.24448/74280/2926/1.00942/1.00436/598, dt=86ms [661/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.5395)/2926(3.20301)/1.20259/60280/2574/1.00969/1.00479/598, dt=72ms [662/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.6225)/2574(2.97436)/1.16006/46972/2200/1.01087/1.00581/598, dt=60ms [663/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.7055)/2200(2.73)/1.11595/34356/1804/1.01209/1.0071/598, dt=50ms [664/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.7885)/1804(2.45122)/1.06912/22432/1386/1.0063/1.00416/598, dt=35ms [665/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.8715)/1386(2.09524)/1.04567/11156/946/1.01038/1.00797/598, dt=27ms [666/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(95.9565)/946(1.53488)/1.02521/484/484/1.4171/1.39454/598, dt=22ms [667/667] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 506(96)/484(0)/0.991986/0/0/-/-/598, dt=15ms Narrowing and verification time: 75201ms Overall time: 75238ms