*********************************************************************************** * 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_FIRST_AVAILABLE_BIT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | NARROWING NONDEGENERATE TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_FIRST_AVAILABLE_BIT -> MaxTreeDepth = 15 -> LeafCapacity = 20 -> DataSort = NONE ----------------------------------------------------------------------------------- | VERIFICATION TREE | ----------------------------------------------------------------------------------- -> Strategy = BPT_FIRST_AVAILABLE_BIT -> 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.34757/2.33164/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35298/2.35237/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.35058/2.33524/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.21113/1.79479/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.21113/1.79479/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.20853/1.78502/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.20853/1.78502/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.20853/1.78502/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.20853/1.78502/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.20853/1.78502/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.20853/1.78502/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.35909/2.35179/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.35909/2.35179/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.35909/2.35179/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.35909/2.35179/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.35909/2.35179/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.35909/2.35179/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.35909/2.35179/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.35909/2.35179/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.35909/2.35179/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.35909/2.35179/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.3539/2.33224/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.3539/2.33224/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.35909/2.35179/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.3539/2.33224/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.3539/2.33224/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.3539/2.33224/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.3539/2.33224/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.3539/2.33224/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.3539/2.33224/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.3539/2.33224/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.3539/2.33224/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.35619/2.34866/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.34871/2.3127/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.34611/2.30293/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.34352/2.29316/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.34092/2.28339/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.33832/2.27361/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.33573/2.26384/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.33313/2.25407/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.33054/2.2443/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.32794/2.23453/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.32535/2.22475/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.32275/2.21498/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.32015/2.20521/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.31756/2.19544/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.31237/2.17589/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.20594/1.77525/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.20594/1.77525/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.34537/2.3077/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.5604/1.67532/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.28502/1.33389/38, dt=3ms [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.28443/1.33321/38, dt=3ms [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.28385/1.33252/38, dt=3ms [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.28327/1.33184/38, dt=3ms [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.28268/1.33116/38, dt=3ms [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.2821/1.33047/38, dt=3ms [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.28152/1.32979/38, dt=3ms [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.28093/1.32911/38, dt=3ms [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.28035/1.32842/38, dt=3ms [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.27976/1.32774/38, dt=3ms [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.27918/1.32705/38, dt=3ms [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.2786/1.32637/38, dt=3ms [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.27801/1.32569/38, dt=3ms [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.05628/1.06594/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.0545/1.06385/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.04635/1.0543/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)/0.931365/0/0/-/-/38, dt=1ms [326/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 684(306)/38(306)/2.04892/25992/684/1.28366/1.33711/722, dt=46ms [327/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1330(306)/38(306)/2.16444/50540/684/1.26867/1.2217/1406, dt=96ms [328/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 1976(306)/38(306)/2.12875/75088/684/1.27956/1.18301/2090, dt=165ms [329/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 2622(306)/38(306)/2.10227/99636/684/1.29848/1.16468/2774, dt=238ms [330/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3268(306)/38(306)/2.08199/124184/684/1.32122/1.15466/3458, dt=335ms [331/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 3914(306)/38(306)/2.06843/148732/684/1.34624/1.14885/4142, dt=456ms [332/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 4560(306)/38(306)/2.05871/173280/684/1.37295/1.14548/4826, dt=577ms [333/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 5206(306)/38(306)/2.05141/197828/684/1.40092/1.14363/5510, dt=719ms [334/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 5852(306)/38(306)/2.04572/222376/684/1.43001/1.14281/6194, dt=885ms [335/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 6498(306)/38(306)/2.04117/246924/684/1.46009/1.1427/6878, dt=1075ms [336/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7144(306)/38(306)/2.03744/271472/684/1.49111/1.14313/7562, dt=1281ms [337/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 7790(306)/38(306)/2.03433/296020/684/1.52301/1.14395/8246, dt=1534ms [338/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 8436(306)/38(306)/2.03336/320568/684/1.55577/1.14509/8930, dt=1766ms [339/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 9082(306)/38(306)/2.03429/345116/684/1.58935/1.14647/9614, dt=2053ms [340/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 9728(306)/38(306)/2.03695/369664/684/1.62376/1.14805/10298, dt=2360ms [341/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 10374(306)/38(306)/2.04121/394212/684/1.65895/1.14979/10982, dt=2704ms [342/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11020(306)/38(306)/2.04697/418760/684/1.69493/1.15166/11666, dt=3062ms [343/343] ( pos. (deg.)/neg. (deg.)/elim. compl./ver. cand./acc./ver. lg(n)^2/ver. n/extr. rays) = 11666(306)/38(306)/2.05415/443308/684/1.73168/1.15365/12350, dt=3459ms Narrowing and verification time: 22933ms Overall time: 23533ms