needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "945145744 18 4 0 1 2 3 3 0 3 4 3 4 3 5 4 5 3 2 6 3 6 2 1 3 6 1 7 3 7 1 8 3 8 1 0 3 8 0 9 4 9 0 4 10 4 10 4 5 11 3 11 5 6 3 11 6 7 3 11 7 12 3 12 7 8 3 10 11 12 3 12 8 9 3 9 10 12 ";;
let precision = 4;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [2; 3; 6; 7; 8; 12; ], [(mk_real_int64 78L); (mk_real_int64 2445L); (mk_real_int64 696L); (mk_real_int64 251L); (mk_real_int64 5955L); (mk_real_int64 277L); ]);
("azim_sum_neg", [0; 1; 4; 9; 10; 11; ], [(mk_real_int64 197L); (mk_real_int64 3515L); (mk_real_int64 494L); (mk_real_int64 394L); (mk_real_int64 2847L); (mk_real_int64 110L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 9125L); (mk_real_int64 8928L); (mk_real_int64 8928L); (mk_real_int64 8928L); (mk_real_int64 9422L); (mk_real_int64 8928L); (mk_real_int64 9116L); (mk_real_int64 9607L); (mk_real_int64 8928L); (mk_real_int64 8928L); (mk_real_int64 8928L); (mk_real_int64 9038L); (mk_real_int64 8928L); ]);
("sol_sum3", [2; 10; 12; 13; ], [(mk_real_int64 1667L); (mk_real_int64 121L); (mk_real_int64 1798L); (mk_real_int64 1708L); ]);
("sol_sum3_neg", [5; 7; 8; 9; 11; ], [(mk_real_int64 5225L); (mk_real_int64 626L); (mk_real_int64 1629L); (mk_real_int64 2037L); (mk_real_int64 1321L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 8928L); (mk_real_int64 8706L); (mk_real_int64 8928L); (mk_real_int64 8004L); (mk_real_int64 8534L); (mk_real_int64 3781L); (mk_real_int64 8534L); (mk_real_int64 8928L); (mk_real_int64 8184L); (mk_real_int64 7821L); (mk_real_int64 8654L); (mk_real_int64 7606L); (mk_real_int64 8928L); (mk_real_int64 8928L); ]);
("tau_sum4_neg", [0; 1; 2; 3; ], [(mk_real_int64 8928L); (mk_real_int64 8928L); (mk_real_int64 8928L); (mk_real_int64 8928L); ]);
("ln_def", [1; 2; 3; 5; 8; 9; 10; 11; 12; ], [(mk_real_int64 156L); (mk_real_int64 156L); (mk_real_int64 156L); (mk_real_int64 156L); (mk_real_int64 156L); (mk_real_int64 156L); (mk_real_int64 156L); (mk_real_int64 35L); (mk_real_int64 156L); ]);
("ln_def_neg", [0; 4; 6; 7; ], [(mk_real_int64 61L); (mk_real_int64 388L); (mk_real_int64 51L); (mk_real_int64 592L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 57336L); (mk_real_int64 56095L); (mk_real_int64 56095L); (mk_real_int64 56095L); (mk_real_int64 59198L); (mk_real_int64 56095L); (mk_real_int64 57278L); (mk_real_int64 60362L); (mk_real_int64 56095L); (mk_real_int64 56095L); (mk_real_int64 56095L); (mk_real_int64 56785L); (mk_real_int64 56095L); ]);
("edge_sym", [0; 3; 16; 18; 19; 35; 39; ], [(mk_real_int64 659L); (mk_real_int64 659L); (mk_real_int64 1709L); (mk_real_int64 630L); (mk_real_int64 236L); (mk_real_int64 218L); (mk_real_int64 361L); ]);
("edge_sym_neg", [5; 6; 21; 22; 25; 27; 42; 44; 45; 48; 51; ], [(mk_real_int64 498L); (mk_real_int64 179L); (mk_real_int64 630L); (mk_real_int64 1126L); (mk_real_int64 1096L); (mk_real_int64 179L); (mk_real_int64 313L); (mk_real_int64 1452L); (mk_real_int64 291L); (mk_real_int64 971L); (mk_real_int64 1054L); ]);
("y1_def_neg", [0; 6; 9; 16; 19; 21; 22; 30; 42; 43; 46; 47; 48; 50; 54; 56; 57; ], [(mk_real_int64 516L); (mk_real_int64 889L); (mk_real_int64 250L); (mk_real_int64 252L); (mk_real_int64 1068L); (mk_real_int64 255L); (mk_real_int64 1155L); (mk_real_int64 140L); (mk_real_int64 11L); (mk_real_int64 664L); (mk_real_int64 148L); (mk_real_int64 311L); (mk_real_int64 18L); (mk_real_int64 795L); (mk_real_int64 353L); (mk_real_int64 545L); (mk_real_int64 258L); ]);
("y1_def", [15; 23; 25; 28; 38; 40; 44; 45; 51; 55; ], [(mk_real_int64 553L); (mk_real_int64 236L); (mk_real_int64 1985L); (mk_real_int64 709L); (mk_real_int64 550L); (mk_real_int64 604L); (mk_real_int64 493L); (mk_real_int64 326L); (mk_real_int64 336L); (mk_real_int64 570L); ]);
("y2_def", [0; 19; 21; 25; 30; 38; 40; 42; 43; 44; 47; 50; 51; ], [(mk_real_int64 659L); (mk_real_int64 43L); (mk_real_int64 172L); (mk_real_int64 1985L); (mk_real_int64 179L); (mk_real_int64 143L); (mk_real_int64 604L); (mk_real_int64 17L); (mk_real_int64 403L); (mk_real_int64 493L); (mk_real_int64 482L); (mk_real_int64 441L); (mk_real_int64 603L); ]);
("y2_def_neg", [6; 9; 15; 16; 22; 23; 28; 45; 46; 48; 54; 55; 56; 57; ], [(mk_real_int64 741L); (mk_real_int64 36L); (mk_real_int64 652L); (mk_real_int64 252L); (mk_real_int64 1155L); (mk_real_int64 72L); (mk_real_int64 215L); (mk_real_int64 99L); (mk_real_int64 148L); (mk_real_int64 18L); (mk_real_int64 1038L); (mk_real_int64 173L); (mk_real_int64 545L); (mk_real_int64 258L); ]);
("y3_def", [0; 19; 21; 25; 30; 38; 40; 42; 43; 44; 47; 50; 51; ], [(mk_real_int64 659L); (mk_real_int64 43L); (mk_real_int64 172L); (mk_real_int64 1985L); (mk_real_int64 179L); (mk_real_int64 143L); (mk_real_int64 604L); (mk_real_int64 17L); (mk_real_int64 403L); (mk_real_int64 493L); (mk_real_int64 482L); (mk_real_int64 441L); (mk_real_int64 603L); ]);
("y3_def_neg", [6; 9; 15; 16; 22; 23; 28; 45; 46; 48; 54; 55; 56; 57; ], [(mk_real_int64 741L); (mk_real_int64 36L); (mk_real_int64 652L); (mk_real_int64 252L); (mk_real_int64 1155L); (mk_real_int64 72L); (mk_real_int64 215L); (mk_real_int64 99L); (mk_real_int64 148L); (mk_real_int64 18L); (mk_real_int64 1038L); (mk_real_int64 173L); (mk_real_int64 545L); (mk_real_int64 258L); ]);
("y4_def_neg", [2; 5; 11; 13; 14; 17; 24; 26; 27; 28; 30; 31; 34; 35; 40; ], [(mk_real_int64 659L); (mk_real_int64 233L); (mk_real_int64 1709L); (mk_real_int64 324L); (mk_real_int64 802L); (mk_real_int64 1024L); (mk_real_int64 330L); (mk_real_int64 31L); (mk_real_int64 758L); (mk_real_int64 595L); (mk_real_int64 103L); (mk_real_int64 907L); (mk_real_int64 896L); (mk_real_int64 449L); (mk_real_int64 379L); ]);
("y4_def", [7; 8; 15; 20; 22; 29; 32; 38; 39; 41; ], [(mk_real_int64 1171L); (mk_real_int64 539L); (mk_real_int64 365L); (mk_real_int64 1096L); (mk_real_int64 361L); (mk_real_int64 505L); (mk_real_int64 39L); (mk_real_int64 971L); (mk_real_int64 881L); (mk_real_int64 552L); ]);
("y5_def", [0; 16; 19; 21; 30; 42; 43; 47; 48; 50; 57; ], [(mk_real_int64 659L); (mk_real_int64 539L); (mk_real_int64 236L); (mk_real_int64 172L); (mk_real_int64 179L); (mk_real_int64 17L); (mk_real_int64 403L); (mk_real_int64 482L); (mk_real_int64 39L); (mk_real_int64 449L); (mk_real_int64 552L); ]);
("y5_def_neg", [6; 15; 22; 23; 25; 28; 38; 40; 44; 45; 46; 51; 55; 56; ], [(mk_real_int64 498L); (mk_real_int64 539L); (mk_real_int64 802L); (mk_real_int64 72L); (mk_real_int64 1024L); (mk_real_int64 215L); (mk_real_int64 218L); (mk_real_int64 330L); (mk_real_int64 595L); (mk_real_int64 99L); (mk_real_int64 103L); (mk_real_int64 158L); (mk_real_int64 173L); (mk_real_int64 379L); ]);
("y6_def", [0; 7; 16; 19; 21; 27; 30; 41; 42; 43; 46; 47; 48; 50; 57; ], [(mk_real_int64 659L); (mk_real_int64 731L); (mk_real_int64 539L); (mk_real_int64 236L); (mk_real_int64 172L); (mk_real_int64 37L); (mk_real_int64 179L); (mk_real_int64 77L); (mk_real_int64 17L); (mk_real_int64 403L); (mk_real_int64 931L); (mk_real_int64 1190L); (mk_real_int64 39L); (mk_real_int64 449L); (mk_real_int64 552L); ]);
("y6_def_neg", [6; 15; 22; 23; 25; 28; 40; 44; 45; 51; 55; 56; ], [(mk_real_int64 498L); (mk_real_int64 539L); (mk_real_int64 802L); (mk_real_int64 72L); (mk_real_int64 1024L); (mk_real_int64 215L); (mk_real_int64 330L); (mk_real_int64 595L); (mk_real_int64 99L); (mk_real_int64 158L); (mk_real_int64 173L); (mk_real_int64 379L); ]);
("RHA", [3; 5; 6; 7; 8; 11; 13; 14; 17; 18; 19; 20; 22; 23; 24; 25; 26; 27; 28; 31; 32; 33; 34; 39; 40; 41; 42; 44; 45; 46; 47; 48; 49; 50; 51; 56; ], [(mk_real_int64 197L); (mk_real_int64 197L); (mk_real_int64 340L); (mk_real_int64 716L); (mk_real_int64 420L); (mk_real_int64 197L); (mk_real_int64 188L); (mk_real_int64 188L); (mk_real_int64 1113L); (mk_real_int64 924L); (mk_real_int64 1603L); (mk_real_int64 1073L); (mk_real_int64 394L); (mk_real_int64 5147L); (mk_real_int64 5147L); (mk_real_int64 5147L); (mk_real_int64 394L); (mk_real_int64 394L); (mk_real_int64 394L); (mk_real_int64 494L); (mk_real_int64 110L); (mk_real_int64 110L); (mk_real_int64 494L); (mk_real_int64 188L); (mk_real_int64 744L); (mk_real_int64 932L); (mk_real_int64 1423L); (mk_real_int64 1786L); (mk_real_int64 1107L); (mk_real_int64 273L); (mk_real_int64 952L); (mk_real_int64 273L); (mk_real_int64 1431L); (mk_real_int64 39L); (mk_real_int64 1044L); (mk_real_int64 110L); ]);
("tau4", [3; ], [(mk_real_int64 1064L); ]);
("ineq105", [0; 9; ], [(mk_real_int64 1639L); (mk_real_int64 444L); ]);
("ineq106", [2; 5; 13; 27; 34; 35; ], [(mk_real_int64 154L); (mk_real_int64 222L); (mk_real_int64 394L); (mk_real_int64 1107L); (mk_real_int64 1283L); (mk_real_int64 277L); ]);
("ineq107", [7; 15; 20; 22; 29; 38; 39; ], [(mk_real_int64 1848L); (mk_real_int64 473L); (mk_real_int64 1418L); (mk_real_int64 626L); (mk_real_int64 653L); (mk_real_int64 1050L); (mk_real_int64 1140L); ]);
("ineq108", [11; 13; 26; 31; ], [(mk_real_int64 1855L); (mk_real_int64 78L); (mk_real_int64 46L); (mk_real_int64 1325L); ]);
("ineq109", [8; 32; 38; 41; ], [(mk_real_int64 1667L); (mk_real_int64 121L); (mk_real_int64 1798L); (mk_real_int64 1708L); ]);
("ineq110", [17; 22; 24; 28; 35; ], [(mk_real_int64 5225L); (mk_real_int64 626L); (mk_real_int64 1629L); (mk_real_int64 2037L); (mk_real_int64 1321L); ]);
("ineq111", [2; 5; 7; 11; 14; 24; 28; 30; 34; 38; 40; ], [(mk_real_int64 4428L); (mk_real_int64 647L); (mk_real_int64 2063L); (mk_real_int64 3513L); (mk_real_int64 6418L); (mk_real_int64 83L); (mk_real_int64 1562L); (mk_real_int64 822L); (mk_real_int64 142L); (mk_real_int64 3371L); (mk_real_int64 3029L); ]);
("ineq113", [2; 20; ], [(mk_real_int64 594L); (mk_real_int64 3998L); ]);
("ineq114", [0; 3; 4; 6; 8; 9; 10; 12; 17; 19; 21; 23; 24; 27; 30; 34; 36; 37; 40; 41; ], [(mk_real_int64 3906L); (mk_real_int64 355L); (mk_real_int64 355L); (mk_real_int64 4076L); (mk_real_int64 2788L); (mk_real_int64 2889L); (mk_real_int64 1601L); (mk_real_int64 2116L); (mk_real_int64 3781L); (mk_real_int64 4536L); (mk_real_int64 8514L); (mk_real_int64 414L); (mk_real_int64 8100L); (mk_real_int64 6259L); (mk_real_int64 1073L); (mk_real_int64 7465L); (mk_real_int64 3315L); (mk_real_int64 2242L); (mk_real_int64 2728L); (mk_real_int64 3171L); ]);
("ineq119", [2; 6; 8; ], [(mk_real_int64 7760L); (mk_real_int64 7760L); (mk_real_int64 6286L); ]);
("ineq120", [0; 1; 7; 9; 15; ], [(mk_real_int64 1065L); (mk_real_int64 103L); (mk_real_int64 1168L); (mk_real_int64 2642L); (mk_real_int64 7864L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 42656L); (mk_real_int64 49370L); (mk_real_int64 49370L); (mk_real_int64 49370L); (mk_real_int64 46708L); (mk_real_int64 49370L); (mk_real_int64 44388L); (mk_real_int64 45052L); (mk_real_int64 49370L); (mk_real_int64 49370L); (mk_real_int64 49370L); (mk_real_int64 49110L); (mk_real_int64 49370L); ]);
];;

