static double RawValue(long long x) { return *((double *)(&x)); }
void run_xx()
{
	OsiSolverInterface * solver(new OsiClpSolverInterface());
	solver->reset();
	{
		long long collb = 4643623221434061128ll/* 279.42 */;
		long long colub = 4645687231425883176ll/* 396.745 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652071851140495474ll/* 1007.34 */;
		long long colub = 4652661135605064433ll/* 1124.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4657659936179732705ll/* 2474.52 */;
		long long colub = 4657917937428710461ll/* 2591.84 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652097359810259884ll/* 1010.24 */;
		long long colub = 4652673889939946638ll/* 1127.56 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4644879611380888208ll/* 350.837 */;
		long long colub = 4646943621372710256ll/* 468.163 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4644323703617476424ll/* 319.238 */;
		long long colub = 4646387713609298472ll/* 436.563 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4657608609217729517ll/* 2451.18 */;
		long long colub = 4657866610466707273ll/* 2568.5 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4627515413316865896ll/* 24.2373 */;
		long long colub = 4639184811002226605ll/* 141.563 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4658719464946773933ll/* 2956.34 */;
		long long colub = 4658977466195751689ll/* 3073.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4627543560814536960ll/* 24.3373 */;
		long long colub = 4639188329439435488ll/* 141.663 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4658170631843043963ll/* 2706.75 */;
		long long colub = 4658428633092021719ll/* 2824.08 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4644267377247917538ll/* 316.036 */;
		long long colub = 4646331387239739586ll/* 433.361 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4661878443098761378ll/* 4689.74 */;
		long long colub = 4662007443723250256ll/* 4807.07 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4647284987346136438ll/* 487.567 */;
		long long colub = 4648531906392155179ll/* 604.892 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662687787120848688ll/* 5425.84 */;
		long long colub = 4662816787745337566ll/* 5543.16 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4648346801853906184ll/* 583.849 */;
		long long colub = 4649378806849817208ll/* 701.174 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4661465424969829182ll/* 4314.11 */;
		long long colub = 4661594425594318060ll/* 4431.43 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4643414182283388355ll/* 267.537 */;
		long long colub = 4645478192275210403ll/* 384.863 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662358483388329776ll/* 5126.34 */;
		long long colub = 4662487484012818654ll/* 5243.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4643414182283388355ll/* 267.537 */;
		long long colub = 4645478192275210403ll/* 384.863 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4660256108532795535ll/* 3655.12 */;
		long long colub = 4660514109781773291ll/* 3772.45 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4650128794191889726ll/* 786.438 */;
		long long colub = 4651160799187800750ll/* 903.763 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4630198248745283098ll/* 35.5373 */;
		long long colub = 4639582394406830406ll/* 152.863 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4648248563337695099ll/* 572.68 */;
		long long colub = 4649280568333606123ll/* 690.005 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4657150494179579438ll/* 2242.85 */;
		long long colub = 4657408495428557194ll/* 2360.18 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4648068840201617356ll/* 552.248 */;
		long long colub = 4649100845197528380ll/* 669.573 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652828580729357473ll/* 1162.74 */;
		long long colub = 4653344583227312985ll/* 1280.06 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4643414182283388354ll/* 267.537 */;
		long long colub = 4645478192275210402ll/* 384.863 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4656400824518866821ll/* 1974.97 */;
		long long colub = 4656819420858957598ll/* 2092.3 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4643414182283388355ll/* 267.537 */;
		long long colub = 4645478192275210403ll/* 384.863 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4659919118774193818ll/* 3501.87 */;
		long long colub = 4660177120023171574ll/* 3619.2 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4643414182283388355ll/* 267.537 */;
		long long colub = 4645478192275210403ll/* 384.863 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4649867456091966836ll/* 756.727 */;
		long long colub = 4650899461087877860ll/* 874.052 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4647773809597677000ll/* 518.707 */;
		long long colub = 4648805814593588024ll/* 636.032 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4632421901061297280ll/* 51.3373 */;
		long long colub = 4640138307485833952ll/* 168.663 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4654273786289585316ll/* 1491.34 */;
		long long colub = 4654789788787540828ll/* 1608.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4657948638686177384ll/* 2605.8 */;
		long long colub = 4658206639935155140ll/* 2723.13 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4654273786289585316ll/* 1491.34 */;
		long long colub = 4654789788787540828ll/* 1608.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4657464853569955944ll/* 2385.8 */;
		long long colub = 4657722854818933700ll/* 2503.13 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4654273786289585316ll/* 1491.34 */;
		long long colub = 4654789788787540828ll/* 1608.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4653371230179692831ll/* 1286.12 */;
		long long colub = 4653887232677648343ll/* 1403.45 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4650128794191889726ll/* 786.438 */;
		long long colub = 4651160799187800750ll/* 903.763 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4656727110514727547ll/* 2050.32 */;
		long long colub = 4656985111763705303ll/* 2167.64 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652248046066570813ll/* 1030.74 */;
		long long colub = 4652764048564526325ll/* 1148.06 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4661471393338847076ll/* 4319.53 */;
		long long colub = 4661600393963335954ll/* 4436.86 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4654273786289585316ll/* 1491.34 */;
		long long colub = 4654789788787540828ll/* 1608.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4661858974046368348ll/* 4672.04 */;
		long long colub = 4661987974670857226ll/* 4789.36 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4654260592150052004ll/* 1488.34 */;
		long long colub = 4654776594648007516ll/* 1605.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4661744547101607560ll/* 4567.97 */;
		long long colub = 4661873547726096438ll/* 4685.29 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652097359810259878ll/* 1010.24 */;
		long long colub = 4652673889939946635ll/* 1127.56 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662406071790896200ll/* 5169.62 */;
		long long colub = 4662535072415385078ll/* 5286.95 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4649586072594623611ll/* 724.737 */;
		long long colub = 4650618077590534635ll/* 842.063 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662164179232785480ll/* 4949.62 */;
		long long colub = 4662293179857274358ll/* 5066.95 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4649449238437021751ll/* 709.181 */;
		long long colub = 4650481243432932775ll/* 826.506 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662322651403892183ll/* 5093.75 */;
		long long colub = 4662451652028381061ll/* 5211.07 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652888034178680893ll/* 1176.25 */;
		long long colub = 4653404036676636405ll/* 1293.58 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662681440080026188ll/* 5420.07 */;
		long long colub = 4662810440704515066ll/* 5537.39 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4650651378225724672ll/* 845.849 */;
		long long colub = 4651683383221635696ll/* 963.174 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4656160279522207104ll/* 1920.28 */;
		long long colub = 4656676282020162616ll/* 2037.6 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4654273786289585316ll/* 1491.34 */;
		long long colub = 4654789788787540828ll/* 1608.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4657210895630948987ll/* 2270.32 */;
		long long colub = 4657468896879926743ll/* 2387.64 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652115831605606512ll/* 1012.34 */;
		long long colub = 4652683125837619952ll/* 1129.66 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652666300289776804ll/* 1125.84 */;
		long long colub = 4653182302787732316ll/* 1243.16 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4653384180227644776ll/* 1289.06 */;
		long long colub = 4653900182725600288ll/* 1406.39 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4659933512041108383ll/* 3508.42 */;
		long long colub = 4660191513290086139ll/* 3625.75 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4653391023588016054ll/* 1290.62 */;
		long long colub = 4653907026085971566ll/* 1407.95 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4661532689792681635ll/* 4375.28 */;
		long long colub = 4661661690417170513ll/* 4492.61 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652478530092031730ll/* 1083.14 */;
		long long colub = 4652994532589987242ll/* 1200.47 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4658540912394809156ll/* 2875.14 */;
		long long colub = 4658798913643786912ll/* 2992.46 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652211222576636478ll/* 1023.18 */;
		long long colub = 4652730821323134935ll/* 1140.51 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4632421901061297280ll/* 51.3373 */;
		long long colub = 4640138307485833952ll/* 168.663 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4652472126536311562ll/* 1081.69 */;
		long long colub = 4652988129034267074ll/* 1199.01 */;
		long long obj = 0ll/* 0 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		long long collb = 4662863708981292848ll/* 5585.84 */;
		long long colub = 4662992709605781726ll/* 5703.16 */;
		long long obj = 4607182418800017408ll/* 1 */;
		solver->addCol(0, 0, 0, RawValue(collb), RawValue(colub), RawValue(obj));
	}
	{
		int columns[2] = {4,5};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {4,5};
		long long element[2] = {4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4645911616376799232ll/* 409.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {22,23};
		long long element[2] = {4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4636329152638405836ll/* 94.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4600034574163166095ll/* 0.353215 */,-4616770202227938583ll/* -0.935542 */,-4623337462691609713ll/* -0.353215 */,4606601834626837225ll/* 0.935542 */};
		long long rowlb = 4644661986415986003ll/* 338.467 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4600892130124042897ll/* 0.400819 */,-4616944805645342910ll/* -0.916157 */,-4622479906730732911ll/* -0.400819 */,4606427231209432898ll/* 0.916157 */};
		long long rowlb = 4644888667067151743ll/* 351.352 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4601864156848982658ll/* 0.454777 */,-4617174958231153362ll/* -0.890605 */,-4621507880005793150ll/* -0.454777 */,4606197078623622446ll/* 0.890605 */};
		long long rowlb = 4645120436481752078ll/* 364.527 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4602771776978346196ll/* 0.51032 */,-4617450766820437393ll/* -0.859984 */,-4620600259876429612ll/* -0.51032 */,4605921270034338415ll/* 0.859984 */};
		long long rowlb = 4645329830998668230ll/* 376.429 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4603230679130000863ll/* 0.561269 */,-4617742156565922634ll/* -0.827634 */,-4620141357724774945ll/* -0.561269 */,4605629880288853174ll/* 0.827634 */};
		long long rowlb = 4645493124736976478ll/* 385.712 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4603687474889895766ll/* 0.611983 */,-4618073287325683636ll/* -0.790871 */,-4619684561964880042ll/* -0.611983 */,4605298749529092172ll/* 0.790871 */};
		long long rowlb = 4645625148820495664ll/* 393.216 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,22,23};
		long long element[4] = {4604058063204590367ll/* 0.653127 */,-4618376129008845541ll/* -0.757249 */,-4619313973650185441ll/* -0.653127 */,4604995907845930267ll/* 0.757249 */};
		long long rowlb = 4645706664825243990ll/* 397.85 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {34,35};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4568840249316212736ll/* -1550 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {34,35};
		long long element[2] = {4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4637440978796412928ll/* 110 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {62,63};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4569853999037022208ll/* -1319.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {62,63};
		long long element[2] = {4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4652924301538754560ll/* 1184.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {34,35,62,63};
		long long element[4] = {0ll/* 0 */,4607182418800017407ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758401ll/* -1 */};
		long long rowlb = 4642292903707462865ll/* 229.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {70,71};
		long long element[2] = {4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4637440978796412928ll/* 110 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,70,71};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642296422144671739ll/* 230 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,40,41};
		long long element[4] = {4604095317110891665ll/* 0.657263 */,-4618408438767593888ll/* -0.753661 */,-4619276719743884143ll/* -0.657263 */,4604963598087181920ll/* 0.753661 */};
		long long rowlb = -4579111615817349741ll/* -315.64 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,40,41};
		long long element[4] = {-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = 4651903354209952828ll/* 988.182 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,40,41};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4646926685511562035ll/* 467.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {22,23,40,41};
		long long element[4] = {-4619590805918916969ll/* -0.622392 */,-4618146833288009215ll/* -0.782705 */,4603781230935858839ll/* 0.622392 */,4605225203566766593ll/* 0.782705 */};
		long long rowlb = 4651314284567777860ll/* 921.212 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,40,41};
		long long element[4] = {-4633441718171143107ll/* -0.073079 */,4607158334936606473ll/* 0.997326 */,4589930318683632701ll/* 0.073079 */,-4616213701918169335ll/* -0.997326 */};
		long long rowlb = 4647237091137304566ll/* 484.845 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {70,71,40,41};
		long long element[4] = {-4636850921669026069ll/* -0.0441334 */,4607173642604273631ll/* 0.999026 */,4586521115185749739ll/* 0.0441334 */,-4616198394250502177ll/* -0.999026 */};
		long long rowlb = 4643706327522230960ll/* 284.144 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4605813309237132668ll/* 0.847998 */,4602949025602686576ll/* 0.529999 */,-4617558727617643140ll/* -0.847998 */,-4620423011252089232ll/* -0.529999 */};
		long long rowlb = 4649885406936198835ll/* 758.768 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4597226306912291244ll/* 0.223662 */,4606954236543762558ll/* 0.974667 */,-4626145729942484564ll/* -0.223662 */,-4616417800311013250ll/* -0.974667 */};
		long long rowlb = 4645879229423221474ll/* 407.659 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4596867261760602535ll/* 0.213697 */,4606974352653924483ll/* 0.9769 */,-4626504775094173273ll/* -0.213697 */,-4616397684200851325ll/* -0.9769 */};
		long long rowlb = 4645741229880009354ll/* 399.815 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4595450377440961312ll/* 0.17437 */,4607044429639995249ll/* 0.98468 */,-4627921659413814496ll/* -0.17437 */,-4616327607214780559ll/* -0.98468 */};
		long long rowlb = 4645185611313730549ll/* 368.231 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4592783859076970562ll/* 0.11268 */,4607125055069584987ll/* 0.993631 */,-4630588177777805246ll/* -0.11268 */,-4616246981785190821ll/* -0.993631 */};
		long long rowlb = 4644292361133613866ll/* 317.456 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4587579589568911215ll/* 0.051478 */,4607170476391680452ll/* 0.998674 */,-4635792447285864593ll/* -0.051478 */,-4616201560463095356ll/* -0.998674 */};
		long long rowlb = 4643381657714208793ll/* 265.689 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {4577096200350836373ll/* 0.0103087 */,4607181940190104227ll/* 0.999947 */,-4646275836503939435ll/* -0.0103087 */,-4616190096664671581ll/* -0.999947 */};
		long long rowlb = 4642296282308547076ll/* 229.996 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,0,1};
		long long element[4] = {-4620094381380120557ll/* -0.566484 */,4605597805752333269ll/* 0.824073 */,4603277655474655251ll/* 0.566484 */,-4617774231102442539ll/* -0.824073 */};
		long long rowlb = -4579081199634567562ll/* -317.369 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {70,71,0,1};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641944578423783424ll/* 220 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,0,1};
		long long element[4] = {4604544271217802188ll/* 0.707107 */,-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = 4650794367966582373ll/* 862.105 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,0,1};
		long long element[4] = {-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = -4575273320250373776ll/* -555.645 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,0,1};
		long long element[4] = {-4624751481059952709ll/* -0.274721 */,-4616536179524893274ll/* -0.961524 */,4598620555794823099ll/* 0.274721 */,4606835857329882534ll/* 0.961524 */};
		long long rowlb = -4589156682519259276ll/* -64.1611 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,0,1};
		long long element[4] = {-4666453188148167408ll/* -0.000449035 */,-4616189618962828288ll/* -1 */,4556918848706608400ll/* 0.000449035 */,4607182417891947520ll/* 1 */};
		long long rowlb = 4641960338723813732ll/* 220.448 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,32,33};
		long long element[4] = {-4618288160661011904ll/* -0.767015 */,-4619417535197686863ll/* -0.641629 */,4605083876193763904ll/* 0.767015 */,4603954501657088945ll/* 0.641629 */};
		long long rowlb = 4646280980645089726ll/* 430.496 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,32,33};
		long long element[4] = {-4616714360265224011ll/* -0.941742 */,-4623641519048101783ll/* -0.336336 */,4606657676589551797ll/* 0.941742 */,4599730517806674025ll/* 0.336336 */};
		long long rowlb = 4646612347855164264ll/* 449.332 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,32,33};
		long long element[4] = {4605002774522699527ll/* 0.758011 */,4604050092432826546ll/* 0.652242 */,-4618369262332076281ll/* -0.758011 */,-4619321944421949262ll/* -0.652242 */};
		long long rowlb = 4647315371777337032ll/* 489.294 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,32,33};
		long long element[4] = {4589915047845493800ll/* 0.0728671 */,4607158474603931917ll/* 0.997342 */,-4633456989009282008ll/* -0.0728671 */,-4616213562250843891ll/* -0.997342 */};
		long long rowlb = 4643726293745666565ll/* 285.279 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {26,27};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,26,27};
		long long element[4] = {-4616536179524893358ll/* -0.961524 */,4598620555794823700ll/* 0.274721 */,4606835857329882450ll/* 0.961524 */,-4624751481059952108ll/* -0.274721 */};
		long long rowlb = 4650048866677050916ll/* 777.351 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {4,5,26,27};
		long long element[4] = {-4616189808220154698ll/* -0.999979 */,4574141772674206287ll/* 0.00649806 */,4607182228634621110ll/* 0.999979 */,-4649230264180569521ll/* -0.00649806 */};
		long long rowlb = 4650355552768868147ll/* 812.217 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,26,27};
		long long element[4] = {4605002774522699537ll/* 0.758011 */,4604050092432826532ll/* 0.652242 */,-4618369262332076271ll/* -0.758011 */,-4619321944421949276ll/* -0.652242 */};
		long long rowlb = 4645208493007096420ll/* 369.532 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,26,27};
		long long element[4] = {4593602065214808286ll/* 0.124035 */,4607112864096907549ll/* 0.992278 */,-4629769971639967522ll/* -0.124035 */,-4616259172757868259ll/* -0.992278 */};
		long long rowlb = 4647835399494229647ll/* 525.709 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,26,27};
		long long element[4] = {4589949198188568289ll/* 0.073341 */,4607158161700621647ll/* 0.997307 */,-4633422838666207519ll/* -0.073341 */,-4616213875154154161ll/* -0.997307 */};
		long long rowlb = 4647842816121805618ll/* 526.552 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {32,33,26,27};
		long long element[4] = {-4616231993573517106ll/* -0.995295 */,4591645876315965430ll/* 0.0968872 */,4607140043281258702ll/* 0.995295 */,-4631726160538810378ll/* -0.0968872 */};
		long long rowlb = 4646011679059191313ll/* 415.188 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {32,33,26,27};
		long long element[4] = {-4619044299148013046ll/* -0.683067 */,4604753681271788729ll/* 0.730356 */,4604327737706762762ll/* 0.683067 */,-4618618355582987079ll/* -0.730356 */};
		long long rowlb = 4646813642061471680ll/* 460.774 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {28,29};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,28,29};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4646926685511562035ll/* 467.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,28,29};
		long long element[4] = {-4624507871396819045ll/* -0.288244 */,4606800125696547351ll/* 0.957557 */,4598864165457956763ll/* 0.288244 */,-4616571911158228457ll/* -0.957557 */};
		long long rowlb = 4649037952207242666ll/* 662.423 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,28,29};
		long long element[4] = {-4621005179281140399ll/* -0.482683 */,4606063682573154703ll/* 0.875795 */,4602366857573635409ll/* 0.482683 */,-4617308354281621105ll/* -0.875795 */};
		long long rowlb = 4649883984336020364ll/* 758.606 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,28,29};
		long long element[4] = {-4620819091995021684ll/* -0.493013 */,4606011682729260178ll/* 0.870022 */,4602552944859754124ll/* 0.493013 */,-4617360354125515630ll/* -0.870022 */};
		long long rowlb = 4649914350922437677ll/* 762.058 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {26,27,28,29};
		long long element[4] = {-4616536179524893358ll/* -0.961524 */,4598620555794823700ll/* 0.274721 */,4606835857329882450ll/* 0.961524 */,-4624751481059952108ll/* -0.274721 */};
		long long rowlb = 4650048866677050916ll/* 777.351 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {26,27,28,29};
		long long element[4] = {-4616189808220154698ll/* -0.999979 */,4574141772674206287ll/* 0.00649806 */,4607182228634621110ll/* 0.999979 */,-4649230264180569521ll/* -0.00649806 */};
		long long rowlb = 4650355552768868147ll/* 812.217 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {58,59};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4568840249316212736ll/* -1550 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,58,59};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4642292903707462857ll/* 229.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,58,59};
		long long element[4] = {-4633456989009282003ll/* -0.0728671 */,-4616213562250843892ll/* -0.997342 */,4589915047845493805ll/* 0.0728671 */,4607158474603931916ll/* 0.997342 */};
		long long rowlb = 4643735395174620308ll/* 285.796 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,42,43};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642299940581880631ll/* 230.1 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {4605860899041430306ll/* 0.853282 */,-4620500013172960762ll/* -0.52145 */,-4617511137813345502ll/* -0.853282 */,4602872023681815046ll/* 0.52145 */};
		long long rowlb = -4574577695266387880ll/* -634.728 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {-4617558727617643146ll/* -0.847998 */,-4620423011252089221ll/* -0.529999 */,4605813309237132662ll/* 0.847998 */,4602949025602686587ll/* 0.529999 */};
		long long rowlb = 4649907970628892061ll/* 761.333 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {-4626145729942484564ll/* -0.223662 */,-4616417800311013250ll/* -0.974667 */,4597226306912291244ll/* 0.223662 */,4606954236543762558ll/* 0.974667 */};
		long long rowlb = 4645903400755415471ll/* 409.033 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {-4626504775094173273ll/* -0.213697 */,-4616397684200851325ll/* -0.9769 */,4596867261760602535ll/* 0.213697 */,4606974352653924483ll/* 0.9769 */};
		long long rowlb = 4645764645541846334ll/* 401.146 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {-4627921659413814496ll/* -0.17437 */,-4616327607214780559ll/* -0.98468 */,4595450377440961312ll/* 0.17437 */,4607044429639995249ll/* 0.98468 */};
		long long rowlb = 4645206037635807418ll/* 369.392 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {-4630588177777805246ll/* -0.11268 */,-4616246981785190821ll/* -0.993631 */,4592783859076970562ll/* 0.11268 */,4607125055069584987ll/* 0.993631 */};
		long long rowlb = 4644306237126996836ll/* 318.245 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,42,43};
		long long element[4] = {-4635792447285864593ll/* -0.051478 */,-4616201560463095356ll/* -0.998674 */,4587579589568911215ll/* 0.051478 */,4607170476391680452ll/* 0.998674 */};
		long long rowlb = 4643387996993961214ll/* 266.049 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,24,25};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642085315912138752ll/* 224 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {28,29,24,25};
		long long element[4] = {-4632355662010018334ll/* -0.0881511 */,-4616224682027999912ll/* -0.996107 */,4591016374844757474ll/* 0.0881511 */,4607147354826775896ll/* 0.996107 */};
		long long rowlb = 4642465216817661424ll/* 234.797 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {28,29,24,25};
		long long element[4] = {-4618289589163240632ll/* -0.766856 */,-4619415827969417761ll/* -0.641819 */,4605082447691535176ll/* 0.766856 */,4603956208885358047ll/* 0.641819 */};
		long long rowlb = 4645536167125701664ll/* 388.158 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,60,61};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642296422144671749ll/* 230 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,60,61};
		long long element[4] = {4604544271217802188ll/* 0.707107 */,-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = -4575237245543634861ll/* -559.746 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,60,61};
		long long element[4] = {0ll/* 0 */,-4616189618054758401ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017407ll/* 1 */};
		long long rowlb = 4642152166219107532ll/* 225.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {42,43,60,61};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641944578423783424ll/* 220 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {38,39};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4568840249316212736ll/* -1550 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,38,39};
		long long element[4] = {-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = 4652265515305925584ll/* 1034.71 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,38,39};
		long long element[4] = {-4844600638835304528ll/* -5.69573e-016 */,-4616189618054758400ll/* -1 */,4378771398019471280ll/* 5.69573e-016 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4641979762795872276ll/* 221 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {10,11};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,10,11};
		long long element[4] = {-4623291892301221970ll/* -0.355745 */,4606593196820915744ll/* 0.934583 */,4600080144553553838ll/* 0.355745 */,-4616778840033860064ll/* -0.934583 */};
		long long rowlb = 4651302381250035907ll/* 919.859 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {28,29,10,11};
		long long element[4] = {-4616917894880121831ll/* -0.919145 */,-4622604197711689251ll/* -0.393919 */,4606454141974653977ll/* 0.919145 */,4600767839143086557ll/* 0.393919 */};
		long long rowlb = 4649131199748113293ll/* 673.024 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {28,29,10,11};
		long long element[4] = {-4618288160661011900ll/* -0.767015 */,-4619417535197686865ll/* -0.641629 */,4605083876193763908ll/* 0.767015 */,4603954501657088943ll/* 0.641629 */};
		long long rowlb = 4648422092732273736ll/* 592.408 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {24,25,10,11};
		long long element[4] = {-4617558727617643107ll/* -0.847998 */,4602949025602686526ll/* 0.529999 */,4605813309237132701ll/* 0.847998 */,-4620423011252089282ll/* -0.529999 */};
		long long rowlb = 4647772718040596168ll/* 518.583 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {64,65};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4569853999037022208ll/* -1319.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,64,65};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4657427901166125056ll/* 2369 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {60,61,64,65};
		long long element[4] = {-4630448078751458910ll/* -0.114624 */,-4616248985082667895ll/* -0.993409 */,4592923958103316898ll/* 0.114624 */,4607123051772107913ll/* 0.993409 */};
		long long rowlb = 4645209246057932414ll/* 369.575 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {38,39,64,65};
		long long element[4] = {0ll/* 0 */,4607182418800017407ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758401ll/* -1 */};
		long long rowlb = 4642292903707462865ll/* 229.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {6,7};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4635533985829198234ll/* 82.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {28,29,6,7};
		long long element[4] = {-4616189687859880752ll/* -0.999992 */,4571189048018058728ll/* 0.00393698 */,4607182348994895056ll/* 0.999992 */,-4652182988836717080ll/* -0.00393698 */};
		long long rowlb = 4646779063302973550ll/* 458.809 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {28,29,6,7};
		long long element[4] = {-4617523810321427611ll/* -0.851875 */,4602892697915720555ll/* 0.523745 */,4605848226533348197ll/* 0.851875 */,-4620479338939055253ll/* -0.523745 */};
		long long rowlb = 4647900375553970401ll/* 533.096 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,6,7};
		long long element[4] = {4602333530192540955ll/* 0.480833 */,4606072843619208378ll/* 0.876812 */,-4621038506662234853ll/* -0.480833 */,-4617299193235567430ll/* -0.876812 */};
		long long rowlb = 4644392691424366811ll/* 323.159 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,6,7};
		long long element[4] = {4605082447691535177ll/* 0.766856 */,4603956208885358045ll/* 0.641819 */,-4618289589163240631ll/* -0.766856 */,-4619415827969417763ll/* -0.641819 */};
		long long rowlb = 4645248142733657791ll/* 371.786 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {62,63,2,3};
		long long element[4] = {-4618481647586827533ll/* -0.745534 */,4604178229957587712ll/* 0.666468 */,4604890389267948275ll/* 0.745534 */,-4619193806897188096ll/* -0.666468 */};
		long long rowlb = 4652500745788598295ll/* 1088.19 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,2,3};
		long long element[4] = {-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = 4651985455266668982ll/* 997.516 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,2,3};
		long long element[4] = {-4622604197711688614ll/* -0.393919 */,-4616917894880121967ll/* -0.919145 */,4600767839143087194ll/* 0.393919 */,4606454141974653841ll/* 0.919145 */};
		long long rowlb = 4649134202705467970ll/* 673.366 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,2,3};
		long long element[4] = {-4843704799230067909ll/* -6.5791e-016 */,-4616189618054758400ll/* -1 */,4379667237624707899ll/* 6.5791e-016 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4642078279037721013ll/* 223.8 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {60,61,2,3};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641388665344779878ll/* 204.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,2,3};
		long long element[4] = {4597986065635860953ll/* 0.24475 */,4606908475993050814ll/* 0.969586 */,-4625385971218914855ll/* -0.24475 */,-4616463560861724994ll/* -0.969586 */};
		long long rowlb = 4646869557761139318ll/* 463.953 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,2,3};
		long long element[4] = {4373741736475641804ll/* 2.5885e-016 */,4607182418800017408ll/* 1 */,-4849630300379134004ll/* -2.5885e-016 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642081797474929874ll/* 223.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,2,3};
		long long element[4] = {-4623749352738041153ll/* -0.33035 */,4606676739829317466ll/* 0.943858 */,4599622684116734655ll/* 0.33035 */,-4616695297025458342ll/* -0.943858 */};
		long long rowlb = -4584370805006819992ll/* -136.345 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {40,41,20,21};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4657427901166125056ll/* 2369 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {60,61,20,21};
		long long element[4] = {-4616224757343571658ll/* -0.996099 */,4591023179698843521ll/* 0.0882455 */,4607147279511204150ll/* 0.996099 */,-4632348857155932287ll/* -0.0882455 */};
		long long rowlb = 4653470444511355655ll/* 1308.68 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,20,21};
		long long element[4] = {-4628642003280441601ll/* -0.154377 */,-4616297596055421339ll/* -0.988012 */,4594730033574334207ll/* 0.154377 */,4607074440799354469ll/* 0.988012 */};
		long long rowlb = 4648526251813703664ll/* 604.25 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,20,21};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4646926685511562035ll/* 467.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,20,21};
		long long element[4] = {4596319786529909611ll/* 0.198501 */,-4616368855857771654ll/* -0.980101 */,-4627052250324866197ll/* -0.198501 */,4607003180997004154ll/* 0.980101 */};
		long long rowlb = 4643506576179853752ll/* 272.789 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,20,21};
		long long element[4] = {-4628467063346993524ll/* -0.159232 */,4607067497032009033ll/* 0.987241 */,4594904973507782284ll/* 0.159232 */,-4616304539822766775ll/* -0.987241 */};
		long long rowlb = 4647202844972770954ll/* 482.898 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,20,21};
		long long element[4] = {-4633441718171143107ll/* -0.073079 */,4607158334936606473ll/* 0.997326 */,4589930318683632701ll/* 0.073079 */,-4616213701918169335ll/* -0.997326 */};
		long long rowlb = 4647237091137304566ll/* 484.845 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {2,3,20,21};
		long long element[4] = {-4627970097769598215ll/* -0.173026 */,4607046565522267147ll/* 0.984917 */,4595401939085177593ll/* 0.173026 */,-4616325471332508661ll/* -0.984917 */};
		long long rowlb = 4646065040565892884ll/* 418.221 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {36,37};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4568840249316212736ll/* -1550 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {38,39,36,37};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641944578423783424ll/* 220 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {-4618827765636973620ll/* -0.707107 */,-4618827765636973620ll/* -0.707107 */,4604544271217802188ll/* 0.707107 */,4604544271217802188ll/* 0.707107 */};
		long long rowlb = -4575236623565932467ll/* -559.816 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {-4852525452396733967ll/* -1.69076e-016 */,-4616189618054758400ll/* -1 */,4370846584458041841ll/* 1.69076e-016 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4641979762795872255ll/* 221 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {4589058157660191423ll/* 0.0617377 */,-4616206800095264910ll/* -0.998092 */,-4634313879194584385ll/* -0.0617377 */,4607165236759510898ll/* 0.998092 */};
		long long rowlb = 4643542954441215279ll/* 274.857 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {4592783859076970562ll/* 0.11268 */,-4616246981785190821ll/* -0.993631 */,-4630588177777805246ll/* -0.11268 */,4607125055069584987ll/* 0.993631 */};
		long long rowlb = 4644306237126996838ll/* 318.245 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {4595091118034283341ll/* 0.164399 */,-4616312170693877463ll/* -0.986394 */,-4628280918820492467ll/* -0.164399 */,4607059866160898345ll/* 0.986394 */};
		long long rowlb = 4645061642433317044ll/* 361.185 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {4597215994485803734ll/* 0.223376 */,-4616417209096479568ll/* -0.974732 */,-4626156042368972074ll/* -0.223376 */,4606954827758296240ll/* 0.974732 */};
		long long rowlb = 4645899421399113676ll/* 408.807 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,36,37};
		long long element[4] = {4597226306912291244ll/* 0.223662 */,-4616417800311013250ll/* -0.974667 */,-4626145729942484564ll/* -0.223662 */,4606954236543762558ll/* 0.974667 */};
		long long rowlb = 4645903400755415472ll/* 409.033 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,68,69};
		long long element[4] = {4602595333168448456ll/* 0.495366 */,4605999634786694114ll/* 0.868685 */,-4620776703686327352ll/* -0.495366 */,-4617372402068081694ll/* -0.868685 */};
		long long rowlb = 4648237965620425945ll/* 571.475 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,68,69};
		long long element[4] = {4602366857573635396ll/* 0.482683 */,4606063682573154707ll/* 0.875795 */,-4621005179281140412ll/* -0.482683 */,-4617308354281621101ll/* -0.875795 */};
		long long rowlb = 4648197872635762227ll/* 566.917 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,68,69};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4643299176749203454ll/* 261 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,68,69};
		long long element[4] = {4589930318683632705ll/* 0.073079 */,-4616213701918169335ll/* -0.997326 */,-4633441718171143103ll/* -0.073079 */,4607158334936606473ll/* 0.997326 */};
		long long rowlb = 4643735171201623368ll/* 285.783 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,68,69};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4642296422144671744ll/* 230 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {8,9};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4635541022703616000ll/* 83 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,8,9};
		long long element[4] = {-4624940379697184372ll/* -0.264235 */,4606862287507702429ll/* 0.964458 */,4598431657157591436ll/* 0.264235 */,-4616509749347073379ll/* -0.964458 */};
		long long rowlb = 4644666215933132806ll/* 338.707 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,8,9};
		long long element[4] = {-4621328441004225122ll/* -0.464738 */,4606150628196901164ll/* 0.885448 */,4602043595850550686ll/* 0.464738 */,-4617221408657874644ll/* -0.885448 */};
		long long rowlb = 4645271088692498070ll/* 373.09 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,8,9};
		long long element[4] = {-4620149999190289633ll/* -0.560309 */,4605635733286716930ll/* 0.828283 */,4603222037664486175ll/* 0.560309 */,-4617736303568058878ll/* -0.828283 */};
		long long rowlb = 4645418178589063184ll/* 381.451 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {30,31};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {10,11,30,31};
		long long element[4] = {-4616383555640772607ll/* -0.978469 */,4596604209823523768ll/* 0.206396 */,4606988481214003201ll/* 0.978469 */,-4626767827031252040ll/* -0.206396 */};
		long long rowlb = 4650142622347212937ll/* 788.01 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,30,31};
		long long element[4] = {4589949198188568289ll/* 0.073341 */,4607158161700621647ll/* 0.997307 */,-4633422838666207519ll/* -0.073341 */,-4616213875154154161ll/* -0.997307 */};
		long long rowlb = 4647842816121805618ll/* 526.552 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {8,9,30,31};
		long long element[4] = {-4616252117900751715ll/* -0.993061 */,-4630233690435955425ll/* -0.117599 */,4607119918954024093ll/* 0.993061 */,4593138346418820383ll/* 0.117599 */};
		long long rowlb = 4647858197722697971ll/* 528.301 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {16,17};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,16,17};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4646926685511562035ll/* 467.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,16,17};
		long long element[4] = {-4624507871396819045ll/* -0.288244 */,4606800125696547351ll/* 0.957557 */,4598864165457956763ll/* 0.288244 */,-4616571911158228457ll/* -0.957557 */};
		long long rowlb = 4649037952207242666ll/* 662.423 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,16,17};
		long long element[4] = {-4621005179281140399ll/* -0.482683 */,4606063682573154703ll/* 0.875795 */,4602366857573635409ll/* 0.482683 */,-4617308354281621105ll/* -0.875795 */};
		long long rowlb = 4649883984336020364ll/* 758.606 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,16,17};
		long long element[4] = {-4620819091995021684ll/* -0.493013 */,4606011682729260178ll/* 0.870022 */,4602552944859754124ll/* 0.493013 */,-4617360354125515630ll/* -0.870022 */};
		long long rowlb = 4649914350922437677ll/* 762.058 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {30,31,16,17};
		long long element[4] = {-4616361009526498652ll/* -0.980972 */,4596163034785411328ll/* 0.194151 */,4607011027328277156ll/* 0.980972 */,-4627209002069364480ll/* -0.194151 */};
		long long rowlb = 4650106694450220735ll/* 783.925 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {30,31,16,17};
		long long element[4] = {-4616297596055421340ll/* -0.988012 */,4594730033574334210ll/* 0.154377 */,4607074440799354468ll/* 0.988012 */,-4628642003280441598ll/* -0.154377 */};
		long long rowlb = 4650182471628641091ll/* 792.54 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {30,31,16,17};
		long long element[4] = {-4616189806829869207ll/* -0.999979 */,4574114336900780981ll/* 0.00647426 */,4607182230024906601ll/* 0.999979 */,-4649257699953994827ll/* -0.00647426 */};
		long long rowlb = 4650355533441308056ll/* 812.215 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {44,45};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4568840249316212736ll/* -1550 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,44,45};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4642289385270253974ll/* 229.8 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,44,45};
		long long element[4] = {-4633456989009282003ll/* -0.0728671 */,-4616213562250843892ll/* -0.997342 */,4589915047845493805ll/* 0.0728671 */,4607158474603931916ll/* 0.997342 */};
		long long rowlb = 4643733640632616665ll/* 285.696 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,66,67};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642299940581880631ll/* 230.1 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,66,67};
		long long element[4] = {-4633441718171143111ll/* -0.073079 */,4607158334936606473ll/* 0.997326 */,4589930318683632697ll/* 0.073079 */,-4616213701918169335ll/* -0.997326 */};
		long long rowlb = 4643727926378910914ll/* 285.372 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,66,67};
		long long element[4] = {-4621005179281140416ll/* -0.482683 */,-4617308354281621100ll/* -0.875795 */,4602366857573635392ll/* 0.482683 */,4606063682573154708ll/* 0.875795 */};
		long long rowlb = 4648218470950642151ll/* 569.259 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,66,67};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4643297417530599014ll/* 260.9 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,48,49};
		long long element[4] = {-4622462250068795089ll/* -0.401799 */,4606423363185640758ll/* 0.915728 */,4600909786785980719ll/* 0.401799 */,-4616948673669135050ll/* -0.915728 */};
		long long rowlb = 4648401615329021541ll/* 590.08 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,48,49};
		long long element[4] = {4600972203867191829ll/* 0.405264 */,4606409599115982633ll/* 0.9142 */,-4622399832987583979ll/* -0.405264 */,-4616962437738793175ll/* -0.9142 */};
		long long rowlb = -4580584893257099229ll/* -243.947 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,48,49};
		long long element[4] = {4556918848706610754ll/* 0.000449035 */,4607182417891947520ll/* 1 */,-4666453188148165054ll/* -0.000449035 */,-4616189618962828288ll/* -1 */};
		long long rowlb = 4642067324798557208ll/* 223.489 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {-4627921659413814496ll/* -0.17437 */,-4616327607214780559ll/* -0.98468 */,4595450377440961312ll/* 0.17437 */,4607044429639995249ll/* 0.98468 */};
		long long rowlb = 4645067925383884854ll/* 361.542 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {-4630588177777805246ll/* -0.11268 */,-4616246981785190821ll/* -0.993631 */,4592783859076970562ll/* 0.11268 */,4607125055069584987ll/* 0.993631 */};
		long long rowlb = 4644235217269954916ll/* 314.208 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {-4635792447285864593ll/* -0.051478 */,-4616201560463095356ll/* -0.998674 */,4587579589568911215ll/* 0.051478 */,4607170476391680452ll/* 0.998674 */};
		long long rowlb = 4643383342151400151ll/* 265.784 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {-4646275836503939435ll/* -0.0103087 */,-4616190096664671581ll/* -0.999947 */,4577096200350836373ll/* 0.0103087 */,4607181940190104227ll/* 0.999947 */};
		long long rowlb = 4642378580347944287ll/* 232.335 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4642078279037720986ll/* 223.8 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {4589394825703989869ll/* 0.0656476 */,-4616209047731931977ll/* -0.997843 */,-4633977211150785939ll/* -0.0656476 */,4607162989122843831ll/* 0.997843 */};
		long long rowlb = 4639729166608213320ll/* 157.034 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,48,49};
		long long element[4] = {4602212243063333513ll/* 0.4741 */,-4617266238674459367ll/* -0.880471 */,-4621159793791442295ll/* -0.4741 */,4606105798180316441ll/* 0.880471 */};
		long long rowlb = -4579560897906634566ll/* -290.102 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {66,67,48,49};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641388665344779878ll/* 204.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {46,47};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4568853443455746048ll/* -1547 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,46,47};
		long long element[4] = {4599368272914696949ll/* 0.316228 */,-4616651837814313658ll/* -0.948683 */,-4624003763940078859ll/* -0.316228 */,4606720199040462150ll/* 0.948683 */};
		long long rowlb = -4583860786932196184ll/* -150.841 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,46,47};
		long long element[4] = {4602212243063333513ll/* 0.4741 */,-4617266238674459367ll/* -0.880471 */,-4621159793791442295ll/* -0.4741 */,4606105798180316441ll/* 0.880471 */};
		long long rowlb = -4578522630745791150ll/* -349.12 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,46,47};
		long long element[4] = {-4631164282486861819ll/* -0.104685 */,-4616239108535109849ll/* -0.994505 */,4592207754367913989ll/* 0.104685 */,4607132928319665959ll/* 0.994505 */};
		long long rowlb = 4644810147375874010ll/* 346.889 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,12,13};
		long long element[4] = {4600361999564455284ll/* 0.371391 */,4606538194103462408ll/* 0.928477 */,-4623010037290320524ll/* -0.371391 */,-4616833842751313400ll/* -0.928477 */};
		long long rowlb = -4581934700655090659ll/* -205.583 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,12,13};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4642085315912138752ll/* 224 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {16,17,12,13};
		long long element[4] = {-4619961489084205752ll/* -0.581238 */,-4617867357794088283ll/* -0.813733 */,4603410547770570056ll/* 0.581238 */,4605504679060687525ll/* 0.813733 */};
		long long rowlb = 4645042976859242591ll/* 360.124 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {16,17,12,13};
		long long element[4] = {-4618358041806517396ll/* -0.759257 */,-4619335009735515062ll/* -0.650791 */,4605013995048258412ll/* 0.759257 */,4604037027119260746ll/* 0.650791 */};
		long long rowlb = 4645626915223115616ll/* 393.317 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {54,55};
		long long element[2] = {-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = -4569923048367246541ll/* -1303.8 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {64,65,54,55};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4654725301585051648ll/* 1594 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,54,55};
		long long element[4] = {-4618289589163240626ll/* -0.766856 */,-4619415827969417768ll/* -0.641819 */,4605082447691535182ll/* 0.766856 */,4603956208885358040ll/* 0.641819 */};
		long long rowlb = 4653410330763813185ll/* 1295.01 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {48,49,54,55};
		long long element[4] = {-4618288160661011904ll/* -0.767015 */,-4619417535197686861ll/* -0.641629 */,4605083876193763904ll/* 0.767015 */,4603954501657088947ll/* 0.641629 */};
		long long rowlb = 4645247633368992721ll/* 371.757 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {46,47,54,55};
		long long element[4] = {-4623337462691609713ll/* -0.353215 */,4606601834626837225ll/* 0.935542 */,4600034574163166095ll/* 0.353215 */,-4616770202227938583ll/* -0.935542 */};
		long long rowlb = 4645498098219339370ll/* 385.994 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {46,47,54,55};
		long long element[4] = {-4619689387833496498ll/* -0.611448 */,4605302481220103653ll/* 0.791285 */,4603682649021279310ll/* 0.611448 */,-4618069555634672155ll/* -0.791285 */};
		long long rowlb = 4646963698429993874ll/* 469.304 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[2] = {18,19};
		long long element[2] = {-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4644446187279299379ll/* 326.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(2, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,18,19};
		long long element[4] = {-4621328441004225091ll/* -0.464738 */,4606150628196901156ll/* 0.885448 */,4602043595850550717ll/* 0.464738 */,-4617221408657874652ll/* -0.885448 */};
		long long rowlb = 4651882480424551344ll/* 985.809 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {16,17,18,19};
		long long element[4] = {-4616361009526498652ll/* -0.980972 */,4596163034785411328ll/* 0.194151 */,4607011027328277156ll/* 0.980972 */,-4627209002069364480ll/* -0.194151 */};
		long long rowlb = 4650106694450220735ll/* 783.925 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {16,17,18,19};
		long long element[4] = {-4616297596055421340ll/* -0.988012 */,4594730033574334210ll/* 0.154377 */,4607074440799354468ll/* 0.988012 */,-4628642003280441598ll/* -0.154377 */};
		long long rowlb = 4650182471628641091ll/* 792.54 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {16,17,18,19};
		long long element[4] = {-4616189806829869207ll/* -0.999979 */,4574114336900780981ll/* 0.00647426 */,4607182230024906601ll/* 0.999979 */,-4649257699953994827ll/* -0.00647426 */};
		long long rowlb = 4650355533441308056ll/* 812.215 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {12,13,18,19};
		long long element[4] = {-4616231993573517106ll/* -0.995295 */,4591645876315965430ll/* 0.0968872 */,4607140043281258702ll/* 0.995295 */,-4631726160538810378ll/* -0.0968872 */};
		long long rowlb = 4645640479326373294ll/* 394.088 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {12,13,18,19};
		long long element[4] = {-4619044299148013046ll/* -0.683067 */,4604753681271788729ll/* 0.730356 */,4604327737706762762ll/* 0.683067 */,-4618618355582987079ll/* -0.730356 */};
		long long rowlb = 4645889211418001239ll/* 408.226 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {20,21,52,53};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4653408086654976000ll/* 1294.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {12,13,52,53};
		long long element[4] = {-4618032205313625337ll/* -0.795432 */,-4619738065312642944ll/* -0.606043 */,4605339831541150471ll/* 0.795432 */,4603633971542132864ll/* 0.606043 */};
		long long rowlb = 4641628772209964642ll/* 211.024 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {54,55,52,53};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4646750763651117875ll/* 457.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {18,19,52,53};
		long long element[4] = {4600179645803712020ll/* 0.361268 */,-4616797946064979322ll/* -0.932462 */,-4623192391051063788ll/* -0.361268 */,4606574090789796486ll/* 0.932462 */};
		long long rowlb = 4646629851149464214ll/* 450.327 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {54,55,50,51};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4646602989288344781ll/* 448.8 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {54,55,50,51};
		long long element[4] = {-4619276719743884138ll/* -0.657263 */,4604963598087181914ll/* 0.753661 */,4604095317110891670ll/* 0.657263 */,-4618408438767593894ll/* -0.753661 */};
		long long rowlb = 4645571337225191277ll/* 390.157 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {18,19,50,51};
		long long element[4] = {0ll/* 0 */,-4616189618054758400ll/* -1 */,-9223372036854775808ll/* -0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4646750763651117875ll/* 457.2 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {52,53,50,51};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641944578423783424ll/* 220 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {54,55,56,57};
		long long element[4] = {-4619843018587080629ll/* -0.594391 */,4605418594287372390ll/* 0.804176 */,4603529018267695179ll/* 0.594391 */,-4617953442567403418ll/* -0.804176 */};
		long long rowlb = 4646794103515142906ll/* 459.664 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {54,55,56,57};
		long long element[4] = {-4634221557377878453ll/* -0.0623783 */,4607164877986379818ll/* 0.998053 */,4589150479476897355ll/* 0.0623783 */,-4616207158868395990ll/* -0.998053 */};
		long long rowlb = 4644866936857898114ll/* 350.117 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {50,51,56,57};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641944578423783424ll/* 220 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {18,19,14,15};
		long long element[4] = {-4623921271187506499ll/* -0.320807 */,-4616665697393772592ll/* -0.947145 */,4599450765667269309ll/* 0.320807 */,4606706339461003216ll/* 0.947145 */};
		long long rowlb = 4644896494344688847ll/* 351.797 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {18,19,14,15};
		long long element[4] = {-4618289589163240632ll/* -0.766856 */,-4619415827969417760ll/* -0.641819 */,4605082447691535176ll/* 0.766856 */,4603956208885358048ll/* 0.641819 */};
		long long rowlb = 4646319543280229963ll/* 432.688 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {50,51,14,15};
		long long element[4] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */};
		long long rowlb = 4641944578423783424ll/* 220 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[4] = {56,57,14,15};
		long long element[4] = {0ll/* 0 */,4607182418800017408ll/* 1 */,-9223372036854775808ll/* -0 */,-4616189618054758400ll/* -1 */};
		long long rowlb = 4643316768935247872ll/* 262 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(4, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[3] = {54,55,72};
		long long element[3] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4646791225679020032ll/* 459.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(3, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[3] = {18,19,72};
		long long element[3] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4646791225679020032ll/* 459.5 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(3, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[3] = {56,57,72};
		long long element[3] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4639833516098453504ll/* 160 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(3, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	{
		int columns[3] = {14,15,72};
		long long element[3] = {-4616189618054758400ll/* -1 */,0ll/* 0 */,4607182418800017408ll/* 1 */};
		long long rowlb = 4639833516098453504ll/* 160 */;
		long long rowub = 9218868437227405311ll/* 1.79769e+308 */;
		solver->addRow(3, columns, (double *)element, RawValue(rowlb), RawValue(rowub));
	}
	solver->initialSolve();
}