*********************************************************************************** * 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 = BINARY_STATIC_VANTAGE_POINT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | NARROWING NONDEGENERATE TREE | ----------------------------------------------------------------------------------- -> Strategy = BINARY_DYNAMIC_VANTAGE_POINT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE -> UniqueVantagePoint = 0 ----------------------------------------------------------------------------------- | VERIFICATION TREE | ----------------------------------------------------------------------------------- -> Strategy = BINARY_STATIC_VANTAGE_POINT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | COMPUTATION | ----------------------------------------------------------------------------------- [1/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(0)/1(0)/3/0/0/-/-/1, dt=0ms [2/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(0.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [3/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(1)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [4/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(1.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [5/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(2)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [6/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(2.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [7/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(3)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [8/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(3.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [9/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(4)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [10/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(4.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [11/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [12/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(5.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [13/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(6)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [14/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(6.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [15/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(7)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [16/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(7.5)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [17/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(8)/1(0)/3/1/1/1.85071/4.2593/1, dt=0ms [18/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(17)/2(8)/3/4/4/1.84403/4.21461/1, dt=0ms [19/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(11.3333)/1(16)/2.7067/2/1/1.78221/3.94461/1, dt=0ms [20/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(11.6667)/1(15)/2.7067/2/1/1.78221/3.94461/1, dt=0ms [21/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(12)/1(14)/2.7067/2/1/1.77961/3.93484/1, dt=0ms [22/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(12.3333)/1(13)/2.7067/2/1/1.77702/3.92506/1, dt=0ms [23/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(12.6667)/1(12)/2.7067/2/1/1.77442/3.91529/1, dt=0ms [24/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(13)/1(11)/2.7067/2/1/1.77183/3.90552/1, dt=0ms [25/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(13.3333)/1(10)/2.7067/2/1/1.76923/3.89575/1, dt=0ms [26/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(13.6667)/1(9)/2.7067/2/1/1.76664/3.88598/1, dt=0ms [27/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(14)/1(8)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [28/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(14.3333)/1(7)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [29/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(14.6667)/1(6)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [30/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(15)/1(5)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [31/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(15.3333)/1(4)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [32/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(15.6667)/1(3)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [33/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(16)/1(2)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [34/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(16.3333)/1(1)/2.7067/1/1/1.80557/4.03256/1, dt=0ms [35/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3(16.6667)/1(0)/2.7067/0/0/-/-/1, dt=0ms [36/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(26)/1(0)/3/0/0/-/-/1, dt=0ms [37/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(35)/1(34)/3/2/2/1.8166/4.09194/1, dt=0ms [38/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(35.5)/1(32)/3/2/1/1.73808/3.77849/1, dt=0ms [39/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(36)/1(30)/3/2/1/1.73289/3.75894/1, dt=0ms [40/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(36.5)/1(28)/3/2/1/1.73289/3.75894/1, dt=0ms [41/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(37)/1(26)/3/2/1/1.75106/3.82735/1, dt=0ms [42/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(37.5)/1(24)/3/2/1/1.74846/3.81757/1, dt=0ms [43/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(38)/1(22)/3/2/1/1.74587/3.8078/1, dt=0ms [44/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(38.5)/1(20)/3/2/1/1.74327/3.79803/1, dt=0ms [45/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(39)/1(18)/3/2/1/1.74068/3.78826/1, dt=0ms [46/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(39.5)/1(16)/3/2/1/1.73808/3.77849/1, dt=0ms [47/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(40)/1(14)/3/2/1/1.73549/3.76871/1, dt=0ms [48/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(40.5)/1(12)/3/2/1/1.73289/3.75894/1, dt=0ms [49/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(41)/1(10)/3/1/1/1.77442/3.91529/1, dt=0ms [50/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(41.5)/1(8)/3/1/1/1.77442/3.91529/1, dt=0ms [51/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(42)/1(6)/3/1/1/1.77442/3.91529/1, dt=0ms [52/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(42.5)/1(4)/3/1/1/1.80557/4.03256/1, dt=0ms [53/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(43)/1(2)/3/1/1/1.77442/3.91529/1, dt=0ms [54/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(43.5)/1(0)/3/0/0/-/-/1, dt=0ms [55/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(52.5)/1(51)/3/2/2/1.77976/3.95248/1, dt=0ms [56/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(53)/1(48)/3/2/1/1.70434/3.65145/1, dt=0ms [57/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(53.5)/1(45)/3/2/1/1.70434/3.65145/1, dt=0ms [58/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(54)/1(42)/3/2/1/1.69914/3.63191/1, dt=0ms [59/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(54.5)/1(39)/3/2/1/1.69914/3.63191/1, dt=0ms [60/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(55)/1(36)/3/2/1/1.69914/3.63191/1, dt=0ms [61/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(55.5)/1(33)/3/2/1/1.69914/3.63191/1, dt=0ms [62/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(56)/1(30)/3/2/1/1.70953/3.671/1, dt=0ms [63/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(56.5)/1(27)/3/2/1/1.70693/3.66122/1, dt=0ms [64/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(57)/1(24)/3/2/1/1.70434/3.65145/1, dt=0ms [65/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(57.5)/1(21)/3/2/1/1.70174/3.64168/1, dt=0ms [66/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(58)/1(18)/3/2/1/1.69914/3.63191/1, dt=0ms [67/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(58.5)/1(15)/3/2/1/1.69655/3.62214/1, dt=0ms [68/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(59)/1(12)/3/1/1/1.74327/3.79803/1, dt=0ms [69/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(59.5)/1(9)/3/1/1/1.77442/3.91529/1, dt=0ms [70/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(60)/1(6)/3/1/1/1.77442/3.91529/1, dt=0ms [71/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(60.5)/1(3)/3/1/1/1.74327/3.79803/1, dt=0ms [72/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(61)/1(0)/3/0/0/-/-/1, dt=0ms [73/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(70)/1(68)/3/2/2/1.74293/3.81301/1, dt=0ms [74/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(70.5)/1(64)/3/2/1/1.67059/3.52442/1, dt=0ms [75/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(71)/1(60)/3/2/1/1.67059/3.52442/1, dt=0ms [76/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(71.5)/1(56)/3/2/1/1.67059/3.52442/1, dt=0ms [77/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(72)/1(52)/3/2/1/1.6654/3.50487/1, dt=0ms [78/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(72.5)/1(48)/3/2/1/1.6654/3.50487/1, dt=0ms [79/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(73)/1(44)/3/2/1/1.6654/3.50487/1, dt=0ms [80/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(73.5)/1(40)/3/2/1/1.6654/3.50487/1, dt=0ms [81/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(74)/1(36)/3/2/1/1.6654/3.50487/1, dt=0ms [82/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(74.5)/1(32)/3/2/1/1.67059/3.52442/1, dt=0ms [83/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(75)/1(28)/3/2/1/1.66799/3.51464/1, dt=0ms [84/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(75.5)/1(24)/3/2/1/1.6654/3.50487/1, dt=0ms [85/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(76)/1(20)/3/2/1/1.6628/3.4951/1, dt=0ms [86/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(76.5)/1(16)/3/2/1/1.68357/3.57328/1, dt=0ms [87/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(77)/1(12)/3/1/1/1.74327/3.79803/1, dt=0ms [88/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(77.5)/1(8)/3/1/1/1.74327/3.79803/1, dt=0ms [89/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(78)/1(4)/3/1/1/1.74327/3.79803/1, dt=0ms [90/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(78.5)/1(0)/3/0/0/-/-/1, dt=0ms [91/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(87.5)/1(85)/3/2/2/1.7061/3.67355/1, dt=0ms [92/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(88)/1(80)/3/2/1/1.63684/3.39738/1, dt=0ms [93/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(88.5)/1(75)/3/2/1/1.63684/3.39738/1, dt=0ms [94/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(89)/1(70)/3/2/1/1.63684/3.39738/1, dt=0ms [95/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(89.5)/1(65)/3/2/1/1.63684/3.39738/1, dt=0ms [96/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(90)/1(60)/3/2/1/1.63165/3.37784/1, dt=0ms [97/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(90.5)/1(55)/3/2/1/1.63165/3.37784/1, dt=0ms [98/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(91)/1(50)/3/2/1/1.63165/3.37784/1, dt=0ms [99/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(91.5)/1(45)/3/2/1/1.63165/3.37784/1, dt=0ms [100/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(92)/1(40)/3/2/1/1.63165/3.37784/1, dt=0ms [101/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(92.5)/1(35)/3/2/1/1.63425/3.38761/1, dt=0ms [102/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(93)/1(30)/3/2/1/1.63165/3.37784/1, dt=0ms [103/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(93.5)/1(25)/3/2/1/1.65242/3.45601/1, dt=0ms [104/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(94)/1(20)/3/2/1/1.64982/3.44624/1, dt=0ms [105/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(94.5)/1(15)/3/2/1/1.64723/3.43647/1, dt=0ms [106/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(95)/1(10)/3/1/1/1.71212/3.68077/1, dt=0ms [107/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(95.5)/1(5)/3/1/1/1.71212/3.68077/1, dt=0ms [108/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(96)/1(0)/3/0/0/-/-/1, dt=0ms [109/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(105)/1(102)/3/2/2/1.66927/3.53409/1, dt=0ms [110/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(105.5)/1(96)/3/2/1/1.6031/3.27035/1, dt=0ms [111/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(106)/1(90)/3/2/1/1.6031/3.27035/1, dt=0ms [112/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(106.5)/1(84)/3/2/1/1.6031/3.27035/1, dt=0ms [113/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(107)/1(78)/3/2/1/1.6031/3.27035/1, dt=0ms [114/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(107.5)/1(72)/3/2/1/1.6031/3.27035/1, dt=0ms [115/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(108)/1(66)/3/2/1/1.59791/3.2508/1, dt=0ms [116/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(108.5)/1(60)/3/2/1/1.59791/3.2508/1, dt=0ms [117/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(109)/1(54)/3/2/1/1.59791/3.2508/1, dt=0ms [118/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(109.5)/1(48)/3/2/1/1.59791/3.2508/1, dt=0ms [119/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(110)/1(42)/3/2/1/1.59791/3.2508/1, dt=0ms [120/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(110.5)/1(36)/3/2/1/1.62127/3.33875/1, dt=0ms [121/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(111)/1(30)/3/2/1/1.61867/3.32898/1, dt=0ms [122/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(111.5)/1(24)/3/2/1/1.61608/3.31921/1, dt=0ms [123/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(112)/1(18)/3/2/1/1.61348/3.30943/1, dt=0ms [124/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(112.5)/1(12)/3/1/1/1.68097/3.5635/1, dt=0ms [125/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(113)/1(6)/3/1/1/1.68097/3.5635/1, dt=0ms [126/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(113.5)/1(0)/3/0/0/-/-/1, dt=0ms [127/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(122.5)/1(119)/3/2/2/1.63243/3.39463/1, dt=0ms [128/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(123)/1(112)/3/2/1/1.56935/3.14331/1, dt=0ms [129/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(123.5)/1(105)/3/2/1/1.56935/3.14331/1, dt=0ms [130/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(124)/1(98)/3/2/1/1.56935/3.14331/1, dt=0ms [131/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(124.5)/1(91)/3/2/1/1.56935/3.14331/1, dt=0ms [132/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(125)/1(84)/3/2/1/1.56935/3.14331/1, dt=0ms [133/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(125.5)/1(77)/3/2/1/1.56935/3.14331/1, dt=0ms [134/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(126)/1(70)/3/2/1/1.56416/3.12377/1, dt=0ms [135/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(126.5)/1(63)/3/2/1/1.56416/3.12377/1, dt=0ms [136/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(127)/1(56)/3/2/1/1.56416/3.12377/1, dt=0ms [137/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(127.5)/1(49)/3/2/1/1.56416/3.12377/1, dt=0ms [138/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(128)/1(42)/3/2/1/1.56416/3.12377/1, dt=0ms [139/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(128.5)/1(35)/3/2/1/1.58493/3.20194/1, dt=0ms [140/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(129)/1(28)/3/2/1/1.58233/3.19217/1, dt=0ms [141/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(129.5)/1(21)/3/2/1/1.57974/3.1824/1, dt=0ms [142/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(130)/1(14)/3/1/1/1.64982/3.44624/1, dt=0ms [143/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(130.5)/1(7)/3/1/1/1.64982/3.44624/1, dt=0ms [144/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(131)/1(0)/3/0/0/-/-/1, dt=0ms [145/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(140)/1(136)/3/2/2/1.5956/3.25516/1, dt=0ms [146/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(140.5)/1(128)/3/2/1/1.53561/3.01628/1, dt=0ms [147/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(141)/1(120)/3/2/1/1.53561/3.01628/1, dt=0ms [148/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(141.5)/1(112)/3/2/1/1.53561/3.01628/1, dt=0ms [149/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(142)/1(104)/3/2/1/1.53561/3.01628/1, dt=0ms [150/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(142.5)/1(96)/3/2/1/1.53561/3.01628/1, dt=0ms [151/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(143)/1(88)/3/2/1/1.53561/3.01628/1, dt=0ms [152/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(143.5)/1(80)/3/2/1/1.53561/3.01628/1, dt=0ms [153/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(144)/1(72)/3/2/1/1.53042/2.99673/1, dt=0ms [154/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(144.5)/1(64)/3/2/1/1.53042/2.99673/1, dt=0ms [155/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(145)/1(56)/3/2/1/1.53042/2.99673/1, dt=0ms [156/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(145.5)/1(48)/3/2/1/1.53042/2.99673/1, dt=0ms [157/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(146)/1(40)/3/2/1/1.53042/2.99673/1, dt=0ms [158/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(146.5)/1(32)/3/2/1/1.54859/3.06514/1, dt=0ms [159/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(147)/1(24)/3/2/1/1.54599/3.05537/1, dt=0ms [160/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(147.5)/1(16)/3/2/1/1.54339/3.04559/1, dt=0ms [161/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(148)/1(8)/3/1/1/1.61867/3.32898/1, dt=0ms [162/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(148.5)/1(0)/3/0/0/-/-/1, dt=0ms [163/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(157.5)/1(153)/3/2/2/1.58771/3.22528/1, dt=0ms [164/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(158)/1(144)/3/2/1/1.50186/2.88924/1, dt=0ms [165/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(158.5)/1(135)/3/2/1/1.50186/2.88924/1, dt=0ms [166/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(159)/1(126)/3/2/1/1.50186/2.88924/1, dt=0ms [167/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(159.5)/1(117)/3/2/1/1.50186/2.88924/1, dt=0ms [168/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(160)/1(108)/3/2/1/1.50186/2.88924/1, dt=0ms [169/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(160.5)/1(99)/3/2/1/1.50186/2.88924/1, dt=0ms [170/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(161)/1(90)/3/2/1/1.50186/2.88924/1, dt=0ms [171/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(161.5)/1(81)/3/2/1/1.50186/2.88924/1, dt=0ms [172/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(162)/1(72)/3/2/1/1.49667/2.8697/1, dt=0ms [173/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(162.5)/1(63)/3/2/1/1.49667/2.8697/1, dt=0ms [174/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(163)/1(54)/3/2/1/1.49667/2.8697/1, dt=0ms [175/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(163.5)/1(45)/3/2/1/1.49667/2.8697/1, dt=0ms [176/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(164)/1(36)/3/2/1/1.5382/3.02605/1, dt=0ms [177/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(164.5)/1(27)/3/2/1/1.53561/3.01628/1, dt=0ms [178/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(165)/1(18)/3/2/1/1.53301/3.00651/1, dt=0ms [179/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(165.5)/1(9)/3/1/1/1.61867/3.32898/1, dt=0ms [180/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(166)/1(0)/3/0/0/-/-/1, dt=0ms [181/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(175)/1(170)/3/2/2/1.55351/3.09578/1, dt=0ms [182/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(175.5)/1(160)/3/2/1/1.46812/2.76221/1, dt=0ms [183/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(176)/1(150)/3/2/1/1.46812/2.76221/1, dt=0ms [184/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(176.5)/1(140)/3/2/1/1.46812/2.76221/1, dt=0ms [185/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(177)/1(130)/3/2/1/1.46812/2.76221/1, dt=0ms [186/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(177.5)/1(120)/3/2/1/1.46812/2.76221/1, dt=0ms [187/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(178)/1(110)/3/2/1/1.46812/2.76221/1, dt=0ms [188/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(178.5)/1(100)/3/2/1/1.46812/2.76221/1, dt=0ms [189/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(179)/1(90)/3/2/1/1.46812/2.76221/1, dt=0ms [190/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(179.5)/1(80)/3/2/1/1.46812/2.76221/1, dt=0ms [191/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(180)/1(70)/3/2/1/1.46292/2.74266/1, dt=0ms [192/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(180.5)/1(60)/3/2/1/1.46292/2.74266/1, dt=0ms [193/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(181)/1(50)/3/2/1/1.46292/2.74266/1, dt=0ms [194/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(181.5)/1(40)/3/2/1/1.46292/2.74266/1, dt=0ms [195/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(182)/1(30)/3/2/1/1.50186/2.88924/1, dt=0ms [196/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(182.5)/1(20)/3/2/1/1.49927/2.87947/1, dt=0ms [197/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(183)/1(10)/3/1/1/1.58752/3.21172/1, dt=0ms [198/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(183.5)/1(0)/3/0/0/-/-/1, dt=0ms [199/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(192.5)/1(187)/3/2/2/1.5193/2.96628/1, dt=0ms [200/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(193)/1(176)/3/2/1/1.43437/2.63517/1, dt=0ms [201/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(193.5)/1(165)/3/2/1/1.43437/2.63517/1, dt=0ms [202/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(194)/1(154)/3/2/1/1.43437/2.63517/1, dt=0ms [203/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(194.5)/1(143)/3/2/1/1.43437/2.63517/1, dt=0ms [204/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(195)/1(132)/3/2/1/1.43437/2.63517/1, dt=0ms [205/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(195.5)/1(121)/3/2/1/1.43437/2.63517/1, dt=0ms [206/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(196)/1(110)/3/2/1/1.43437/2.63517/1, dt=0ms [207/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(196.5)/1(99)/3/2/1/1.43437/2.63517/1, dt=0ms [208/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(197)/1(88)/3/2/1/1.43437/2.63517/1, dt=0ms [209/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(197.5)/1(77)/3/2/1/1.43437/2.63517/1, dt=0ms [210/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(198)/1(66)/3/2/1/1.42918/2.61563/1, dt=0ms [211/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(198.5)/1(55)/3/2/1/1.45254/2.70358/1, dt=0ms [212/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(199)/1(44)/3/2/1/1.45254/2.70358/1, dt=0ms [213/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(199.5)/1(33)/3/2/1/1.46812/2.76221/1, dt=0ms [214/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(200)/1(22)/3/2/1/1.46552/2.75244/1, dt=0ms [215/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(200.5)/1(11)/3/1/1/1.55637/3.09445/1, dt=0ms [216/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(201)/1(0)/3/0/0/-/-/1, dt=0ms [217/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(210)/1(204)/3/2/2/1.4851/2.83678/1, dt=0ms [218/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(210.5)/1(192)/3/2/1/1.40062/2.50814/1, dt=0ms [219/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(211)/1(180)/3/2/1/1.40062/2.50814/1, dt=0ms [220/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(211.5)/1(168)/3/2/1/1.40062/2.50814/1, dt=0ms [221/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(212)/1(156)/3/2/1/1.40062/2.50814/1, dt=0ms [222/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(212.5)/1(144)/3/2/1/1.40062/2.50814/1, dt=0ms [223/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(213)/1(132)/3/2/1/1.40062/2.50814/1, dt=0ms [224/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(213.5)/1(120)/3/2/1/1.40062/2.50814/1, dt=0ms [225/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(214)/1(108)/3/2/1/1.40062/2.50814/1, dt=0ms [226/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(214.5)/1(96)/3/2/1/1.42399/2.59609/1, dt=0ms [227/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(215)/1(84)/3/2/1/1.42399/2.59609/1, dt=0ms [228/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(215.5)/1(72)/3/2/1/1.42399/2.59609/1, dt=0ms [229/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(216)/1(60)/3/2/1/1.41879/2.57654/1, dt=0ms [230/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(216.5)/1(48)/3/2/1/1.41879/2.57654/1, dt=0ms [231/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(217)/1(36)/3/2/1/1.43437/2.63517/1, dt=0ms [232/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(217.5)/1(24)/3/2/1/1.43177/2.6254/1, dt=0ms [233/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(218)/1(12)/3/1/1/1.52522/2.97719/1, dt=0ms [234/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(218.5)/1(0)/3/0/0/-/-/1, dt=0ms [235/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(227.5)/1(221)/3/2/2/1.4509/2.70727/1, dt=0ms [236/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(228)/1(208)/3/2/1/1.36688/2.3811/1, dt=0ms [237/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(228.5)/1(195)/3/2/1/1.36688/2.3811/1, dt=0ms [238/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(229)/1(182)/3/2/1/1.36688/2.3811/1, dt=0ms [239/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(229.5)/1(169)/3/2/1/1.36688/2.3811/1, dt=0ms [240/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(230)/1(156)/3/2/1/1.36688/2.3811/1, dt=0ms [241/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(230.5)/1(143)/3/2/1/1.36688/2.3811/1, dt=0ms [242/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(231)/1(130)/3/2/1/1.39024/2.46905/1, dt=0ms [243/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(231.5)/1(117)/3/2/1/1.39024/2.46905/1, dt=0ms [244/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(232)/1(104)/3/2/1/1.39024/2.46905/1, dt=0ms [245/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(232.5)/1(91)/3/2/1/1.39024/2.46905/1, dt=0ms [246/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(233)/1(78)/3/2/1/1.39024/2.46905/1, dt=0ms [247/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(233.5)/1(65)/3/2/1/1.39024/2.46905/1, dt=0ms [248/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(234)/1(52)/3/2/1/1.38505/2.44951/1, dt=0ms [249/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(234.5)/1(39)/3/2/1/1.38505/2.44951/1, dt=0ms [250/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(235)/1(26)/3/2/1/1.39803/2.49837/1, dt=0ms [251/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(235.5)/1(13)/3/1/1/1.49407/2.85993/1, dt=0ms [252/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(236)/1(0)/3/0/0/-/-/1, dt=0ms [253/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(245)/1(238)/3/2/2/1.4167/2.57777/1, dt=0ms [254/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(245.5)/1(224)/3/2/1/1.33313/2.25407/1, dt=0ms [255/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(246)/1(210)/3/2/1/1.33313/2.25407/1, dt=0ms [256/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(246.5)/1(196)/3/2/1/1.33313/2.25407/1, dt=0ms [257/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(247)/1(182)/3/2/1/1.33313/2.25407/1, dt=0ms [258/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(247.5)/1(168)/3/2/1/1.3565/2.34202/1, dt=0ms [259/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(248)/1(154)/3/2/1/1.3565/2.34202/1, dt=0ms [260/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(248.5)/1(140)/3/2/1/1.3565/2.34202/1, dt=0ms [261/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(249)/1(126)/3/2/1/1.3565/2.34202/1, dt=0ms [262/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(249.5)/1(112)/3/2/1/1.3565/2.34202/1, dt=0ms [263/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(250)/1(98)/3/2/1/1.3565/2.34202/1, dt=0ms [264/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(250.5)/1(84)/3/2/1/1.3565/2.34202/1, dt=0ms [265/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(251)/1(70)/3/2/1/1.3565/2.34202/1, dt=0ms [266/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(251.5)/1(56)/3/2/1/1.3565/2.34202/1, dt=0ms [267/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(252)/1(42)/3/2/1/1.3513/2.32247/1, dt=0ms [268/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(252.5)/1(28)/3/2/1/1.36428/2.37133/1, dt=0ms [269/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(253)/1(14)/3/1/1/1.46292/2.74266/1, dt=0ms [270/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(253.5)/1(0)/3/0/0/-/-/1, dt=0ms [271/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(262.5)/1(255)/3/2/2/1.3825/2.44827/1, dt=0ms [272/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(263)/1(240)/3/2/1/1.27343/2.02932/1, dt=0ms [273/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(263.5)/1(225)/3/2/1/1.27343/2.02932/1, dt=0ms [274/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(264)/1(210)/3/2/1/1.27343/2.02932/1, dt=0ms [275/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(264.5)/1(195)/3/2/1/1.29679/2.11726/1, dt=0ms [276/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(265)/1(180)/3/2/1/1.29679/2.11726/1, dt=0ms [277/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(265.5)/1(165)/3/2/1/1.29679/2.11726/1, dt=0ms [278/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(266)/1(150)/3/2/1/1.29679/2.11726/1, dt=0ms [279/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(266.5)/1(135)/3/2/1/1.29679/2.11726/1, dt=0ms [280/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(267)/1(120)/3/2/1/1.29679/2.11726/1, dt=0ms [281/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(267.5)/1(105)/3/2/1/1.29679/2.11726/1, dt=0ms [282/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(268)/1(90)/3/2/1/1.29679/2.11726/1, dt=0ms [283/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(268.5)/1(75)/3/2/1/1.29679/2.11726/1, dt=0ms [284/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(269)/1(60)/3/2/1/1.29679/2.11726/1, dt=0ms [285/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(269.5)/1(45)/3/2/1/1.29679/2.11726/1, dt=0ms [286/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(270)/1(30)/3/2/1/1.30717/2.15635/1, dt=0ms [287/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(270.5)/1(15)/3/1/1/1.40582/2.52768/1, dt=0ms [288/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(271)/1(0)/3/0/0/-/-/1, dt=0ms [289/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(280)/1(272)/3/2/2/1.29568/2.11954/1, dt=0ms [290/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(280.5)/1(256)/3/2/1/1.24228/1.91205/1, dt=0ms [291/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(281)/1(240)/3/2/1/1.24228/1.91205/1, dt=0ms [292/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(281.5)/1(224)/3/2/1/1.26564/2/1, dt=0ms [293/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(282)/1(208)/3/2/1/1.26564/2/1, dt=0ms [294/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(282.5)/1(192)/3/2/1/1.26564/2/1, dt=0ms [295/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(283)/1(176)/3/2/1/1.26564/2/1, dt=0ms [296/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(283.5)/1(160)/3/2/1/1.26564/2/1, dt=0ms [297/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(284)/1(144)/3/2/1/1.26564/2/1, dt=0ms [298/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(284.5)/1(128)/3/2/1/1.26564/2/1, dt=0ms [299/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(285)/1(112)/3/2/1/1.26564/2/1, dt=0ms [300/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(285.5)/1(96)/3/2/1/1.26564/2/1, dt=0ms [301/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(286)/1(80)/3/2/1/1.26564/2/1, dt=0ms [302/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(286.5)/1(64)/3/2/1/1.26564/2/1, dt=0ms [303/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(287)/1(48)/3/2/1/1.26564/2/1, dt=0ms [304/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(287.5)/1(32)/3/2/1/1.30458/2.14658/1, dt=0ms [305/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(288)/1(16)/3/2/1/1.30198/2.13681/1, dt=0ms [306/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2(288.5)/1(0)/3/0/0/-/-/1, dt=0ms [307/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 19(306)/36(288.5)/2.06779/684/684/1.29305/2.10958/37, dt=8ms [308/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(297.5)/1(290)/2.0916/38/38/1.34355/1.414/38, dt=2ms [309/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(298)/19(272)/2.0916/722/19/1.03441/1.04031/38, dt=2ms [310/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(298.5)/19(255)/2.0916/722/19/1.03399/1.03981/38, dt=2ms [311/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(299)/19(238)/2.0916/722/19/1.03411/1.03996/38, dt=2ms [312/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(299.5)/19(221)/2.0916/722/19/1.03423/1.0401/38, dt=2ms [313/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(300)/19(204)/2.0916/722/19/1.03436/1.04025/38, dt=2ms [314/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(300.5)/19(187)/2.0916/722/19/1.03448/1.0404/38, dt=2ms [315/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(301)/19(170)/2.0916/722/19/1.03461/1.04054/38, dt=2ms [316/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(301.5)/19(153)/2.0916/722/19/1.03473/1.04069/38, dt=2ms [317/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(302)/19(136)/2.0916/722/19/1.03486/1.04083/38, dt=2ms [318/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(302.5)/19(119)/2.0916/722/19/1.03498/1.04098/38, dt=2ms [319/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(303)/19(102)/2.0916/722/19/1.03511/1.04113/38, dt=2ms [320/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(303.5)/19(85)/2.0916/722/19/1.03523/1.04127/38, dt=2ms [321/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(304)/19(68)/2.0916/722/19/1.03535/1.04142/38, dt=2ms [322/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(304.5)/19(51)/2.0916/722/19/1.03548/1.04156/38, dt=2ms [323/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(305)/19(34)/2.0916/722/19/1.03505/1.04106/38, dt=2ms [324/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(305.5)/19(17)/2.0916/380/19/1.0476/1.05577/38, dt=2ms [325/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 38(306)/19(0)/1.51148/0/0/-/-/38, dt=2ms [326/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 684(306)/38(306)/2.05188/25992/684/1.14778/1.17562/722, dt=38ms [327/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1330(306)/38(306)/2.19627/50540/684/1.06493/1.05358/1406, dt=52ms [328/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1976(306)/38(306)/2.14809/75088/684/1.05739/1.03757/2090, dt=79ms [329/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2622(306)/38(306)/2.12755/99636/684/1.05341/1.02947/2774, dt=101ms [330/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3268(306)/38(306)/2.1084/124184/684/1.05117/1.02464/3458, dt=128ms [331/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3914(306)/38(306)/2.1002/148732/684/1.05024/1.0216/4142, dt=167ms [332/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4560(306)/38(306)/2.08729/173280/684/1.04987/1.01945/4826, dt=192ms [333/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 5206(306)/38(306)/2.0826/197828/684/1.04897/1.01754/5510, dt=222ms [334/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 5852(306)/38(306)/2.07689/222376/684/1.04895/1.01626/6194, dt=257ms [335/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6498(306)/38(306)/2.07417/246924/684/1.04895/1.01518/6878, dt=293ms [336/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7144(306)/38(306)/2.06997/271472/684/1.04918/1.01433/7562, dt=335ms [337/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7790(306)/38(306)/2.06982/296020/684/1.0494/1.0136/8246, dt=390ms [338/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 8436(306)/38(306)/2.06993/320568/684/1.04958/1.01294/8930, dt=413ms [339/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 9082(306)/38(306)/2.072/345116/684/1.04958/1.01232/9614, dt=470ms [340/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 9728(306)/38(306)/2.07586/369664/684/1.04953/1.01176/10298, dt=519ms [341/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 10374(306)/38(306)/2.07982/394212/684/1.0494/1.01123/10982, dt=572ms [342/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11020(306)/38(306)/2.08513/418760/684/1.04902/1.0107/11666, dt=612ms [343/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11666(306)/38(306)/2.09243/443308/684/1.04853/1.01019/12350, dt=648ms Narrowing and verification time: 5582ms Overall time: 6181ms