needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "69964410750 19 4 0 1 2 3 4 0 3 4 5 3 4 3 6 3 6 3 2 3 6 2 7 3 7 2 1 3 7 1 8 3 8 1 9 3 9 1 0 3 9 0 10 3 10 0 5 3 10 5 11 3 11 5 4 3 11 4 12 3 12 4 6 3 12 6 7 4 11 12 7 8 3 10 11 8 3 8 9 10 ";;
let precision = 4;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [3; 5; 8; ], [(mk_real_int64 728L); (mk_real_int64 904L); (mk_real_int64 1007L); ]);
("azim_sum_neg", [0; 1; 4; 6; 7; 11; 12; ], [(mk_real_int64 319L); (mk_real_int64 2680L); (mk_real_int64 1207L); (mk_real_int64 2513L); (mk_real_int64 2053L); (mk_real_int64 2187L); (mk_real_int64 781L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 9427L); (mk_real_int64 9108L); (mk_real_int64 9108L); (mk_real_int64 9108L); (mk_real_int64 9108L); (mk_real_int64 9987L); (mk_real_int64 10062L); (mk_real_int64 10133L); (mk_real_int64 10300L); (mk_real_int64 10133L); (mk_real_int64 10133L); (mk_real_int64 6683L); (mk_real_int64 7602L); ]);
("sol_sum3_neg", [0; 4; 6; 8; 10; 14; ], [(mk_real_int64 632L); (mk_real_int64 485L); (mk_real_int64 109L); (mk_real_int64 2005L); (mk_real_int64 988L); (mk_real_int64 3891L); ]);
("sol_sum3", [1; 3; 11; 12; ], [(mk_real_int64 2124L); (mk_real_int64 597L); (mk_real_int64 28L); (mk_real_int64 2053L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 8476L); (mk_real_int64 9108L); (mk_real_int64 7549L); (mk_real_int64 9108L); (mk_real_int64 8623L); (mk_real_int64 6683L); (mk_real_int64 6683L); (mk_real_int64 6683L); (mk_real_int64 4816L); (mk_real_int64 7602L); (mk_real_int64 9108L); (mk_real_int64 9987L); (mk_real_int64 9987L); (mk_real_int64 7549L); (mk_real_int64 5108L); (mk_real_int64 6683L); ]);
("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 9108L); (mk_real_int64 9108L); (mk_real_int64 10133L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; ], [(mk_real_int64 394L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 1011L); (mk_real_int64 1094L); (mk_real_int64 1172L); (mk_real_int64 1356L); (mk_real_int64 1172L); (mk_real_int64 1172L); ]);
("ln_def", [11; 12; ], [(mk_real_int64 2632L); (mk_real_int64 1618L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 59232L); (mk_real_int64 57228L); (mk_real_int64 57228L); (mk_real_int64 57228L); (mk_real_int64 57228L); (mk_real_int64 62748L); (mk_real_int64 63224L); (mk_real_int64 63665L); (mk_real_int64 64717L); (mk_real_int64 63665L); (mk_real_int64 63665L); (mk_real_int64 41990L); (mk_real_int64 47768L); ]);
("edge_sym_neg", [0; 9; 15; 21; 24; 31; 37; 42; 53; 56; ], [(mk_real_int64 2182L); (mk_real_int64 515L); (mk_real_int64 110L); (mk_real_int64 2306L); (mk_real_int64 1491L); (mk_real_int64 223L); (mk_real_int64 353L); (mk_real_int64 356L); (mk_real_int64 673L); (mk_real_int64 1740L); ]);
("edge_sym", [10; 16; 19; 25; 28; 30; 34; 36; ], [(mk_real_int64 153L); (mk_real_int64 557L); (mk_real_int64 1075L); (mk_real_int64 283L); (mk_real_int64 223L); (mk_real_int64 1133L); (mk_real_int64 2693L); (mk_real_int64 683L); ]);
("y1_def", [9; 15; 18; 25; 26; 27; 29; 33; 35; 39; 54; 55; 58; ], [(mk_real_int64 240L); (mk_real_int64 360L); (mk_real_int64 581L); (mk_real_int64 1094L); (mk_real_int64 1148L); (mk_real_int64 42L); (mk_real_int64 733L); (mk_real_int64 762L); (mk_real_int64 391L); (mk_real_int64 376L); (mk_real_int64 662L); (mk_real_int64 798L); (mk_real_int64 628L); ]);
("y1_def_neg", [8; 10; 12; 13; 17; 19; 20; 22; 23; 28; 34; 36; 37; 40; 43; 44; 46; 47; 48; 57; ], [(mk_real_int64 393L); (mk_real_int64 88L); (mk_real_int64 867L); (mk_real_int64 42L); (mk_real_int64 24L); (mk_real_int64 90L); (mk_real_int64 944L); (mk_real_int64 2167L); (mk_real_int64 1015L); (mk_real_int64 706L); (mk_real_int64 648L); (mk_real_int64 179L); (mk_real_int64 2887L); (mk_real_int64 453L); (mk_real_int64 253L); (mk_real_int64 1035L); (mk_real_int64 117L); (mk_real_int64 319L); (mk_real_int64 278L); (mk_real_int64 615L); ]);
("y2_def", [8; 9; 10; 20; 23; 27; 28; 33; 34; 36; 39; 40; 47; 55; 57; ], [(mk_real_int64 221L); (mk_real_int64 240L); (mk_real_int64 53L); (mk_real_int64 985L); (mk_real_int64 615L); (mk_real_int64 42L); (mk_real_int64 428L); (mk_real_int64 762L); (mk_real_int64 393L); (mk_real_int64 109L); (mk_real_int64 376L); (mk_real_int64 175L); (mk_real_int64 193L); (mk_real_int64 1891L); (mk_real_int64 373L); ]);
("y2_def_neg", [12; 13; 15; 17; 18; 19; 22; 25; 26; 29; 35; 37; 43; 44; 46; 48; 54; 58; ], [(mk_real_int64 867L); (mk_real_int64 405L); (mk_real_int64 110L); (mk_real_int64 24L); (mk_real_int64 177L); (mk_real_int64 90L); (mk_real_int64 1179L); (mk_real_int64 332L); (mk_real_int64 349L); (mk_real_int64 223L); (mk_real_int64 119L); (mk_real_int64 448L); (mk_real_int64 504L); (mk_real_int64 894L); (mk_real_int64 368L); (mk_real_int64 278L); (mk_real_int64 201L); (mk_real_int64 799L); ]);
("y3_def", [8; 9; 10; 20; 23; 27; 28; 33; 34; 36; 39; 40; 47; 55; 57; ], [(mk_real_int64 221L); (mk_real_int64 240L); (mk_real_int64 53L); (mk_real_int64 985L); (mk_real_int64 615L); (mk_real_int64 42L); (mk_real_int64 428L); (mk_real_int64 762L); (mk_real_int64 393L); (mk_real_int64 109L); (mk_real_int64 376L); (mk_real_int64 175L); (mk_real_int64 193L); (mk_real_int64 1891L); (mk_real_int64 373L); ]);
("y3_def_neg", [12; 13; 15; 17; 18; 19; 22; 25; 26; 29; 35; 37; 43; 44; 46; 48; 54; 58; ], [(mk_real_int64 867L); (mk_real_int64 405L); (mk_real_int64 110L); (mk_real_int64 24L); (mk_real_int64 177L); (mk_real_int64 90L); (mk_real_int64 1179L); (mk_real_int64 332L); (mk_real_int64 349L); (mk_real_int64 223L); (mk_real_int64 119L); (mk_real_int64 448L); (mk_real_int64 504L); (mk_real_int64 894L); (mk_real_int64 368L); (mk_real_int64 278L); (mk_real_int64 201L); (mk_real_int64 799L); ]);
("y4_def_neg", [0; 1; 2; 4; 9; 12; 14; 15; 19; 20; 25; 26; 28; 29; 31; 32; 36; 39; 40; 43; 45; ], [(mk_real_int64 444L); (mk_real_int64 124L); (mk_real_int64 100L); (mk_real_int64 602L); (mk_real_int64 16L); (mk_real_int64 1601L); (mk_real_int64 1780L); (mk_real_int64 1159L); (mk_real_int64 21L); (mk_real_int64 806L); (mk_real_int64 393L); (mk_real_int64 740L); (mk_real_int64 205L); (mk_real_int64 2683L); (mk_real_int64 194L); (mk_real_int64 489L); (mk_real_int64 758L); (mk_real_int64 364L); (mk_real_int64 193L); (mk_real_int64 1539L); (mk_real_int64 703L); ]);
("y4_def", [5; 7; 10; 11; 17; 18; 21; 27; 38; 42; 46; ], [(mk_real_int64 1117L); (mk_real_int64 557L); (mk_real_int64 898L); (mk_real_int64 193L); (mk_real_int64 1691L); (mk_real_int64 1775L); (mk_real_int64 1133L); (mk_real_int64 604L); (mk_real_int64 961L); (mk_real_int64 1023L); (mk_real_int64 1367L); ]);
("y5_def_neg", [1; 9; 12; 15; 17; 18; 22; 25; 26; 27; 29; 33; 35; 37; 39; 43; 44; 48; 50; 54; 55; 58; ], [(mk_real_int64 2182L); (mk_real_int64 124L); (mk_real_int64 602L); (mk_real_int64 110L); (mk_real_int64 16L); (mk_real_int64 177L); (mk_real_int64 705L); (mk_real_int64 332L); (mk_real_int64 349L); (mk_real_int64 21L); (mk_real_int64 223L); (mk_real_int64 393L); (mk_real_int64 119L); (mk_real_int64 30L); (mk_real_int64 194L); (mk_real_int64 356L); (mk_real_int64 605L); (mk_real_int64 193L); (mk_real_int64 673L); (mk_real_int64 201L); (mk_real_int64 350L); (mk_real_int64 656L); ]);
("y5_def", [8; 10; 13; 19; 20; 23; 28; 34; 36; 40; 46; 47; 57; ], [(mk_real_int64 224L); (mk_real_int64 53L); (mk_real_int64 602L); (mk_real_int64 193L); (mk_real_int64 705L); (mk_real_int64 615L); (mk_real_int64 428L); (mk_real_int64 393L); (mk_real_int64 109L); (mk_real_int64 194L); (mk_real_int64 605L); (mk_real_int64 193L); (mk_real_int64 373L); ]);
("y6_def_neg", [9; 12; 15; 18; 22; 25; 27; 29; 33; 35; 37; 39; 44; 48; 55; ], [(mk_real_int64 124L); (mk_real_int64 602L); (mk_real_int64 110L); (mk_real_int64 177L); (mk_real_int64 705L); (mk_real_int64 332L); (mk_real_int64 21L); (mk_real_int64 223L); (mk_real_int64 393L); (mk_real_int64 119L); (mk_real_int64 30L); (mk_real_int64 194L); (mk_real_int64 605L); (mk_real_int64 193L); (mk_real_int64 350L); ]);
("y6_def", [8; 10; 13; 14; 17; 19; 20; 23; 26; 28; 34; 36; 40; 46; 47; 54; 57; 58; ], [(mk_real_int64 224L); (mk_real_int64 53L); (mk_real_int64 602L); (mk_real_int64 110L); (mk_real_int64 93L); (mk_real_int64 193L); (mk_real_int64 705L); (mk_real_int64 615L); (mk_real_int64 2318L); (mk_real_int64 428L); (mk_real_int64 393L); (mk_real_int64 109L); (mk_real_int64 194L); (mk_real_int64 605L); (mk_real_int64 193L); (mk_real_int64 703L); (mk_real_int64 373L); (mk_real_int64 925L); ]);
("y8_def_neg", [2; 9; ], [(mk_real_int64 2182L); (mk_real_int64 673L); ]);
("RHA", [3; 5; 6; 8; 9; 10; 11; 12; 14; 15; 16; 17; 21; 22; 23; 24; 27; 28; 30; 31; 32; 33; 34; 36; 38; 40; 41; 43; 46; 47; 48; 49; 52; 54; 55; 56; 57; 59; ], [(mk_real_int64 319L); (mk_real_int64 319L); (mk_real_int64 879L); (mk_real_int64 874L); (mk_real_int64 951L); (mk_real_int64 1441L); (mk_real_int64 954L); (mk_real_int64 319L); (mk_real_int64 2513L); (mk_real_int64 1559L); (mk_real_int64 2751L); (mk_real_int64 1192L); (mk_real_int64 485L); (mk_real_int64 485L); (mk_real_int64 1758L); (mk_real_int64 2425L); (mk_real_int64 2425L); (mk_real_int64 1249L); (mk_real_int64 2425L); (mk_real_int64 919L); (mk_real_int64 2786L); (mk_real_int64 4292L); (mk_real_int64 3212L); (mk_real_int64 1207L); (mk_real_int64 1024L); (mk_real_int64 227L); (mk_real_int64 146L); (mk_real_int64 146L); (mk_real_int64 76L); (mk_real_int64 2053L); (mk_real_int64 2513L); (mk_real_int64 2751L); (mk_real_int64 167L); (mk_real_int64 2494L); (mk_real_int64 3891L); (mk_real_int64 5024L); (mk_real_int64 2424L); (mk_real_int64 919L); ]);
("tau4", [0; 1; 2; ], [(mk_real_int64 2230L); (mk_real_int64 3128L); (mk_real_int64 4051L); ]);
("ineq106", [0; 2; 12; 14; 15; 20; 26; 28; 29; 32; 36; 39; 43; 45; ], [(mk_real_int64 637L); (mk_real_int64 146L); (mk_real_int64 1677L); (mk_real_int64 1024L); (mk_real_int64 1691L); (mk_real_int64 1177L); (mk_real_int64 1080L); (mk_real_int64 299L); (mk_real_int64 2530L); (mk_real_int64 651L); (mk_real_int64 146L); (mk_real_int64 531L); (mk_real_int64 1134L); (mk_real_int64 1026L); ]);
("ineq107", [5; 7; 10; 17; 18; 21; 27; 35; 38; 42; 46; ], [(mk_real_int64 557L); (mk_real_int64 721L); (mk_real_int64 1162L); (mk_real_int64 2187L); (mk_real_int64 2297L); (mk_real_int64 1465L); (mk_real_int64 781L); (mk_real_int64 385L); (mk_real_int64 385L); (mk_real_int64 1324L); (mk_real_int64 2187L); ]);
("ineq108", [12; ], [(mk_real_int64 522L); ]);
("ineq109", [5; 11; 35; 38; ], [(mk_real_int64 2124L); (mk_real_int64 597L); (mk_real_int64 28L); (mk_real_int64 2053L); ]);
("ineq110", [1; 12; 19; 25; 31; 43; ], [(mk_real_int64 632L); (mk_real_int64 485L); (mk_real_int64 109L); (mk_real_int64 2005L); (mk_real_int64 988L); (mk_real_int64 3891L); ]);
("ineq111", [0; 4; 9; 14; 29; 32; 35; 36; 40; 46; ], [(mk_real_int64 62L); (mk_real_int64 4814L); (mk_real_int64 131L); (mk_real_int64 8623L); (mk_real_int64 7602L); (mk_real_int64 346L); (mk_real_int64 2454L); (mk_real_int64 5264L); (mk_real_int64 1546L); (mk_real_int64 2590L); ]);
("ineq112", [21; ], [(mk_real_int64 1424L); ]);
("ineq113", [2; 7; 10; 31; 35; 42; ], [(mk_real_int64 6583L); (mk_real_int64 1546L); (mk_real_int64 3558L); (mk_real_int64 8476L); (mk_real_int64 5767L); (mk_real_int64 3297L); ]);
("ineq114", [0; 3; 4; 8; 9; 11; 15; 16; 19; 20; 22; 23; 25; 30; 32; 33; 34; 37; 41; 44; 45; 47; ], [(mk_real_int64 1830L); (mk_real_int64 902L); (mk_real_int64 3392L); (mk_real_int64 6003L); (mk_real_int64 4466L); (mk_real_int64 954L); (mk_real_int64 2809L); (mk_real_int64 3874L); (mk_real_int64 3700L); (mk_real_int64 2983L); (mk_real_int64 5037L); (mk_real_int64 221L); (mk_real_int64 4816L); (mk_real_int64 58L); (mk_real_int64 229L); (mk_real_int64 278L); (mk_real_int64 1489L); (mk_real_int64 4723L); (mk_real_int64 6003L); (mk_real_int64 1811L); (mk_real_int64 3872L); (mk_real_int64 221L); ]);
("ineq119", [2; 7; 9; ], [(mk_real_int64 5916L); (mk_real_int64 2664L); (mk_real_int64 4531L); ]);
("ineq120", [0; 4; 6; 10; ], [(mk_real_int64 962L); (mk_real_int64 962L); (mk_real_int64 2354L); (mk_real_int64 1551L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 47072L); (mk_real_int64 42088L); (mk_real_int64 42088L); (mk_real_int64 42088L); (mk_real_int64 42088L); (mk_real_int64 50008L); (mk_real_int64 45104L); (mk_real_int64 51590L); (mk_real_int64 46382L); (mk_real_int64 51590L); (mk_real_int64 51590L); (mk_real_int64 29540L); (mk_real_int64 34928L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 2; 4; 7; 19; 23; 24; 27; 29; 30; 31; 38; 40; 41; 42; 43; 51; 52; 54; 56; 59; ], [(mk_real_int64 5226L); (mk_real_int64 520L); (mk_real_int64 5226L); (mk_real_int64 2080L); (mk_real_int64 2040L); (mk_real_int64 4340L); (mk_real_int64 1240L); (mk_real_int64 2000L); (mk_real_int64 320L); (mk_real_int64 1620L); (mk_real_int64 3460L); (mk_real_int64 3080L); (mk_real_int64 3540L); (mk_real_int64 280L); (mk_real_int64 1140L); (mk_real_int64 3470L); (mk_real_int64 4570L); (mk_real_int64 5723L); (mk_real_int64 770L); (mk_real_int64 6860L); (mk_real_int64 3460L); ]);
("azim_lo", [6; 8; 10; 11; 12; 13; 15; 16; 17; 18; 26; 28; 33; 39; 45; 46; 49; 57; ], [(mk_real_int64 3158L); (mk_real_int64 4200L); (mk_real_int64 9970L); (mk_real_int64 3480L); (mk_real_int64 6080L); (mk_real_int64 10000L); (mk_real_int64 4140L); (mk_real_int64 1220L); (mk_real_int64 2840L); (mk_real_int64 5220L); (mk_real_int64 10000L); (mk_real_int64 6420L); (mk_real_int64 1840L); (mk_real_int64 2840L); (mk_real_int64 4020L); (mk_real_int64 10000L); (mk_real_int64 1220L); (mk_real_int64 1280L); ]);
("rhazim_hi", [10; 28; 46; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rhazim_lo", [22; 23; 37; 38; 40; 56; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rho_lo", [0; 1; 2; 3; 4; 6; 8; 12; ], [(mk_real_int64 2736L); (mk_real_int64 6144L); (mk_real_int64 6144L); (mk_real_int64 6144L); (mk_real_int64 6144L); (mk_real_int64 24416L); (mk_real_int64 400L); (mk_real_int64 31136L); ]);
("rho_hi", [5; 7; 9; 10; 11; ], [(mk_real_int64 23184L); (mk_real_int64 26656L); (mk_real_int64 26656L); (mk_real_int64 26656L); (mk_real_int64 6256L); ]);
("tau_hi", [5; 12; 13; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("tau_lo", [2; 9; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("y1_lo", [8; 13; 19; 20; 25; 27; 28; 29; 33; 35; 36; 39; 43; 44; 46; 48; 57; 58; ], [(mk_real_int64 3600L); (mk_real_int64 2240L); (mk_real_int64 1470L); (mk_real_int64 5700L); (mk_real_int64 5000L); (mk_real_int64 5800L); (mk_real_int64 2000L); (mk_real_int64 5000L); (mk_real_int64 1000L); (mk_real_int64 5000L); (mk_real_int64 4000L); (mk_real_int64 5600L); (mk_real_int64 4480L); (mk_real_int64 1200L); (mk_real_int64 5030L); (mk_real_int64 2800L); (mk_real_int64 6000L); (mk_real_int64 7000L); ]);
("y1_hi", [9; 10; 12; 15; 17; 22; 23; 26; 37; 40; 47; 55; ], [(mk_real_int64 1600L); (mk_real_int64 4000L); (mk_real_int64 4800L); (mk_real_int64 5000L); (mk_real_int64 4200L); (mk_real_int64 4600L); (mk_real_int64 4000L); (mk_real_int64 5000L); (mk_real_int64 6400L); (mk_real_int64 1200L); (mk_real_int64 4000L); (mk_real_int64 1800L); ]);
("y2_lo", [8; 13; 19; 20; 22; 25; 26; 27; 33; 36; 39; 40; 43; 44; 46; 48; 54; ], [(mk_real_int64 3557L); (mk_real_int64 3880L); (mk_real_int64 1470L); (mk_real_int64 4839L); (mk_real_int64 5064L); (mk_real_int64 4240L); (mk_real_int64 1440L); (mk_real_int64 5800L); (mk_real_int64 1000L); (mk_real_int64 1939L); (mk_real_int64 5600L); (mk_real_int64 3811L); (mk_real_int64 4680L); (mk_real_int64 3906L); (mk_real_int64 5230L); (mk_real_int64 2800L); (mk_real_int64 2480L); ]);
("y2_hi", [9; 10; 12; 15; 17; 18; 23; 28; 29; 34; 35; 37; 47; 55; 57; 58; ], [(mk_real_int64 1600L); (mk_real_int64 1294L); (mk_real_int64 4800L); (mk_real_int64 4080L); (mk_real_int64 4200L); (mk_real_int64 3760L); (mk_real_int64 3549L); (mk_real_int64 3103L); (mk_real_int64 3200L); (mk_real_int64 120L); (mk_real_int64 2880L); (mk_real_int64 3070L); (mk_real_int64 2309L); (mk_real_int64 2426L); (mk_real_int64 3614L); (mk_real_int64 3760L); ]);
("y3_lo", [8; 13; 19; 20; 22; 25; 26; 27; 33; 36; 39; 40; 43; 44; 46; 48; 54; ], [(mk_real_int64 3557L); (mk_real_int64 3880L); (mk_real_int64 1470L); (mk_real_int64 4839L); (mk_real_int64 5064L); (mk_real_int64 4240L); (mk_real_int64 1440L); (mk_real_int64 5800L); (mk_real_int64 1000L); (mk_real_int64 1939L); (mk_real_int64 5600L); (mk_real_int64 3811L); (mk_real_int64 4680L); (mk_real_int64 3906L); (mk_real_int64 5230L); (mk_real_int64 2800L); (mk_real_int64 2480L); ]);
("y3_hi", [9; 10; 12; 15; 17; 18; 23; 28; 29; 34; 35; 37; 47; 55; 57; 58; ], [(mk_real_int64 1600L); (mk_real_int64 1294L); (mk_real_int64 4800L); (mk_real_int64 4080L); (mk_real_int64 4200L); (mk_real_int64 3760L); (mk_real_int64 3549L); (mk_real_int64 3103L); (mk_real_int64 3200L); (mk_real_int64 120L); (mk_real_int64 2880L); (mk_real_int64 3070L); (mk_real_int64 2309L); (mk_real_int64 2426L); (mk_real_int64 3614L); (mk_real_int64 3760L); ]);
("y4_hi", [1; 4; 5; 7; 10; 14; 15; 18; 25; 26; 28; 31; 38; 39; 42; 45; ], [(mk_real_int64 1280L); (mk_real_int64 2500L); (mk_real_int64 378L); (mk_real_int64 3330L); (mk_real_int64 2260L); (mk_real_int64 6850L); (mk_real_int64 6650L); (mk_real_int64 5810L); (mk_real_int64 200L); (mk_real_int64 2000L); (mk_real_int64 1850L); (mk_real_int64 3520L); (mk_real_int64 1346L); (mk_real_int64 2650L); (mk_real_int64 4520L); (mk_real_int64 1900L); ]);
("y4_lo", [0; 2; 9; 11; 12; 17; 19; 20; 21; 27; 29; 32; 35; 36; 40; 43; 46; ], [(mk_real_int64 950L); (mk_real_int64 100L); (mk_real_int64 3750L); (mk_real_int64 496L); (mk_real_int64 3750L); (mk_real_int64 4490L); (mk_real_int64 3640L); (mk_real_int64 2450L); (mk_real_int64 5550L); (mk_real_int64 2870L); (mk_real_int64 3000L); (mk_real_int64 1850L); (mk_real_int64 954L); (mk_real_int64 100L); (mk_real_int64 2500L); (mk_real_int64 4260L); (mk_real_int64 1990L); ]);
("y5_hi", [8; 9; 10; 12; 15; 18; 20; 23; 28; 29; 33; 34; 35; 37; 39; 44; 46; 47; 55; 57; ], [(mk_real_int64 543L); (mk_real_int64 1280L); (mk_real_int64 1294L); (mk_real_int64 2500L); (mk_real_int64 4080L); (mk_real_int64 3760L); (mk_real_int64 1561L); (mk_real_int64 3549L); (mk_real_int64 3103L); (mk_real_int64 3200L); (mk_real_int64 200L); (mk_real_int64 120L); (mk_real_int64 2880L); (mk_real_int64 4170L); (mk_real_int64 3520L); (mk_real_int64 1294L); (mk_real_int64 96L); (mk_real_int64 2309L); (mk_real_int64 266L); (mk_real_int64 3614L); ]);
("y5_lo", [13; 17; 19; 22; 25; 26; 27; 36; 40; 43; 48; 54; 58; ], [(mk_real_int64 1872L); (mk_real_int64 3750L); (mk_real_int64 496L); (mk_real_int64 2414L); (mk_real_int64 4240L); (mk_real_int64 1440L); (mk_real_int64 3640L); (mk_real_int64 1939L); (mk_real_int64 3511L); (mk_real_int64 2204L); (mk_real_int64 2500L); (mk_real_int64 2480L); (mk_real_int64 1740L); ]);
("y6_hi", [8; 9; 10; 12; 15; 17; 18; 20; 23; 26; 28; 29; 33; 34; 35; 37; 39; 44; 46; 47; 55; 57; 58; ], [(mk_real_int64 543L); (mk_real_int64 1280L); (mk_real_int64 1294L); (mk_real_int64 2500L); (mk_real_int64 4080L); (mk_real_int64 6250L); (mk_real_int64 3760L); (mk_real_int64 1561L); (mk_real_int64 3549L); (mk_real_int64 8560L); (mk_real_int64 3103L); (mk_real_int64 3200L); (mk_real_int64 200L); (mk_real_int64 120L); (mk_real_int64 2880L); (mk_real_int64 4170L); (mk_real_int64 3520L); (mk_real_int64 1294L); (mk_real_int64 96L); (mk_real_int64 2309L); (mk_real_int64 266L); (mk_real_int64 3614L); (mk_real_int64 8260L); ]);
("y6_lo", [13; 14; 17; 19; 22; 25; 26; 27; 36; 40; 43; 48; 54; 58; ], [(mk_real_int64 1872L); (mk_real_int64 1100000L); (mk_real_int64 1100000L); (mk_real_int64 496L); (mk_real_int64 2414L); (mk_real_int64 4240L); (mk_real_int64 26680000L); (mk_real_int64 3640L); (mk_real_int64 1939L); (mk_real_int64 3511L); (mk_real_int64 3562204L); (mk_real_int64 2500L); (mk_real_int64 9042480L); (mk_real_int64 15820000L); ]);
("y8_hi", [2; 9; ], [(mk_real_int64 21820000L); (mk_real_int64 6730000L); ]);
("ye_lo", [17; 28; 34; 37; 58; ], [(mk_real_int64 10000L); (mk_real_int64 1650000L); (mk_real_int64 26930000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("yn_lo", [0; 1; 2; 3; 4; 6; 8; 11; 12; ], [(mk_real_int64 2986L); (mk_real_int64 12298L); (mk_real_int64 2298L); (mk_real_int64 2298L); (mk_real_int64 2298L); (mk_real_int64 11286L); (mk_real_int64 12764L); (mk_real_int64 3360L); (mk_real_int64 4140L); ]);
("yn_hi", [5; 7; 9; 10; ], [(mk_real_int64 12541L); (mk_real_int64 8732L); (mk_real_int64 8732L); (mk_real_int64 8732L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;