(*************************)

let variable_bounds = [
("azim_hi", [0; 1; 4; 6; 7; 13; 14; 16; 18; 19; 20; 27; 36; 37; 39; 40; 41; 42; 43; 46; 47; 50; 52; 57; ], [(mk_real_int64 5245L); (mk_real_int64 19L); (mk_real_int64 1560L); (mk_real_int64 1540L); (mk_real_int64 2300L); (mk_real_int64 5264L); (mk_real_int64 5760L); (mk_real_int64 2880L); (mk_real_int64 2260L); (mk_real_int64 10000L); (mk_real_int64 6160L); (mk_real_int64 5360L); (mk_real_int64 4072L); (mk_real_int64 7640L); (mk_real_int64 11640L); (mk_real_int64 6000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 1340L); (mk_real_int64 6980L); (mk_real_int64 10000L); (mk_real_int64 900L); (mk_real_int64 1900L); (mk_real_int64 460L); ]);
("azim_lo", [2; 8; 12; 17; 23; 25; 28; 29; 30; 53; 54; 55; 56; ], [(mk_real_int64 2800L); (mk_real_int64 7700L); (mk_real_int64 2800L); (mk_real_int64 4860L); (mk_real_int64 10000L); (mk_real_int64 940L); (mk_real_int64 4820L); (mk_real_int64 5580L); (mk_real_int64 2134L); (mk_real_int64 5080L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 2720L); ]);
("rhazim_lo", [46; 47; 48; 49; 51; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rhazim_hi", [8; 17; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rho_hi", [1; 2; 3; 4; 5; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 14096L); (mk_real_int64 14096L); (mk_real_int64 14096L); (mk_real_int64 23104L); (mk_real_int64 14096L); (mk_real_int64 7024L); (mk_real_int64 14096L); (mk_real_int64 14096L); (mk_real_int64 14096L); (mk_real_int64 25616L); (mk_real_int64 14096L); ]);
("rho_lo", [0; 6; ], [(mk_real_int64 18000L); (mk_real_int64 3488L); ]);
("tau_lo", [2; 4; 5; 12; 14; ], [(mk_real_int64 73500000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 67590000L); ]);
("tau_hi", [2; 15; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("y1_lo", [0; 6; 15; 19; 22; 43; 44; 47; 48; 50; 51; 54; 56; ], [(mk_real_int64 2850L); (mk_real_int64 4400L); (mk_real_int64 3400L); (mk_real_int64 2650L); (mk_real_int64 2400L); (mk_real_int64 2000L); (mk_real_int64 1000L); (mk_real_int64 3750L); (mk_real_int64 2710L); (mk_real_int64 3600L); (mk_real_int64 2200L); (mk_real_int64 2780L); (mk_real_int64 2200L); ]);
("y1_hi", [9; 16; 21; 23; 25; 30; 38; 40; 42; 45; 46; 57; ], [(mk_real_int64 3400L); (mk_real_int64 2830L); (mk_real_int64 2700L); (mk_real_int64 5000L); (mk_real_int64 5000L); (mk_real_int64 1400L); (mk_real_int64 8800L); (mk_real_int64 800L); (mk_real_int64 1900L); (mk_real_int64 5000L); (mk_real_int64 400L); (mk_real_int64 920L); ]);
("y2_lo", [0; 15; 19; 21; 22; 28; 30; 38; 42; 43; 44; 45; 48; 51; 55; 56; ], [(mk_real_int64 1220L); (mk_real_int64 2360L); (mk_real_int64 3055L); (mk_real_int64 2392L); (mk_real_int64 2400L); (mk_real_int64 5360L); (mk_real_int64 5120L); (mk_real_int64 2720L); (mk_real_int64 2606L); (mk_real_int64 1627L); (mk_real_int64 1000L); (mk_real_int64 2560L); (mk_real_int64 2710L); (mk_real_int64 2197L); (mk_real_int64 2800L); (mk_real_int64 2200L); ]);
("y2_hi", [6; 9; 16; 23; 25; 40; 46; 47; 50; 54; 57; ], [(mk_real_int64 6L); (mk_real_int64 3258L); (mk_real_int64 2830L); (mk_real_int64 1040L); (mk_real_int64 5000L); (mk_real_int64 800L); (mk_real_int64 400L); (mk_real_int64 1675L); (mk_real_int64 3237L); (mk_real_int64 1220L); (mk_real_int64 920L); ]);
("y3_lo", [0; 15; 19; 21; 22; 28; 30; 38; 42; 43; 44; 45; 48; 51; 55; 56; ], [(mk_real_int64 1220L); (mk_real_int64 2360L); (mk_real_int64 3055L); (mk_real_int64 2392L); (mk_real_int64 2400L); (mk_real_int64 5360L); (mk_real_int64 5120L); (mk_real_int64 2720L); (mk_real_int64 2606L); (mk_real_int64 1627L); (mk_real_int64 1000L); (mk_real_int64 2560L); (mk_real_int64 2710L); (mk_real_int64 2197L); (mk_real_int64 2800L); (mk_real_int64 2200L); ]);
("y3_hi", [6; 9; 16; 23; 25; 40; 46; 47; 50; 54; 57; ], [(mk_real_int64 6L); (mk_real_int64 3258L); (mk_real_int64 2830L); (mk_real_int64 1040L); (mk_real_int64 5000L); (mk_real_int64 800L); (mk_real_int64 400L); (mk_real_int64 1675L); (mk_real_int64 3237L); (mk_real_int64 1220L); (mk_real_int64 920L); ]);
("y4_lo", [7; 8; 11; 14; 17; 26; 27; 29; 31; 34; ], [(mk_real_int64 3710L); (mk_real_int64 2256L); (mk_real_int64 8000L); (mk_real_int64 2500L); (mk_real_int64 1000L); (mk_real_int64 5100L); (mk_real_int64 2950L); (mk_real_int64 2310L); (mk_real_int64 6250L); (mk_real_int64 6050L); ]);
("y4_hi", [2; 5; 13; 15; 20; 22; 24; 28; 30; 32; 35; 38; 39; 40; 41; ], [(mk_real_int64 100L); (mk_real_int64 550L); (mk_real_int64 6800L); (mk_real_int64 6290L); (mk_real_int64 1140L); (mk_real_int64 2020L); (mk_real_int64 3410L); (mk_real_int64 4980L); (mk_real_int64 2500L); (mk_real_int64 1072L); (mk_real_int64 3390L); (mk_real_int64 3886L); (mk_real_int64 2200L); (mk_real_int64 3750L); (mk_real_int64 256L); ]);
("y5_lo", [0; 9; 16; 19; 21; 22; 25; 28; 30; 42; 43; 45; 51; 55; ], [(mk_real_int64 1220L); (mk_real_int64 892L); (mk_real_int64 2256L); (mk_real_int64 905L); (mk_real_int64 2392L); (mk_real_int64 2500L); (mk_real_int64 1000L); (mk_real_int64 5360L); (mk_real_int64 5120L); (mk_real_int64 2606L); (mk_real_int64 1627L); (mk_real_int64 2560L); (mk_real_int64 1157L); (mk_real_int64 2800L); ]);
("y5_hi", [6; 15; 23; 38; 40; 44; 46; 47; 48; 50; 54; 56; 57; ], [(mk_real_int64 5406L); (mk_real_int64 2290L); (mk_real_int64 1040L); (mk_real_int64 1520L); (mk_real_int64 3410L); (mk_real_int64 4980L); (mk_real_int64 2500L); (mk_real_int64 1675L); (mk_real_int64 1072L); (mk_real_int64 1337L); (mk_real_int64 1386L); (mk_real_int64 3750L); (mk_real_int64 256L); ]);
("y6_lo", [0; 7; 9; 16; 19; 21; 22; 25; 27; 28; 30; 38; 41; 42; 43; 45; 46; 47; 51; 55; ], [(mk_real_int64 1220L); (mk_real_int64 7310000L); (mk_real_int64 892L); (mk_real_int64 2256L); (mk_real_int64 905L); (mk_real_int64 2392L); (mk_real_int64 2500L); (mk_real_int64 1000L); (mk_real_int64 370000L); (mk_real_int64 5360L); (mk_real_int64 5120L); (mk_real_int64 2180000L); (mk_real_int64 770000L); (mk_real_int64 2606L); (mk_real_int64 1627L); (mk_real_int64 2560L); (mk_real_int64 10340000L); (mk_real_int64 7080000L); (mk_real_int64 1157L); (mk_real_int64 2800L); ]);
("y6_hi", [6; 15; 23; 38; 40; 44; 46; 47; 48; 50; 54; 56; 57; ], [(mk_real_int64 5406L); (mk_real_int64 2290L); (mk_real_int64 1040L); (mk_real_int64 1520L); (mk_real_int64 3410L); (mk_real_int64 4980L); (mk_real_int64 2500L); (mk_real_int64 1675L); (mk_real_int64 1072L); (mk_real_int64 1337L); (mk_real_int64 1386L); (mk_real_int64 3750L); (mk_real_int64 256L); ]);
("ye_hi", [16; 27; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("ye_lo", [6; 18; 23; 28; 35; ], [(mk_real_int64 3190000L); (mk_real_int64 3940000L); (mk_real_int64 17260000L); (mk_real_int64 2150000L); (mk_real_int64 2180000L); ]);
("yn_hi", [1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 10120L); (mk_real_int64 10120L); (mk_real_int64 10120L); (mk_real_int64 1628L); (mk_real_int64 120L); (mk_real_int64 10781L); (mk_real_int64 4752L); (mk_real_int64 20120L); (mk_real_int64 10120L); (mk_real_int64 20120L); (mk_real_int64 6950L); (mk_real_int64 10120L); ]);
("yn_lo", [0; ], [(mk_real_int64 6909L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)