needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "165950391005 21 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 4 5 2 6 7 3 6 2 1 3 6 1 8 3 8 1 0 4 8 0 9 10 3 9 0 4 3 9 4 11 3 11 4 5 3 11 5 7 3 7 6 12 3 12 6 8 3 12 8 10 3 10 9 13 3 13 9 11 3 13 11 7 3 13 7 12 3 12 10 13 ";;
let precision = 4;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [3; 10; ], [(mk_real_int64 3244L); (mk_real_int64 983L); ]);
("azim_sum_neg", [0; 1; 4; 9; 11; 12; 13; ], [(mk_real_int64 251L); (mk_real_int64 439L); (mk_real_int64 690L); (mk_real_int64 526L); (mk_real_int64 1768L); (mk_real_int64 2932L); (mk_real_int64 2652L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 9018L); (mk_real_int64 9966L); (mk_real_int64 9018L); (mk_real_int64 10756L); (mk_real_int64 10524L); (mk_real_int64 12623L); (mk_real_int64 12623L); (mk_real_int64 10756L); (mk_real_int64 10756L); (mk_real_int64 10985L); (mk_real_int64 12623L); (mk_real_int64 12160L); (mk_real_int64 10756L); (mk_real_int64 10756L); ]);
("sol_sum3", [2; 7; 8; 12; 13; 14; 15; 16; 17; ], [(mk_real_int64 251L); (mk_real_int64 690L); (mk_real_int64 65L); (mk_real_int64 363L); (mk_real_int64 2652L); (mk_real_int64 2652L); (mk_real_int64 297L); (mk_real_int64 363L); (mk_real_int64 2652L); ]);
("sol_sum3_neg", [6; ], [(mk_real_int64 232L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; ], [(mk_real_int64 9018L); (mk_real_int64 9018L); (mk_real_int64 9018L); (mk_real_int64 9018L); (mk_real_int64 9018L); (mk_real_int64 9018L); (mk_real_int64 10524L); (mk_real_int64 9239L); (mk_real_int64 10524L); (mk_real_int64 10985L); (mk_real_int64 11141L); (mk_real_int64 10756L); (mk_real_int64 10756L); (mk_real_int64 10756L); (mk_real_int64 10756L); (mk_real_int64 10756L); (mk_real_int64 10756L); (mk_real_int64 10756L); ]);
("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 9018L); (mk_real_int64 12623L); (mk_real_int64 10756L); ]);
("ln_def_neg", [1; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 989L); (mk_real_int64 1859L); (mk_real_int64 1603L); (mk_real_int64 3917L); (mk_real_int64 3917L); (mk_real_int64 1859L); (mk_real_int64 1859L); (mk_real_int64 2194L); (mk_real_int64 3917L); (mk_real_int64 3407L); (mk_real_int64 1859L); (mk_real_int64 1859L); ]);
("ln_def", [0; 2; ], [(mk_real_int64 57L); (mk_real_int64 57L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 56665L); (mk_real_int64 62621L); (mk_real_int64 56665L); (mk_real_int64 67581L); (mk_real_int64 66122L); (mk_real_int64 79310L); (mk_real_int64 79310L); (mk_real_int64 67581L); (mk_real_int64 67581L); (mk_real_int64 69022L); (mk_real_int64 79310L); (mk_real_int64 76405L); (mk_real_int64 67581L); (mk_real_int64 67581L); ]);
("edge_sym_neg", [5; 19; 21; 32; 35; 38; 41; 44; 47; 59; 62; ], [(mk_real_int64 2777L); (mk_real_int64 757L); (mk_real_int64 2308L); (mk_real_int64 853L); (mk_real_int64 990L); (mk_real_int64 24L); (mk_real_int64 1718L); (mk_real_int64 1554L); (mk_real_int64 2678L); (mk_real_int64 461L); (mk_real_int64 2927L); ]);
("edge_sym", [6; 8; 9; 22; 25; 34; 50; 52; 56; ], [(mk_real_int64 853L); (mk_real_int64 41L); (mk_real_int64 273L); (mk_real_int64 384L); (mk_real_int64 391L); (mk_real_int64 358L); (mk_real_int64 73L); (mk_real_int64 258L); (mk_real_int64 656L); ]);
("y1_def", [5; 8; 30; 57; 60; 64; ], [(mk_real_int64 125L); (mk_real_int64 125L); (mk_real_int64 88L); (mk_real_int64 1178L); (mk_real_int64 1145L); (mk_real_int64 140L); ]);
("y1_def_neg", [4; 6; 9; 11; 12; 18; 20; 22; 23; 25; 32; 33; 34; 36; 37; 38; 40; 43; 44; 45; 46; 50; 51; 53; 55; 56; 58; 59; 61; 62; 63; 65; ], [(mk_real_int64 1396L); (mk_real_int64 1414L); (mk_real_int64 2105L); (mk_real_int64 515L); (mk_real_int64 494L); (mk_real_int64 893L); (mk_real_int64 1540L); (mk_real_int64 952L); (mk_real_int64 224L); (mk_real_int64 421L); (mk_real_int64 500L); (mk_real_int64 104L); (mk_real_int64 1250L); (mk_real_int64 10L); (mk_real_int64 1581L); (mk_real_int64 1275L); (mk_real_int64 1841L); (mk_real_int64 889L); (mk_real_int64 776L); (mk_real_int64 1754L); (mk_real_int64 1120L); (mk_real_int64 602L); (mk_real_int64 261L); (mk_real_int64 1173L); (mk_real_int64 747L); (mk_real_int64 689L); (mk_real_int64 1936L); (mk_real_int64 1466L); (mk_real_int64 2871L); (mk_real_int64 55L); (mk_real_int64 1278L); (mk_real_int64 401L); ]);
("y2_def_neg", [5; 6; 8; 9; 11; 18; 22; 32; 33; 34; 36; 37; 40; 44; 45; 50; 51; 53; 55; 56; 57; 58; 60; 61; 62; 63; 64; 65; ], [(mk_real_int64 38L); (mk_real_int64 843L); (mk_real_int64 38L); (mk_real_int64 202L); (mk_real_int64 515L); (mk_real_int64 402L); (mk_real_int64 815L); (mk_real_int64 1102L); (mk_real_int64 104L); (mk_real_int64 11L); (mk_real_int64 10L); (mk_real_int64 1989L); (mk_real_int64 262L); (mk_real_int64 776L); (mk_real_int64 1991L); (mk_real_int64 2277L); (mk_real_int64 443L); (mk_real_int64 1173L); (mk_real_int64 747L); (mk_real_int64 83L); (mk_real_int64 358L); (mk_real_int64 1936L); (mk_real_int64 348L); (mk_real_int64 840L); (mk_real_int64 55L); (mk_real_int64 1278L); (mk_real_int64 42L); (mk_real_int64 401L); ]);
("y2_def", [4; 12; 20; 23; 25; 30; 38; 43; 46; 59; ], [(mk_real_int64 1179L); (mk_real_int64 239L); (mk_real_int64 934L); (mk_real_int64 136L); (mk_real_int64 255L); (mk_real_int64 88L); (mk_real_int64 787L); (mk_real_int64 539L); (mk_real_int64 679L); (mk_real_int64 1100L); ]);
("y3_def_neg", [5; 6; 8; 9; 11; 18; 22; 32; 33; 34; 36; 37; 40; 44; 45; 50; 51; 53; 55; 56; 57; 58; 60; 61; 62; 63; 64; 65; ], [(mk_real_int64 38L); (mk_real_int64 843L); (mk_real_int64 38L); (mk_real_int64 202L); (mk_real_int64 515L); (mk_real_int64 402L); (mk_real_int64 815L); (mk_real_int64 1102L); (mk_real_int64 104L); (mk_real_int64 11L); (mk_real_int64 10L); (mk_real_int64 1989L); (mk_real_int64 262L); (mk_real_int64 776L); (mk_real_int64 1991L); (mk_real_int64 2277L); (mk_real_int64 443L); (mk_real_int64 1173L); (mk_real_int64 747L); (mk_real_int64 83L); (mk_real_int64 358L); (mk_real_int64 1936L); (mk_real_int64 348L); (mk_real_int64 840L); (mk_real_int64 55L); (mk_real_int64 1278L); (mk_real_int64 42L); (mk_real_int64 401L); ]);
("y3_def", [4; 12; 20; 23; 25; 30; 38; 43; 46; 59; ], [(mk_real_int64 1179L); (mk_real_int64 239L); (mk_real_int64 934L); (mk_real_int64 136L); (mk_real_int64 255L); (mk_real_int64 88L); (mk_real_int64 787L); (mk_real_int64 539L); (mk_real_int64 679L); (mk_real_int64 1100L); ]);
("y4_def", [1; 4; 20; 21; 24; 38; 39; 44; 45; 48; 50; 52; 53; ], [(mk_real_int64 194L); (mk_real_int64 194L); (mk_real_int64 46L); (mk_real_int64 223L); (mk_real_int64 21L); (mk_real_int64 831L); (mk_real_int64 1073L); (mk_real_int64 260L); (mk_real_int64 1821L); (mk_real_int64 1770L); (mk_real_int64 117L); (mk_real_int64 216L); (mk_real_int64 857L); ]);
("y4_def_neg", [0; 2; 5; 7; 8; 10; 12; 14; 15; 17; 18; 22; 25; 26; 28; 31; 32; 33; 34; 41; 43; 46; 47; 49; 51; ], [(mk_real_int64 2220L); (mk_real_int64 1141L); (mk_real_int64 1991L); (mk_real_int64 358L); (mk_real_int64 440L); (mk_real_int64 757L); (mk_real_int64 1758L); (mk_real_int64 700L); (mk_real_int64 255L); (mk_real_int64 480L); (mk_real_int64 46L); (mk_real_int64 1213L); (mk_real_int64 832L); (mk_real_int64 1482L); (mk_real_int64 1718L); (mk_real_int64 1015L); (mk_real_int64 539L); (mk_real_int64 1064L); (mk_real_int64 1279L); (mk_real_int64 815L); (mk_real_int64 519L); (mk_real_int64 1344L); (mk_real_int64 2060L); (mk_real_int64 2697L); (mk_real_int64 887L); ]);
("y5_def_neg", [5; 6; 8; 11; 18; 22; 27; 30; 32; 37; 44; 45; 50; 53; 55; 57; 58; 60; 61; 63; 64; ], [(mk_real_int64 38L); (mk_real_int64 520L); (mk_real_int64 38L); (mk_real_int64 358L); (mk_real_int64 222L); (mk_real_int64 550L); (mk_real_int64 391L); (mk_real_int64 46L); (mk_real_int64 808L); (mk_real_int64 1411L); (mk_real_int64 539L); (mk_real_int64 1400L); (mk_real_int64 1545L); (mk_real_int64 815L); (mk_real_int64 519L); (mk_real_int64 358L); (mk_real_int64 1344L); (mk_real_int64 348L); (mk_real_int64 333L); (mk_real_int64 887L); (mk_real_int64 42L); ]);
("y5_def", [4; 9; 12; 20; 23; 25; 33; 34; 36; 38; 43; 46; 51; 56; 59; 62; 65; ], [(mk_real_int64 1179L); (mk_real_int64 79L); (mk_real_int64 358L); (mk_real_int64 934L); (mk_real_int64 136L); (mk_real_int64 255L); (mk_real_int64 223L); (mk_real_int64 135L); (mk_real_int64 21L); (mk_real_int64 787L); (mk_real_int64 539L); (mk_real_int64 679L); (mk_real_int64 815L); (mk_real_int64 1174L); (mk_real_int64 1241L); (mk_real_int64 117L); (mk_real_int64 857L); ]);
("y6_def_neg", [5; 6; 8; 11; 22; 30; 32; 37; 44; 45; 50; 53; 55; 58; 61; 63; ], [(mk_real_int64 38L); (mk_real_int64 520L); (mk_real_int64 38L); (mk_real_int64 358L); (mk_real_int64 550L); (mk_real_int64 46L); (mk_real_int64 808L); (mk_real_int64 1081L); (mk_real_int64 539L); (mk_real_int64 679L); (mk_real_int64 1545L); (mk_real_int64 815L); (mk_real_int64 185L); (mk_real_int64 1344L); (mk_real_int64 333L); (mk_real_int64 887L); ]);
("y6_def", [4; 7; 9; 10; 12; 17; 20; 23; 25; 33; 34; 36; 38; 39; 43; 46; 48; 49; 51; 56; 57; 59; 60; 62; 64; 65; ], [(mk_real_int64 1179L); (mk_real_int64 4807L); (mk_real_int64 79L); (mk_real_int64 756L); (mk_real_int64 358L); (mk_real_int64 222L); (mk_real_int64 1456L); (mk_real_int64 2789L); (mk_real_int64 255L); (mk_real_int64 718L); (mk_real_int64 135L); (mk_real_int64 2535L); (mk_real_int64 787L); (mk_real_int64 24L); (mk_real_int64 539L); (mk_real_int64 679L); (mk_real_int64 1848L); (mk_real_int64 1545L); (mk_real_int64 815L); (mk_real_int64 1174L); (mk_real_int64 2748L); (mk_real_int64 1241L); (mk_real_int64 677L); (mk_real_int64 117L); (mk_real_int64 30L); (mk_real_int64 3599L); ]);
("y8_def_neg", [10; ], [(mk_real_int64 391L); ]);
("RHA", [0; 2; 6; 7; 9; 10; 12; 17; 18; 20; 22; 23; 25; 30; 31; 33; 35; 36; 41; 42; 44; 45; 48; 58; 62; 63; ], [(mk_real_int64 1737L); (mk_real_int64 948L); (mk_real_int64 913L); (mk_real_int64 1505L); (mk_real_int64 1630L); (mk_real_int64 3604L); (mk_real_int64 188L); (mk_real_int64 3604L); (mk_real_int64 439L); (mk_real_int64 1037L); (mk_real_int64 1595L); (mk_real_int64 1365L); (mk_real_int64 1036L); (mk_real_int64 232L); (mk_real_int64 232L); (mk_real_int64 1517L); (mk_real_int64 1746L); (mk_real_int64 462L); (mk_real_int64 1637L); (mk_real_int64 1482L); (mk_real_int64 1019L); (mk_real_int64 1404L); (mk_real_int64 1404L); (mk_real_int64 229L); (mk_real_int64 1404L); (mk_real_int64 1404L); ]);
("RHB", [14; ], [(mk_real_int64 2656L); ]);
("tau4", [0; 1; ], [(mk_real_int64 1214L); (mk_real_int64 3463L); ]);
("ineq106", [0; 2; 5; 8; 10; 12; 14; 15; 17; 22; 26; 28; 31; 34; 44; 47; 49; ], [(mk_real_int64 1737L); (mk_real_int64 593L); (mk_real_int64 1974L); (mk_real_int64 760L); (mk_real_int64 509L); (mk_real_int64 2567L); (mk_real_int64 143L); (mk_real_int64 373L); (mk_real_int64 701L); (mk_real_int64 1285L); (mk_real_int64 2099L); (mk_real_int64 1637L); (mk_real_int64 1482L); (mk_real_int64 1867L); (mk_real_int64 229L); (mk_real_int64 1867L); (mk_real_int64 1867L); ]);
("ineq107", [1; 4; 20; 25; 33; 38; 39; 45; 48; 52; ], [(mk_real_int64 251L); (mk_real_int64 251L); (mk_real_int64 923L); (mk_real_int64 626L); (mk_real_int64 363L); (mk_real_int64 2568L); (mk_real_int64 279L); (mk_real_int64 2356L); (mk_real_int64 2289L); (mk_real_int64 279L); ]);
("ineq108", [0; 26; 44; 47; 49; ], [(mk_real_int64 1503L); (mk_real_int64 65L); (mk_real_int64 642L); (mk_real_int64 1280L); (mk_real_int64 387L); ]);
("ineq109", [8; 21; 24; 38; 39; 44; 47; 50; 53; ], [(mk_real_int64 251L); (mk_real_int64 690L); (mk_real_int64 65L); (mk_real_int64 363L); (mk_real_int64 2652L); (mk_real_int64 2652L); (mk_real_int64 297L); (mk_real_int64 363L); (mk_real_int64 2652L); ]);
("ineq110", [18; ], [(mk_real_int64 232L); ]);
("ineq111", [2; 5; 7; 10; 14; 20; 22; 25; 28; 32; 33; 38; 41; 43; 46; 49; 51; ], [(mk_real_int64 5881L); (mk_real_int64 5113L); (mk_real_int64 2861L); (mk_real_int64 3261L); (mk_real_int64 4814L); (mk_real_int64 5341L); (mk_real_int64 2661L); (mk_real_int64 10524L); (mk_real_int64 4767L); (mk_real_int64 4314L); (mk_real_int64 10756L); (mk_real_int64 10176L); (mk_real_int64 6519L); (mk_real_int64 4148L); (mk_real_int64 10756L); (mk_real_int64 9223L); (mk_real_int64 7099L); ]);
("ineq113", [27; 32; ], [(mk_real_int64 2032L); (mk_real_int64 2889L); ]);
("ineq114", [0; 2; 3; 5; 6; 9; 12; 14; 15; 17; 19; 21; 23; 29; 30; 37; 40; 43; 44; 49; 51; ], [(mk_real_int64 2782L); (mk_real_int64 355L); (mk_real_int64 1302L); (mk_real_int64 2604L); (mk_real_int64 6158L); (mk_real_int64 5757L); (mk_real_int64 1657L); (mk_real_int64 2547L); (mk_real_int64 2180L); (mk_real_int64 6838L); (mk_real_int64 5183L); (mk_real_int64 3526L); (mk_real_int64 3052L); (mk_real_int64 4187L); (mk_real_int64 3938L); (mk_real_int64 580L); (mk_real_int64 4237L); (mk_real_int64 4237L); (mk_real_int64 2371L); (mk_real_int64 1533L); (mk_real_int64 3657L); ]);
("ineq119", [3; 5; 11; ], [(mk_real_int64 553L); (mk_real_int64 7861L); (mk_real_int64 6472L); ]);
("ineq120", [0; 2; 7; 9; ], [(mk_real_int64 6578L); (mk_real_int64 673L); (mk_real_int64 1299L); (mk_real_int64 4284L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 39590L); (mk_real_int64 52766L); (mk_real_int64 39590L); (mk_real_int64 52926L); (mk_real_int64 52012L); (mk_real_int64 60260L); (mk_real_int64 60260L); (mk_real_int64 52926L); (mk_real_int64 52926L); (mk_real_int64 875412L); (mk_real_int64 60260L); (mk_real_int64 55630L); (mk_real_int64 52926L); (mk_real_int64 52926L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 2; 3; 4; 7; 9; 14; 16; 20; 25; 27; 29; 31; 33; 35; 41; 42; 44; 45; 48; 49; 50; 51; 52; 55; 56; 61; 62; 63; 64; ], [(mk_real_int64 5194L); (mk_real_int64 6629L); (mk_real_int64 4910L); (mk_real_int64 5320L); (mk_real_int64 520L); (mk_real_int64 1040L); (mk_real_int64 950L); (mk_real_int64 7327L); (mk_real_int64 2820L); (mk_real_int64 5880L); (mk_real_int64 2732L); (mk_real_int64 1840L); (mk_real_int64 5580L); (mk_real_int64 2760L); (mk_real_int64 5520L); (mk_real_int64 10620L); (mk_real_int64 1880L); (mk_real_int64 7490L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 800L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 3620L); (mk_real_int64 3620L); (mk_real_int64 2460L); (mk_real_int64 6580L); (mk_real_int64 10000L); (mk_real_int64 12820L); (mk_real_int64 10000L); ]);
("azim_lo", [6; 10; 17; 22; 23; 32; 36; 37; 39; 57; ], [(mk_real_int64 7700L); (mk_real_int64 920L); (mk_real_int64 1180L); (mk_real_int64 5780L); (mk_real_int64 3200L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 2880L); (mk_real_int64 10000L); ]);
("rhazim_lo", [0; 4; 7; 9; 10; 17; 20; 25; 40; 41; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rhazim_hi", [14; 36; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rho_hi", [3; 4; 5; 6; 7; 8; 10; 12; 13; ], [(mk_real_int64 10992L); (mk_real_int64 23968L); (mk_real_int64 28336L); (mk_real_int64 28336L); (mk_real_int64 10992L); (mk_real_int64 10992L); (mk_real_int64 28336L); (mk_real_int64 10992L); (mk_real_int64 10992L); ]);
("rho_lo", [0; 1; 2; 9; 11; ], [(mk_real_int64 31024L); (mk_real_int64 26288L); (mk_real_int64 31024L); (mk_real_int64 10480L); (mk_real_int64 12880L); ]);
("tau_hi", [2; 3; 12; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("y1_hi", [4; 5; 8; 9; 11; 12; 18; 23; 25; 30; 32; 34; 36; 38; 40; 51; 55; 56; 59; 62; 63; 65; ], [(mk_real_int64 5950L); (mk_real_int64 5000L); (mk_real_int64 5000L); (mk_real_int64 2600L); (mk_real_int64 200L); (mk_real_int64 990L); (mk_real_int64 6200L); (mk_real_int64 2000L); (mk_real_int64 4000L); (mk_real_int64 1600L); (mk_real_int64 1200L); (mk_real_int64 200L); (mk_real_int64 1850L); (mk_real_int64 3250L); (mk_real_int64 7400L); (mk_real_int64 480L); (mk_real_int64 3600L); (mk_real_int64 2780L); (mk_real_int64 1530L); (mk_real_int64 1870L); (mk_real_int64 1800L); (mk_real_int64 5480L); ]);
("y1_lo", [6; 20; 22; 33; 37; 43; 44; 45; 46; 50; 53; 58; 60; 61; 64; ], [(mk_real_int64 3800L); (mk_real_int64 2000L); (mk_real_int64 3200L); (mk_real_int64 1900L); (mk_real_int64 3200L); (mk_real_int64 2000L); (mk_real_int64 5200L); (mk_real_int64 5800L); (mk_real_int64 2000L); (mk_real_int64 4930L); (mk_real_int64 4200L); (mk_real_int64 800L); (mk_real_int64 5000L); (mk_real_int64 2850L); (mk_real_int64 5000L); ]);
("y2_hi", [4; 6; 11; 18; 20; 22; 25; 30; 32; 36; 38; 43; 46; 50; 51; 55; 59; 60; 61; 62; 63; 65; ], [(mk_real_int64 360L); (mk_real_int64 2127L); (mk_real_int64 200L); (mk_real_int64 2451L); (mk_real_int64 1313L); (mk_real_int64 5177L); (mk_real_int64 939L); (mk_real_int64 1600L); (mk_real_int64 3240L); (mk_real_int64 1850L); (mk_real_int64 4796L); (mk_real_int64 2998L); (mk_real_int64 4013L); (mk_real_int64 1710L); (mk_real_int64 1400L); (mk_real_int64 3600L); (mk_real_int64 3463L); (mk_real_int64 720L); (mk_real_int64 906L); (mk_real_int64 1870L); (mk_real_int64 1800L); (mk_real_int64 5480L); ]);
("y2_lo", [5; 8; 9; 12; 23; 33; 34; 37; 40; 44; 45; 53; 56; 57; 58; 64; ], [(mk_real_int64 1520L); (mk_real_int64 1520L); (mk_real_int64 14L); (mk_real_int64 3370L); (mk_real_int64 2653L); (mk_real_int64 1900L); (mk_real_int64 3685L); (mk_real_int64 4720L); (mk_real_int64 3557L); (mk_real_int64 5200L); (mk_real_int64 2560L); (mk_real_int64 4200L); (mk_real_int64 4951L); (mk_real_int64 1120L); (mk_real_int64 800L); (mk_real_int64 4080L); ]);
("y3_hi", [4; 6; 11; 18; 20; 22; 25; 30; 32; 36; 38; 43; 46; 50; 51; 55; 59; 60; 61; 62; 63; 65; ], [(mk_real_int64 360L); (mk_real_int64 2127L); (mk_real_int64 200L); (mk_real_int64 2451L); (mk_real_int64 1313L); (mk_real_int64 5177L); (mk_real_int64 939L); (mk_real_int64 1600L); (mk_real_int64 3240L); (mk_real_int64 1850L); (mk_real_int64 4796L); (mk_real_int64 2998L); (mk_real_int64 4013L); (mk_real_int64 1710L); (mk_real_int64 1400L); (mk_real_int64 3600L); (mk_real_int64 3463L); (mk_real_int64 720L); (mk_real_int64 906L); (mk_real_int64 1870L); (mk_real_int64 1800L); (mk_real_int64 5480L); ]);
("y3_lo", [5; 8; 9; 12; 23; 33; 34; 37; 40; 44; 45; 53; 56; 57; 58; 64; ], [(mk_real_int64 1520L); (mk_real_int64 1520L); (mk_real_int64 14L); (mk_real_int64 3370L); (mk_real_int64 2653L); (mk_real_int64 1900L); (mk_real_int64 3685L); (mk_real_int64 4720L); (mk_real_int64 3557L); (mk_real_int64 5200L); (mk_real_int64 2560L); (mk_real_int64 4200L); (mk_real_int64 4951L); (mk_real_int64 1120L); (mk_real_int64 800L); (mk_real_int64 4080L); ]);
("y4_hi", [0; 1; 4; 7; 8; 10; 14; 18; 21; 22; 24; 25; 28; 33; 34; 41; 43; 44; 45; 47; 49; 50; 53; ], [(mk_real_int64 6000L); (mk_real_int64 230L); (mk_real_int64 230L); (mk_real_int64 3750L); (mk_real_int64 5232L); (mk_real_int64 7100L); (mk_real_int64 2950L); (mk_real_int64 5280L); (mk_real_int64 80L); (mk_real_int64 1500L); (mk_real_int64 80L); (mk_real_int64 3980L); (mk_real_int64 7800L); (mk_real_int64 990L); (mk_real_int64 1050L); (mk_real_int64 1250L); (mk_real_int64 5000L); (mk_real_int64 4914L); (mk_real_int64 1880L); (mk_real_int64 2954L); (mk_real_int64 1350L); (mk_real_int64 3216L); (mk_real_int64 1264L); ]);
("y4_lo", [2; 5; 12; 15; 17; 20; 26; 31; 32; 38; 39; 46; 48; 51; 52; ], [(mk_real_int64 3300L); (mk_real_int64 3150L); (mk_real_int64 3950L); (mk_real_int64 5050L); (mk_real_int64 1850L); (mk_real_int64 1460L); (mk_real_int64 3400L); (mk_real_int64 1700L); (mk_real_int64 2500L); (mk_real_int64 6144L); (mk_real_int64 2066L); (mk_real_int64 5000L); (mk_real_int64 6030L); (mk_real_int64 3750L); (mk_real_int64 3330L); ]);
("y5_hi", [4; 6; 9; 11; 20; 22; 25; 30; 32; 33; 36; 37; 38; 43; 45; 46; 53; 55; 56; 59; 60; 61; 62; 65; ], [(mk_real_int64 360L); (mk_real_int64 6677L); (mk_real_int64 2136L); (mk_real_int64 3750L); (mk_real_int64 1313L); (mk_real_int64 2877L); (mk_real_int64 939L); (mk_real_int64 5280L); (mk_real_int64 790L); (mk_real_int64 80L); (mk_real_int64 80L); (mk_real_int64 3480L); (mk_real_int64 4796L); (mk_real_int64 2998L); (mk_real_int64 3240L); (mk_real_int64 4013L); (mk_real_int64 1250L); (mk_real_int64 5000L); (mk_real_int64 833L); (mk_real_int64 1837L); (mk_real_int64 720L); (mk_real_int64 3556L); (mk_real_int64 3216L); (mk_real_int64 1264L); ]);
("y5_lo", [5; 8; 12; 18; 23; 34; 40; 44; 50; 51; 57; 58; 63; 64; ], [(mk_real_int64 1520L); (mk_real_int64 1520L); (mk_real_int64 3128L); (mk_real_int64 3999L); (mk_real_int64 2653L); (mk_real_int64 135L); (mk_real_int64 1707L); (mk_real_int64 2500L); (mk_real_int64 144L); (mk_real_int64 2816L); (mk_real_int64 1120L); (mk_real_int64 5000L); (mk_real_int64 3750L); (mk_real_int64 4080L); ]);
("y6_hi", [4; 6; 9; 11; 20; 22; 25; 30; 32; 33; 36; 38; 43; 46; 53; 55; 56; 59; 60; 61; 62; 64; 65; ], [(mk_real_int64 360L); (mk_real_int64 6677L); (mk_real_int64 2136L); (mk_real_int64 3750L); (mk_real_int64 1313L); (mk_real_int64 2877L); (mk_real_int64 939L); (mk_real_int64 5280L); (mk_real_int64 790L); (mk_real_int64 80L); (mk_real_int64 80L); (mk_real_int64 4796L); (mk_real_int64 2998L); (mk_real_int64 4013L); (mk_real_int64 1250L); (mk_real_int64 5000L); (mk_real_int64 833L); (mk_real_int64 1837L); (mk_real_int64 720L); (mk_real_int64 3556L); (mk_real_int64 3216L); (mk_real_int64 5920L); (mk_real_int64 1264L); ]);
("y6_lo", [5; 7; 8; 10; 12; 17; 18; 20; 23; 33; 34; 36; 37; 39; 40; 44; 45; 48; 49; 50; 51; 55; 57; 58; 60; 63; 64; 65; ], [(mk_real_int64 1520L); (mk_real_int64 48070000L); (mk_real_int64 1520L); (mk_real_int64 7560000L); (mk_real_int64 3128L); (mk_real_int64 2220000L); (mk_real_int64 2223999L); (mk_real_int64 5220000L); (mk_real_int64 26532653L); (mk_real_int64 4950000L); (mk_real_int64 135L); (mk_real_int64 25140000L); (mk_real_int64 3296520L); (mk_real_int64 240000L); (mk_real_int64 1707L); (mk_real_int64 2500L); (mk_real_int64 7206760L); (mk_real_int64 18480000L); (mk_real_int64 15450000L); (mk_real_int64 144L); (mk_real_int64 2816L); (mk_real_int64 3340000L); (mk_real_int64 31061120L); (mk_real_int64 5000L); (mk_real_int64 10250000L); (mk_real_int64 3750L); (mk_real_int64 730000L); (mk_real_int64 27420000L); ]);
("y8_hi", [10; ], [(mk_real_int64 3910000L); ]);
("ye_lo", [5; 10; 20; 31; 32; 46; 47; 50; 54; 55; 56; 62; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 16180000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("ye_hi", [7; 23; 48; 63; 65; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("yn_lo", [0; 1; 2; 3; 4; 5; 6; 7; 10; 11; ], [(mk_real_int64 16110L); (mk_real_int64 541L); (mk_real_int64 16110L); (mk_real_int64 9571L); (mk_real_int64 2707L); (mk_real_int64 12173L); (mk_real_int64 2173L); (mk_real_int64 9571L); (mk_real_int64 2173L); (mk_real_int64 9983L); ]);
("yn_hi", [8; 9; 12; 13; ], [(mk_real_int64 429L); (mk_real_int64 2814L); (mk_real_int64 429L); (mk_real_int64 429L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;