mps/pds-100.mps 1: NAME
	MPS Warning: Blank NAME.
Data Warning: Setting problem name to "unnamed".
ILLlp_add_logicals ...
Time for SOLVER_READ: 2.86 seconds.
starting ILLsimplex on scaled_lp...
Problem has 156243 rows and 661603 cols
starting primal phase I
(0): primal infeas = 532980.000000
(100): primal infeas = 454020.000000
(200): primal infeas = 59640.000000
starting primal phase II
(300): primal objval = 29313633510.000000
(400): primal objval = 29313633510.000000
(500): primal objval = 29313633510.000000
(600): primal objval = 29313633510.000000
(700): primal objval = 29313633510.000000
(800): primal objval = 29313633510.000000
(900): primal objval = 29313633510.000000
(1000): primal objval = 29313633510.000000
(1100): primal objval = 29313633510.000000
(1200): primal objval = 29313633510.000000
(1300): primal objval = 29313633510.000000
(1400): primal objval = 29313633510.000000
(1500): primal objval = 29313633510.000000
(1600): primal objval = 29313633510.000000
(1700): primal objval = 29313633510.000000
(1800): primal objval = 29313633510.000000
(1900): primal objval = 29313633510.000000
(2000): primal objval = 29313633510.000000
(2100): primal objval = 29313633510.000000
(2200): primal objval = 29313633510.000000
(2300): primal objval = 29313633510.000000
(2400): primal objval = 29313633510.000000
(2500): primal objval = 29313633510.000000
(2600): primal objval = 29313633510.000000
(2700): primal objval = 29313633510.000000
(2800): primal objval = 29313633510.000000
(2900): primal objval = 29313633510.000000
(3000): primal objval = 29313633510.000000
(3100): primal objval = 29313633510.000000
(3200): primal objval = 29313633510.000000
(3300): primal objval = 29313633510.000000
(3400): primal objval = 29313633510.000000
(3500): primal objval = 29313633510.000000
(3600): primal objval = 29313633510.000000
(3700): primal objval = 29313633510.000000
(3800): primal objval = 29313633510.000000
(3900): primal objval = 29313633510.000000
(4000): primal objval = 29313633510.000000
(4100): primal objval = 29313633510.000000
(4200): primal objval = 29313633510.000000
(4300): primal objval = 29313633510.000000
(4400): primal objval = 29313633510.000000
(4500): primal objval = 29313633510.000000
(4600): primal objval = 29313633510.000000
(4700): primal objval = 29313633510.000000
(4800): primal objval = 29313633510.000000
(4900): primal objval = 29313633510.000000
(5000): primal objval = 29313633510.000000
(5100): primal objval = 29313633510.000000
(5200): primal objval = 29313633510.000000
(5300): primal objval = 29313633510.000000
(5400): primal objval = 29313633510.000000
(5500): primal objval = 29313633510.000000
(5600): primal objval = 29313633510.000000
(5700): primal objval = 29313633510.000000
(5800): primal objval = 29313633510.000000
(5900): primal objval = 29313633510.000000
(6000): primal objval = 29313633510.000000
(6100): primal objval = 29313633510.000000
(6200): primal objval = 29313633510.000000
(6300): primal objval = 29313633510.000000
(6400): primal objval = 29313633510.000000
(6500): primal objval = 29313633510.000000
(6600): primal objval = 29313633510.000000
(6700): primal objval = 29313633510.000000
(6800): primal objval = 29313633510.000000
(6900): primal objval = 29313633510.000000
(7000): primal objval = 29313633510.000000
(7100): primal objval = 29313633510.000000
(7200): primal objval = 29313633510.000000
(7300): primal objval = 29313633510.000000
(7400): primal objval = 29313633510.000000
(7500): primal objval = 29313633510.000000
(7600): primal objval = 29313633510.000000
(7700): primal objval = 29313633510.000000
(7800): primal objval = 29313633510.000000
(7900): primal objval = 29313633510.000000
(8000): primal objval = 29313633510.000000
(8100): primal objval = 29313633510.000000
(8200): primal objval = 29313633510.000000
(8300): primal objval = 29313633510.000000
(8400): primal objval = 29313633510.000000
(8500): primal objval = 29313633510.000000
(8600): primal objval = 29313633510.000000
(8700): primal objval = 29313633510.000000
(8800): primal objval = 29313633510.000000
(8900): primal objval = 29313633510.000000
(9000): primal objval = 29313633510.000000
(9100): primal objval = 29313633510.000000
(9200): primal objval = 29313633510.000000
(9300): primal objval = 29313633510.000000
(9400): primal objval = 29313633510.000000
(9500): primal objval = 29313633510.000000
(9600): primal objval = 29313633510.000000
(9700): primal objval = 29313633510.000000
(9800): primal objval = 29313633510.000000
(9900): primal objval = 29313633510.000000
(10000): primal objval = 29313633510.000000
(10100): primal objval = 29313633510.000000
(10200): primal objval = 29313633510.000000
(10300): primal objval = 29313633510.000000
(10400): primal objval = 29313633510.000000
(10500): primal objval = 29313633510.000000
(10600): primal objval = 29313633510.000000
(10700): primal objval = 29313633510.000000
(10800): primal objval = 29313633510.000000
(10900): primal objval = 29313633510.000000
(11000): primal objval = 29313633510.000000
(11100): primal objval = 29313633510.000000
(11200): primal objval = 29313633510.000000
(11300): primal objval = 29313633510.000000
(11400): primal objval = 29313633510.000000
(11500): primal objval = 29313633510.000000
(11600): primal objval = 29313633510.000000
(11700): primal objval = 29313633510.000000
(11800): primal objval = 29313633510.000000
(11900): primal objval = 29313633510.000000
(12000): primal objval = 29313633510.000000
(12100): primal objval = 29313633510.000000
(12200): primal objval = 29313633510.000000
(12300): primal objval = 29313633510.000000
(12400): primal objval = 29313633510.000000
(12500): primal objval = 29313633510.000000
(12600): primal objval = 29313633510.000000
(12700): primal objval = 29313633510.000000
(12800): primal objval = 29313633510.000000
(12900): primal objval = 29313633510.000000
(13000): primal objval = 29313633510.000000
(13100): primal objval = 29313633510.000000
(13200): primal objval = 29313633510.000000
(13300): primal objval = 29313633510.000000
(13400): primal objval = 29313633510.000000
(13500): primal objval = 29313633510.000000
(13600): primal objval = 29313633510.000000
(13700): primal objval = 29313633510.000000
(13800): primal objval = 29313633510.000000
(13900): primal objval = 29313633510.000000
(14000): primal objval = 29313633510.000000
(14100): primal objval = 29313633510.000000
(14200): primal objval = 29313633510.000000
(14300): primal objval = 29313633510.000000
(14400): primal objval = 29313633510.000000
(14500): primal objval = 29313633510.000000
(14600): primal objval = 29313633510.000000
(14700): primal objval = 29313633510.000000
(14800): primal objval = 29313633510.000000
(14900): primal objval = 29313633510.000000
(15000): primal objval = 29313633510.000000
(15100): primal objval = 29313633510.000000
(15200): primal objval = 29313633510.000000
(15300): primal objval = 29313633510.000000
(15400): primal objval = 29313633510.000000
(15500): primal objval = 29313633510.000000
(15600): primal objval = 29313633510.000000
(15700): primal objval = 29313633510.000000
(15800): primal objval = 29313633510.000000
(15900): primal objval = 29313633510.000000
(16000): primal objval = 29313633510.000000
(16100): primal objval = 29313633510.000000
(16200): primal objval = 29313633510.000000
(16300): primal objval = 29313633510.000000
(16400): primal objval = 29313633510.000000
(16500): primal objval = 29313633510.000000
(16600): primal objval = 29313633510.000000
(16700): primal objval = 29313633510.000000
(16800): primal objval = 29313633510.000000
(16900): primal objval = 29313633510.000000
(17000): primal objval = 29313633510.000000
(17100): primal objval = 29313633510.000000
(17200): primal objval = 29313633510.000000
(17300): primal objval = 29313633510.000000
(17400): primal objval = 29313633510.000000
(17500): primal objval = 29313633510.000000
(17600): primal objval = 29313633510.000000
(17700): primal objval = 29313633510.000000
(17800): primal objval = 29313633510.000000
(17900): primal objval = 29313633510.000000
(18000): primal objval = 29313633510.000000
(18100): primal objval = 29313633510.000000
(18200): primal objval = 29313633510.000000
(18300): primal objval = 29313633510.000000
(18400): primal objval = 29313633510.000000
(18500): primal objval = 29313633510.000000
(18600): primal objval = 29313633510.000000
(18700): primal objval = 29313633510.000000
(18800): primal objval = 29313633510.000000
(18900): primal objval = 29313633510.000000
(19000): primal objval = 29313633510.000000
(19100): primal objval = 29313633510.000000
(19200): primal objval = 29313633510.000000
(19300): primal objval = 29313633510.000000
(19400): primal objval = 29313633510.000000
(19500): primal objval = 29313633510.000000
(19600): primal objval = 29313633510.000000
(19700): primal objval = 29313633510.000000
(19800): primal objval = 29313633510.000000
(19900): primal objval = 29313633510.000000
(20000): primal objval = 29313633510.000000
(20100): primal objval = 29313633510.000000
(20200): primal objval = 29313633510.000000
(20300): primal objval = 29313633510.000000
(20400): primal objval = 29313633510.000000
(20500): primal objval = 29313633510.000000
(20600): primal objval = 29313633510.000000
(20700): primal objval = 29313633510.000000
(20800): primal objval = 29313633510.000000
(20900): primal objval = 29313633510.000000
(21000): primal objval = 29313633510.000000
(21100): primal objval = 29313633510.000000
(21200): primal objval = 29313633510.000000
(21300): primal objval = 29313633510.000000
(21400): primal objval = 29313633510.000000
(21500): primal objval = 29313633510.000000
(21600): primal objval = 29313633510.000000
(21700): primal objval = 29313633510.000000
(21800): primal objval = 29313633510.000000
(21900): primal objval = 29313633510.000000
(22000): primal objval = 29313633510.000000
(22100): primal objval = 29313633510.000000
(22200): primal objval = 29313633510.000000
(22300): primal objval = 29313633510.000000
(22400): primal objval = 29313633510.000000
(22500): primal objval = 29313633510.000000
(22600): primal objval = 29313633510.000000
(22700): primal objval = 29313633510.000000
(22800): primal objval = 29313633510.000000
(22900): primal objval = 29313633510.000000
(23000): primal objval = 29313633510.000000
(23100): primal objval = 29313633510.000000
(23200): primal objval = 29313633510.000000
(23300): primal objval = 29313633510.000000
(23400): primal objval = 29313633510.000000
(23500): primal objval = 29313633510.000000
(23600): primal objval = 29313633510.000000
(23700): primal objval = 29313633510.000000
(23800): primal objval = 29313633510.000000
(23900): primal objval = 29313633510.000000
(24000): primal objval = 29313633510.000000
(24100): primal objval = 29313633510.000000
(24200): primal objval = 29313633510.000000
(24300): primal objval = 29313633510.000000
(24400): primal objval = 29313633510.000000
(24500): primal objval = 29313633510.000000
(24600): primal objval = 29313633510.000000
(24700): primal objval = 29313633510.000000
(24800): primal objval = 29313633510.000000
(24900): primal objval = 29313633510.000000
(25000): primal objval = 29313633510.000000
(25100): primal objval = 29313633510.000000
(25200): primal objval = 29313633510.000000
(25300): primal objval = 29313633510.000000
(25400): primal objval = 29313633510.000000
(25500): primal objval = 29313633510.000000
(25600): primal objval = 29313633510.000000
(25700): primal objval = 29313633510.000000
(25800): primal objval = 29313633510.000000
(25900): primal objval = 29313633510.000000
(26000): primal objval = 29313633510.000000
(26100): primal objval = 29313633510.000000
(26200): primal objval = 29313633510.000000
(26300): primal objval = 29313633510.000000
(26400): primal objval = 29313633510.000000
(26500): primal objval = 29313633510.000000
(26600): primal objval = 29313633510.000000
(26700): primal objval = 29313633510.000000
(26800): primal objval = 29313633510.000000
(26900): primal objval = 29313633510.000000
(27000): primal objval = 29313633510.000000
(27100): primal objval = 29313633510.000000
(27200): primal objval = 29313633510.000000
(27300): primal objval = 29313633510.000000
(27400): primal objval = 29313633510.000000
(27500): primal objval = 29313633510.000000
(27600): primal objval = 29313633510.000000
(27700): primal objval = 29313633510.000000
(27800): primal objval = 29313633510.000000
(27900): primal objval = 29313633510.000000
(28000): primal objval = 29313633510.000000
(28100): primal objval = 29313633510.000000
(28200): primal objval = 29313633510.000000
(28300): primal objval = 29313633510.000000
(28400): primal objval = 29313633510.000000
(28500): primal objval = 29313633510.000000
(28600): primal objval = 29313633510.000000
(28700): primal objval = 29313633510.000000
(28800): primal objval = 29313633510.000000
(28900): primal objval = 29313633510.000000
(29000): primal objval = 29313633510.000000
(29100): primal objval = 29313633510.000000
(29200): primal objval = 29313633510.000000
(29300): primal objval = 29313633510.000000
(29400): primal objval = 29313633510.000000
(29500): primal objval = 29313633510.000000
(29600): primal objval = 29313633510.000000
(29700): primal objval = 29313633510.000000
(29800): primal objval = 29313633510.000000
(29900): primal objval = 29313633510.000000
(30000): primal objval = 29313633510.000000
(30100): primal objval = 29313633510.000000
(30200): primal objval = 29313633510.000000
(30300): primal objval = 29313633510.000000
(30400): primal objval = 29313633510.000000
(30500): primal objval = 29313633510.000000
(30600): primal objval = 29313633510.000000
(30700): primal objval = 29313633510.000000
(30800): primal objval = 29313633510.000000
(30900): primal objval = 29313633510.000000
(31000): primal objval = 29313633510.000000
(31100): primal objval = 29313633510.000000
(31200): primal objval = 29313633510.000000
(31300): primal objval = 29313633510.000000
(31400): primal objval = 29313633510.000000
(31500): primal objval = 29313633510.000000
(31600): primal objval = 29313633510.000000
(31700): primal objval = 29313633510.000000
(31800): primal objval = 29313633510.000000
(31900): primal objval = 29313633510.000000
(32000): primal objval = 29313633510.000000
(32100): primal objval = 29313633510.000000
(32200): primal objval = 29313633510.000000
(32300): primal objval = 29313633510.000000
(32400): primal objval = 29313633510.000000
(32500): primal objval = 29313633510.000000
(32600): primal objval = 29313633510.000000
(32700): primal objval = 29313633510.000000
(32800): primal objval = 29313633510.000000
(32900): primal objval = 29313633510.000000
(33000): primal objval = 29313633510.000000
(33100): primal objval = 29313633510.000000
(33200): primal objval = 29313633510.000000
(33300): primal objval = 29313633510.000000
(33400): primal objval = 29313633510.000000
(33500): primal objval = 29313633510.000000
(33600): primal objval = 29313633510.000000
(33700): primal objval = 29313633510.000000
(33800): primal objval = 29313633510.000000
(33900): primal objval = 29313633510.000000
(34000): primal objval = 29313633510.000000
(34100): primal objval = 29313633510.000000
(34200): primal objval = 29313633510.000000
(34300): primal objval = 29313633510.000000
(34400): primal objval = 29313633510.000000
(34500): primal objval = 29313633510.000000
(34600): primal objval = 29313633510.000000
(34700): primal objval = 29313633510.000000
(34800): primal objval = 29313633510.000000
(34900): primal objval = 29313633510.000000
(35000): primal objval = 29313633510.000000
(35100): primal objval = 29313633510.000000
(35200): primal objval = 29313633510.000000
(35300): primal objval = 29313633510.000000
(35400): primal objval = 29313633510.000000
(35500): primal objval = 29313633510.000000
(35600): primal objval = 29313633510.000000
(35700): primal objval = 29313633510.000000
(35800): primal objval = 29313633510.000000
(35900): primal objval = 29313633510.000000
(36000): primal objval = 29313633510.000000
(36100): primal objval = 29313633510.000000
(36200): primal objval = 29313633510.000000
(36300): primal objval = 29313633510.000000
(36400): primal objval = 29313633510.000000
(36500): primal objval = 29313633510.000000
(36600): primal objval = 29313633510.000000
(36700): primal objval = 29313633510.000000
(36800): primal objval = 29313633510.000000
(36900): primal objval = 29313633510.000000
(37000): primal objval = 29313633510.000000
(37100): primal objval = 29313633510.000000
(37200): primal objval = 29313633510.000000
(37300): primal objval = 29313633510.000000
(37400): primal objval = 29313633510.000000
(37500): primal objval = 29313633510.000000
(37600): primal objval = 29313633510.000000
(37700): primal objval = 29313633510.000000
(37800): primal objval = 29313633510.000000
(37900): primal objval = 29313633510.000000
(38000): primal objval = 29313633510.000000
(38100): primal objval = 29313633510.000000
(38200): primal objval = 29313633510.000000
(38300): primal objval = 29174862809.000000
(38400): primal objval = 29138773304.000000
(38500): primal objval = 29122695326.000000
(38600): primal objval = 29122695326.000000
(38700): primal objval = 29118429740.000000
(38800): primal objval = 29118429740.000000
(38900): primal objval = 29118429740.000000
(39000): primal objval = 29118429740.000000
(39100): primal objval = 29118429740.000000
(39200): primal objval = 29118429740.000000
(39300): primal objval = 29118429740.000000
(39400): primal objval = 29118429740.000000
(39500): primal objval = 29118429740.000000
(39600): primal objval = 29118429740.000000
(39700): primal objval = 29092508782.000000
(39800): primal objval = 28948812925.000000
(39900): primal objval = 28801075621.000000
(40000): primal objval = 28729880447.000000
(40100): primal objval = 28702648881.000000
(40200): primal objval = 28702648881.000000
(40300): primal objval = 28702648881.000000
(40400): primal objval = 28702648881.000000
(40500): primal objval = 28702648881.000000
(40600): primal objval = 28702648881.000000
(40700): primal objval = 28702648881.000000
(40800): primal objval = 28702648881.000000
(40900): primal objval = 28702648881.000000
(41000): primal objval = 28701336513.000000
(41100): primal objval = 28701336513.000000
(41200): primal objval = 28701336513.000000
(41300): primal objval = 28701336513.000000
(41400): primal objval = 28701336513.000000
(41500): primal objval = 28701336513.000000
(41600): primal objval = 28701336513.000000
(41700): primal objval = 28701336513.000000
(41800): primal objval = 28701336513.000000
(41900): primal objval = 28701336513.000000
(42000): primal objval = 28701336513.000000
(42100): primal objval = 28701336513.000000
(42200): primal objval = 28701336513.000000
(42300): primal objval = 28701336513.000000
(42400): primal objval = 28701336513.000000
(42500): primal objval = 28701336513.000000
(42600): primal objval = 28701336513.000000
(42700): primal objval = 28701336513.000000
(42800): primal objval = 28697837825.000000
(42900): primal objval = 28697837825.000000
(43000): primal objval = 28697837825.000000
(43100): primal objval = 28697837825.000000
(43200): primal objval = 28697837825.000000
(43300): primal objval = 28697837825.000000
(43400): primal objval = 28697837825.000000
(43500): primal objval = 28697837825.000000
(43600): primal objval = 28697837825.000000
(43700): primal objval = 28697837825.000000
(43800): primal objval = 28697837825.000000
(43900): primal objval = 28697837825.000000
(44000): primal objval = 28697837825.000000
(44100): primal objval = 28605704198.000000
(44200): primal objval = 28534993505.000000
(44300): primal objval = 28534993505.000000
(44400): primal objval = 28534993505.000000
(44500): primal objval = 28534993505.000000
(44600): primal objval = 28534993505.000000
(44700): primal objval = 28525158465.000000
(44800): primal objval = 28524502881.000000
(44900): primal objval = 28524502881.000000
(45000): primal objval = 28524502881.000000
(45100): primal objval = 28524502881.000000
(45200): primal objval = 28513574981.000000
(45300): primal objval = 28513574981.000000
(45400): primal objval = 28513574981.000000
(45500): primal objval = 28513574981.000000
(45600): primal objval = 28513574981.000000
(45700): primal objval = 28513574981.000000
(45800): primal objval = 28509423369.000000
(45900): primal objval = 28509423369.000000
(46000): primal objval = 28509423369.000000
(46100): primal objval = 28509423369.000000
(46200): primal objval = 28509423369.000000
(46300): primal objval = 28509423369.000000
(46400): primal objval = 28509423369.000000
(46500): primal objval = 28509423369.000000
(46600): primal objval = 28509423369.000000
(46700): primal objval = 28509423369.000000
(46800): primal objval = 28509423369.000000
(46900): primal objval = 28509423369.000000
(47000): primal objval = 28509423369.000000
(47100): primal objval = 28509423369.000000
(47200): primal objval = 28509423369.000000
(47300): primal objval = 28509423369.000000
(47400): primal objval = 28509423369.000000
(47500): primal objval = 28509423369.000000
(47600): primal objval = 28509423369.000000
(47700): primal objval = 28509423369.000000
(47800): primal objval = 28474183375.000000
(47900): primal objval = 28474183375.000000
(48000): primal objval = 28474183375.000000
(48100): primal objval = 28474183375.000000
(48200): primal objval = 28474183375.000000
(48300): primal objval = 28474183375.000000
(48400): primal objval = 28474183375.000000
(48500): primal objval = 28474183375.000000
(48600): primal objval = 28474183375.000000
(48700): primal objval = 28474183375.000000
(48800): primal objval = 28474183375.000000
(48900): primal objval = 28474183375.000000
(49000): primal objval = 28474183375.000000
(49100): primal objval = 28474183375.000000
(49200): primal objval = 28474183375.000000
(49300): primal objval = 28474183375.000000
(49400): primal objval = 28474183375.000000
(49500): primal objval = 28474183375.000000
(49600): primal objval = 28474183375.000000
(49700): primal objval = 28474183375.000000
(49800): primal objval = 28474183375.000000
(49900): primal objval = 28474183375.000000
(50000): primal objval = 28474183375.000000
(50100): primal objval = 28474183375.000000
(50200): primal objval = 28474183375.000000
(50300): primal objval = 28474183375.000000
(50400): primal objval = 28474183375.000000
(50500): primal objval = 28474183375.000000
(50600): primal objval = 28474183375.000000
(50700): primal objval = 28474183375.000000
(50800): primal objval = 28474183375.000000
(50900): primal objval = 28474183375.000000
(51000): primal objval = 28474183375.000000
(51100): primal objval = 28474183375.000000
(51200): primal objval = 28474183375.000000
(51300): primal objval = 28474183375.000000
(51400): primal objval = 28474183375.000000
(51500): primal objval = 28474183375.000000
(51600): primal objval = 28474183375.000000
(51700): primal objval = 28474183375.000000
(51800): primal objval = 28474183375.000000
(51900): primal objval = 28474183375.000000
(52000): primal objval = 28474183375.000000
(52100): primal objval = 28474183375.000000
(52200): primal objval = 28474183375.000000
(52300): primal objval = 28474183375.000000
(52400): primal objval = 28474183375.000000
(52500): primal objval = 28474183375.000000
(52600): primal objval = 28474183375.000000
(52700): primal objval = 28474183375.000000
(52800): primal objval = 28474183375.000000
(52900): primal objval = 28474183375.000000
(53000): primal objval = 28474183375.000000
(53100): primal objval = 28474183375.000000
(53200): primal objval = 28474183375.000000
(53300): primal objval = 28474183375.000000
(53400): primal objval = 28474183375.000000
(53500): primal objval = 28474183375.000000
(53600): primal objval = 28474183375.000000
(53700): primal objval = 28469917399.000000
(53800): primal objval = 28469917399.000000
(53900): primal objval = 27956826440.000000
(54000): primal objval = 27250435829.000000
(54100): primal objval = 27058831786.000000
(54200): primal objval = 27058176526.000000
(54300): primal objval = 27037208904.000000
(54400): primal objval = 26718132508.000000
(54500): primal objval = 26389480808.000000
(54600): primal objval = 26062905560.000000
(54700): primal objval = 26003955054.000000
(54800): primal objval = 25997392944.000000
(54900): primal objval = 25997392944.000000
(55000): primal objval = 25988483899.000000
(55100): primal objval = 25988483899.000000
(55200): primal objval = 25988483899.000000
(55300): primal objval = 25987827937.000000
(55400): primal objval = 25869261956.000000
(55500): primal objval = 25436883765.000000
(55600): primal objval = 25046172576.000000
(55700): primal objval = 24484252492.000000
(55800): primal objval = 23508101398.000000
(55900): primal objval = 22952051955.000000
(56000): primal objval = 22743541677.000000
(56100): primal objval = 22497402153.000000
(56200): primal objval = 22497402153.000000
(56300): primal objval = 22497402153.000000
(56400): primal objval = 22461552491.000000
(56500): primal objval = 22460896457.000000
(56600): primal objval = 22460896457.000000
(56700): primal objval = 22460896457.000000
(56800): primal objval = 22458053773.000000
(56900): primal objval = 22458053773.000000
(57000): primal objval = 22458053773.000000
(57100): primal objval = 22458053773.000000
(57200): primal objval = 22458053773.000000
(57300): primal objval = 22458053773.000000
(57400): primal objval = 22458053773.000000
(57500): primal objval = 22458053773.000000
(57600): primal objval = 22458053773.000000
(57700): primal objval = 22458053773.000000
(57800): primal objval = 22219942907.000000
(57900): primal objval = 21901043015.000000
(58000): primal objval = 21509700441.000000
(58100): primal objval = 21368846595.000000
(58200): primal objval = 21279897114.000000
(58300): primal objval = 21236185514.000000
(58400): primal objval = 21236185514.000000
(58500): primal objval = 21229084329.000000
(58600): primal objval = 21229084329.000000
(58700): primal objval = 21229084329.000000
(58800): primal objval = 21229084329.000000
(58900): primal objval = 21229084329.000000
(59000): primal objval = 21229084329.000000
(59100): primal objval = 21229084329.000000
(59200): primal objval = 21229084329.000000
(59300): primal objval = 21229084329.000000
(59400): primal objval = 21229084329.000000
(59500): primal objval = 21229084329.000000
(59600): primal objval = 21229084329.000000
(59700): primal objval = 21229084329.000000
(59800): primal objval = 21229084329.000000
(59900): primal objval = 21229084329.000000
(60000): primal objval = 21229084329.000000
(60100): primal objval = 21229084329.000000
(60200): primal objval = 21206677690.000000
(60300): primal objval = 21206677690.000000
(60400): primal objval = 21206677690.000000
(60500): primal objval = 21202081294.000000
(60600): primal objval = 21202081294.000000
(60700): primal objval = 21202081294.000000
(60800): primal objval = 21202081294.000000
(60900): primal objval = 21202081294.000000
(61000): primal objval = 21202081294.000000
(61100): primal objval = 21202081294.000000
(61200): primal objval = 21202081294.000000
(61300): primal objval = 21202081294.000000
(61400): primal objval = 21202081294.000000
(61500): primal objval = 21202081294.000000
(61600): primal objval = 21202081294.000000
(61700): primal objval = 21202081294.000000
(61800): primal objval = 21202081294.000000
(61900): primal objval = 21202081294.000000
(62000): primal objval = 21202081294.000000
(62100): primal objval = 21202081294.000000
(62200): primal objval = 21202081294.000000
(62300): primal objval = 21202081294.000000
(62400): primal objval = 21201753322.000000
(62500): primal objval = 21201753322.000000
(62600): primal objval = 21201753322.000000
(62700): primal objval = 21201753322.000000
(62800): primal objval = 21201753322.000000
(62900): primal objval = 21201753322.000000
(63000): primal objval = 21201753322.000000
(63100): primal objval = 21201753322.000000
(63200): primal objval = 21201753322.000000
(63300): primal objval = 21201753322.000000
(63400): primal objval = 21201753322.000000
(63500): primal objval = 21201753322.000000
(63600): primal objval = 21201753322.000000
(63700): primal objval = 21201753322.000000
(63800): primal objval = 21201753322.000000
(63900): primal objval = 21201753322.000000
(64000): primal objval = 21201753322.000000
(64100): primal objval = 21201753322.000000
(64200): primal objval = 21201753322.000000
(64300): primal objval = 21201753322.000000
(64400): primal objval = 21201753322.000000
(64500): primal objval = 21201753322.000000
(64600): primal objval = 21201753322.000000
(64700): primal objval = 21201753322.000000
(64800): primal objval = 21201753322.000000
(64900): primal objval = 21201753322.000000
(65000): primal objval = 21201753322.000000
(65100): primal objval = 21201753322.000000
(65200): primal objval = 21201753322.000000
(65300): primal objval = 21201753322.000000
(65400): primal objval = 21201753322.000000
(65500): primal objval = 21201753322.000000
(65600): primal objval = 21201753322.000000
(65700): primal objval = 21201753322.000000
(65800): primal objval = 21201753322.000000
(65900): primal objval = 21201753322.000000
(66000): primal objval = 21196506970.000000
(66100): primal objval = 21196506970.000000
(66200): primal objval = 21196506970.000000
(66300): primal objval = 21196506970.000000
(66400): primal objval = 21196506970.000000
(66500): primal objval = 21196506970.000000
(66600): primal objval = 21196506970.000000
(66700): primal objval = 21196506970.000000
(66800): primal objval = 21196506970.000000
(66900): primal objval = 21196506970.000000
(67000): primal objval = 21196506970.000000
(67100): primal objval = 21196506970.000000
(67200): primal objval = 21196506970.000000
(67300): primal objval = 21196506970.000000
(67400): primal objval = 21196506970.000000
(67500): primal objval = 21196506970.000000
(67600): primal objval = 21196506970.000000
(67700): primal objval = 21196506970.000000
(67800): primal objval = 21196506970.000000
(67900): primal objval = 21196506970.000000
(68000): primal objval = 21196506970.000000
(68100): primal objval = 21196506970.000000
(68200): primal objval = 21196506970.000000
(68300): primal objval = 21196506970.000000
(68400): primal objval = 21196506970.000000
(68500): primal objval = 21196506970.000000
(68600): primal objval = 21196506970.000000
(68700): primal objval = 21196506970.000000
(68800): primal objval = 21196506970.000000
(68900): primal objval = 21196506970.000000
(69000): primal objval = 21196506970.000000
(69100): primal objval = 21196506970.000000
(69200): primal objval = 21196506970.000000
(69300): primal objval = 21196506970.000000
(69400): primal objval = 21196506970.000000
(69500): primal objval = 21196506970.000000
(69600): primal objval = 21196506970.000000
(69700): primal objval = 21196506970.000000
(69800): primal objval = 21196506970.000000
(69900): primal objval = 21196506970.000000
(70000): primal objval = 21196506970.000000
(70100): primal objval = 21196506970.000000
(70200): primal objval = 21196506970.000000
(70300): primal objval = 21196506970.000000
(70400): primal objval = 21196506970.000000
(70500): primal objval = 21196506970.000000
(70600): primal objval = 21196506970.000000
(70700): primal objval = 21196506970.000000
(70800): primal objval = 21196506970.000000
(70900): primal objval = 21196506970.000000
(71000): primal objval = 21196506970.000000
(71100): primal objval = 21196506970.000000
(71200): primal objval = 21196506970.000000
(71300): primal objval = 21196506970.000000
(71400): primal objval = 21196506970.000000
(71500): primal objval = 21196506970.000000
(71600): primal objval = 21196506970.000000
(71700): primal objval = 21196506970.000000
(71800): primal objval = 21196506970.000000
(71900): primal objval = 21196506970.000000
(72000): primal objval = 21196506970.000000
(72100): primal objval = 21196506970.000000
(72200): primal objval = 21196506970.000000
(72300): primal objval = 21196506970.000000
(72400): primal objval = 21196506970.000000
(72500): primal objval = 21196506970.000000
(72600): primal objval = 21196506970.000000
(72700): primal objval = 21196506970.000000
(72800): primal objval = 21196506970.000000
(72900): primal objval = 21196506970.000000
(73000): primal objval = 21196506970.000000
(73100): primal objval = 21196506970.000000
(73200): primal objval = 21196506970.000000
(73300): primal objval = 21196506970.000000
(73400): primal objval = 21156051495.000000
(73500): primal objval = 21047816535.000000
(73600): primal objval = 21019299662.000000
(73700): primal objval = 21019299662.000000
(73800): primal objval = 21019299662.000000
(73900): primal objval = 21010115375.000000
(74000): primal objval = 21010115375.000000
(74100): primal objval = 21003887327.000000
(74200): primal objval = 20978952110.000000
(74300): primal objval = 20969111630.000000
(74400): primal objval = 20969111630.000000
(74500): primal objval = 20969111630.000000
(74600): primal objval = 20969111630.000000
(74700): primal objval = 20962883042.000000
(74800): primal objval = 20962883042.000000
(74900): primal objval = 20962883042.000000
(75000): primal objval = 20956650434.000000
(75100): primal objval = 20956650434.000000
(75200): primal objval = 20956650434.000000
(75300): primal objval = 20956650434.000000
(75400): primal objval = 20956650434.000000
(75500): primal objval = 20956650434.000000
(75600): primal objval = 20956650434.000000
(75700): primal objval = 20956650434.000000
(75800): primal objval = 20956650434.000000
(75900): primal objval = 20956650434.000000
(76000): primal objval = 20956650434.000000
(76100): primal objval = 20956650434.000000
(76200): primal objval = 20956650434.000000
(76300): primal objval = 20956322630.000000
(76400): primal objval = 20956322630.000000
(76500): primal objval = 20956322630.000000
(76600): primal objval = 20956322630.000000
(76700): primal objval = 20956322630.000000
(76800): primal objval = 20956322630.000000
(76900): primal objval = 20956322630.000000
(77000): primal objval = 20956322630.000000
(77100): primal objval = 20956322630.000000
(77200): primal objval = 20956322630.000000
(77300): primal objval = 20956322630.000000
(77400): primal objval = 20956322630.000000
(77500): primal objval = 20956322630.000000
(77600): primal objval = 20956322630.000000
(77700): primal objval = 20956322630.000000
(77800): primal objval = 20956322630.000000
(77900): primal objval = 20956322630.000000
(78000): primal objval = 20956322630.000000
(78100): primal objval = 20956322630.000000
(78200): primal objval = 20956322630.000000
(78300): primal objval = 20956322630.000000
(78400): primal objval = 20956322630.000000
(78500): primal objval = 20956322630.000000
(78600): primal objval = 20956322630.000000
(78700): primal objval = 20956322630.000000
(78800): primal objval = 20956322630.000000
(78900): primal objval = 20956322630.000000
(79000): primal objval = 20956322630.000000
(79100): primal objval = 20956322630.000000
(79200): primal objval = 20956322630.000000
(79300): primal objval = 20956322630.000000
(79400): primal objval = 20956322630.000000
(79500): primal objval = 20956322630.000000
(79600): primal objval = 20956322630.000000
(79700): primal objval = 20956322630.000000
(79800): primal objval = 20956322630.000000
(79900): primal objval = 20956322630.000000
(80000): primal objval = 20956322630.000000
(80100): primal objval = 20956322630.000000
(80200): primal objval = 20956322630.000000
(80300): primal objval = 20956322630.000000
(80400): primal objval = 20956322630.000000
(80500): primal objval = 20956322630.000000
(80600): primal objval = 20956322630.000000
(80700): primal objval = 20956322630.000000
(80800): primal objval = 20956322630.000000
(80900): primal objval = 20956322630.000000
(81000): primal objval = 20956322630.000000
(81100): primal objval = 20956322630.000000
(81200): primal objval = 20956322630.000000
(81300): primal objval = 20956322630.000000
(81400): primal objval = 20956322630.000000
(81500): primal objval = 20956322630.000000
(81600): primal objval = 20956322630.000000
(81700): primal objval = 20956322630.000000
(81800): primal objval = 20956322630.000000
(81900): primal objval = 20956322630.000000
(82000): primal objval = 20956322630.000000
(82100): primal objval = 20956322630.000000
(82200): primal objval = 20956322630.000000
(82300): primal objval = 20956322630.000000
(82400): primal objval = 20956322630.000000
(82500): primal objval = 20956322630.000000
(82600): primal objval = 20956322630.000000
(82700): primal objval = 20956322630.000000
(82800): primal objval = 20956322630.000000
(82900): primal objval = 20956322630.000000
(83000): primal objval = 20956322630.000000
(83100): primal objval = 20956322630.000000
(83200): primal objval = 20956322630.000000
(83300): primal objval = 20956322630.000000
(83400): primal objval = 20956322630.000000
(83500): primal objval = 20956322630.000000
(83600): primal objval = 20880087243.000000
(83700): primal objval = 20880087243.000000
(83800): primal objval = 20880087243.000000
(83900): primal objval = 20880087243.000000
(84000): primal objval = 20880087243.000000
(84100): primal objval = 20863800105.000000
(84200): primal objval = 20851333113.000000
(84300): primal objval = 20851333113.000000
(84400): primal objval = 20850349611.000000
(84500): primal objval = 20850349611.000000
(84600): primal objval = 20850349611.000000
(84700): primal objval = 20850349611.000000
(84800): primal objval = 20850349611.000000
(84900): primal objval = 20850349611.000000
(85000): primal objval = 20850349611.000000
(85100): primal objval = 20850349611.000000
(85200): primal objval = 20850349611.000000
(85300): primal objval = 20850349611.000000
(85400): primal objval = 20850349611.000000
(85500): primal objval = 20850349611.000000
(85600): primal objval = 20850349611.000000
(85700): primal objval = 20809996295.000000
(85800): primal objval = 20809996295.000000
(85900): primal objval = 20808686993.000000
(86000): primal objval = 20806419035.000000
(86100): primal objval = 20806419035.000000
(86200): primal objval = 20806419035.000000
(86300): primal objval = 20806419035.000000
(86400): primal objval = 20806419035.000000
(86500): primal objval = 20802103195.000000
(86600): primal objval = 20781388507.000000
(86700): primal objval = 20781388507.000000
(86800): primal objval = 20777937659.000000
(86900): primal objval = 20777937659.000000
(87000): primal objval = 20725186729.000000
(87100): primal objval = 20716657975.000000
(87200): primal objval = 20716657975.000000
(87300): primal objval = 20716657975.000000
(87400): primal objval = 20716657975.000000
(87500): primal objval = 20716657975.000000
(87600): primal objval = 20716657975.000000
(87700): primal objval = 20716657975.000000
(87800): primal objval = 20716003129.000000
(87900): primal objval = 20703589881.000000
(88000): primal objval = 20703589881.000000
(88100): primal objval = 20703589881.000000
(88200): primal objval = 20703589881.000000
(88300): primal objval = 20703589881.000000
(88400): primal objval = 20703589881.000000
(88500): primal objval = 20703589881.000000
(88600): primal objval = 20703589881.000000
(88700): primal objval = 20703589881.000000
(88800): primal objval = 20692224433.000000
(88900): primal objval = 20692224433.000000
(89000): primal objval = 20689929745.000000
(89100): primal objval = 20689929745.000000
(89200): primal objval = 20689929745.000000
(89300): primal objval = 20689929745.000000
(89400): primal objval = 20689929745.000000
(89500): primal objval = 20689929745.000000
(89600): primal objval = 20689929745.000000
(89700): primal objval = 20689929745.000000
(89800): primal objval = 20681103598.000000
(89900): primal objval = 20641172615.000000
(90000): primal objval = 20641172615.000000
(90100): primal objval = 20641172615.000000
(90200): primal objval = 20639879861.000000
(90300): primal objval = 20632882350.000000
(90400): primal objval = 20632882350.000000
(90500): primal objval = 20622386571.000000
(90600): primal objval = 20622386571.000000
(90700): primal objval = 20622386571.000000
(90800): primal objval = 20614737653.000000
(90900): primal objval = 20610807827.000000
(91000): primal objval = 20605238602.000000
(91100): primal objval = 20605238602.000000
(91200): primal objval = 20605238602.000000
(91300): primal objval = 20600767954.000000
(91400): primal objval = 20584608540.000000
(91500): primal objval = 20584608540.000000
(91600): primal objval = 20584608540.000000
(91700): primal objval = 20584608540.000000
(91800): primal objval = 20584608540.000000
(91900): primal objval = 20584608540.000000
(92000): primal objval = 20550788644.000000
(92100): primal objval = 20550788644.000000
(92200): primal objval = 20550788644.000000
(92300): primal objval = 20550788644.000000
(92400): primal objval = 20550788644.000000
(92500): primal objval = 20545222912.000000
(92600): primal objval = 20543402442.000000
(92700): primal objval = 20542759410.000000
(92800): primal objval = 20503140882.500000
(92900): primal objval = 20503140882.500000
(93000): primal objval = 20483447204.000000
(93100): primal objval = 20483447204.000000
(93200): primal objval = 20483447204.000000
(93300): primal objval = 20483447204.000000
(93400): primal objval = 20483447204.000000
(93500): primal objval = 20479415788.000000
(93600): primal objval = 20479415788.000000
(93700): primal objval = 20476938741.000000
(93800): primal objval = 20476938741.000000
(93900): primal objval = 20476938741.000000
(94000): primal objval = 20476938741.000000
(94100): primal objval = 20476938741.000000
(94200): primal objval = 20476938741.000000
(94300): primal objval = 20476938741.000000
(94400): primal objval = 20440594001.000000
(94500): primal objval = 20439938045.000000
(94600): primal objval = 20439938045.000000
(94700): primal objval = 20439938045.000000
(94800): primal objval = 20418858390.000000
(94900): primal objval = 20418858390.000000
(95000): primal objval = 20416126265.000000
(95100): primal objval = 20416126265.000000
(95200): primal objval = 20416126265.000000
(95300): primal objval = 20416126265.000000
(95400): primal objval = 20415798488.000000
(95500): primal objval = 20415798488.000000
(95600): primal objval = 20413174718.000000
(95700): primal objval = 20412847775.000000
(95800): primal objval = 20412520877.000000
(95900): primal objval = 20349546839.000000
(96000): primal objval = 20339070263.000000
(96100): primal objval = 20339070263.000000
(96200): primal objval = 20338005773.000000
(96300): primal objval = 20338005773.000000
(96400): primal objval = 20333211275.000000
(96500): primal objval = 20265792667.000000
(96600): primal objval = 20218783824.000000
(96700): primal objval = 20192028483.000000
(96800): primal objval = 20192028483.000000
(96900): primal objval = 20187903267.000000
(97000): primal objval = 20187903267.000000
(97100): primal objval = 20184406659.000000
(97200): primal objval = 20173928009.000000
(97300): primal objval = 20145089043.000000
(97400): primal objval = 20092444051.000000
(97500): primal objval = 20077193771.000000
(97600): primal objval = 20066104693.000000
(97700): primal objval = 20054765552.000000
(97800): primal objval = 20042439151.000000
(97900): primal objval = 20022522007.000000
(98000): primal objval = 20014727353.000000
(98100): primal objval = 20001466427.000000
(98200): primal objval = 19958906744.000000
(98300): primal objval = 19955851162.000000
(98400): primal objval = 19955851162.000000
(98500): primal objval = 19945746625.000000
(98600): primal objval = 19942923019.000000
(98700): primal objval = 19942923019.000000
(98800): primal objval = 19942923019.000000
(98900): primal objval = 19940989465.000000
(99000): primal objval = 19925299433.000000
(99100): primal objval = 19925299433.000000
(99200): primal objval = 19914671247.000000
(99300): primal objval = 19909960704.000000
(99400): primal objval = 19909960704.000000
(99500): primal objval = 19909960704.000000
(99600): primal objval = 19909333788.000000
(99700): primal objval = 19900968968.000000
(99800): primal objval = 19900543298.000000
(99900): primal objval = 19894905349.000000
(100000): primal objval = 19893009043.000000
(100100): primal objval = 19890464011.000000
(100200): primal objval = 19867890352.000000
(100300): primal objval = 19854482941.000000
(100400): primal objval = 19841500000.000000
(100500): primal objval = 19829060563.000000
(100600): primal objval = 19823504653.000000
(100700): primal objval = 19813231517.000000
(100800): primal objval = 19803688521.000000
(100900): primal objval = 19790150844.000000
(101000): primal objval = 19790150844.000000
(101100): primal objval = 19775827913.000000
(101200): primal objval = 19769234607.000000
(101300): primal objval = 19756945678.000000
(101400): primal objval = 19735407439.000000
(101500): primal objval = 19706404793.000000
(101600): primal objval = 19694862722.000000
(101700): primal objval = 19694862722.000000
(101800): primal objval = 19687276357.000000
(101900): primal objval = 19680868782.000000
(102000): primal objval = 19679212048.500000
(102100): primal objval = 19672453771.000000
(102200): primal objval = 19666764192.000000
(102300): primal objval = 19659625023.000000
(102400): primal objval = 19641275190.000000
(102500): primal objval = 19629905260.000000
(102600): primal objval = 19618950409.000000
(102700): primal objval = 19607213377.000000
(102800): primal objval = 19601287115.000000
(102900): primal objval = 19592757388.000000
(103000): primal objval = 19587523016.000000
(103100): primal objval = 19585260446.000000
(103200): primal objval = 19573392565.000000
(103300): primal objval = 19561064520.000000
(103400): primal objval = 19554755267.010647
(103500): primal objval = 19554755266.848660
(103600): primal objval = 19554159397.459194
(103700): primal objval = 19542146976.621887
(103800): primal objval = 19538042556.965050
(103900): primal objval = 19530943828.894073
(104000): primal objval = 19521441635.068504
(104100): primal objval = 19517242993.177673
(104200): primal objval = 19507556303.557049
(104300): primal objval = 19505098250.083389
(104400): primal objval = 19502098987.965504
(104500): primal objval = 19502098987.965504
(104600): primal objval = 19502098987.965504
(104700): primal objval = 19502098987.965504
(104800): primal objval = 19502098987.965504
(104900): primal objval = 19502098987.965508
(105000): primal objval = 19502098987.965508
(105100): primal objval = 19502098987.965508
(105200): primal objval = 19502098987.965508
(105300): primal objval = 19484855377.912357
(105400): primal objval = 19476914422.816925
(105500): primal objval = 19471724356.368782
(105600): primal objval = 19458808963.215908
(105700): primal objval = 19450882506.447769
(105800): primal objval = 19446261513.881065
(105900): primal objval = 19446261513.881065
(106000): primal objval = 19446261513.881065
(106100): primal objval = 19446261513.881065
(106200): primal objval = 19446261513.881065
(106300): primal objval = 19446261513.881065
(106400): primal objval = 19446261513.881065
(106500): primal objval = 19446261513.881065
(106600): primal objval = 19446261513.881065
(106700): primal objval = 19446261513.881065
(106800): primal objval = 19446261513.881065
(106900): primal objval = 19446261513.881065
(107000): primal objval = 19446261513.881065
(107100): primal objval = 19446261513.881065
(107200): primal objval = 19446261513.881065
(107300): primal objval = 19446261513.881065
(107400): primal objval = 19446261513.881065
(107500): primal objval = 19446261513.864052
(107600): primal objval = 19446261513.864052
(107700): primal objval = 19446261513.864052
(107800): primal objval = 19446261513.864052
(107900): primal objval = 19446261513.864052
(108000): primal objval = 19446261513.864052
(108100): primal objval = 19446261513.864052
(108200): primal objval = 19446261513.864052
(108300): primal objval = 19446261513.864052
(108400): primal objval = 19446261513.864052
(108500): primal objval = 19446261513.864052
(108600): primal objval = 19446261513.864052
(108700): primal objval = 19446261513.864052
(108800): primal objval = 19446261513.864052
(108900): primal objval = 19446261513.864052
(109000): primal objval = 19446261513.837147
(109100): primal objval = 19446261513.837147
(109200): primal objval = 19446261513.837151
(109300): primal objval = 19446261513.837151
(109400): primal objval = 19446261513.797626
(109500): primal objval = 19446261513.797626
(109600): primal objval = 19446261513.797626
(109700): primal objval = 19435460345.355991
(109800): primal objval = 19431419498.980419
(109900): primal objval = 19431419498.930573
(110000): primal objval = 19424158764.879505
(110100): primal objval = 19410921536.293678
(110200): primal objval = 19407198946.178825
(110300): primal objval = 19401119277.176865
(110400): primal objval = 19394095430.630913
(110500): primal objval = 19387364636.608429
(110600): primal objval = 19387364636.608429
(110700): primal objval = 19387364636.608429
(110800): primal objval = 19387364636.608429
(110900): primal objval = 19387364636.608429
(111000): primal objval = 19387364636.608429
(111100): primal objval = 19387364636.608429
(111200): primal objval = 19387364636.608429
(111300): primal objval = 19387364636.608429
(111400): primal objval = 19387364636.608429
(111500): primal objval = 19387364636.608429
(111600): primal objval = 19387364636.608429
(111700): primal objval = 19387364636.608429
(111800): primal objval = 19387364636.608429
(111900): primal objval = 19387364636.608429
(112000): primal objval = 19387364636.608429
(112100): primal objval = 19387364636.608429
(112200): primal objval = 19387364636.608429
(112300): primal objval = 19387364636.608429
(112400): primal objval = 19386266513.069077
(112500): primal objval = 19380614836.944248
(112600): primal objval = 19375856190.495533
(112700): primal objval = 19375171666.954491
(112800): primal objval = 19374239097.345860
(112900): primal objval = 19369847025.606098
(113000): primal objval = 19369847025.606098
(113100): primal objval = 19368117820.858120
(113200): primal objval = 19360609559.702991
(113300): primal objval = 19356108202.785675
(113400): primal objval = 19348393244.746929
(113500): primal objval = 19340678897.950825
(113600): primal objval = 19340678897.950825
(113700): primal objval = 19340038129.589458
(113800): primal objval = 19327935757.065441
(113900): primal objval = 19322497581.272408
(114000): primal objval = 19298793242.453480
(114100): primal objval = 19292770927.606018
(114200): primal objval = 19287516969.574993
(114300): primal objval = 19280360137.768406
(114400): primal objval = 19275056213.628269
(114500): primal objval = 19275056213.628269
(114600): primal objval = 19275056213.628269
(114700): primal objval = 19275056213.598457
(114800): primal objval = 19271699982.900383
(114900): primal objval = 19255360930.753906
(115000): primal objval = 19232156500.740398
(115100): primal objval = 19220734438.565449
(115200): primal objval = 19214596273.997726
(115300): primal objval = 19207662613.469437
(115400): primal objval = 19207662613.469437
(115500): primal objval = 19207662613.469437
(115600): primal objval = 19207662613.469437
(115700): primal objval = 19207662613.469440
(115800): primal objval = 19207662613.469440
(115900): primal objval = 19207662613.469440
(116000): primal objval = 19207662613.469440
(116100): primal objval = 19207662613.469440
(116200): primal objval = 19207662613.469440
(116300): primal objval = 19207662613.469440
(116400): primal objval = 19207662613.469440
(116500): primal objval = 19207662613.469440
(116600): primal objval = 19207662613.469440
(116700): primal objval = 19207662613.469440
(116800): primal objval = 19207662613.469440
(116900): primal objval = 19207662613.469440
(117000): primal objval = 19207662613.469440
(117100): primal objval = 19207662613.469440
(117200): primal objval = 19207662613.469440
(117300): primal objval = 19207662613.469440
(117400): primal objval = 19207662613.469440
(117500): primal objval = 19207662613.469440
(117600): primal objval = 19204144643.268425
(117700): primal objval = 19202691480.114731
(117800): primal objval = 19201016570.355770
(117900): primal objval = 19196892373.004555
(118000): primal objval = 19192807425.096233
(118100): primal objval = 19180721602.733574
(118200): primal objval = 19174084127.785149
(118300): primal objval = 19171524417.645596
(118400): primal objval = 19171524417.645596
(118500): primal objval = 19171524417.645596
(118600): primal objval = 19171524417.645596
(118700): primal objval = 19171524417.645596
(118800): primal objval = 19169179601.010269
(118900): primal objval = 19167053307.315338
(119000): primal objval = 19162942882.129097
(119100): primal objval = 19159349532.278858
(119200): primal objval = 19156711999.848518
(119300): primal objval = 19156711999.848518
(119400): primal objval = 19156711999.848522
(119500): primal objval = 19156711999.848522
(119600): primal objval = 19156711999.848522
(119700): primal objval = 19156711999.848522
(119800): primal objval = 19156711999.848522
(119900): primal objval = 19156711999.848522
(120000): primal objval = 19156711999.848522
(120100): primal objval = 19156711999.848522
(120200): primal objval = 19156711999.848522
(120300): primal objval = 19156711999.848522
(120400): primal objval = 19156711999.848522
(120500): primal objval = 19156711999.848522
(120600): primal objval = 19156711999.848522
(120700): primal objval = 19156711999.848522
(120800): primal objval = 19156711999.848522
(120900): primal objval = 19156711999.848522
(121000): primal objval = 19156711999.848522
(121100): primal objval = 19156711999.848522
(121200): primal objval = 19156711999.848522
(121300): primal objval = 19156711999.848522
(121400): primal objval = 19156711997.188629
(121500): primal objval = 19146827849.428753
(121600): primal objval = 19142948471.205944
(121700): primal objval = 19142948471.205944
(121800): primal objval = 19142948470.660221
(121900): primal objval = 19132535283.777077
(122000): primal objval = 19128829323.636257
(122100): primal objval = 19128829323.636257
(122200): primal objval = 19128829323.636257
(122300): primal objval = 19128829323.636257
(122400): primal objval = 19128829323.636257
(122500): primal objval = 19128829323.636257
(122600): primal objval = 19128829323.636257
(122700): primal objval = 19128829323.636257
(122800): primal objval = 19128829323.636257
(122900): primal objval = 19128829323.636257
(123000): primal objval = 19128829323.636257
(123100): primal objval = 19128829323.636257
(123200): primal objval = 19128829323.636257
(123300): primal objval = 19128829323.636257
(123400): primal objval = 19128829323.636257
(123500): primal objval = 19128829323.636257
(123600): primal objval = 19128829323.636257
(123700): primal objval = 19128829323.636257
(123800): primal objval = 19128829323.636257
(123900): primal objval = 19128829323.636257
(124000): primal objval = 19128829323.636257
(124100): primal objval = 19128829323.636257
(124200): primal objval = 19128829323.636257
(124300): primal objval = 19128829323.636257
(124400): primal objval = 19128829323.636257
(124500): primal objval = 19128829323.636257
(124600): primal objval = 19128829323.636257
(124700): primal objval = 19128829323.636257
(124800): primal objval = 19128829323.636257
(124900): primal objval = 19128829323.636257
(125000): primal objval = 19128829323.636257
(125100): primal objval = 19127312519.727966
(125200): primal objval = 19127312519.727966
(125300): primal objval = 19127312519.727966
(125400): primal objval = 19127312519.727966
(125500): primal objval = 19127312519.727966
(125600): primal objval = 19127312519.727966
(125700): primal objval = 19127312519.727966
(125800): primal objval = 19127312519.727966
(125900): primal objval = 19117231890.619896
(126000): primal objval = 19117231890.619896
(126100): primal objval = 19109618812.552185
(126200): primal objval = 19106822680.966568
(126300): primal objval = 19106822680.966568
(126400): primal objval = 19098244831.022022
(126500): primal objval = 19090860577.168499
(126600): primal objval = 19084794302.010670
(126700): primal objval = 19084794302.004826
(126800): primal objval = 19084794302.004826
(126900): primal objval = 19084794302.004826
(127000): primal objval = 19083718177.174881
(127100): primal objval = 19080436957.288044
(127200): primal objval = 19080436957.288044
(127300): primal objval = 19079890087.207748
(127400): primal objval = 19065038725.187000
(127500): primal objval = 19056435333.337074
(127600): primal objval = 19056435333.337074
(127700): primal objval = 19056435333.337074
(127800): primal objval = 19056435333.337074
(127900): primal objval = 19055461880.241249
(128000): primal objval = 19049291296.233742
(128100): primal objval = 19041291828.972809
(128200): primal objval = 19031747993.136513
(128300): primal objval = 19029071492.478222
(128400): primal objval = 19022100801.157124
(128500): primal objval = 19018109510.920151
(128600): primal objval = 19018109510.920151
(128700): primal objval = 19011251807.482281
(128800): primal objval = 19003239813.778400
(128900): primal objval = 18996525671.903057
(129000): primal objval = 18994374923.787857
(129100): primal objval = 18992009952.100040
(129200): primal objval = 18992009952.100040
(129300): primal objval = 18989036490.492081
(129400): primal objval = 18984814966.982952
(129500): primal objval = 18983506964.042175
(129600): primal objval = 18975367399.227097
(129700): primal objval = 18970195521.544006
(129800): primal objval = 18953620786.521889
(129900): primal objval = 18943672077.010361
(130000): primal objval = 18931996263.670483
(130100): primal objval = 18921907462.135342
(130200): primal objval = 18915330256.677490
(130300): primal objval = 18908997321.628891
(130400): primal objval = 18906557869.546532
(130500): primal objval = 18894332003.041199
(130600): primal objval = 18889842082.113525
(130700): primal objval = 18889842082.113525
(130800): primal objval = 18889842082.113525
(130900): primal objval = 18889842082.113525
(131000): primal objval = 18889842082.113525
(131100): primal objval = 18889842082.113525
(131200): primal objval = 18889842082.113525
(131300): primal objval = 18889842081.686440
(131400): primal objval = 18886867835.251827
(131500): primal objval = 18880134172.219845
(131600): primal objval = 18873110429.903198
(131700): primal objval = 18863853955.881927
(131800): primal objval = 18863853955.881927
(131900): primal objval = 18863853955.881927
(132000): primal objval = 18857306099.839214
(132100): primal objval = 18843395860.489830
(132200): primal objval = 18836218413.523769
(132300): primal objval = 18829066258.137238
(132400): primal objval = 18815959084.116291
(132500): primal objval = 18813152694.019005
(132600): primal objval = 18800633577.449081
(132700): primal objval = 18799153031.472076
(132800): primal objval = 18795325579.141361
(132900): primal objval = 18785927392.702370
(133000): primal objval = 18779820396.763439
(133100): primal objval = 18779820396.763447
(133200): primal objval = 18773851772.866337
(133300): primal objval = 18772427623.714062
(133400): primal objval = 18766134978.801773
(133500): primal objval = 18766134978.801773
(133600): primal objval = 18761430812.889702
(133700): primal objval = 18760448858.660088
(133800): primal objval = 18760448855.539265
(133900): primal objval = 18760448855.539272
(134000): primal objval = 18760448855.539272
(134100): primal objval = 18760448855.539272
(134200): primal objval = 18760448855.539272
(134300): primal objval = 18760448855.539272
(134400): primal objval = 18760448855.539272
(134500): primal objval = 18760448855.539272
(134600): primal objval = 18760448855.539272
(134700): primal objval = 18760448855.539272
(134800): primal objval = 18760448855.539272
(134900): primal objval = 18760448855.539272
(135000): primal objval = 18760448855.539272
(135100): primal objval = 18760448855.539272
(135200): primal objval = 18760448855.539272
(135300): primal objval = 18760448855.539272
(135400): primal objval = 18760448855.539272
(135500): primal objval = 18760448855.539272
(135600): primal objval = 18760448855.539272
(135700): primal objval = 18760448855.539272
(135800): primal objval = 18760448855.539272
(135900): primal objval = 18760448855.539272
(136000): primal objval = 18760448855.539272
(136100): primal objval = 18760448855.539272
(136200): primal objval = 18760448855.387646
(136300): primal objval = 18755485622.027447
(136400): primal objval = 18755033413.517956
(136500): primal objval = 18748532412.331127
(136600): primal objval = 18744419788.508331
(136700): primal objval = 18742083991.153484
(136800): primal objval = 18739012769.907585
(136900): primal objval = 18735795491.287727
(137000): primal objval = 18732378392.284130
(137100): primal objval = 18720005121.267479
(137200): primal objval = 18720005121.267479
(137300): primal objval = 18720005121.267479
(137400): primal objval = 18720005120.968105
(137500): primal objval = 18711850496.009369
(137600): primal objval = 18704493077.279099
(137700): primal objval = 18688793518.211422
(137800): primal objval = 18686136489.686684
(137900): primal objval = 18686136489.686684
(138000): primal objval = 18686136489.686684
(138100): primal objval = 18686136489.686680
(138200): primal objval = 18671380829.660450
(138300): primal objval = 18668127430.707081
(138400): primal objval = 18658901397.824169
(138500): primal objval = 18643048457.110905
(138600): primal objval = 18630013663.412365
(138700): primal objval = 18620157767.495113
(138800): primal objval = 18610396232.319576
(138900): primal objval = 18602783514.282089
(139000): primal objval = 18602783514.282089
(139100): primal objval = 18602783514.282089
(139200): primal objval = 18602783514.282089
(139300): primal objval = 18602783514.282089
(139400): primal objval = 18602783514.282089
(139500): primal objval = 18602783514.282089
(139600): primal objval = 18602783514.282089
(139700): primal objval = 18602783514.282089
(139800): primal objval = 18602783514.282089
(139900): primal objval = 18602783514.282089
(140000): primal objval = 18602783514.282089
(140100): primal objval = 18602783514.282089
(140200): primal objval = 18602783514.282089
(140300): primal objval = 18602783514.282089
(140400): primal objval = 18602783514.282089
(140500): primal objval = 18602783514.282089
(140600): primal objval = 18602783514.167686
(140700): primal objval = 18602250055.141247
(140800): primal objval = 18586618816.543644
(140900): primal objval = 18580049777.780670
(141000): primal objval = 18576252918.112640
(141100): primal objval = 18568009583.811531
(141200): primal objval = 18568009582.609962
(141300): primal objval = 18564958009.036297
(141400): primal objval = 18551859172.733768
(141500): primal objval = 18542732272.902493
(141600): primal objval = 18540532812.355778
(141700): primal objval = 18535990444.591473
(141800): primal objval = 18535990444.591473
(141900): primal objval = 18535990444.591473
(142000): primal objval = 18535990444.591473
(142100): primal objval = 18535990444.591473
(142200): primal objval = 18535990444.591473
(142300): primal objval = 18535990444.591473
(142400): primal objval = 18535990444.591473
(142500): primal objval = 18535990444.591473
(142600): primal objval = 18534669210.274944
(142700): primal objval = 18524719105.627071
(142800): primal objval = 18520198892.597427
(142900): primal objval = 18520198892.597427
(143000): primal objval = 18520198892.597427
(143100): primal objval = 18520198892.597427
(143200): primal objval = 18520198892.597427
(143300): primal objval = 18520198892.597435
(143400): primal objval = 18520198892.597435
(143500): primal objval = 18520198892.597435
(143600): primal objval = 18520198892.597435
(143700): primal objval = 18520198892.597435
(143800): primal objval = 18520198892.597435
(143900): primal objval = 18520198892.597435
(144000): primal objval = 18520198892.597435
(144100): primal objval = 18520198892.597435
(144200): primal objval = 18520198892.597435
(144300): primal objval = 18520198892.597435
(144400): primal objval = 18520198892.597435
(144500): primal objval = 18497546299.089787
(144600): primal objval = 18481990665.985962
(144700): primal objval = 18472851606.376049
(144800): primal objval = 18401449149.810650
(144900): primal objval = 18385494801.489182
(145000): primal objval = 18371649633.966038
(145100): primal objval = 18353170343.106518
(145200): primal objval = 18212133534.037262
(145300): primal objval = 18193396025.462833
(145400): primal objval = 18188123179.177670
(145500): primal objval = 18180925652.783638
(145600): primal objval = 18169460929.154629
(145700): primal objval = 18145177131.755074
(145800): primal objval = 18144272607.079872
(145900): primal objval = 18135394649.955997
(146000): primal objval = 18123534378.610378
(146100): primal objval = 18119637530.676811
(146200): primal objval = 18116130451.095310
(146300): primal objval = 18112894335.153862
(146400): primal objval = 18104884458.596348
(146500): primal objval = 18090908830.829811
(146600): primal objval = 18080240206.126945
(146700): primal objval = 18068510490.284824
(146800): primal objval = 18058503681.481785
(146900): primal objval = 18051516571.749451
(147000): primal objval = 18046844277.977528
(147100): primal objval = 18036612882.718349
(147200): primal objval = 18031647439.991386
(147300): primal objval = 18019020912.608795
(147400): primal objval = 18010706303.618626
(147500): primal objval = 17998373937.175419
(147600): primal objval = 17989730775.154964
(147700): primal objval = 17978162418.066795
(147800): primal objval = 17966749604.513523
(147900): primal objval = 17955920598.358086
(148000): primal objval = 17943402136.708385
(148100): primal objval = 17938865731.417171
(148200): primal objval = 17937309596.249924
(148300): primal objval = 17937309596.249924
(148400): primal objval = 17937309596.249924
(148500): primal objval = 17937309596.249924
(148600): primal objval = 17937309596.249924
(148700): primal objval = 17937309596.249924
(148800): primal objval = 17937309596.249924
(148900): primal objval = 17937309596.249924
(149000): primal objval = 17937309596.249924
(149100): primal objval = 17937309596.249924
(149200): primal objval = 17937309596.249924
(149300): primal objval = 17937309596.249924
(149400): primal objval = 17937309596.249924
(149500): primal objval = 17937309596.249924
(149600): primal objval = 17937309596.249924
(149700): primal objval = 17937309596.249924
(149800): primal objval = 17937309596.249924
(149900): primal objval = 17937309596.249924
(150000): primal objval = 17937309596.249924
(150100): primal objval = 17937309596.249924
(150200): primal objval = 17937309596.249924
(150300): primal objval = 17927387146.906937
(150400): primal objval = 17922413578.499222
(150500): primal objval = 17919002871.683308
(150600): primal objval = 17905839399.976810
(150700): primal objval = 17894189223.213333
(150800): primal objval = 17881148413.206821
(150900): primal objval = 17874547492.032005
(151000): primal objval = 17867757037.950180
(151100): primal objval = 17866333152.114452
(151200): primal objval = 17862063642.023796
(151300): primal objval = 17854648542.593430
(151400): primal objval = 17846882020.353603
(151500): primal objval = 17845721528.140026
(151600): primal objval = 17845721528.140026
(151700): primal objval = 17843277409.460468
(151800): primal objval = 17837741556.339596
(151900): primal objval = 17826980072.553059
(152000): primal objval = 17821819257.537235
(152100): primal objval = 17812464067.752945
(152200): primal objval = 17811986665.968960
(152300): primal objval = 17806022756.152809
(152400): primal objval = 17806022756.152809
(152500): primal objval = 17806022756.152809
(152600): primal objval = 17804993610.738358
(152700): primal objval = 17799847333.650860
(152800): primal objval = 17791178211.334797
(152900): primal objval = 17774695575.829491
(153000): primal objval = 17771708034.487335
(153100): primal objval = 17763737289.350693
(153200): primal objval = 17758165343.807304
(153300): primal objval = 17751017397.197876
(153400): primal objval = 17746597997.396500
(153500): primal objval = 17743848525.664600
(153600): primal objval = 17737525266.663403
(153700): primal objval = 17725504691.812519
(153800): primal objval = 17723746671.906818
(153900): primal objval = 17718867724.428040
(154000): primal objval = 17717997746.433918
(154100): primal objval = 17705259486.581543
(154200): primal objval = 17697483877.074310
(154300): primal objval = 17694408814.550365
(154400): primal objval = 17694408814.009880
(154500): primal objval = 17686134145.321598
(154600): primal objval = 17676826811.116199
(154700): primal objval = 17657698945.616104
(154800): primal objval = 17650153707.817238
(154900): primal objval = 17646178661.327141
(155000): primal objval = 17643407342.583359
(155100): primal objval = 17629257755.614613
(155200): primal objval = 17622123620.297024
(155300): primal objval = 17607182104.388958
(155400): primal objval = 17597371667.827374
(155500): primal objval = 17590465211.214775
(155600): primal objval = 17583347978.503159
(155700): primal objval = 17579544492.009682
(155800): primal objval = 17570638463.814762
(155900): primal objval = 17569076290.852646
(156000): primal objval = 17569076290.852646
(156100): primal objval = 17569076290.852646
(156200): primal objval = 17569076290.852646
(156300): primal objval = 17567515875.259743
(156400): primal objval = 17556858859.004318
(156500): primal objval = 17552020005.590069
(156600): primal objval = 17549435890.876286
(156700): primal objval = 17542674002.210842
(156800): primal objval = 17521084187.870213
(156900): primal objval = 17502048791.430611
(157000): primal objval = 17494984884.910908
(157100): primal objval = 17488147693.821346
(157200): primal objval = 17482556144.898087
(157300): primal objval = 17482556144.898087
(157400): primal objval = 17482556144.898087
(157500): primal objval = 17482556144.898087
(157600): primal objval = 17482556144.898087
(157700): primal objval = 17475478582.564152
(157800): primal objval = 17461661670.876884
(157900): primal objval = 17450769203.865711
(158000): primal objval = 17450769203.865711
(158100): primal objval = 17450769203.865711
(158200): primal objval = 17450769203.865711
(158300): primal objval = 17450769203.865711
(158400): primal objval = 17449288680.037350
(158500): primal objval = 17442069923.037674
(158600): primal objval = 17442069923.037674
(158700): primal objval = 17442069922.987125
(158800): primal objval = 17436334204.247967
(158900): primal objval = 17435357562.056396
(159000): primal objval = 17419482871.264263
(159100): primal objval = 17415229795.166153
(159200): primal objval = 17415229795.166153
(159300): primal objval = 17415229795.166153
(159400): primal objval = 17415229795.166153
(159500): primal objval = 17415229795.166145
(159600): primal objval = 17415229795.166145
(159700): primal objval = 17415229795.166145
(159800): primal objval = 17415229795.166145
(159900): primal objval = 17415229795.166145
(160000): primal objval = 17415229795.166145
(160100): primal objval = 17415229795.166145
(160200): primal objval = 17415229795.166145
(160300): primal objval = 17415229795.092522
(160400): primal objval = 17415229795.092522
(160500): primal objval = 17415229795.092522
(160600): primal objval = 17414107046.944427
(160700): primal objval = 17405195192.372292
(160800): primal objval = 17388081180.170792
(160900): primal objval = 17384349739.487274
(161000): primal objval = 17374859792.231762
(161100): primal objval = 17360059082.700005
(161200): primal objval = 17344493119.388065
(161300): primal objval = 17328995352.279087
(161400): primal objval = 17316910629.106991
(161500): primal objval = 17305466819.975842
(161600): primal objval = 17303941419.022987
(161700): primal objval = 17297885008.647240
(161800): primal objval = 17291779156.768585
(161900): primal objval = 17276209588.785873
(162000): primal objval = 17269743399.649990
(162100): primal objval = 17260105516.563698
(162200): primal objval = 17251968445.151497
(162300): primal objval = 17245008773.432785
(162400): primal objval = 17239182402.739697
(162500): primal objval = 17239182402.739697
(162600): primal objval = 17233753087.429966
(162700): primal objval = 17225151220.740208
(162800): primal objval = 17223441256.290089
(162900): primal objval = 17215435851.079380
(163000): primal objval = 17202496465.517811
(163100): primal objval = 17196234649.028049
(163200): primal objval = 17196234630.076847
(163300): primal objval = 17189736676.417400
(163400): primal objval = 17183700959.442516
(163500): primal objval = 17178052223.639071
(163600): primal objval = 17170076382.303074
(163700): primal objval = 17157423555.384926
(163800): primal objval = 17153972318.452421
(163900): primal objval = 17146176156.839548
(164000): primal objval = 17137354301.751047
(164100): primal objval = 17128548862.378103
(164200): primal objval = 17123506870.823843
(164300): primal objval = 17117157027.580671
(164400): primal objval = 17112721811.744595
(164500): primal objval = 17108261295.791328
(164600): primal objval = 17104293854.399422
(164700): primal objval = 17103303997.081989
(164800): primal objval = 17098390892.633615
(164900): primal objval = 17089560668.908810
(165000): primal objval = 17076861331.425165
(165100): primal objval = 17074647675.279503
(165200): primal objval = 17066384678.890341
(165300): primal objval = 17053533895.655062
(165400): primal objval = 17050510643.996218
(165500): primal objval = 17043466203.602785
(165600): primal objval = 17040604358.151443
(165700): primal objval = 17035204513.623049
(165800): primal objval = 17026468921.755470
(165900): primal objval = 17021514726.149609
(166000): primal objval = 17021514726.149609
(166100): primal objval = 17021514726.149609
(166200): primal objval = 17021514726.149609
(166300): primal objval = 17021514638.584856
(166400): primal objval = 17014413073.530960
(166500): primal objval = 17005356822.678757
(166600): primal objval = 17001638885.613138
(166700): primal objval = 17000411489.188671
(166800): primal objval = 16997989805.086802
(166900): primal objval = 16991321703.973118
(167000): primal objval = 16981674646.146757
(167100): primal objval = 16970968573.968416
(167200): primal objval = 16965021540.345224
(167300): primal objval = 16962637005.180695
(167400): primal objval = 16962426874.332964
(167500): primal objval = 16962426874.332964
(167600): primal objval = 16962426874.332964
(167700): primal objval = 16962426874.332964
(167800): primal objval = 16962426874.332968
(167900): primal objval = 16962426874.332968
(168000): primal objval = 16962426874.332968
(168100): primal objval = 16962426874.332968
(168200): primal objval = 16962426874.332968
(168300): primal objval = 16962426874.332968
(168400): primal objval = 16962426874.332968
(168500): primal objval = 16962426874.332968
(168600): primal objval = 16962426874.332968
(168700): primal objval = 16962426874.332968
(168800): primal objval = 16962426874.100824
(168900): primal objval = 16962426873.912954
(169000): primal objval = 16957753832.423168
(169100): primal objval = 16957753832.423168
(169200): primal objval = 16957753832.423168
(169300): primal objval = 16957753832.423168
(169400): primal objval = 16957753832.423168
(169500): primal objval = 16955444876.918768
(169600): primal objval = 16952502832.921457
(169700): primal objval = 16944315046.595667
(169800): primal objval = 16936048015.868662
(169900): primal objval = 16931477594.084990
(170000): primal objval = 16920674352.323534
(170100): primal objval = 16913128822.588495
(170200): primal objval = 16911294939.746901
(170300): primal objval = 16911294939.003939
(170400): primal objval = 16911294939.003939
(170500): primal objval = 16904341903.949202
(170600): primal objval = 16898443129.544098
(170700): primal objval = 16892304958.903189
(170800): primal objval = 16881318033.126312
(170900): primal objval = 16873833345.254763
(171000): primal objval = 16864882339.100752
(171100): primal objval = 16855982512.623693
(171200): primal objval = 16844785031.648540
(171300): primal objval = 16839867156.450377
(171400): primal objval = 16828826271.443027
(171500): primal objval = 16814532224.575649
(171600): primal objval = 16810856944.226015
(171700): primal objval = 16806120310.963568
(171800): primal objval = 16800999735.730572
(171900): primal objval = 16798279482.802845
(172000): primal objval = 16796314879.120998
(172100): primal objval = 16787842179.728743
(172200): primal objval = 16780892750.729729
(172300): primal objval = 16776056185.395123
(172400): primal objval = 16770487392.291103
(172500): primal objval = 16767326638.886480
(172600): primal objval = 16764455318.995596
(172700): primal objval = 16759706421.779737
(172800): primal objval = 16759706404.944847
(172900): primal objval = 16754860221.904530
(173000): primal objval = 16748945291.324238
(173100): primal objval = 16746262378.784508
(173200): primal objval = 16738566945.737110
(173300): primal objval = 16732765307.763597
(173400): primal objval = 16727185985.807997
(173500): primal objval = 16714507606.897593
(173600): primal objval = 16709406889.536886
(173700): primal objval = 16692395700.332100
(173800): primal objval = 16683375450.339903
(173900): primal objval = 16672585534.102978
(174000): primal objval = 16659863190.558327
(174100): primal objval = 16639737768.004753
(174200): primal objval = 16613432309.596928
(174300): primal objval = 16608603608.647635
(174400): primal objval = 16605703591.659933
(174500): primal objval = 16595587397.198532
(174600): primal objval = 16585879049.725967
(174700): primal objval = 16585879049.207380
(174800): primal objval = 16579595013.052303
(174900): primal objval = 16571632335.785643
(175000): primal objval = 16563583440.786695
(175100): primal objval = 16557782188.728912
(175200): primal objval = 16556552592.981476
(175300): primal objval = 16553470745.739737
(175400): primal objval = 16542213535.332085
(175500): primal objval = 16531427557.536636
(175600): primal objval = 16527158038.388258
(175700): primal objval = 16520567924.066288
(175800): primal objval = 16514914695.956518
(175900): primal objval = 16505486057.660984
(176000): primal objval = 16503474451.289955
(176100): primal objval = 16499414216.789867
(176200): primal objval = 16490830170.478500
(176300): primal objval = 16483566125.233274
(176400): primal objval = 16468071686.792418
(176500): primal objval = 16463910303.676622
(176600): primal objval = 16457871976.687780
(176700): primal objval = 16451651502.381531
(176800): primal objval = 16446430895.548492
(176900): primal objval = 16439198747.757210
(177000): primal objval = 16438661136.977188
(177100): primal objval = 16427429281.085258
(177200): primal objval = 16422966889.538559
(177300): primal objval = 16420307642.601347
(177400): primal objval = 16411133022.679102
(177500): primal objval = 16397487824.041891
(177600): primal objval = 16389773367.370926
(177700): primal objval = 16386717135.903019
(177800): primal objval = 16380091803.493324
(177900): primal objval = 16376711724.219677
(178000): primal objval = 16369779556.325672
(178100): primal objval = 16364619025.754087
(178200): primal objval = 16364290266.487064
(178300): primal objval = 16355264937.108118
(178400): primal objval = 16348297319.928658
(178500): primal objval = 16344394312.585291
(178600): primal objval = 16341761279.806536
(178700): primal objval = 16339530547.028168
(178800): primal objval = 16335279944.467730
(178900): primal objval = 16334817327.391573
(179000): primal objval = 16333275473.509277
(179100): primal objval = 16325141454.638138
(179200): primal objval = 16322109098.901600
(179300): primal objval = 16322109098.901600
(179400): primal objval = 16322109098.901600
(179500): primal objval = 16317094745.543045
(179600): primal objval = 16307612702.176340
(179700): primal objval = 16301673949.577120
(179800): primal objval = 16291750085.748678
(179900): primal objval = 16282842136.137466
(180000): primal objval = 16277953641.016451
(180100): primal objval = 16273897226.339018
(180200): primal objval = 16266323739.723728
(180300): primal objval = 16257823764.817493
(180400): primal objval = 16246581943.934336
(180500): primal objval = 16239748960.692640
(180600): primal objval = 16231969410.738251
(180700): primal objval = 16223734154.324961
(180800): primal objval = 16208763823.090437
(180900): primal objval = 16202745754.166403
(181000): primal objval = 16199337833.492611
(181100): primal objval = 16199337822.907448
(181200): primal objval = 16199337822.907448
(181300): primal objval = 16189194800.277199
(181400): primal objval = 16179256433.526423
(181500): primal objval = 16172946686.638094
(181600): primal objval = 16154627052.264647
(181700): primal objval = 16144915066.156382
(181800): primal objval = 16139228939.170000
(181900): primal objval = 16124017148.793427
(182000): primal objval = 16099919331.079884
(182100): primal objval = 16094384660.321400
(182200): primal objval = 16091614707.130825
(182300): primal objval = 16086300924.057589
(182400): primal objval = 16081131860.416311
(182500): primal objval = 16077792541.967148
(182600): primal objval = 16060119345.168392
(182700): primal objval = 16054545831.076077
(182800): primal objval = 16050373998.876268
(182900): primal objval = 16047939152.061550
(183000): primal objval = 16041164702.340410
(183100): primal objval = 16036381720.311316
(183200): primal objval = 16024740278.239048
(183300): primal objval = 16020056163.092964
(183400): primal objval = 16012515899.629902
(183500): primal objval = 16011839756.620125
(183600): primal objval = 16001716611.311584
(183700): primal objval = 15987624657.302200
(183800): primal objval = 15981236914.150681
(183900): primal objval = 15967731216.158392
(184000): primal objval = 15957572532.626568
(184100): primal objval = 15955670481.182472
(184200): primal objval = 15950073073.163620
(184300): primal objval = 15935020347.398983
(184400): primal objval = 15918521666.160881
(184500): primal objval = 15912560145.099426
(184600): primal objval = 15911115286.059622
(184700): primal objval = 15900422352.862431
(184800): primal objval = 15893929945.051430
(184900): primal objval = 15893929945.051430
(185000): primal objval = 15882612284.457754
(185100): primal objval = 15862718262.972454
(185200): primal objval = 15856232737.939041
(185300): primal objval = 15852505711.290125
(185400): primal objval = 15842428443.981199
(185500): primal objval = 15832884650.773001
(185600): primal objval = 15814362874.041851
(185700): primal objval = 15806602416.856590
(185800): primal objval = 15796005920.769291
(185900): primal objval = 15785326367.233431
(186000): primal objval = 15772543703.801554
(186100): primal objval = 15769917348.660685
(186200): primal objval = 15756450633.727932
(186300): primal objval = 15750601116.250353
(186400): primal objval = 15745376689.407146
(186500): primal objval = 15734935253.243406
(186600): primal objval = 15720733700.994936
(186700): primal objval = 15709171657.798592
(186800): primal objval = 15689076616.638014
(186900): primal objval = 15679823385.986757
(187000): primal objval = 15664229118.702044
(187100): primal objval = 15657275955.264183
(187200): primal objval = 15652303487.812199
(187300): primal objval = 15644896073.377136
(187400): primal objval = 15642837340.226078
(187500): primal objval = 15634490350.661915
(187600): primal objval = 15627353854.857512
(187700): primal objval = 15623452764.739895
(187800): primal objval = 15616217785.756310
(187900): primal objval = 15611511011.679581
(188000): primal objval = 15605157857.159246
(188100): primal objval = 15596046746.170053
(188200): primal objval = 15590890733.843721
(188300): primal objval = 15584329151.089842
(188400): primal objval = 15562425505.445543
(188500): primal objval = 15542829829.898554
(188600): primal objval = 15530168719.094746
(188700): primal objval = 15518324826.424017
(188800): primal objval = 15503311680.790468
(188900): primal objval = 15493554554.050417
(189000): primal objval = 15488578299.580545
(189100): primal objval = 15474780600.170347
(189200): primal objval = 15462702852.646801
(189300): primal objval = 15457621620.933413
(189400): primal objval = 15447428352.292009
(189500): primal objval = 15439999871.946198
(189600): primal objval = 15432625554.165472
(189700): primal objval = 15423819317.684465
(189800): primal objval = 15419254783.957287
(189900): primal objval = 15410834747.664066
(190000): primal objval = 15399644882.621111
(190100): primal objval = 15395940711.369856
(190200): primal objval = 15384975441.869118
(190300): primal objval = 15371926381.232555
(190400): primal objval = 15361638635.833570
(190500): primal objval = 15346713165.920061
(190600): primal objval = 15330974535.392542
(190700): primal objval = 15324004631.691856
(190800): primal objval = 15320628127.077599
(190900): primal objval = 15316545646.550854
(191000): primal objval = 15306038391.534477
(191100): primal objval = 15301183991.325325
(191200): primal objval = 15287632447.724676
(191300): primal objval = 15284418334.544651
(191400): primal objval = 15273123281.398130
(191500): primal objval = 15255633237.764383
(191600): primal objval = 15246143758.093885
(191700): primal objval = 15238851377.887609
(191800): primal objval = 15234758757.731010
(191900): primal objval = 15225293039.670042
(192000): primal objval = 15206590924.022366
(192100): primal objval = 15197894922.827536
(192200): primal objval = 15196137379.185526
(192300): primal objval = 15191169962.108475
(192400): primal objval = 15185279991.494434
(192500): primal objval = 15179990055.588785
(192600): primal objval = 15175359354.064882
(192700): primal objval = 15168009824.206577
(192800): primal objval = 15161691080.372997
(192900): primal objval = 15155942968.627518
(193000): primal objval = 15151197756.573553
(193100): primal objval = 15141126901.731243
(193200): primal objval = 15138986404.263399
(193300): primal objval = 15136806597.924122
(193400): primal objval = 15126616190.537054
(193500): primal objval = 15118367546.389185
(193600): primal objval = 15109337358.418022
(193700): primal objval = 15103201644.749548
(193800): primal objval = 15095786148.806213
(193900): primal objval = 15088211990.471830
(194000): primal objval = 15070742330.610369
(194100): primal objval = 15059010253.217369
(194200): primal objval = 15055656522.655890
(194300): primal objval = 15049354620.176336
(194400): primal objval = 15040596798.293192
(194500): primal objval = 15035771809.361233
(194600): primal objval = 15035771786.294947
(194700): primal objval = 15035771784.622614
(194800): primal objval = 15035771780.624434
(194900): primal objval = 15025894867.771717
(195000): primal objval = 15018089772.288898
(195100): primal objval = 15015850329.885115
(195200): primal objval = 15008138742.373152
(195300): primal objval = 14998132599.240124
(195400): primal objval = 14996316285.251583
(195500): primal objval = 14995897650.544373
(195600): primal objval = 14978082748.317005
(195700): primal objval = 14971826737.080282
(195800): primal objval = 14965876450.166479
(195900): primal objval = 14960035666.083069
(196000): primal objval = 14956368090.260248
(196100): primal objval = 14946980520.985632
(196200): primal objval = 14938980755.594316
(196300): primal objval = 14932592512.907875
(196400): primal objval = 14925114168.531755
(196500): primal objval = 14919259567.519409
(196600): primal objval = 14915825644.126472
(196700): primal objval = 14910241194.654455
(196800): primal objval = 14907855146.356930
(196900): primal objval = 14900421597.129942
(197000): primal objval = 14891046745.970526
(197100): primal objval = 14889181779.324120
(197200): primal objval = 14882849083.597195
(197300): primal objval = 14876787152.877264
(197400): primal objval = 14863374420.597839
(197500): primal objval = 14848904038.578627
(197600): primal objval = 14838423952.843134
(197700): primal objval = 14828375975.158838
(197800): primal objval = 14818019197.687071
(197900): primal objval = 14818019062.788345
(198000): primal objval = 14814268100.029219
(198100): primal objval = 14807770643.434507
(198200): primal objval = 14802630843.523468
(198300): primal objval = 14799437004.027250
(198400): primal objval = 14794151225.561867
(198500): primal objval = 14785878269.642365
(198600): primal objval = 14780373418.687555
(198700): primal objval = 14776292324.792633
(198800): primal objval = 14769168257.954569
(198900): primal objval = 14762349951.645388
(199000): primal objval = 14755487680.534899
(199100): primal objval = 14750120719.926386
(199200): primal objval = 14748811813.076668
(199300): primal objval = 14745592430.874445
(199400): primal objval = 14743609591.045467
(199500): primal objval = 14740296151.895489
(199600): primal objval = 14735046537.078163
(199700): primal objval = 14724283148.892990
(199800): primal objval = 14720210992.846827
(199900): primal objval = 14714575073.476904
(200000): primal objval = 14704710266.233644
(200100): primal objval = 14693981562.266289
(200200): primal objval = 14684655938.506639
(200300): primal objval = 14676608577.320848
(200400): primal objval = 14669372120.544664
(200500): primal objval = 14664253719.618437
(200600): primal objval = 14654367901.753248
(200700): primal objval = 14648714933.856121
(200800): primal objval = 14639996186.724714
(200900): primal objval = 14635202983.468719
(201000): primal objval = 14630369105.566696
(201100): primal objval = 14624839631.741545
(201200): primal objval = 14614902008.561012
(201300): primal objval = 14612400180.555464
(201400): primal objval = 14608655786.048044
(201500): primal objval = 14604513299.806871
(201600): primal objval = 14604513297.779902
(201700): primal objval = 14604014955.609007
(201800): primal objval = 14599410191.033272
(201900): primal objval = 14584686484.146112
(202000): primal objval = 14573597211.328787
(202100): primal objval = 14568250773.363005
(202200): primal objval = 14560133430.831364
(202300): primal objval = 14554253525.865383
(202400): primal objval = 14539440855.946444
(202500): primal objval = 14532364748.703053
(202600): primal objval = 14523974989.146746
(202700): primal objval = 14516956933.530849
(202800): primal objval = 14507136039.309942
(202900): primal objval = 14498185069.014353
(203000): primal objval = 14495900852.263420
(203100): primal objval = 14486006521.053955
(203200): primal objval = 14484619897.967125
(203300): primal objval = 14475064698.675432
(203400): primal objval = 14460651065.980873
(203500): primal objval = 14452004114.061939
(203600): primal objval = 14446143889.248907
(203700): primal objval = 14436884132.702765
(203800): primal objval = 14432578121.738285
(203900): primal objval = 14425028689.149031
(204000): primal objval = 14417965587.259218
(204100): primal objval = 14413279619.444551
(204200): primal objval = 14408634754.994080
(204300): primal objval = 14398743748.230951
(204400): primal objval = 14387435448.723526
(204500): primal objval = 14383764667.141033
(204600): primal objval = 14375342628.550140
(204700): primal objval = 14370177220.709316
(204800): primal objval = 14361767988.893839
(204900): primal objval = 14357885221.032764
(205000): primal objval = 14351522920.234152
(205100): primal objval = 14345442506.951616
(205200): primal objval = 14339789535.137615
(205300): primal objval = 14338269846.408915
(205400): primal objval = 14330530086.845476
(205500): primal objval = 14329348715.448750
(205600): primal objval = 14323236520.305952
(205700): primal objval = 14321782334.933714
(205800): primal objval = 14318084151.964016
(205900): primal objval = 14316456921.790981
(206000): primal objval = 14308574789.634434
(206100): primal objval = 14300252711.134869
(206200): primal objval = 14295058638.211336
(206300): primal objval = 14280689225.155834
(206400): primal objval = 14276976025.169949
(206500): primal objval = 14276627048.764284
(206600): primal objval = 14269020017.961628
(206700): primal objval = 14253967764.862333
(206800): primal objval = 14248709888.896385
(206900): primal objval = 14243633828.911505
(207000): primal objval = 14237533290.666670
(207100): primal objval = 14233491906.910467
(207200): primal objval = 14230710992.591640
(207300): primal objval = 14229707358.676893
(207400): primal objval = 14211564780.231270
(207500): primal objval = 14209724202.559834
(207600): primal objval = 14208029245.314583
(207700): primal objval = 14196412765.703289
(207800): primal objval = 14189341884.445314
(207900): primal objval = 14185839595.983755
(208000): primal objval = 14182984043.305202
(208100): primal objval = 14178721507.435493
(208200): primal objval = 14178721507.435493
(208300): primal objval = 14172526080.337526
(208400): primal objval = 14164495519.284216
(208500): primal objval = 14163954969.271639
(208600): primal objval = 14163954969.271639
(208700): primal objval = 14163954969.271639
(208800): primal objval = 14155727585.503790
(208900): primal objval = 14146671383.248899
(209000): primal objval = 14141426729.705103
(209100): primal objval = 14132773398.284706
(209200): primal objval = 14112773005.628315
(209300): primal objval = 14098979073.882658
(209400): primal objval = 14095908554.712404
(209500): primal objval = 14092619596.253771
(209600): primal objval = 14086914037.952148
(209700): primal objval = 14082191122.861147
(209800): primal objval = 14082191002.500662
(209900): primal objval = 14082190876.329494
(210000): primal objval = 14071422120.676052
(210100): primal objval = 14063800487.908432
(210200): primal objval = 14060782616.649521
(210300): primal objval = 14060782556.027243
(210400): primal objval = 14053996756.066753
(210500): primal objval = 14049858334.882696
(210600): primal objval = 14042031926.866264
(210700): primal objval = 14037036801.444397
(210800): primal objval = 14026071456.134274
(210900): primal objval = 14023683635.099121
(211000): primal objval = 14014992715.356339
(211100): primal objval = 14008385973.117521
(211200): primal objval = 13998082046.681767
(211300): primal objval = 13984347335.420576
(211400): primal objval = 13974494856.690132
(211500): primal objval = 13969887712.476604
(211600): primal objval = 13962033021.754965
(211700): primal objval = 13957663387.223906
(211800): primal objval = 13948573423.296583
(211900): primal objval = 13943177745.804098
(212000): primal objval = 13939726456.586514
(212100): primal objval = 13936671481.414299
(212200): primal objval = 13932352687.428539
(212300): primal objval = 13929402825.273125
(212400): primal objval = 13925057616.722189
(212500): primal objval = 13918671753.163519
(212600): primal objval = 13912473594.176477
(212700): primal objval = 13910531108.755869
(212800): primal objval = 13906947311.920357
(212900): primal objval = 13897812621.122349
(213000): primal objval = 13890866539.374636
(213100): primal objval = 13885378368.093212
(213200): primal objval = 13883172133.339840
(213300): primal objval = 13874428829.787769
(213400): primal objval = 13874226612.499491
(213500): primal objval = 13869230858.202120
(213600): primal objval = 13857246955.058058
(213700): primal objval = 13852790171.720257
(213800): primal objval = 13848669571.395554
(213900): primal objval = 13843344057.030577
(214000): primal objval = 13797909747.475834
(214100): primal objval = 13769483671.678667
(214200): primal objval = 13734035288.842361
(214300): primal objval = 13709054614.635521
(214400): primal objval = 13688555001.290609
(214500): primal objval = 13677916627.490578
(214600): primal objval = 13669067009.342415
(214700): primal objval = 13658904702.280619
(214800): primal objval = 13647353594.811050
(214900): primal objval = 13631663111.065170
(215000): primal objval = 13628965379.912960
(215100): primal objval = 13625951959.416485
(215200): primal objval = 13619713669.135609
(215300): primal objval = 13611023116.242859
(215400): primal objval = 13597098473.428829
(215500): primal objval = 13589386348.109943
(215600): primal objval = 13580082752.188131
(215700): primal objval = 13568268973.665377
(215800): primal objval = 13564025437.499086
(215900): primal objval = 13561858706.638268
(216000): primal objval = 13555665426.735373
(216100): primal objval = 13552110290.204866
(216200): primal objval = 13543699544.142475
(216300): primal objval = 13538015569.560385
(216400): primal objval = 13529335113.145535
(216500): primal objval = 13524528528.498390
(216600): primal objval = 13519220866.793266
(216700): primal objval = 13512060043.998331
(216800): primal objval = 13503274531.279125
(216900): primal objval = 13495567989.372160
(217000): primal objval = 13488577704.635654
(217100): primal objval = 13485188958.352650
(217200): primal objval = 13477603379.632378
(217300): primal objval = 13471552346.499369
(217400): primal objval = 13469482366.688063
(217500): primal objval = 13460871445.694468
(217600): primal objval = 13454481715.451899
(217700): primal objval = 13446763397.232891
(217800): primal objval = 13438537410.072556
(217900): primal objval = 13434975563.368258
(218000): primal objval = 13432060311.240267
(218100): primal objval = 13426801965.019569
(218200): primal objval = 13424409749.823181
(218300): primal objval = 13418694375.875202
(218400): primal objval = 13418694337.428305
(218500): primal objval = 13416437097.052515
(218600): primal objval = 13411954561.408665
(218700): primal objval = 13406403089.206587
(218800): primal objval = 13403162028.260447
(218900): primal objval = 13398547046.683756
(219000): primal objval = 13397187475.149796
(219100): primal objval = 13391550172.483049
(219200): primal objval = 13387045573.048870
(219300): primal objval = 13384437410.962820
(219400): primal objval = 13380782210.124460
(219500): primal objval = 13375567670.782015
(219600): primal objval = 13372307066.001986
(219700): primal objval = 13368588806.808260
(219800): primal objval = 13359288395.474287
(219900): primal objval = 13354799583.096216
(220000): primal objval = 13352043207.756142
(220100): primal objval = 13349118064.755819
(220200): primal objval = 13346101306.070223
(220300): primal objval = 13345911455.844522
(220400): primal objval = 13337276186.729593
(220500): primal objval = 13315343922.417278
(220600): primal objval = 13314201169.500010
(220700): primal objval = 13313425889.806919
(220800): primal objval = 13312689586.352129
(220900): primal objval = 13297619247.811871
(221000): primal objval = 13286193771.082474
(221100): primal objval = 13258238955.608732
(221200): primal objval = 13038704603.933126
(221300): primal objval = 13008567078.781734
(221400): primal objval = 12965336421.290779
(221500): primal objval = 12938893833.476664
(221600): primal objval = 12932723341.800194
(221700): primal objval = 12922449182.945656
(221800): primal objval = 12893132665.887959
(221900): primal objval = 12833276604.730457
(222000): primal objval = 12815875065.111488
(222100): primal objval = 12809595167.533815
(222200): primal objval = 12795098252.605335
(222300): primal objval = 12785635554.364979
(222400): primal objval = 12769132222.106220
(222500): primal objval = 12734110630.795559
(222600): primal objval = 12719765936.104992
(222700): primal objval = 12701525120.874891
(222800): primal objval = 12618053849.729862
(222900): primal objval = 12608913977.400730
(223000): primal objval = 12604520300.004097
(223100): primal objval = 12599052617.148565
(223200): primal objval = 12588093949.914402
(223300): primal objval = 12581103823.109615
(223400): primal objval = 12579580580.436476
(223500): primal objval = 12571313605.723803
(223600): primal objval = 12560300008.386942
(223700): primal objval = 12554487960.912668
(223800): primal objval = 12545472597.120279
(223900): primal objval = 12541281652.799398
(224000): primal objval = 12535794789.145161
(224100): primal objval = 12530166201.025078
(224200): primal objval = 12525736506.587587
(224300): primal objval = 12523961788.408686
(224400): primal objval = 12523259500.154818
(224500): primal objval = 12517695068.331486
(224600): primal objval = 12511326745.103178
(224700): primal objval = 12506469728.873768
(224800): primal objval = 12497664627.299479
(224900): primal objval = 12491890716.333481
(225000): primal objval = 12486716967.412109
(225100): primal objval = 12481004055.830757
(225200): primal objval = 12476878036.362822
(225300): primal objval = 12469742449.118071
(225400): primal objval = 12464989315.184879
(225500): primal objval = 12462938607.978594
(225600): primal objval = 12458597852.792017
(225700): primal objval = 12455990276.112225
(225800): primal objval = 12454502783.170689
(225900): primal objval = 12453827743.396706
(226000): primal objval = 12449424472.879318
(226100): primal objval = 12442596551.505939
(226200): primal objval = 12436756619.107542
(226300): primal objval = 12434426102.698483
(226400): primal objval = 12432198557.757721
(226500): primal objval = 12426864793.410326
(226600): primal objval = 12420199604.530834
(226700): primal objval = 12416354637.029720
(226800): primal objval = 12412970822.021822
(226900): primal objval = 12407293579.339790
(227000): primal objval = 12404240501.051489
(227100): primal objval = 12400077161.032225
(227200): primal objval = 12394600082.338707
(227300): primal objval = 12391171788.140602
(227400): primal objval = 12387657596.342583
(227500): primal objval = 12382951069.674141
(227600): primal objval = 12379875272.062859
(227700): primal objval = 12374638189.599150
(227800): primal objval = 12366282150.377478
(227900): primal objval = 12361666346.245573
(228000): primal objval = 12354317579.164276
(228100): primal objval = 12346391710.924131
(228200): primal objval = 12339250655.092999
(228300): primal objval = 12332095218.719677
(228400): primal objval = 12328737106.015074
(228500): primal objval = 12324041323.093348
(228600): primal objval = 12316307765.948065
(228700): primal objval = 12309602306.889824
(228800): primal objval = 12304576599.634800
(228900): primal objval = 12301548445.056421
(229000): primal objval = 12295722706.645380
(229100): primal objval = 12283831339.840815
(229200): primal objval = 12278815344.838579
(229300): primal objval = 12273207008.012457
(229400): primal objval = 12268227340.297586
(229500): primal objval = 12259741551.248810
(229600): primal objval = 12256415357.925739
(229700): primal objval = 12251268453.109625
(229800): primal objval = 12247140956.417690
(229900): primal objval = 12241691423.716074
(230000): primal objval = 12240592473.697865
(230100): primal objval = 12235110724.350792
(230200): primal objval = 12226943501.224766
(230300): primal objval = 12220991887.135521
(230400): primal objval = 12218944473.636551
(230500): primal objval = 12214493007.102131
(230600): primal objval = 12209702149.911049
(230700): primal objval = 12207707428.457375
(230800): primal objval = 12203024888.117039
(230900): primal objval = 12199723146.592691
(231000): primal objval = 12195652284.236408
(231100): primal objval = 12192852852.405006
(231200): primal objval = 12184331545.642786
(231300): primal objval = 12177451237.567711
(231400): primal objval = 12176299785.153923
(231500): primal objval = 12172727882.246620
(231600): primal objval = 12168070395.996614
(231700): primal objval = 12160159433.811579
(231800): primal objval = 12153916182.774525
(231900): primal objval = 12145916865.099556
(232000): primal objval = 12131950866.711395
(232100): primal objval = 12131080222.067150
(232200): primal objval = 12122319452.780071
(232300): primal objval = 12111295192.772579
(232400): primal objval = 12106120912.378826
(232500): primal objval = 12098911272.079721
(232600): primal objval = 12091771924.168018
(232700): primal objval = 12090541146.892321
(232800): primal objval = 12083913483.566998
(232900): primal objval = 12078968812.010275
(233000): primal objval = 12078152325.954670
(233100): primal objval = 12069517317.237831
(233200): primal objval = 12065854735.531086
(233300): primal objval = 12059933342.797344
(233400): primal objval = 12048557509.335621
(233500): primal objval = 12048557329.769201
(233600): primal objval = 12037253272.075628
(233700): primal objval = 12029287377.515869
(233800): primal objval = 12022616256.602217
(233900): primal objval = 12016294485.688892
(234000): primal objval = 12011249383.353813
(234100): primal objval = 12004322464.972607
(234200): primal objval = 11995142652.603075
(234300): primal objval = 11989897521.547153
(234400): primal objval = 11982424742.336250
(234500): primal objval = 11976761328.013845
(234600): primal objval = 11966912219.381924
(234700): primal objval = 11952549674.493761
(234800): primal objval = 11944126300.678423
(234900): primal objval = 11934942515.735176
(235000): primal objval = 11931996167.831850
(235100): primal objval = 11928696803.061201
(235200): primal objval = 11925669560.926334
(235300): primal objval = 11921222793.746447
(235400): primal objval = 11910309046.014256
(235500): primal objval = 11907787886.410976
(235600): primal objval = 11907787825.911966
(235700): primal objval = 11905576600.157236
(235800): primal objval = 11901558151.218390
(235900): primal objval = 11897493598.212656
(236000): primal objval = 11890635600.949083
(236100): primal objval = 11889037669.456001
(236200): primal objval = 11886329842.103041
(236300): primal objval = 11885459137.191715
(236400): primal objval = 11880631904.718353
(236500): primal objval = 11873581988.213221
(236600): primal objval = 11869491022.598108
(236700): primal objval = 11859302167.214088
(236800): primal objval = 11847874923.691805
(236900): primal objval = 11835936519.108778
(237000): primal objval = 11820822363.835791
(237100): primal objval = 11809053248.965389
(237200): primal objval = 11804769695.322277
(237300): primal objval = 11799195709.050264
(237400): primal objval = 11788091339.222687
(237500): primal objval = 11785932747.063000
(237600): primal objval = 11782138415.880850
(237700): primal objval = 11780722505.160116
(237800): primal objval = 11777125995.032557
(237900): primal objval = 11766274360.408213
(238000): primal objval = 11749750019.953835
(238100): primal objval = 11740973487.016735
(238200): primal objval = 11718383710.167084
(238300): primal objval = 11714386287.260912
(238400): primal objval = 11713961295.300276
(238500): primal objval = 11708515097.719345
(238600): primal objval = 11680392651.087933
(238700): primal objval = 11671097015.979097
(238800): primal objval = 11665080834.138058
(238900): primal objval = 11660834088.162031
(239000): primal objval = 11641262332.548687
(239100): primal objval = 11635499799.555693
(239200): primal objval = 11625227523.867285
(239300): primal objval = 11618469332.295021
(239400): primal objval = 11611871636.352640
(239500): primal objval = 11606827539.698408
(239600): primal objval = 11600839267.829149
(239700): primal objval = 11587839968.274126
(239800): primal objval = 11578868097.265953
(239900): primal objval = 11565600607.081713
(240000): primal objval = 11560873971.071815
(240100): primal objval = 11556126089.677565
(240200): primal objval = 11540773422.949608
(240300): primal objval = 11534108742.992188
(240400): primal objval = 11528387119.271402
(240500): primal objval = 11527123895.615538
(240600): primal objval = 11518442515.663561
(240700): primal objval = 11508765151.635313
(240800): primal objval = 11503023402.674574
(240900): primal objval = 11495764407.737688
(241000): primal objval = 11486514555.435535
(241100): primal objval = 11483148390.597630
(241200): primal objval = 11478465392.763372
(241300): primal objval = 11467578370.619968
(241400): primal objval = 11459140589.681301
(241500): primal objval = 11444412479.564383
(241600): primal objval = 11407837691.891085
(241700): primal objval = 11395343670.441975
(241800): primal objval = 11395044343.980080
(241900): primal objval = 11388746348.903679
(242000): primal objval = 11381364936.608122
(242100): primal objval = 11372580636.039274
(242200): primal objval = 11362014982.651133
(242300): primal objval = 11352914757.129662
(242400): primal objval = 11350865954.648951
(242500): primal objval = 11347050135.836714
(242600): primal objval = 11343658257.083248
(242700): primal objval = 11341581779.017561
(242800): primal objval = 11325468134.115332
(242900): primal objval = 11292120328.343227
(243000): primal objval = 11287993952.233744
(243100): primal objval = 11282136152.215338
(243200): primal objval = 11267289614.328922
(243300): primal objval = 11259107737.908207
(243400): primal objval = 11256164512.938087
(243500): primal objval = 11254822494.757179
(243600): primal objval = 11254358680.680403
(243700): primal objval = 11252990254.851591
(243800): primal objval = 11247994408.892004
(243900): primal objval = 11246681983.021214
(244000): primal objval = 11246070233.950733
(244100): primal objval = 11246070227.824415
(244200): primal objval = 11246070227.824415
(244300): primal objval = 11246070226.876656
(244400): primal objval = 11246070179.828163
(244500): primal objval = 11244884083.428543
(244600): primal objval = 11241599409.159235
(244700): primal objval = 11239294787.396606
(244800): primal objval = 11237145254.621635
(244900): primal objval = 11236515719.509752
(245000): primal objval = 11236187685.189594
(245100): primal objval = 11235694253.269726
(245200): primal objval = 11214364088.560505
(245300): primal objval = 11210945174.862707
(245400): primal objval = 11207048698.926622
(245500): primal objval = 11201220222.250185
(245600): primal objval = 11197620431.845875
(245700): primal objval = 11196090480.547375
(245800): primal objval = 11193873083.778637
(245900): primal objval = 11191182050.039150
(246000): primal objval = 11187591504.073551
(246100): primal objval = 11183338669.916801
(246200): primal objval = 11177998198.361456
(246300): primal objval = 11174645342.606030
(246400): primal objval = 11171428243.298725
(246500): primal objval = 11169481546.424557
(246600): primal objval = 11165367580.022760
(246700): primal objval = 11163844434.508303
(246800): primal objval = 11159907500.623737
(246900): primal objval = 11147358553.672602
(247000): primal objval = 11145137806.246489
(247100): primal objval = 11139658335.745363
(247200): primal objval = 11128637524.545544
(247300): primal objval = 11118730444.131014
(247400): primal objval = 11115299642.489723
(247500): primal objval = 11109135589.121088
(247600): primal objval = 11107376332.824257
(247700): primal objval = 11106181776.098312
(247800): primal objval = 11106181132.929834
(247900): primal objval = 11105083498.192568
(248000): primal objval = 11104380041.556593
(248100): primal objval = 11100809710.761398
(248200): primal objval = 11093118322.483381
(248300): primal objval = 11090031690.038540
(248400): primal objval = 11089844098.847368
(248500): primal objval = 11089690148.131662
(248600): primal objval = 11089280846.589323
(248700): primal objval = 11088790492.066765
(248800): primal objval = 11088301879.004185
(248900): primal objval = 11086103351.760626
(249000): primal objval = 11084037537.468452
(249100): primal objval = 11082727235.656458
(249200): primal objval = 11081894957.609379
(249300): primal objval = 11078827423.362694
(249400): primal objval = 11076384019.050348
(249500): primal objval = 11075524496.849743
(249600): primal objval = 11073974189.793339
(249700): primal objval = 11071926524.807274
(249800): primal objval = 11070823094.986607
(249900): primal objval = 11070478548.988010
(250000): primal objval = 11069931296.732128
(250100): primal objval = 11067193266.504126
(250200): primal objval = 11064748983.019651
(250300): primal objval = 11064590839.232048
(250400): primal objval = 11064139478.232559
(250500): primal objval = 11064098307.505491
(250600): primal objval = 11063442514.314833
(250700): primal objval = 11061971014.618238
(250800): primal objval = 11061564963.570656
(250900): primal objval = 11060516434.743065
(251000): primal objval = 11059880024.597450
(251100): primal objval = 11058284472.592445
(251200): primal objval = 11057358606.541197
(251300): primal objval = 11056542363.013615
(251400): primal objval = 11055989065.392645
(251500): primal objval = 11055867751.860298
(251600): primal objval = 11054724590.382362
(251700): primal objval = 11054408651.848362
(251800): primal objval = 11053616950.913607
(251900): primal objval = 11052738146.472355
(252000): primal objval = 11051864515.718567
(252100): primal objval = 11051360407.779972
(252200): primal objval = 11051057630.571115
(252300): primal objval = 11050855655.733337
(252400): primal objval = 11050610829.340813
(252500): primal objval = 11050510149.440962
(252600): primal objval = 11050510144.817223
(252700): primal objval = 11050510140.888071
(252800): primal objval = 11049328181.239325
(252900): primal objval = 11048510628.602365
(253000): primal objval = 11048109686.154465
(253100): primal objval = 11047798013.347891
(253200): primal objval = 11047377794.649965
(253300): primal objval = 11047015106.866417
(253400): primal objval = 11046179821.662403
(253500): primal objval = 11045412221.575272
(253600): primal objval = 11044212115.925762
(253700): primal objval = 11043461791.349989
(253800): primal objval = 11043362050.637495
(253900): primal objval = 11041910835.675583
(254000): primal objval = 11041910833.493675
(254100): primal objval = 11041835389.041862
(254200): primal objval = 11041513626.024895
(254300): primal objval = 11041008897.802422
(254400): primal objval = 11040819904.364817
(254500): primal objval = 11040390882.691885
(254600): primal objval = 11039949155.633446
(254700): primal objval = 11039751354.919653
(254800): primal objval = 11039366995.703936
(254900): primal objval = 11039277141.708467
(255000): primal objval = 11039126912.397186
(255100): primal objval = 11038327121.050325
(255200): primal objval = 11037575128.945377
(255300): primal objval = 11036908431.375723
(255400): primal objval = 11036380054.237396
(255500): primal objval = 11035933555.068113
(255600): primal objval = 11035342696.740641
(255700): primal objval = 11035128294.470098
(255800): primal objval = 11035022481.388227
(255900): primal objval = 11034532944.940493
(256000): primal objval = 11034220063.544689
(256100): primal objval = 11033804468.565144
(256200): primal objval = 11032710819.526266
(256300): primal objval = 11032035947.270460
(256400): primal objval = 11031648913.256895
(256500): primal objval = 11031147211.689846
(256600): primal objval = 11030392902.721329
(256700): primal objval = 11030193538.441004
(256800): primal objval = 11029948207.689651
(256900): primal objval = 11029435213.757814
(257000): primal objval = 11028395570.012800
(257100): primal objval = 11028153202.216311
(257200): primal objval = 11027641165.727913
(257300): primal objval = 11022889572.112051
(257400): primal objval = 11021703997.648884
(257500): primal objval = 11021292287.376389
(257600): primal objval = 11020682713.134619
(257700): primal objval = 11020576425.349079
(257800): primal objval = 11020576409.171741
(257900): primal objval = 11020576395.431564
(258000): primal objval = 11020257966.674583
(258100): primal objval = 11018641626.795309
(258200): primal objval = 11018433067.118235
(258300): primal objval = 11017430633.372814
(258400): primal objval = 11017266243.450869
(258500): primal objval = 11017130177.663523
(258600): primal objval = 11016513175.184774
(258700): primal objval = 11016212361.181993
(258800): primal objval = 11016139481.904133
(258900): primal objval = 11015914247.244961
(259000): primal objval = 11015488817.865496
(259100): primal objval = 11015266054.545973
(259200): primal objval = 11014832822.219450
(259300): primal objval = 11014585859.325279
(259400): primal objval = 11014269493.466873
(259500): primal objval = 11013887281.839180
(259600): primal objval = 11013540448.255001
(259700): primal objval = 11012967661.184458
(259800): primal objval = 11012962312.988649
(259900): primal objval = 11012962310.303093
(260000): primal objval = 11012696369.909735
(260100): primal objval = 11012012162.671843
(260200): primal objval = 11011416910.431128
(260300): primal objval = 11011293225.408707
(260400): primal objval = 11008829334.798466
(260500): primal objval = 11008085120.533869
(260600): primal objval = 11007003898.274162
(260700): primal objval = 11006170922.770159
(260800): primal objval = 11006055329.572668
(260900): primal objval = 11005951785.474491
(261000): primal objval = 11005742331.472105
(261100): primal objval = 11005391536.176399
(261200): primal objval = 11005178422.206654
(261300): primal objval = 11004859617.335419
(261400): primal objval = 11004746521.883577
(261500): primal objval = 11004664761.391352
(261600): primal objval = 11004596807.623913
(261700): primal objval = 11004596806.635178
(261800): primal objval = 11004336331.858871
(261900): primal objval = 11004323017.966179
(262000): primal objval = 11004311611.218369
(262100): primal objval = 11003106925.535433
(262200): primal objval = 11001429813.080332
(262300): primal objval = 11001293118.013494
(262400): primal objval = 11000861849.189890
(262500): primal objval = 11000125571.023941
(262600): primal objval = 11000102466.606821
(262700): primal objval = 11000086403.083996
(262800): primal objval = 11000086398.089369
(262900): primal objval = 11000007287.636131
(263000): primal objval = 10999891091.958578
(263100): primal objval = 10999891074.526537
(263200): primal objval = 10999891072.040281
(263300): primal objval = 10999657722.846085
(263400): primal objval = 10998717244.084677
(263500): primal objval = 10998398411.090611
(263600): primal objval = 10998072574.022097
(263700): primal objval = 10997840309.060572
(263800): primal objval = 10997646894.674252
(263900): primal objval = 10997363356.285686
(264000): primal objval = 10997363238.084543
(264100): primal objval = 10997238304.429007
(264200): primal objval = 10996623851.435215
(264300): primal objval = 10994793453.034918
(264400): primal objval = 10993993772.935892
(264500): primal objval = 10993691101.098757
(264600): primal objval = 10993381463.529207
(264700): primal objval = 10993300063.346361
(264800): primal objval = 10993300057.085350
(264900): primal objval = 10993227900.220348
(265000): primal objval = 10992907615.753733
(265100): primal objval = 10992375286.863258
(265200): primal objval = 10992278367.802412
(265300): primal objval = 10992235109.874826
(265400): primal objval = 10991625391.434717
(265500): primal objval = 10991294565.149084
(265600): primal objval = 10990817245.762247
(265700): primal objval = 10990332726.489548
(265800): primal objval = 10990205391.455107
(265900): primal objval = 10990205386.436558
(266000): primal objval = 10990091019.779234
(266100): primal objval = 10989370371.475712
(266200): primal objval = 10987876052.976555
(266300): primal objval = 10986336385.896420
(266400): primal objval = 10986030244.567392
(266500): primal objval = 10985670112.095980
(266600): primal objval = 10985626827.657015
(266700): primal objval = 10985327863.285217
(266800): primal objval = 10985327854.628866
(266900): primal objval = 10984864188.291241
(267000): primal objval = 10984565307.215532
(267100): primal objval = 10984523895.133259
(267200): primal objval = 10984523880.087841
(267300): primal objval = 10984523876.292103
(267400): primal objval = 10984523874.555763
(267500): primal objval = 10984523872.402845
(267600): primal objval = 10984523867.672195
(267700): primal objval = 10984523864.270599
(267800): primal objval = 10984523859.234653
(267900): primal objval = 10984212851.147863
(268000): primal objval = 10983845862.410288
(268100): primal objval = 10983662026.130682
(268200): primal objval = 10983544203.017939
(268300): primal objval = 10983136355.196259
(268400): primal objval = 10982847282.292330
(268500): primal objval = 10981896004.142588
(268600): primal objval = 10981375584.234970
(268700): primal objval = 10980775961.831518
(268800): primal objval = 10980133074.349400
(268900): primal objval = 10979470206.695276
(269000): primal objval = 10979368909.549589
(269100): primal objval = 10978888887.440668
(269200): primal objval = 10978718619.676414
(269300): primal objval = 10978364209.409472
(269400): primal objval = 10977744269.449974
(269500): primal objval = 10977398703.049814
(269600): primal objval = 10977342247.895613
(269700): primal objval = 10976944216.686321
(269800): primal objval = 10976617897.980867
(269900): primal objval = 10976306829.940754
(270000): primal objval = 10976285619.428511
(270100): primal objval = 10976188072.169943
(270200): primal objval = 10975817913.160559
(270300): primal objval = 10975421770.899052
(270400): primal objval = 10974805892.455652
(270500): primal objval = 10974805888.028770
(270600): primal objval = 10974693692.947821
(270700): primal objval = 10974568318.943899
(270800): primal objval = 10973585359.899097
(270900): primal objval = 10972050146.047150
(271000): primal objval = 10971690007.234840
(271100): primal objval = 10970363888.236021
(271200): primal objval = 10969278256.775335
(271300): primal objval = 10968456811.927570
(271400): primal objval = 10967435666.600399
(271500): primal objval = 10966179629.830000
(271600): primal objval = 10965877952.408833
(271700): primal objval = 10965542609.180141
(271800): primal objval = 10965541168.644457
(271900): primal objval = 10964874179.477955
(272000): primal objval = 10964440393.600481
(272100): primal objval = 10963720057.618834
(272200): primal objval = 10962946904.716713
(272300): primal objval = 10962697449.679781
(272400): primal objval = 10962525634.344822
(272500): primal objval = 10962449117.107483
(272600): primal objval = 10962310939.421003
(272700): primal objval = 10962158084.290083
(272800): primal objval = 10961691399.564934
(272900): primal objval = 10961418366.073732
(273000): primal objval = 10961110542.191202
(273100): primal objval = 10960855375.081747
(273200): primal objval = 10960846879.354174
(273300): primal objval = 10960838578.677931
(273400): primal objval = 10960803582.293976
(273500): primal objval = 10960143486.317024
(273600): primal objval = 10960143485.633650
(273700): primal objval = 10960070454.944529
(273800): primal objval = 10959677515.328873
(273900): primal objval = 10959570723.417311
(274000): primal objval = 10959433552.510094
(274100): primal objval = 10959241464.433615
(274200): primal objval = 10959100216.586452
(274300): primal objval = 10958994535.679077
(274400): primal objval = 10958970309.791622
(274500): primal objval = 10958957596.780554
(274600): primal objval = 10958746650.964222
(274700): primal objval = 10958736189.805748
(274800): primal objval = 10958498933.791874
(274900): primal objval = 10958034322.204874
(275000): primal objval = 10958034322.039146
(275100): primal objval = 10957958845.266544
(275200): primal objval = 10957848271.849459
(275300): primal objval = 10957744725.888531
(275400): primal objval = 10957707058.674860
(275500): primal objval = 10957585778.871527
(275600): primal objval = 10957408313.979038
(275700): primal objval = 10957089584.689220
(275800): primal objval = 10956628417.994574
(275900): primal objval = 10956294923.111975
(276000): primal objval = 10955531003.947668
(276100): primal objval = 10955287432.600956
(276200): primal objval = 10955086590.094742
(276300): primal objval = 10954854152.346239
(276400): primal objval = 10954664286.289810
(276500): primal objval = 10954609610.118017
(276600): primal objval = 10954433098.271677
(276700): primal objval = 10954240491.642826
(276800): primal objval = 10954139736.090590
(276900): primal objval = 10954012739.784315
(277000): primal objval = 10953766139.808203
(277100): primal objval = 10953122860.845747
(277200): primal objval = 10952984974.084974
(277300): primal objval = 10952954476.728046
(277400): primal objval = 10952945476.491486
(277500): primal objval = 10952863559.175037
(277600): primal objval = 10952863559.026875
(277700): primal objval = 10952777130.303593
(277800): primal objval = 10952724095.860691
(277900): primal objval = 10952277157.294638
(278000): primal objval = 10952241142.250925
(278100): primal objval = 10952241138.881708
(278200): primal objval = 10952183535.873026
(278300): primal objval = 10952104938.944777
(278400): primal objval = 10952034804.173012
(278500): primal objval = 10952008528.764751
(278600): primal objval = 10951967706.273232
(278700): primal objval = 10951884775.404507
(278800): primal objval = 10951778455.058790
(278900): primal objval = 10951675729.326508
(279000): primal objval = 10951670635.325565
(279100): primal objval = 10951639339.096237
(279200): primal objval = 10951600101.383469
(279300): primal objval = 10951507060.837652
(279400): primal objval = 10951341890.187899
(279500): primal objval = 10951302269.562347
(279600): primal objval = 10950928003.573881
(279700): primal objval = 10950837263.935530
(279800): primal objval = 10950726141.409260
(279900): primal objval = 10950635042.612108
(280000): primal objval = 10950608062.897293
(280100): primal objval = 10950542135.719671
(280200): primal objval = 10950499064.304800
(280300): primal objval = 10950499063.945217
(280400): primal objval = 10950487181.052044
(280500): primal objval = 10950476618.504026
(280600): primal objval = 10950471040.439337
(280700): primal objval = 10950465405.711201
(280800): primal objval = 10950458915.777533
(280900): primal objval = 10950424210.186325
(281000): primal objval = 10950410806.141886
(281100): primal objval = 10950368403.470291
(281200): primal objval = 10950350029.196644
(281300): primal objval = 10950308528.854675
(281400): primal objval = 10950252685.562664
(281500): primal objval = 10950234890.993366
(281600): primal objval = 10950223006.565277
(281700): primal objval = 10950223006.463614
(281800): primal objval = 10950223006.401543
(281900): primal objval = 10950223006.057325
(282000): primal objval = 10950223005.841314
(282100): primal objval = 10950216159.383383
(282200): primal objval = 10950177981.650116
(282300): primal objval = 10950169358.386284
(282400): primal objval = 10950169356.136272
(282500): primal objval = 10950155352.216879
(282600): primal objval = 10950151739.398565
(282700): primal objval = 10950131992.811338
(282800): primal objval = 10950120638.152830
(282900): primal objval = 10950111375.978645
(283000): primal objval = 10950082021.830353
(283100): primal objval = 10950044044.103004
(283200): primal objval = 10950015917.195898
(283300): primal objval = 10950004766.071630
(283400): primal objval = 10949967584.962172
(283500): primal objval = 10949946854.684147
(283600): primal objval = 10949929705.680601
(283700): primal objval = 10949914143.801180
(283800): primal objval = 10949881632.261801
(283900): primal objval = 10949823390.253075
(284000): primal objval = 10949794335.165533
(284100): primal objval = 10949766658.955673
(284200): primal objval = 10949721066.416695
(284300): primal objval = 10949699092.344786
(284400): primal objval = 10949671519.715111
(284500): primal objval = 10949634764.917837
(284600): primal objval = 10949595907.571001
(284700): primal objval = 10949592298.144791
(284800): primal objval = 10949570653.330063
(284900): primal objval = 10949557876.110838
(285000): primal objval = 10949526997.790482
(285100): primal objval = 10949493861.439737
(285200): primal objval = 10949468165.474493
(285300): primal objval = 10949450607.541435
(285400): primal objval = 10949425998.165165
(285500): primal objval = 10949411494.923311
(285600): primal objval = 10949398954.242990
(285700): primal objval = 10949398954.096424
(285800): primal objval = 10949383544.228146
(285900): primal objval = 10949350287.352261
(286000): primal objval = 10949350287.091316
(286100): primal objval = 10949332486.484272
(286200): primal objval = 10949320432.291729
(286300): primal objval = 10949296024.656147
(286400): primal objval = 10949281063.276297
(286500): primal objval = 10949272128.860298
(286600): primal objval = 10949251404.022903
(286700): primal objval = 10949239783.690527
(286800): primal objval = 10949222285.893795
(286900): primal objval = 10949185965.049387
(287000): primal objval = 10949171166.081556
(287100): primal objval = 10949161171.513838
(287200): primal objval = 10949141655.102554
(287300): primal objval = 10949125554.886572
(287400): primal objval = 10949118775.204670
(287500): primal objval = 10949039914.325520
(287600): primal objval = 10948977114.692333
(287700): primal objval = 10948939782.227642
(287800): primal objval = 10948938421.569099
(287900): primal objval = 10948886906.367979
(288000): primal objval = 10948886905.856451
(288100): primal objval = 10948886905.518625
(288200): primal objval = 10948850478.066851
(288300): primal objval = 10948831830.800480
(288400): primal objval = 10948795826.888004
(288500): primal objval = 10948771313.883928
(288600): primal objval = 10948740176.669170
(288700): primal objval = 10948718772.675314
(288800): primal objval = 10948702476.900253
(288900): primal objval = 10948696304.351919
(289000): primal objval = 10948678442.953772
(289100): primal objval = 10948647738.794857
(289200): primal objval = 10948618213.979641
(289300): primal objval = 10948607645.547703
(289400): primal objval = 10948603142.377882
(289500): primal objval = 10948576958.112732
(289600): primal objval = 10948559068.891556
(289700): primal objval = 10948543560.593044
(289800): primal objval = 10948528353.471786
(289900): primal objval = 10948508593.678658
(290000): primal objval = 10948505881.131594
(290100): primal objval = 10948500366.007198
(290200): primal objval = 10948490612.524578
(290300): primal objval = 10948477213.717815
(290400): primal objval = 10948462202.593468
(290500): primal objval = 10948454726.136280
(290600): primal objval = 10948444041.265736
(290700): primal objval = 10948434842.671597
(290800): primal objval = 10948428447.065432
(290900): primal objval = 10948416466.624565
(291000): primal objval = 10948398350.042368
(291100): primal objval = 10948360445.822813
(291200): primal objval = 10948356870.277269
(291300): primal objval = 10948344652.857763
(291400): primal objval = 10948329292.746216
(291500): primal objval = 10948324476.132332
(291600): primal objval = 10948312506.415617
(291700): primal objval = 10948281724.675598
(291800): primal objval = 10948272299.352579
(291900): primal objval = 10948258429.872776
(292000): primal objval = 10948242362.132307
(292100): primal objval = 10948212733.991440
(292200): primal objval = 10948197082.463776
(292300): primal objval = 10948188197.767679
(292400): primal objval = 10948187101.685328
(292500): primal objval = 10948171182.071777
(292600): primal objval = 10948162626.531813
(292700): primal objval = 10948143460.428829
(292800): primal objval = 10948133057.537407
(292900): primal objval = 10948128364.168322
(293000): primal objval = 10948117048.056419
(293100): primal objval = 10948110777.314007
(293200): primal objval = 10948092862.657656
(293300): primal objval = 10948076399.021818
(293400): primal objval = 10948050531.596186
(293500): primal objval = 10948030926.940001
(293600): primal objval = 10948020520.550953
(293700): primal objval = 10947991510.127295
(293800): primal objval = 10947976277.401632
(293900): primal objval = 10947940902.991055
(294000): primal objval = 10947923385.030394
(294100): primal objval = 10947915669.711056
(294200): primal objval = 10947897048.452641
(294300): primal objval = 10947885162.462336
(294400): primal objval = 10947882955.030365
(294500): primal objval = 10947872061.792101
(294600): primal objval = 10947864504.463779
(294700): primal objval = 10947856730.075800
(294800): primal objval = 10947821143.738209
(294900): primal objval = 10947814599.643835
(295000): primal objval = 10947811958.127945
(295100): primal objval = 10947805204.636162
(295200): primal objval = 10947776163.751461
(295300): primal objval = 10947766296.395586
(295400): primal objval = 10947750509.564728
(295500): primal objval = 10947750508.427223
(295600): primal objval = 10947743758.331949
(295700): primal objval = 10947743758.217262
(295800): primal objval = 10947688158.181776
(295900): primal objval = 10947677336.774811
(296000): primal objval = 10947663860.052809
(296100): primal objval = 10947640125.192335
(296200): primal objval = 10947618062.794151
(296300): primal objval = 10947594179.822104
(296400): primal objval = 10947585763.833055
(296500): primal objval = 10947585763.745113
(296600): primal objval = 10947579812.459543
(296700): primal objval = 10947536967.416697
(296800): primal objval = 10947527091.099184
(296900): primal objval = 10947522243.528868
(297000): primal objval = 10947497459.168186
(297100): primal objval = 10947485873.411020
(297200): primal objval = 10947471920.862305
(297300): primal objval = 10947471917.287598
(297400): primal objval = 10947471917.188993
(297500): primal objval = 10947414948.782919
(297600): primal objval = 10947353135.797506
(297700): primal objval = 10947127255.630709
(297800): primal objval = 10947107178.628551
(297900): primal objval = 10947031616.746902
(298000): primal objval = 10946949092.605135
(298100): primal objval = 10946862298.655142
(298200): primal objval = 10946694806.726709
(298300): primal objval = 10946558969.877815
(298400): primal objval = 10946469834.735216
(298500): primal objval = 10946334459.663965
(298600): primal objval = 10946285876.807053
(298700): primal objval = 10946250323.623917
(298800): primal objval = 10946192735.071945
(298900): primal objval = 10946170516.673992
(299000): primal objval = 10946004238.648937
(299100): primal objval = 10945812855.572876
(299200): primal objval = 10945766320.979591
(299300): primal objval = 10945608916.013378
(299400): primal objval = 10945601473.011530
(299500): primal objval = 10945533563.212669
(299600): primal objval = 10945524467.316177
(299700): primal objval = 10945515543.483524
(299800): primal objval = 10945496571.866600
(299900): primal objval = 10945474808.625668
(300000): primal objval = 10945466872.774059
(300100): primal objval = 10945434861.233072
(300200): primal objval = 10945402707.817093
(300300): primal objval = 10945378710.142044
(300400): primal objval = 10945361227.588692
(300500): primal objval = 10945346533.838043
(300600): primal objval = 10945329205.101480
(300700): primal objval = 10945312180.247900
(300800): primal objval = 10945298665.281843
(300900): primal objval = 10945298660.277401
(301000): primal objval = 10945247132.476282
(301100): primal objval = 10945238015.624941
(301200): primal objval = 10945229028.882753
(301300): primal objval = 10945227673.957277
(301400): primal objval = 10945207934.289858
(301500): primal objval = 10945192965.026209
(301600): primal objval = 10945188237.123953
(301700): primal objval = 10945183249.107578
(301800): primal objval = 10945169624.126827
(301900): primal objval = 10945160618.871231
(302000): primal objval = 10945160617.839405
(302100): primal objval = 10945134525.842718
(302200): primal objval = 10945106973.741472
(302300): primal objval = 10945103574.766352
(302400): primal objval = 10945071930.834484
(302500): primal objval = 10945034374.757477
(302600): primal objval = 10945017579.409382
(302700): primal objval = 10945009427.070425
(302800): primal objval = 10945001445.040577
(302900): primal objval = 10944960131.140991
(303000): primal objval = 10944952457.696665
(303100): primal objval = 10944936542.092670
(303200): primal objval = 10944913689.301727
(303300): primal objval = 10944874811.645622
(303400): primal objval = 10944874811.151003
(303500): primal objval = 10944866259.000546
(303600): primal objval = 10944854347.726015
(303700): primal objval = 10944839971.802414
(303800): primal objval = 10944809391.139030
(303900): primal objval = 10944799713.607273
(304000): primal objval = 10944789867.503643
(304100): primal objval = 10944768808.826164
(304200): primal objval = 10944755294.139339
(304300): primal objval = 10944737557.369087
(304400): primal objval = 10944716230.561705
(304500): primal objval = 10944689453.717527
(304600): primal objval = 10944508135.069057
(304700): primal objval = 10944437918.269159
(304800): primal objval = 10944379117.672659
(304900): primal objval = 10944326354.715605
(305000): primal objval = 10944303859.774063
(305100): primal objval = 10944200908.356884
(305200): primal objval = 10944150319.687044
(305300): primal objval = 10944010249.338463
(305400): primal objval = 10943983301.217125
(305500): primal objval = 10943864468.639946
(305600): primal objval = 10943839836.675667
(305700): primal objval = 10943791900.697662
(305800): primal objval = 10943721318.657866
(305900): primal objval = 10943681865.799026
(306000): primal objval = 10943649094.687464
(306100): primal objval = 10943609918.653765
(306200): primal objval = 10943589487.808857
(306300): primal objval = 10943545372.443579
(306400): primal objval = 10943524002.391100
(306500): primal objval = 10943507138.603094
(306600): primal objval = 10943502259.796446
(306700): primal objval = 10943486226.266413
(306800): primal objval = 10943480273.153549
(306900): primal objval = 10943470130.441469
(307000): primal objval = 10943437123.128498
(307100): primal objval = 10943344687.710608
(307200): primal objval = 10943331428.628349
(307300): primal objval = 10943327525.330439
(307400): primal objval = 10943283012.227564
(307500): primal objval = 10943252156.845144
(307600): primal objval = 10943221934.332346
(307700): primal objval = 10943217082.466738
(307800): primal objval = 10943217082.152147
(307900): primal objval = 10943201748.048649
(308000): primal objval = 10943176711.762745
(308100): primal objval = 10943176710.661486
(308200): primal objval = 10943170419.062365
(308300): primal objval = 10943109596.575001
(308400): primal objval = 10943088658.499794
(308500): primal objval = 10943037563.413774
(308600): primal objval = 10942996319.210775
(308700): primal objval = 10942951086.618982
(308800): primal objval = 10942886590.284866
(308900): primal objval = 10942873678.785009
(309000): primal objval = 10942845298.066715
(309100): primal objval = 10942797964.046095
(309200): primal objval = 10942764623.139296
(309300): primal objval = 10942727764.567814
(309400): primal objval = 10942702590.302221
(309500): primal objval = 10942673332.346636
(309600): primal objval = 10942637000.153574
(309700): primal objval = 10942609711.812988
(309800): primal objval = 10942560370.274019
(309900): primal objval = 10942527718.930004
(310000): primal objval = 10942497710.176008
(310100): primal objval = 10942453697.690386
(310200): primal objval = 10942423275.210802
(310300): primal objval = 10942412157.616716
(310400): primal objval = 10942392091.440271
(310500): primal objval = 10942364443.581598
(310600): primal objval = 10942319902.655094
(310700): primal objval = 10942309210.889786
(310800): primal objval = 10942287001.876850
(310900): primal objval = 10942235758.401537
(311000): primal objval = 10942209498.687584
(311100): primal objval = 10942180742.024521
(311200): primal objval = 10942138139.379425
(311300): primal objval = 10942113600.341087
(311400): primal objval = 10942061446.482424
(311500): primal objval = 10942033541.716097
(311600): primal objval = 10941986799.503897
(311700): primal objval = 10941966164.201696
(311800): primal objval = 10941936614.462896
(311900): primal objval = 10941897700.481873
(312000): primal objval = 10941853308.265003
(312100): primal objval = 10941823468.228832
(312200): primal objval = 10941776936.208506
(312300): primal objval = 10941748972.226223
(312400): primal objval = 10941718015.255957
(312500): primal objval = 10941683529.619993
(312600): primal objval = 10941638272.541262
(312700): primal objval = 10941609851.261948
(312800): primal objval = 10941599531.002657
(312900): primal objval = 10941589972.749386
(313000): primal objval = 10941558661.884184
(313100): primal objval = 10941519758.025860
(313200): primal objval = 10941482498.041740
(313300): primal objval = 10941447156.129679
(313400): primal objval = 10941440867.338110
(313500): primal objval = 10941422124.670986
(313600): primal objval = 10941407839.836428
(313700): primal objval = 10941374288.118372
(313800): primal objval = 10941367784.548616
(313900): primal objval = 10941357657.712158
(314000): primal objval = 10941323626.030964
(314100): primal objval = 10941299961.482124
(314200): primal objval = 10941294519.481647
(314300): primal objval = 10941271933.329182
(314400): primal objval = 10941216627.530045
(314500): primal objval = 10941168140.517927
(314600): primal objval = 10941110205.252741
(314700): primal objval = 10941087517.160048
(314800): primal objval = 10941060222.206448
(314900): primal objval = 10941018235.612793
(315000): primal objval = 10940980720.131168
(315100): primal objval = 10940949861.834846
(315200): primal objval = 10940911080.142586
(315300): primal objval = 10940871597.221430
(315400): primal objval = 10940836849.286308
(315500): primal objval = 10940789865.734367
(315600): primal objval = 10940741931.729708
(315700): primal objval = 10940739262.599039
(315800): primal objval = 10940734608.407728
(315900): primal objval = 10940714998.043550
(316000): primal objval = 10940702324.676149
(316100): primal objval = 10940673928.330847
(316200): primal objval = 10940645173.799099
(316300): primal objval = 10940633771.506645
(316400): primal objval = 10940629230.715527
(316500): primal objval = 10940616791.346359
(316600): primal objval = 10940593862.286329
(316700): primal objval = 10940588469.382971
(316800): primal objval = 10940571814.388952
(316900): primal objval = 10940565332.543810
(317000): primal objval = 10940533164.381073
(317100): primal objval = 10940496566.628345
(317200): primal objval = 10940459018.876352
(317300): primal objval = 10940397489.692823
(317400): primal objval = 10940351613.021086
(317500): primal objval = 10940312314.223898
(317600): primal objval = 10940299393.824005
(317700): primal objval = 10940269395.082682
(317800): primal objval = 10940254049.146767
(317900): primal objval = 10940235387.263945
(318000): primal objval = 10940224104.162659
(318100): primal objval = 10940216776.361065
(318200): primal objval = 10940177280.982384
(318300): primal objval = 10940163332.511536
(318400): primal objval = 10940155127.784636
(318500): primal objval = 10940155127.444696
(318600): primal objval = 10940137113.094934
(318700): primal objval = 10940127567.008366
(318800): primal objval = 10940118398.977787
(318900): primal objval = 10940094513.601099
(319000): primal objval = 10940082565.239185
(319100): primal objval = 10940025731.500561
(319200): primal objval = 10939939010.370296
(319300): primal objval = 10939885344.459284
(319400): primal objval = 10939812282.167311
(319500): primal objval = 10939784352.286287
(319600): primal objval = 10939767583.525940
(319700): primal objval = 10939696547.352144
(319800): primal objval = 10939677560.333698
(319900): primal objval = 10939640655.242105
(320000): primal objval = 10939613105.403227
(320100): primal objval = 10939592674.668594
(320200): primal objval = 10939571790.047073
(320300): primal objval = 10939516554.771248
(320400): primal objval = 10939492538.557129
(320500): primal objval = 10939477093.637608
(320600): primal objval = 10939459104.757362
(320700): primal objval = 10939430285.409851
(320800): primal objval = 10939413915.634243
(320900): primal objval = 10939380402.045687
(321000): primal objval = 10939362922.352970
(321100): primal objval = 10939361695.303616
(321200): primal objval = 10939328252.494696
(321300): primal objval = 10939320014.214752
(321400): primal objval = 10939301757.327560
(321500): primal objval = 10939292679.975075
(321600): primal objval = 10939278117.239138
(321700): primal objval = 10939273274.425182
(321800): primal objval = 10939257342.618277
(321900): primal objval = 10939248299.183775
(322000): primal objval = 10939225312.979912
(322100): primal objval = 10939217037.849951
(322200): primal objval = 10939209004.623362
(322300): primal objval = 10939181126.346498
(322400): primal objval = 10939171961.090729
(322500): primal objval = 10939162060.279329
(322600): primal objval = 10939150693.600046
(322700): primal objval = 10939137830.655392
(322800): primal objval = 10939112309.725967
(322900): primal objval = 10939064934.116156
(323000): primal objval = 10939032113.000288
(323100): primal objval = 10939015541.567852
(323200): primal objval = 10938964168.765072
(323300): primal objval = 10938934738.509905
(323400): primal objval = 10938925304.157534
(323500): primal objval = 10938918961.353819
(323600): primal objval = 10938894156.389355
(323700): primal objval = 10938873306.864305
(323800): primal objval = 10938844630.574562
(323900): primal objval = 10938813769.988644
(324000): primal objval = 10938789579.830763
(324100): primal objval = 10938773820.393446
(324200): primal objval = 10938666441.631174
(324300): primal objval = 10938635885.000780
(324400): primal objval = 10938545956.957258
(324500): primal objval = 10938530021.268755
(324600): primal objval = 10938498264.770428
(324700): primal objval = 10938466810.518780
(324800): primal objval = 10938430205.660866
(324900): primal objval = 10938412541.823317
(325000): primal objval = 10938392256.662621
(325100): primal objval = 10938377383.108406
(325200): primal objval = 10938376236.423243
(325300): primal objval = 10938364732.796959
(325400): primal objval = 10938353110.528419
(325500): primal objval = 10938312576.713240
(325600): primal objval = 10938264509.825798
(325700): primal objval = 10938255799.943203
(325800): primal objval = 10938233265.118784
(325900): primal objval = 10938195777.689823
(326000): primal objval = 10938183827.600677
(326100): primal objval = 10938164402.391207
(326200): primal objval = 10938138854.887808
(326300): primal objval = 10938119917.455841
(326400): primal objval = 10938102359.661373
(326500): primal objval = 10938085173.171181
(326600): primal objval = 10938045954.789774
(326700): primal objval = 10938024917.436844
(326800): primal objval = 10938014700.910156
(326900): primal objval = 10937982743.352083
(327000): primal objval = 10937963427.533197
(327100): primal objval = 10937903254.960976
(327200): primal objval = 10937875470.583563
(327300): primal objval = 10937857113.776281
(327400): primal objval = 10937838577.478186
(327500): primal objval = 10937811913.318043
(327600): primal objval = 10937779110.062277
(327700): primal objval = 10937739447.989021
(327800): primal objval = 10937710016.565155
(327900): primal objval = 10937690179.529308
(328000): primal objval = 10937677019.881123
(328100): primal objval = 10937656121.696465
(328200): primal objval = 10937645184.505432
(328300): primal objval = 10937624839.436934
(328400): primal objval = 10937599162.864578
(328500): primal objval = 10937568473.140594
(328600): primal objval = 10937562105.474453
(328700): primal objval = 10937543010.075006
(328800): primal objval = 10937522758.574709
(328900): primal objval = 10937498245.367887
(329000): primal objval = 10937441524.795778
(329100): primal objval = 10937414441.021713
(329200): primal objval = 10937402628.836958
(329300): primal objval = 10937402625.618441
(329400): primal objval = 10937383231.503580
(329500): primal objval = 10937340723.314642
(329600): primal objval = 10937312581.339136
(329700): primal objval = 10937302564.037058
(329800): primal objval = 10937289154.057175
(329900): primal objval = 10937282215.855913
(330000): primal objval = 10937267189.053839
(330100): primal objval = 10937252297.484592
(330200): primal objval = 10937239742.356621
(330300): primal objval = 10937202880.945576
(330400): primal objval = 10937192189.649570
(330500): primal objval = 10937175287.024994
(330600): primal objval = 10937159002.473072
(330700): primal objval = 10937156498.347488
(330800): primal objval = 10937140754.991699
(330900): primal objval = 10937127426.958908
(331000): primal objval = 10937126858.512241
(331100): primal objval = 10937094431.206661
(331200): primal objval = 10937081916.718269
(331300): primal objval = 10937065763.486395
(331400): primal objval = 10937052178.609156
(331500): primal objval = 10937044198.184845
(331600): primal objval = 10937031655.834522
(331700): primal objval = 10937017881.267195
(331800): primal objval = 10936989351.544857
(331900): primal objval = 10936962818.128708
(332000): primal objval = 10936959119.846958
(332100): primal objval = 10936946581.903938
(332200): primal objval = 10936931871.426012
(332300): primal objval = 10936892714.662731
(332400): primal objval = 10936891331.919266
(332500): primal objval = 10936879792.662870
(332600): primal objval = 10936837493.342016
(332700): primal objval = 10936806662.725763
(332800): primal objval = 10936790425.080473
(332900): primal objval = 10936774983.074863
(333000): primal objval = 10936754994.868757
(333100): primal objval = 10936747870.764790
(333200): primal objval = 10936747867.600569
(333300): primal objval = 10936733554.249851
(333400): primal objval = 10936728126.077742
(333500): primal objval = 10936719417.982042
(333600): primal objval = 10936716800.514921
(333700): primal objval = 10936716800.356459
(333800): primal objval = 10936693049.752617
(333900): primal objval = 10936690641.289305
(334000): primal objval = 10936663772.738703
(334100): primal objval = 10936647556.716478
(334200): primal objval = 10936630488.400049
(334300): primal objval = 10936612316.142063
(334400): primal objval = 10936612314.877186
(334500): primal objval = 10936605716.510611
(334600): primal objval = 10936584223.080721
(334700): primal objval = 10936581753.671124
(334800): primal objval = 10936577155.931803
(334900): primal objval = 10936572555.098940
(335000): primal objval = 10936570868.520626
(335100): primal objval = 10936566117.491188
(335200): primal objval = 10936533922.307802
(335300): primal objval = 10936523143.373383
(335400): primal objval = 10936516432.832031
(335500): primal objval = 10936504841.882153
(335600): primal objval = 10936497281.097498
(335700): primal objval = 10936495889.274719
(335800): primal objval = 10936481909.959515
(335900): primal objval = 10936468906.933706
(336000): primal objval = 10936458925.511108
(336100): primal objval = 10936449827.915453
(336200): primal objval = 10936446440.470150
(336300): primal objval = 10936441703.015360
(336400): primal objval = 10936432505.847891
(336500): primal objval = 10936415579.345917
(336600): primal objval = 10936415579.281521
(336700): primal objval = 10936410060.917913
(336800): primal objval = 10936407506.378841
(336900): primal objval = 10936393632.201529
(337000): primal objval = 10936374819.548306
(337100): primal objval = 10936362116.144667
(337200): primal objval = 10936343407.437225
(337300): primal objval = 10936333615.252708
(337400): primal objval = 10936331064.362074
(337500): primal objval = 10936323845.875910
(337600): primal objval = 10936320902.495842
(337700): primal objval = 10936303701.082069
(337800): primal objval = 10936290474.001022
(337900): primal objval = 10936276783.670061
(338000): primal objval = 10936268140.955015
(338100): primal objval = 10936233120.153627
(338200): primal objval = 10936219064.425280
(338300): primal objval = 10936212418.839081
(338400): primal objval = 10936194361.837843
(338500): primal objval = 10936194361.632971
(338600): primal objval = 10936194361.540352
(338700): primal objval = 10936194361.400248
(338800): primal objval = 10936192564.073858
(338900): primal objval = 10936178153.583963
(339000): primal objval = 10936169701.638483
(339100): primal objval = 10936169700.965538
(339200): primal objval = 10936135200.487993
(339300): primal objval = 10936115422.431738
(339400): primal objval = 10936095256.656807
(339500): primal objval = 10936079130.252226
(339600): primal objval = 10936054711.693607
(339700): primal objval = 10936046751.347891
(339800): primal objval = 10936032318.542635
(339900): primal objval = 10936026525.736538
(340000): primal objval = 10936026525.211950
(340100): primal objval = 10936017166.658930
(340200): primal objval = 10936011143.441149
(340300): primal objval = 10935996590.984228
(340400): primal objval = 10935986842.534781
(340500): primal objval = 10935980137.547749
(340600): primal objval = 10935971338.804920
(340700): primal objval = 10935966124.190710
(340800): primal objval = 10935965451.751188
(340900): primal objval = 10935959773.001085
(341000): primal objval = 10935955536.846554
(341100): primal objval = 10935949006.630585
(341200): primal objval = 10935945486.602757
(341300): primal objval = 10935945486.441036
(341400): primal objval = 10935941299.797279
(341500): primal objval = 10935934108.211790
(341600): primal objval = 10935934099.690783
(341700): primal objval = 10935923926.030529
(341800): primal objval = 10935913810.833773
(341900): primal objval = 10935912414.210573
(342000): primal objval = 10935906933.222773
(342100): primal objval = 10935901605.335510
(342200): primal objval = 10935890323.375021
(342300): primal objval = 10935887642.953259
(342400): primal objval = 10935865882.506134
(342500): primal objval = 10935856162.906828
(342600): primal objval = 10935853245.347237
(342700): primal objval = 10935838711.537849
(342800): primal objval = 10935832510.613876
(342900): primal objval = 10935820248.737469
(343000): primal objval = 10935803940.214985
(343100): primal objval = 10935799936.578638
(343200): primal objval = 10935796281.503740
(343300): primal objval = 10935785453.209341
(343400): primal objval = 10935774934.381380
(343500): primal objval = 10935766302.092907
(343600): primal objval = 10935759946.347950
(343700): primal objval = 10935750823.264503
(343800): primal objval = 10935731499.489254
(343900): primal objval = 10935712841.946367
(344000): primal objval = 10935682690.049061
(344100): primal objval = 10935636467.417414
(344200): primal objval = 10935596928.535730
(344300): primal objval = 10935573680.347570
(344400): primal objval = 10935567425.398422
(344500): primal objval = 10935548852.437511
(344600): primal objval = 10935513447.100220
(344700): primal objval = 10935465834.645315
(344800): primal objval = 10935446295.426128
(344900): primal objval = 10935437416.260696
(345000): primal objval = 10935403900.152487
(345100): primal objval = 10935365955.975668
(345200): primal objval = 10935357610.055828
(345300): primal objval = 10935348083.906088
(345400): primal objval = 10935328121.685474
(345500): primal objval = 10935300808.926046
(345600): primal objval = 10935296609.688744
(345700): primal objval = 10935280133.964186
(345800): primal objval = 10935274142.802219
(345900): primal objval = 10935259541.338888
(346000): primal objval = 10935234727.393820
(346100): primal objval = 10935219489.148537
(346200): primal objval = 10935161675.685446
(346300): primal objval = 10935120319.304419
(346400): primal objval = 10935090846.360050
(346500): primal objval = 10935077233.191031
(346600): primal objval = 10935047357.207983
(346700): primal objval = 10935041264.760235
(346800): primal objval = 10935023995.184147
(346900): primal objval = 10934994540.088722
(347000): primal objval = 10934961540.013420
(347100): primal objval = 10934933035.846895
(347200): primal objval = 10934926892.969841
(347300): primal objval = 10934919594.661585
(347400): primal objval = 10934908451.945044
(347500): primal objval = 10934892425.888195
(347600): primal objval = 10934875736.429804
(347700): primal objval = 10934861215.986319
(347800): primal objval = 10934834040.686672
(347900): primal objval = 10934818006.787334
(348000): primal objval = 10934803452.277475
(348100): primal objval = 10934787429.651817
(348200): primal objval = 10934766560.050537
(348300): primal objval = 10934745185.930588
(348400): primal objval = 10934727580.502676
(348500): primal objval = 10934703659.722250
(348600): primal objval = 10934681033.536802
(348700): primal objval = 10934668171.757648
(348800): primal objval = 10934641929.221708
(348900): primal objval = 10934629506.266224
(349000): primal objval = 10934629506.043636
(349100): primal objval = 10934616601.324198
(349200): primal objval = 10934603211.980143
(349300): primal objval = 10934557030.891954
(349400): primal objval = 10934538857.734591
(349500): primal objval = 10934512813.657099
(349600): primal objval = 10934479507.914202
(349700): primal objval = 10934455759.334431
(349800): primal objval = 10934441872.982670
(349900): primal objval = 10934430744.400524
(350000): primal objval = 10934410627.926445
(350100): primal objval = 10934387546.212164
(350200): primal objval = 10934360687.962791
(350300): primal objval = 10934340532.491037
(350400): primal objval = 10934322777.732271
(350500): primal objval = 10934303066.378370
(350600): primal objval = 10934299546.295139
(350700): primal objval = 10934298466.783037
(350800): primal objval = 10934296870.083651
(350900): primal objval = 10934293565.487736
(351000): primal objval = 10934287687.906460
(351100): primal objval = 10934282246.445869
(351200): primal objval = 10934280236.023455
(351300): primal objval = 10934278789.016315
(351400): primal objval = 10934273534.397310
(351500): primal objval = 10934271855.758532
(351600): primal objval = 10934267449.187473
(351700): primal objval = 10934256469.281851
(351800): primal objval = 10934245210.734694
(351900): primal objval = 10934238752.732611
(352000): primal objval = 10934233343.270479
(352100): primal objval = 10934232106.513311
(352200): primal objval = 10934215663.677475
(352300): primal objval = 10934205426.556627
(352400): primal objval = 10934200531.831270
(352500): primal objval = 10934198899.810955
(352600): primal objval = 10934198823.733099
(352700): primal objval = 10934113586.515636
(352800): primal objval = 10934004362.294708
(352900): primal objval = 10933992213.240564
(353000): primal objval = 10933975894.499525
(353100): primal objval = 10933966089.301611
(353200): primal objval = 10933951448.660273
(353300): primal objval = 10933940044.992670
(353400): primal objval = 10933921620.415007
(353500): primal objval = 10933907244.738977
(353600): primal objval = 10933892514.926329
(353700): primal objval = 10933867957.960609
(353800): primal objval = 10933856783.257887
(353900): primal objval = 10933845982.323097
(354000): primal objval = 10933798082.149311
(354100): primal objval = 10933774061.979553
(354200): primal objval = 10933774061.106430
(354300): primal objval = 10933771504.044054
(354400): primal objval = 10933758731.962212
(354500): primal objval = 10933757839.805197
(354600): primal objval = 10933757839.624540
(354700): primal objval = 10933757839.337757
(354800): primal objval = 10933751723.991327
(354900): primal objval = 10933748658.771400
(355000): primal objval = 10933724100.833508
(355100): primal objval = 10933713985.909483
(355200): primal objval = 10933699755.607824
(355300): primal objval = 10933685014.114542
(355400): primal objval = 10933665688.101192
(355500): primal objval = 10933656864.127787
(355600): primal objval = 10933614132.128887
(355700): primal objval = 10933587564.776808
(355800): primal objval = 10933570789.171635
(355900): primal objval = 10933559967.330294
(356000): primal objval = 10933549796.025023
(356100): primal objval = 10933543531.465084
(356200): primal objval = 10933537156.409737
(356300): primal objval = 10933526531.139009
(356400): primal objval = 10933518477.178499
(356500): primal objval = 10933498339.525562
(356600): primal objval = 10933484631.173489
(356700): primal objval = 10933476412.371681
(356800): primal objval = 10933450339.108656
(356900): primal objval = 10933430923.485054
(357000): primal objval = 10933424277.937744
(357100): primal objval = 10933412802.541626
(357200): primal objval = 10933412802.238548
(357300): primal objval = 10933410590.173256
(357400): primal objval = 10933410589.896645
(357500): primal objval = 10933401441.622072
(357600): primal objval = 10933389575.328821
(357700): primal objval = 10933380218.385054
(357800): primal objval = 10933369413.110992
(357900): primal objval = 10933367609.189316
(358000): primal objval = 10933351563.191555
(358100): primal objval = 10933343918.524675
(358200): primal objval = 10933342661.748102
(358300): primal objval = 10933342661.443525
(358400): primal objval = 10933337574.445545
(358500): primal objval = 10933332237.835550
(358600): primal objval = 10933326965.161102
(358700): primal objval = 10933321573.426874
(358800): primal objval = 10933320244.195055
(358900): primal objval = 10933311150.862110
(359000): primal objval = 10933300481.313967
(359100): primal objval = 10933290580.697636
(359200): primal objval = 10933262464.437391
(359300): primal objval = 10933252665.952225
(359400): primal objval = 10933241630.535336
(359500): primal objval = 10933238307.397446
(359600): primal objval = 10933237441.937660
(359700): primal objval = 10933225233.301497
(359800): primal objval = 10933224576.854193
(359900): primal objval = 10933214470.907606
(360000): primal objval = 10933206984.229643
(360100): primal objval = 10933201088.926750
(360200): primal objval = 10933194659.997564
(360300): primal objval = 10933191503.684296
(360400): primal objval = 10933191502.301142
(360500): primal objval = 10933188266.493143
(360600): primal objval = 10933175459.693401
(360700): primal objval = 10933174791.648125
(360800): primal objval = 10933165592.545464
(360900): primal objval = 10933161617.834721
(361000): primal objval = 10933160092.538893
(361100): primal objval = 10933151482.485594
(361200): primal objval = 10933143260.314457
(361300): primal objval = 10933140453.275707
(361400): primal objval = 10933134034.783628
(361500): primal objval = 10933133514.909781
(361600): primal objval = 10933119971.284649
(361700): primal objval = 10933108444.598940
(361800): primal objval = 10933103280.125954
(361900): primal objval = 10933081394.710114
(362000): primal objval = 10933072539.365290
(362100): primal objval = 10933065379.695971
(362200): primal objval = 10933023689.352062
(362300): primal objval = 10933013873.160061
(362400): primal objval = 10933001393.354206
(362500): primal objval = 10932996862.966415
(362600): primal objval = 10932991139.289791
(362700): primal objval = 10932989274.015507
(362800): primal objval = 10932984715.563097
(362900): primal objval = 10932977610.714565
(363000): primal objval = 10932958107.787727
(363100): primal objval = 10932955105.957655
(363200): primal objval = 10932940977.250259
(363300): primal objval = 10932934889.235186
(363400): primal objval = 10932910607.014282
(363500): primal objval = 10932895099.211567
(363600): primal objval = 10932890133.377279
(363700): primal objval = 10932877498.196270
(363800): primal objval = 10932870831.236309
(363900): primal objval = 10932866306.964432
(364000): primal objval = 10932861388.070084
(364100): primal objval = 10932850462.769382
(364200): primal objval = 10932849198.047022
(364300): primal objval = 10932843504.465538
(364400): primal objval = 10932839359.705530
(364500): primal objval = 10932824320.492224
(364600): primal objval = 10932816070.223907
(364700): primal objval = 10932800549.123461
(364800): primal objval = 10932800548.951712
(364900): primal objval = 10932795768.763611
(365000): primal objval = 10932770921.282669
(365100): primal objval = 10932764466.683306
(365200): primal objval = 10932753070.689911
(365300): primal objval = 10932750282.164526
(365400): primal objval = 10932743109.066538
(365500): primal objval = 10932737176.539379
(365600): primal objval = 10932735664.281649
(365700): primal objval = 10932725608.100733
(365800): primal objval = 10932721514.432590
(365900): primal objval = 10932713683.259920
(366000): primal objval = 10932708068.168148
(366100): primal objval = 10932704382.102371
(366200): primal objval = 10932701316.387379
(366300): primal objval = 10932694531.724998
(366400): primal objval = 10932687706.136499
(366500): primal objval = 10932675138.544521
(366600): primal objval = 10932668011.131521
(366700): primal objval = 10932665182.150023
(366800): primal objval = 10932659308.168148
(366900): primal objval = 10932657517.586302
(367000): primal objval = 10932641846.071695
(367100): primal objval = 10932641161.252502
(367200): primal objval = 10932635034.387341
(367300): primal objval = 10932624464.614994
(367400): primal objval = 10932618870.083679
(367500): primal objval = 10932608710.976681
(367600): primal objval = 10932595021.836349
(367700): primal objval = 10932593264.060085
(367800): primal objval = 10932587501.896637
(367900): primal objval = 10932574506.925398
(368000): primal objval = 10932559049.915951
(368100): primal objval = 10932551080.440445
(368200): primal objval = 10932522370.098476
(368300): primal objval = 10932519336.879622
(368400): primal objval = 10932496463.016432
(368500): primal objval = 10932480662.943514
(368600): primal objval = 10932465134.630201
(368700): primal objval = 10932451041.351492
(368800): primal objval = 10932424707.918261
(368900): primal objval = 10932411479.257832
(369000): primal objval = 10932380049.582253
(369100): primal objval = 10932329833.127621
(369200): primal objval = 10932307035.503445
(369300): primal objval = 10932305712.860537
(369400): primal objval = 10932299908.294588
(369500): primal objval = 10932269331.057718
(369600): primal objval = 10932260779.127504
(369700): primal objval = 10932248236.651001
(369800): primal objval = 10932240193.664585
(369900): primal objval = 10932223937.567699
(370000): primal objval = 10932188521.643763
(370100): primal objval = 10932159147.768305
(370200): primal objval = 10932131606.321899
(370300): primal objval = 10932103049.113003
(370400): primal objval = 10932056859.939484
(370500): primal objval = 10932030353.779064
(370600): primal objval = 10932008480.162878
(370700): primal objval = 10931997730.789253
(370800): primal objval = 10931988693.230408
(370900): primal objval = 10931951826.938761
(371000): primal objval = 10931931436.612972
(371100): primal objval = 10931905271.546831
(371200): primal objval = 10931894067.186249
(371300): primal objval = 10931881596.576414
(371400): primal objval = 10931837386.540289
(371500): primal objval = 10931825844.383558
(371600): primal objval = 10931823558.059418
(371700): primal objval = 10931786777.749687
(371800): primal objval = 10931762696.408247
(371900): primal objval = 10931687944.837753
(372000): primal objval = 10931677769.562616
(372100): primal objval = 10931671461.473166
(372200): primal objval = 10931666238.427828
(372300): primal objval = 10931657738.816559
(372400): primal objval = 10931648923.094124
(372500): primal objval = 10931599813.865238
(372600): primal objval = 10931526328.196756
(372700): primal objval = 10931505040.654142
(372800): primal objval = 10931495668.820942
(372900): primal objval = 10931490953.892128
(373000): primal objval = 10931486979.970331
(373100): primal objval = 10931474756.059332
(373200): primal objval = 10931470629.880293
(373300): primal objval = 10931452276.780684
(373400): primal objval = 10931434991.921253
(373500): primal objval = 10931419847.621416
(373600): primal objval = 10931408613.017660
(373700): primal objval = 10931403299.139311
(373800): primal objval = 10931389696.345264
(373900): primal objval = 10931379051.603796
(374000): primal objval = 10931361333.266060
(374100): primal objval = 10931355892.125565
(374200): primal objval = 10931337903.706375
(374300): primal objval = 10931329373.220301
(374400): primal objval = 10931310739.187429
(374500): primal objval = 10931306096.719337
(374600): primal objval = 10931293672.403856
(374700): primal objval = 10931289792.708765
(374800): primal objval = 10931285201.866003
(374900): primal objval = 10931267234.739517
(375000): primal objval = 10931227370.652615
(375100): primal objval = 10931208449.197468
(375200): primal objval = 10931159932.724268
(375300): primal objval = 10931136034.881826
(375400): primal objval = 10931127741.471508
(375500): primal objval = 10931123607.091000
(375600): primal objval = 10931109482.871321
(375700): primal objval = 10931102888.551062
(375800): primal objval = 10931092480.615982
(375900): primal objval = 10931084894.244154
(376000): primal objval = 10931071936.995024
(376100): primal objval = 10931066992.353228
(376200): primal objval = 10931056945.042114
(376300): primal objval = 10931032985.554995
(376400): primal objval = 10931023664.467468
(376500): primal objval = 10931008504.491428
(376600): primal objval = 10930983797.030235
(376700): primal objval = 10930969642.232397
(376800): primal objval = 10930959381.789419
(376900): primal objval = 10930946770.787762
(377000): primal objval = 10930933097.405890
(377100): primal objval = 10930921142.098484
(377200): primal objval = 10930910094.569082
(377300): primal objval = 10930855396.967506
(377400): primal objval = 10930840230.695728
(377500): primal objval = 10930828222.950457
(377600): primal objval = 10930821184.675251
(377700): primal objval = 10930812605.867788
(377800): primal objval = 10930803214.675739
(377900): primal objval = 10930775080.473442
(378000): primal objval = 10930763002.847363
(378100): primal objval = 10930759951.751945
(378200): primal objval = 10930744456.881533
(378300): primal objval = 10930734404.480219
(378400): primal objval = 10930714052.128164
(378500): primal objval = 10930702682.690849
(378600): primal objval = 10930682390.289700
(378700): primal objval = 10930667459.492002
(378800): primal objval = 10930654414.408436
(378900): primal objval = 10930642667.369814
(379000): primal objval = 10930635686.818792
(379100): primal objval = 10930627820.875031
(379200): primal objval = 10930620708.885656
(379300): primal objval = 10930613108.641493
(379400): primal objval = 10930603390.234085
(379500): primal objval = 10930586205.566301
(379600): primal objval = 10930582154.245480
(379700): primal objval = 10930579734.495804
(379800): primal objval = 10930577986.292007
(379900): primal objval = 10930558583.179886
(380000): primal objval = 10930527088.514776
(380100): primal objval = 10930505119.860674
(380200): primal objval = 10930486779.479364
(380300): primal objval = 10930474646.530069
(380400): primal objval = 10930468913.669487
(380500): primal objval = 10930464100.269703
(380600): primal objval = 10930446010.628542
(380700): primal objval = 10930431494.584545
(380800): primal objval = 10930423307.872253
(380900): primal objval = 10930410713.990938
(381000): primal objval = 10930401764.802683
(381100): primal objval = 10930381384.638390
(381200): primal objval = 10930366137.435070
(381300): primal objval = 10930351556.055237
(381400): primal objval = 10930350545.774555
(381500): primal objval = 10930339712.381742
(381600): primal objval = 10930328474.829762
(381700): primal objval = 10930323382.588436
(381800): primal objval = 10930322475.898933
(381900): primal objval = 10930317522.553122
(382000): primal objval = 10930312249.052744
(382100): primal objval = 10930302819.512428
(382200): primal objval = 10930299075.372538
(382300): primal objval = 10930296697.717854
(382400): primal objval = 10930292864.966194
(382500): primal objval = 10930286622.087437
(382600): primal objval = 10930284568.611107
(382700): primal objval = 10930273145.803738
(382800): primal objval = 10930266924.460497
(382900): primal objval = 10930262806.223774
(383000): primal objval = 10930260032.305988
(383100): primal objval = 10930248568.115253
(383200): primal objval = 10930241218.328508
(383300): primal objval = 10930235832.646099
(383400): primal objval = 10930225025.055031
(383500): primal objval = 10930214258.271368
(383600): primal objval = 10930209792.631222
(383700): primal objval = 10930208503.793495
(383800): primal objval = 10930202942.789473
(383900): primal objval = 10930196538.434227
(384000): primal objval = 10930188017.360525
(384100): primal objval = 10930172198.935358
(384200): primal objval = 10930166247.386774
(384300): primal objval = 10930158972.472507
(384400): primal objval = 10930151877.605021
(384500): primal objval = 10930140589.296938
(384600): primal objval = 10930130629.542171
(384700): primal objval = 10930124492.708599
(384800): primal objval = 10930122133.017660
(384900): primal objval = 10930109186.165255
(385000): primal objval = 10930099299.990223
(385100): primal objval = 10930097109.354488
(385200): primal objval = 10930094006.621153
(385300): primal objval = 10930080991.343252
(385400): primal objval = 10930061156.409838
(385500): primal objval = 10930031861.207977
(385600): primal objval = 10930018474.851795
(385700): primal objval = 10930001655.125441
(385800): primal objval = 10929993706.172291
(385900): primal objval = 10929985886.843590
(386000): primal objval = 10929971883.297131
(386100): primal objval = 10929959676.697954
(386200): primal objval = 10929957600.044125
(386300): primal objval = 10929955272.900099
(386400): primal objval = 10929950581.510094
(386500): primal objval = 10929944679.919886
(386600): primal objval = 10929940997.815163
(386700): primal objval = 10929937743.807428
(386800): primal objval = 10929934052.586102
(386900): primal objval = 10929931805.977276
(387000): primal objval = 10929926725.692665
(387100): primal objval = 10929916037.513830
(387200): primal objval = 10929908911.558645
(387300): primal objval = 10929898423.627569
(387400): primal objval = 10929881414.076283
(387500): primal objval = 10929865548.010269
(387600): primal objval = 10929855488.982979
(387700): primal objval = 10929846366.071421
(387800): primal objval = 10929846365.992609
(387900): primal objval = 10929841980.800379
(388000): primal objval = 10929839049.724459
(388100): primal objval = 10929837370.443298
(388200): primal objval = 10929834586.574429
(388300): primal objval = 10929832932.107882
(388400): primal objval = 10929821239.710865
(388500): primal objval = 10929817531.575037
(388600): primal objval = 10929811730.691219
(388700): primal objval = 10929810041.141743
(388800): primal objval = 10929794014.362099
(388900): primal objval = 10929785799.131050
(389000): primal objval = 10929748949.371433
(389100): primal objval = 10929696872.249935
(389200): primal objval = 10929674907.897114
(389300): primal objval = 10929668463.722191
(389400): primal objval = 10929660190.851082
(389500): primal objval = 10929640271.122431
(389600): primal objval = 10929639338.331783
(389700): primal objval = 10929637275.482388
(389800): primal objval = 10929635175.001305
(389900): primal objval = 10929633497.738277
(390000): primal objval = 10929618740.851427
(390100): primal objval = 10929614258.788382
(390200): primal objval = 10929611375.682295
(390300): primal objval = 10929608951.194075
(390400): primal objval = 10929599035.489183
(390500): primal objval = 10929593471.477348
(390600): primal objval = 10929589506.907187
(390700): primal objval = 10929587214.329803
(390800): primal objval = 10929584560.315506
(390900): primal objval = 10929583330.114817
(391000): primal objval = 10929581459.732168
(391100): primal objval = 10929577235.137249
(391200): primal objval = 10929568819.172274
(391300): primal objval = 10929557572.929611
(391400): primal objval = 10929532004.205410
(391500): primal objval = 10929524080.020067
(391600): primal objval = 10929517795.123135
(391700): primal objval = 10929508345.502146
(391800): primal objval = 10929503168.659872
(391900): primal objval = 10929497176.633739
(392000): primal objval = 10929496747.646915
(392100): primal objval = 10929486023.391396
(392200): primal objval = 10929473275.339272
(392300): primal objval = 10929466098.792229
(392400): primal objval = 10929464454.083508
(392500): primal objval = 10929464453.913218
(392600): primal objval = 10929451308.206036
(392700): primal objval = 10929443262.664888
(392800): primal objval = 10929442329.211561
(392900): primal objval = 10929425735.875496
(393000): primal objval = 10929413605.933670
(393100): primal objval = 10929404506.670240
(393200): primal objval = 10929381798.870781
(393300): primal objval = 10929378986.200594
(393400): primal objval = 10929377625.909822
(393500): primal objval = 10929373880.606911
(393600): primal objval = 10929372113.427479
(393700): primal objval = 10929366616.855120
(393800): primal objval = 10929358769.971621
(393900): primal objval = 10929356704.202843
(394000): primal objval = 10929353098.485264
(394100): primal objval = 10929352196.645803
(394200): primal objval = 10929351105.338203
(394300): primal objval = 10929341366.351942
(394400): primal objval = 10929338606.966549
(394500): primal objval = 10929335904.134470
(394600): primal objval = 10929325438.912590
(394700): primal objval = 10929324040.886477
(394800): primal objval = 10929319683.682722
(394900): primal objval = 10929319294.573647
(395000): primal objval = 10929314722.324022
(395100): primal objval = 10929308505.432119
(395200): primal objval = 10929304450.725653
(395300): primal objval = 10929301352.552908
(395400): primal objval = 10929297388.739944
(395500): primal objval = 10929283293.962124
(395600): primal objval = 10929276627.673487
(395700): primal objval = 10929274306.921360
(395800): primal objval = 10929273544.776316
(395900): primal objval = 10929273041.196672
(396000): primal objval = 10929269382.192921
(396100): primal objval = 10929267873.411097
(396200): primal objval = 10929241463.837524
(396300): primal objval = 10929236623.212196
(396400): primal objval = 10929224820.403185
(396500): primal objval = 10929221609.192104
(396600): primal objval = 10929213114.242943
(396700): primal objval = 10929212944.663319
(396800): primal objval = 10929208906.744997
(396900): primal objval = 10929207256.520449
(397000): primal objval = 10929203774.078749
(397100): primal objval = 10929198449.317884
(397200): primal objval = 10929195676.377308
(397300): primal objval = 10929195676.195910
(397400): primal objval = 10929192614.071093
(397500): primal objval = 10929190245.037550
(397600): primal objval = 10929184561.572392
(397700): primal objval = 10929179333.618561
(397800): primal objval = 10929172561.991556
(397900): primal objval = 10929169606.488935
(398000): primal objval = 10929164373.160551
(398100): primal objval = 10929161336.014545
(398200): primal objval = 10929156977.375238
(398300): primal objval = 10929152879.024851
(398400): primal objval = 10929152178.204172
(398500): primal objval = 10929149981.368670
(398600): primal objval = 10929148243.581657
(398700): primal objval = 10929144161.617912
(398800): primal objval = 10929140372.575859
(398900): primal objval = 10929140372.481754
(399000): primal objval = 10929140372.427683
(399100): primal objval = 10929137999.937187
(399200): primal objval = 10929137258.479448
(399300): primal objval = 10929136471.635557
(399400): primal objval = 10929133673.457119
(399500): primal objval = 10929126706.511545
(399600): primal objval = 10929124025.892832
(399700): primal objval = 10929120797.055265
(399800): primal objval = 10929116736.191315
(399900): primal objval = 10929115457.261259
(400000): primal objval = 10929112273.504753
(400100): primal objval = 10929111533.234125
(400200): primal objval = 10929081957.273396
(400300): primal objval = 10929072162.869715
(400400): primal objval = 10929068811.525286
(400500): primal objval = 10929068811.498188
(400600): primal objval = 10929055649.536459
(400700): primal objval = 10929038472.457830
(400800): primal objval = 10928999584.111191
(400900): primal objval = 10928999050.228991
(401000): primal objval = 10928981950.038500
(401100): primal objval = 10928947445.595753
(401200): primal objval = 10928942354.575285
(401300): primal objval = 10928939129.639910
(401400): primal objval = 10928935468.201124
(401500): primal objval = 10928933075.930117
(401600): primal objval = 10928932347.606573
(401700): primal objval = 10928931373.496784
(401800): primal objval = 10928929554.161461
(401900): primal objval = 10928928309.388945
(402000): primal objval = 10928927188.143869
(402100): primal objval = 10928925560.901848
(402200): primal objval = 10928923744.191662
(402300): primal objval = 10928923244.788094
(402400): primal objval = 10928923033.717440
(402500): primal objval = 10928919812.286949
(402600): primal objval = 10928915355.795254
(402700): primal objval = 10928912337.814682
(402800): primal objval = 10928907589.799635
(402900): primal objval = 10928907589.257618
(403000): primal objval = 10928904012.930494
(403100): primal objval = 10928902887.787956
(403200): primal objval = 10928899565.859640
(403300): primal objval = 10928896266.378222
(403400): primal objval = 10928893581.252554
(403500): primal objval = 10928893579.998491
(403600): primal objval = 10928888118.232162
(403700): primal objval = 10928885446.102160
(403800): primal objval = 10928882586.466656
(403900): primal objval = 10928881595.159700
(404000): primal objval = 10928878682.288612
(404100): primal objval = 10928875404.826992
(404200): primal objval = 10928873184.174519
(404300): primal objval = 10928870498.536236
(404400): primal objval = 10928868573.257694
(404500): primal objval = 10928867372.937082
(404600): primal objval = 10928865189.738531
(404700): primal objval = 10928864284.175062
(404800): primal objval = 10928862756.556469
(404900): primal objval = 10928850287.804701
(405000): primal objval = 10928833432.424921
(405100): primal objval = 10928823307.644842
(405200): primal objval = 10928817453.750311
(405300): primal objval = 10928816638.067844
(405400): primal objval = 10928812306.145351
(405500): primal objval = 10928809925.175863
(405600): primal objval = 10928805886.458332
(405700): primal objval = 10928796769.691336
(405800): primal objval = 10928793725.175745
(405900): primal objval = 10928788754.897047
(406000): primal objval = 10928776983.307156
(406100): primal objval = 10928766986.258577
(406200): primal objval = 10928745236.029896
(406300): primal objval = 10928734982.834648
(406400): primal objval = 10928722402.502871
(406500): primal objval = 10928718302.029612
(406600): primal objval = 10928703719.985825
(406700): primal objval = 10928701368.834951
(406800): primal objval = 10928697816.559755
(406900): primal objval = 10928697816.551733
(407000): primal objval = 10928697432.541924
(407100): primal objval = 10928697432.531191
(407200): primal objval = 10928697432.524282
(407300): primal objval = 10928687278.010012
(407400): primal objval = 10928681411.675457
(407500): primal objval = 10928666539.506031
(407600): primal objval = 10928662116.550489
(407700): primal objval = 10928656313.609192
(407800): primal objval = 10928651082.223049
(407900): primal objval = 10928649486.300322
(408000): primal objval = 10928643468.835793
(408100): primal objval = 10928638938.883770
(408200): primal objval = 10928636429.522259
(408300): primal objval = 10928630426.268827
(408400): primal objval = 10928626479.770842
(408500): primal objval = 10928624862.264074
(408600): primal objval = 10928623552.089140
(408700): primal objval = 10928622019.047733
(408800): primal objval = 10928615884.950665
(408900): primal objval = 10928601595.548964
(409000): primal objval = 10928597370.462347
(409100): primal objval = 10928594528.084112
(409200): primal objval = 10928593783.139313
(409300): primal objval = 10928591189.746082
(409400): primal objval = 10928587135.238640
(409500): primal objval = 10928583527.644951
(409600): primal objval = 10928582854.426662
(409700): primal objval = 10928582854.004860
(409800): primal objval = 10928582097.150095
(409900): primal objval = 10928577838.218691
(410000): primal objval = 10928574328.256172
(410100): primal objval = 10928566236.391317
(410200): primal objval = 10928552070.174110
(410300): primal objval = 10928538772.304625
(410400): primal objval = 10928537120.007673
(410500): primal objval = 10928535551.471670
(410600): primal objval = 10928534885.603561
(410700): primal objval = 10928530542.729362
(410800): primal objval = 10928528110.557905
(410900): primal objval = 10928525950.994005
(411000): primal objval = 10928525814.758051
(411100): primal objval = 10928522491.668514
(411200): primal objval = 10928515154.520603
(411300): primal objval = 10928510787.981937
(411400): primal objval = 10928510074.864052
(411500): primal objval = 10928506729.071888
(411600): primal objval = 10928505213.564943
(411700): primal objval = 10928503559.860088
(411800): primal objval = 10928499863.365685
(411900): primal objval = 10928496318.349800
(412000): primal objval = 10928495319.800505
(412100): primal objval = 10928493288.807299
(412200): primal objval = 10928492200.987909
(412300): primal objval = 10928489851.363890
(412400): primal objval = 10928485171.621103
(412500): primal objval = 10928482790.033344
(412600): primal objval = 10928480033.486996
(412700): primal objval = 10928477816.628181
(412800): primal objval = 10928477182.319740
(412900): primal objval = 10928474989.701702
(413000): primal objval = 10928474680.276112
(413100): primal objval = 10928472107.282768
(413200): primal objval = 10928470122.819471
(413300): primal objval = 10928467045.056877
(413400): primal objval = 10928463666.121052
(413500): primal objval = 10928457813.144058
(413600): primal objval = 10928449508.917521
(413700): primal objval = 10928448112.482082
(413800): primal objval = 10928446863.423164
(413900): primal objval = 10928445240.391668
(414000): primal objval = 10928444477.315889
(414100): primal objval = 10928442152.423124
(414200): primal objval = 10928439898.448942
(414300): primal objval = 10928437835.884556
(414400): primal objval = 10928436858.796059
(414500): primal objval = 10928435327.918526
(414600): primal objval = 10928433956.443325
(414700): primal objval = 10928431795.019926
(414800): primal objval = 10928428324.537245
(414900): primal objval = 10928418093.961403
(415000): primal objval = 10928416929.590414
(415100): primal objval = 10928409467.166292
(415200): primal objval = 10928409467.075262
(415300): primal objval = 10928407012.100855
(415400): primal objval = 10928400477.122704
(415500): primal objval = 10928395920.368469
(415600): primal objval = 10928390792.144535
(415700): primal objval = 10928382413.041897
(415800): primal objval = 10928371724.661131
(415900): primal objval = 10928369080.008833
(416000): primal objval = 10928368375.473148
(416100): primal objval = 10928367426.393686
(416200): primal objval = 10928362005.111296
(416300): primal objval = 10928353959.498743
(416400): primal objval = 10928350673.031744
(416500): primal objval = 10928349215.046091
(416600): primal objval = 10928348226.069424
(416700): primal objval = 10928348226.065456
(416800): primal objval = 10928346063.885155
(416900): primal objval = 10928339262.305698
(417000): primal objval = 10928335920.021303
(417100): primal objval = 10928333483.049919
(417200): primal objval = 10928332726.145958
(417300): primal objval = 10928329718.515766
(417400): primal objval = 10928329182.092775
(417500): primal objval = 10928328962.624836
(417600): primal objval = 10928328962.594820
(417700): primal objval = 10928327621.806826
(417800): primal objval = 10928326005.520220
(417900): primal objval = 10928324973.555805
(418000): primal objval = 10928323692.561342
(418100): primal objval = 10928321442.556400
(418200): primal objval = 10928320857.602310
(418300): primal objval = 10928320747.528530
(418400): primal objval = 10928319355.814642
(418500): primal objval = 10928316253.900822
(418600): primal objval = 10928313876.042164
(418700): primal objval = 10928312744.723948
(418800): primal objval = 10928312399.038141
(418900): primal objval = 10928312157.470043
(419000): primal objval = 10928311440.501772
(419100): primal objval = 10928311277.954969
(419200): primal objval = 10928310827.518248
(419300): primal objval = 10928310711.936380
(419400): primal objval = 10928310271.394352
(419500): primal objval = 10928309307.294704
(419600): primal objval = 10928308582.935631
(419700): primal objval = 10928306191.841394
(419800): primal objval = 10928305775.313828
(419900): primal objval = 10928303366.385334
(420000): primal objval = 10928301819.779192
(420100): primal objval = 10928300676.902058
(420200): primal objval = 10928299522.144655
(420300): primal objval = 10928295091.244471
(420400): primal objval = 10928291493.189407
(420500): primal objval = 10928289419.155735
(420600): primal objval = 10928287009.596426
(420700): primal objval = 10928284658.328949
(420800): primal objval = 10928282745.934917
(420900): primal objval = 10928280900.602211
(421000): primal objval = 10928279962.385256
(421100): primal objval = 10928277193.732922
(421200): primal objval = 10928274290.818516
(421300): primal objval = 10928273636.301619
(421400): primal objval = 10928271682.254751
(421500): primal objval = 10928269732.464113
(421600): primal objval = 10928266711.159428
(421700): primal objval = 10928265578.295115
(421800): primal objval = 10928264472.112501
(421900): primal objval = 10928264462.995705
(422000): primal objval = 10928264392.339094
(422100): primal objval = 10928260619.585623
(422200): primal objval = 10928260027.085779
(422300): primal objval = 10928259709.718760
(422400): primal objval = 10928259480.567274
(422500): primal objval = 10928258357.497608
(422600): primal objval = 10928257950.544756
(422700): primal objval = 10928257693.998537
(422800): primal objval = 10928256423.128378
(422900): primal objval = 10928256014.388720
(423000): primal objval = 10928254765.804544
(423100): primal objval = 10928253757.068542
(423200): primal objval = 10928252935.134022
(423300): primal objval = 10928252417.568869
(423400): primal objval = 10928251977.456236
(423500): primal objval = 10928251025.223595
(423600): primal objval = 10928247909.490019
(423700): primal objval = 10928245790.177387
(423800): primal objval = 10928243241.047331
(423900): primal objval = 10928241311.126358
(424000): primal objval = 10928238973.003801
(424100): primal objval = 10928238185.146519
(424200): primal objval = 10928237996.077579
(424300): primal objval = 10928237630.109354
(424400): primal objval = 10928236640.767883
(424500): primal objval = 10928236383.767771
(424600): primal objval = 10928235466.773514
(424700): primal objval = 10928235202.515102
(424800): primal objval = 10928234939.020031
(424900): primal objval = 10928234939.018986
(425000): primal objval = 10928233514.018066
(425100): primal objval = 10928233422.181425
(425200): primal objval = 10928233410.507689
(425300): primal objval = 10928233234.505941
(425400): primal objval = 10928232546.512362
(425500): primal objval = 10928232526.511459
(425600): primal objval = 10928232223.510996
(425700): primal objval = 10928232223.509109
(425800): primal objval = 10928231902.505369
(425900): primal objval = 10928231751.508495
(426000): primal objval = 10928231519.500019
(426100): primal objval = 10928230891.838669
(426200): primal objval = 10928230805.506107
(426300): primal objval = 10928230655.648876
(426400): primal objval = 10928230609.506300
(426500): primal objval = 10928230490.464663
(426600): primal objval = 10928230314.704794
(426700): primal objval = 10928230001.505079
completed ILLsimplex
scaled_lp: time = 15130.554, pI = 211, pII = 426586, dI = 0, dII = 0, opt = 10928229968.000000
starting ILLsimplex on unnamed...
Problem has 156243 rows and 661603 cols
completed ILLsimplex
unnamed: time = 0.740, pI = 0, pII = 0, dI = 0, dII = 0, opt = 10928229968.000000
LP Value: 10928229968.000000
Time for SOLVER: 15131.72 seconds.
15134.60user 1158.11system 4:31:33elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+394122733minor)pagefaults 0swaps