needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "149438122187 18 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 11 3 11 2 1 3 11 1 0 3 11 0 7 3 10 11 7 3 10 7 12 3 12 7 6 3 12 6 8 3 12 8 9 3 9 10 12 ";;
let precision = 5;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [4; 6; 10; ], [(mk_real_int64 57218L); (mk_real_int64 11912L); (mk_real_int64 11015L); ]);
("azim_sum", [7; 8; 9; 11; 12; ], [(mk_real_int64 19865L); (mk_real_int64 49527L); (mk_real_int64 2847L); (mk_real_int64 5243L); (mk_real_int64 18828L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 91631L); (mk_real_int64 91631L); (mk_real_int64 91631L); (mk_real_int64 91631L); (mk_real_int64 78850L); (mk_real_int64 91631L); (mk_real_int64 78850L); (mk_real_int64 91631L); (mk_real_int64 91631L); (mk_real_int64 83199L); (mk_real_int64 86012L); (mk_real_int64 88030L); (mk_real_int64 76255L); ]);
("sol_sum3_neg", [1; 2; 5; 6; 9; 11; 12; 13; ], [(mk_real_int64 8432L); (mk_real_int64 2847L); (mk_real_int64 5619L); (mk_real_int64 27495L); (mk_real_int64 14739L); (mk_real_int64 27863L); (mk_real_int64 35241L); (mk_real_int64 11336L); ]);
("sol_sum3", [3; 7; 8; ], [(mk_real_int64 1073L); (mk_real_int64 11912L); (mk_real_int64 11912L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 89870L); (mk_real_int64 83199L); (mk_real_int64 82410L); (mk_real_int64 83199L); (mk_real_int64 74997L); (mk_real_int64 86012L); (mk_real_int64 39444L); (mk_real_int64 78850L); (mk_real_int64 78850L); (mk_real_int64 52200L); (mk_real_int64 78850L); (mk_real_int64 57649L); (mk_real_int64 76255L); (mk_real_int64 76255L); (mk_real_int64 76255L); (mk_real_int64 76255L); ]);
("tau_sum4_neg", [0; ], [(mk_real_int64 91631L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 91631L); ]);
("ln_def_neg", [0; 1; 2; 3; 5; 7; 8; ], [(mk_real_int64 1029L); (mk_real_int64 1029L); (mk_real_int64 1029L); (mk_real_int64 1029L); (mk_real_int64 1029L); (mk_real_int64 1029L); (mk_real_int64 1029L); ]);
("ln_def", [4; 6; 9; 10; 11; 12; ], [(mk_real_int64 13062L); (mk_real_int64 13062L); (mk_real_int64 8267L); (mk_real_int64 5166L); (mk_real_int64 2941L); (mk_real_int64 15924L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 575732L); (mk_real_int64 575732L); (mk_real_int64 575732L); (mk_real_int64 575732L); (mk_real_int64 495431L); (mk_real_int64 575732L); (mk_real_int64 495431L); (mk_real_int64 575732L); (mk_real_int64 575732L); (mk_real_int64 522753L); (mk_real_int64 540428L); (mk_real_int64 553110L); (mk_real_int64 479122L); ]);
("edge_sym_neg", [9; 12; 14; 15; 18; 20; 21; 26; 27; 29; 44; 45; 48; 51; 54; ], [(mk_real_int64 11731L); (mk_real_int64 1847L); (mk_real_int64 2341L); (mk_real_int64 2341L); (mk_real_int64 5858L); (mk_real_int64 737L); (mk_real_int64 737L); (mk_real_int64 4194L); (mk_real_int64 580L); (mk_real_int64 23428L); (mk_real_int64 1307L); (mk_real_int64 3242L); (mk_real_int64 8265L); (mk_real_int64 31033L); (mk_real_int64 2078L); ]);
("edge_sym", [24; 30; 36; 39; 42; ], [(mk_real_int64 580L); (mk_real_int64 4194L); (mk_real_int64 35005L); (mk_real_int64 11731L); (mk_real_int64 11346L); ]);
("y1_def_neg", [11; 16; 17; 24; 25; 26; 28; 34; 36; 39; 40; 42; 44; 45; 50; 52; 53; 57; ], [(mk_real_int64 1979L); (mk_real_int64 473L); (mk_real_int64 5582L); (mk_real_int64 18697L); (mk_real_int64 810L); (mk_real_int64 1054L); (mk_real_int64 15801L); (mk_real_int64 1799L); (mk_real_int64 12813L); (mk_real_int64 21558L); (mk_real_int64 7906L); (mk_real_int64 2587L); (mk_real_int64 1107L); (mk_real_int64 5743L); (mk_real_int64 21879L); (mk_real_int64 1853L); (mk_real_int64 4166L); (mk_real_int64 1466L); ]);
("y1_def", [15; 18; 21; 27; 30; 33; 35; 41; 43; 46; 47; 49; 51; 54; 55; ], [(mk_real_int64 5468L); (mk_real_int64 1082L); (mk_real_int64 3403L); (mk_real_int64 2135L); (mk_real_int64 10448L); (mk_real_int64 10865L); (mk_real_int64 22653L); (mk_real_int64 5956L); (mk_real_int64 10588L); (mk_real_int64 4468L); (mk_real_int64 13391L); (mk_real_int64 3301L); (mk_real_int64 773L); (mk_real_int64 629L); (mk_real_int64 629L); ]);
("y2_def_neg", [11; 21; 24; 26; 33; 34; 35; 36; 40; 41; 46; 51; 54; 55; ], [(mk_real_int64 282L); (mk_real_int64 1246L); (mk_real_int64 2663L); (mk_real_int64 1054L); (mk_real_int64 5648L); (mk_real_int64 1799L); (mk_real_int64 6887L); (mk_real_int64 6601L); (mk_real_int64 1021L); (mk_real_int64 1811L); (mk_real_int64 1358L); (mk_real_int64 235L); (mk_real_int64 191L); (mk_real_int64 191L); ]);
("y2_def", [15; 16; 17; 18; 25; 27; 28; 30; 39; 42; 43; 44; 45; 47; 49; 50; 52; 53; 57; ], [(mk_real_int64 2516L); (mk_real_int64 287L); (mk_real_int64 561L); (mk_real_int64 1082L); (mk_real_int64 1254L); (mk_real_int64 2135L); (mk_real_int64 9583L); (mk_real_int64 10448L); (mk_real_int64 19519L); (mk_real_int64 1569L); (mk_real_int64 10588L); (mk_real_int64 671L); (mk_real_int64 3483L); (mk_real_int64 13391L); (mk_real_int64 5867L); (mk_real_int64 5355L); (mk_real_int64 2869L); (mk_real_int64 2527L); (mk_real_int64 2270L); ]);
("y3_def_neg", [11; 21; 24; 26; 33; 34; 35; 36; 40; 41; 46; 51; 54; 55; ], [(mk_real_int64 282L); (mk_real_int64 1246L); (mk_real_int64 2663L); (mk_real_int64 1054L); (mk_real_int64 5648L); (mk_real_int64 1799L); (mk_real_int64 6887L); (mk_real_int64 6601L); (mk_real_int64 1021L); (mk_real_int64 1811L); (mk_real_int64 1358L); (mk_real_int64 235L); (mk_real_int64 191L); (mk_real_int64 191L); ]);
("y3_def", [15; 16; 17; 18; 25; 27; 28; 30; 39; 42; 43; 44; 45; 47; 49; 50; 52; 53; 57; ], [(mk_real_int64 2516L); (mk_real_int64 287L); (mk_real_int64 561L); (mk_real_int64 1082L); (mk_real_int64 1254L); (mk_real_int64 2135L); (mk_real_int64 9583L); (mk_real_int64 10448L); (mk_real_int64 19519L); (mk_real_int64 1569L); (mk_real_int64 10588L); (mk_real_int64 671L); (mk_real_int64 3483L); (mk_real_int64 13391L); (mk_real_int64 5867L); (mk_real_int64 5355L); (mk_real_int64 2869L); (mk_real_int64 2527L); (mk_real_int64 2270L); ]);
("y4_def_neg", [1; 6; 7; 8; 14; 15; 16; 17; 18; 20; 26; 29; 30; 32; 33; 34; 35; 37; 39; 40; 42; 43; 47; ], [(mk_real_int64 1847L); (mk_real_int64 540L); (mk_real_int64 5587L); (mk_real_int64 558L); (mk_real_int64 17447L); (mk_real_int64 2361L); (mk_real_int64 732L); (mk_real_int64 1101L); (mk_real_int64 18039L); (mk_real_int64 5389L); (mk_real_int64 10627L); (mk_real_int64 35005L); (mk_real_int64 11489L); (mk_real_int64 2953L); (mk_real_int64 5461L); (mk_real_int64 1264L); (mk_real_int64 6556L); (mk_real_int64 6907L); (mk_real_int64 5158L); (mk_real_int64 30135L); (mk_real_int64 5401L); (mk_real_int64 4757L); (mk_real_int64 4272L); ]);
("y4_def", [5; 11; 23; 24; 25; 31; 36; 41; 44; 45; ], [(mk_real_int64 1847L); (mk_real_int64 5858L); (mk_real_int64 23428L); (mk_real_int64 3850L); (mk_real_int64 35022L); (mk_real_int64 9208L); (mk_real_int64 6907L); (mk_real_int64 1194L); (mk_real_int64 972L); (mk_real_int64 972L); ]);
("y5_def_neg", [6; 15; 18; 21; 26; 27; 30; 35; 36; 41; 43; 46; 47; 49; 51; 54; 55; ], [(mk_real_int64 11731L); (mk_real_int64 2341L); (mk_real_int64 558L); (mk_real_int64 737L); (mk_real_int64 732L); (mk_real_int64 1101L); (mk_real_int64 5389L); (mk_real_int64 6887L); (mk_real_int64 3867L); (mk_real_int64 1811L); (mk_real_int64 5461L); (mk_real_int64 1358L); (mk_real_int64 6907L); (mk_real_int64 662L); (mk_real_int64 235L); (mk_real_int64 191L); (mk_real_int64 191L); ]);
("y5_def", [16; 17; 25; 28; 34; 39; 40; 42; 44; 45; 50; 52; 53; 57; ], [(mk_real_int64 287L); (mk_real_int64 1098L); (mk_real_int64 1254L); (mk_real_int64 9583L); (mk_real_int64 3850L); (mk_real_int64 11731L); (mk_real_int64 569L); (mk_real_int64 1569L); (mk_real_int64 671L); (mk_real_int64 3483L); (mk_real_int64 7733L); (mk_real_int64 2869L); (mk_real_int64 2527L); (mk_real_int64 2270L); ]);
("y6_def_neg", [15; 18; 21; 26; 27; 30; 36; 41; 43; 47; 49; 51; 54; ], [(mk_real_int64 2341L); (mk_real_int64 558L); (mk_real_int64 737L); (mk_real_int64 732L); (mk_real_int64 1101L); (mk_real_int64 5389L); (mk_real_int64 3867L); (mk_real_int64 1811L); (mk_real_int64 5461L); (mk_real_int64 6907L); (mk_real_int64 662L); (mk_real_int64 235L); (mk_real_int64 191L); ]);
("y6_def", [16; 17; 22; 25; 28; 34; 35; 39; 40; 42; 44; 45; 46; 50; 52; 53; 55; 57; ], [(mk_real_int64 1801L); (mk_real_int64 1098L); (mk_real_int64 18184L); (mk_real_int64 1254L); (mk_real_int64 9583L); (mk_real_int64 17514L); (mk_real_int64 18L); (mk_real_int64 11731L); (mk_real_int64 569L); (mk_real_int64 1569L); (mk_real_int64 671L); (mk_real_int64 3483L); (mk_real_int64 8214L); (mk_real_int64 7733L); (mk_real_int64 27533L); (mk_real_int64 6330L); (mk_real_int64 4852L); (mk_real_int64 2270L); ]);
("y8_def_neg", [1; ], [(mk_real_int64 11731L); ]);
("RHA", [10; 12; 13; 14; 17; 18; 20; 21; 22; 23; 26; 27; 28; 29; 30; 32; 36; 37; 38; 40; 42; 43; 44; 45; 47; 48; 51; 54; 55; 56; ], [(mk_real_int64 1761L); (mk_real_int64 1761L); (mk_real_int64 8432L); (mk_real_int64 8432L); (mk_real_int64 2847L); (mk_real_int64 9220L); (mk_real_int64 8432L); (mk_real_int64 2813L); (mk_real_int64 11015L); (mk_real_int64 16634L); (mk_real_int64 5619L); (mk_real_int64 2018L); (mk_real_int64 22252L); (mk_real_int64 52187L); (mk_real_int64 39406L); (mk_real_int64 12780L); (mk_real_int64 6336L); (mk_real_int64 26651L); (mk_real_int64 39431L); (mk_real_int64 9180L); (mk_real_int64 8469L); (mk_real_int64 30381L); (mk_real_int64 32137L); (mk_real_int64 9035L); (mk_real_int64 15376L); (mk_real_int64 15376L); (mk_real_int64 6944L); (mk_real_int64 9757L); (mk_real_int64 9757L); (mk_real_int64 11775L); ]);
("tau6", [0; ], [(mk_real_int64 91631L); ]);
("ineq106", [1; 6; 7; 14; 18; 26; 29; 32; 34; 35; 40; 43; ], [(mk_real_int64 1761L); (mk_real_int64 788L); (mk_real_int64 6373L); (mk_real_int64 16634L); (mk_real_int64 26335L); (mk_real_int64 6445L); (mk_real_int64 39431L); (mk_real_int64 4311L); (mk_real_int64 1845L); (mk_real_int64 9571L); (mk_real_int64 15376L); (mk_real_int64 6944L); ]);
("ineq107", [5; 11; 23; 25; 31; 36; 41; 44; 45; ], [(mk_real_int64 4527L); (mk_real_int64 7130L); (mk_real_int64 25328L); (mk_real_int64 45307L); (mk_real_int64 11912L); (mk_real_int64 8936L); (mk_real_int64 1545L); (mk_real_int64 1258L); (mk_real_int64 1258L); ]);
("ineq108", [15; 29; 30; 39; 40; 42; 47; ], [(mk_real_int64 3446L); (mk_real_int64 5126L); (mk_real_int64 11496L); (mk_real_int64 4286L); (mk_real_int64 20727L); (mk_real_int64 7885L); (mk_real_int64 6237L); ]);
("ineq109", [11; 23; 24; ], [(mk_real_int64 1073L); (mk_real_int64 11912L); (mk_real_int64 11912L); ]);
("ineq110", [5; 8; 17; 20; 29; 33; 37; 39; ], [(mk_real_int64 8432L); (mk_real_int64 2847L); (mk_real_int64 5619L); (mk_real_int64 27495L); (mk_real_int64 14739L); (mk_real_int64 27863L); (mk_real_int64 35241L); (mk_real_int64 11336L); ]);
("ineq111", [1; 7; 14; 16; 26; 29; 30; 40; ], [(mk_real_int64 5127L); (mk_real_int64 9769L); (mk_real_int64 48425L); (mk_real_int64 5858L); (mk_real_int64 49701L); (mk_real_int64 12756L); (mk_real_int64 28913L); (mk_real_int64 43237L); ]);
("ineq112", [23; ], [(mk_real_int64 39406L); ]);
("ineq113", [5; 15; 36; ], [(mk_real_int64 4082L); (mk_real_int64 77529L); (mk_real_int64 28870L); ]);
("ineq114", [0; 2; 3; 8; 9; 10; 13; 17; 19; 22; 26; 28; 30; 32; 33; 34; 38; 39; 40; 42; 43; 46; 47; ], [(mk_real_int64 81930L); (mk_real_int64 2813L); (mk_real_int64 79117L); (mk_real_int64 10181L); (mk_real_int64 6262L); (mk_real_int64 15183L); (mk_real_int64 26572L); (mk_real_int64 2624L); (mk_real_int64 39444L); (mk_real_int64 39444L); (mk_real_int64 29149L); (mk_real_int64 39444L); (mk_real_int64 4676L); (mk_real_int64 45262L); (mk_real_int64 12399L); (mk_real_int64 38560L); (mk_real_int64 47384L); (mk_real_int64 5121L); (mk_real_int64 27897L); (mk_real_int64 17480L); (mk_real_int64 4548L); (mk_real_int64 27187L); (mk_real_int64 20113L); ]);
("ineq120", [2; 3; ], [(mk_real_int64 65400L); (mk_real_int64 26231L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 530596L); (mk_real_int64 530596L); (mk_real_int64 530596L); (mk_real_int64 530596L); (mk_real_int64 472243L); (mk_real_int64 530596L); (mk_real_int64 472243L); (mk_real_int64 530596L); (mk_real_int64 530596L); (mk_real_int64 553109L); (mk_real_int64 509884L); (mk_real_int64 478830L); (mk_real_int64 446266L); ]);
];;

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

let variable_bounds = [
("azim_lo", [9; 12; 20; 21; 25; 29; 32; 33; 35; 36; 38; 44; 46; 49; 50; 52; 57; ], [(mk_real_int64 26370L); (mk_real_int64 6200L); (mk_real_int64 44200L); (mk_real_int64 100000L); (mk_real_int64 1100L); (mk_real_int64 5600L); (mk_real_int64 5600L); (mk_real_int64 84200L); (mk_real_int64 100000L); (mk_real_int64 72600L); (mk_real_int64 5600L); (mk_real_int64 44000L); (mk_real_int64 33000L); (mk_real_int64 25400L); (mk_real_int64 47800L); (mk_real_int64 52000L); (mk_real_int64 26200L); ]);
("azim_hi", [1; 8; 10; 13; 15; 18; 19; 23; 27; 30; 40; 42; 43; 48; 53; 56; ], [(mk_real_int64 5721800000L); (mk_real_int64 42000L); (mk_real_int64 18000L); (mk_real_int64 24200L); (mk_real_int64 76200L); (mk_real_int64 30600L); (mk_real_int64 1200L); (mk_real_int64 7200L); (mk_real_int64 62400L); (mk_real_int64 100000L); (mk_real_int64 17600L); (mk_real_int64 1200L); (mk_real_int64 77400L); (mk_real_int64 38400L); (mk_real_int64 4800L); (mk_real_int64 106200L); ]);
("rhazim_hi", [1; 28; 37; ], [(mk_real_int64 1278100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("rhazim_lo", [16; 17; 18; 32; 42; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("rho_hi", [0; 1; 2; 3; 5; 7; 8; 9; 10; 12; ], [(mk_real_int64 298289L); (mk_real_int64 298289L); (mk_real_int64 298289L); (mk_real_int64 298289L); (mk_real_int64 298289L); (mk_real_int64 298289L); (mk_real_int64 298289L); (mk_real_int64 212481L); (mk_real_int64 173828L); (mk_real_int64 265345L); ]);
("rho_lo", [4; 6; 11; ], [(mk_real_int64 146850L); (mk_real_int64 146850L); (mk_real_int64 78430L); ]);
("tau_hi", [4; 12; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("tau_lo", [4; 5; 7; 13; 14; 16; 17; ], [(mk_real_int64 6246100000L); (mk_real_int64 6175400000L); (mk_real_int64 100000L); (mk_real_int64 669000000L); (mk_real_int64 100000L); (mk_real_int64 5422700000L); (mk_real_int64 2895500000L); ]);
("y1_lo", [11; 15; 17; 18; 21; 26; 36; 39; 43; 49; 50; 51; 53; ], [(mk_real_int64 46000L); (mk_real_int64 34000L); (mk_real_int64 22000L); (mk_real_int64 14000L); (mk_real_int64 2300L); (mk_real_int64 44000L); (mk_real_int64 18000L); (mk_real_int64 47000L); (mk_real_int64 6000L); (mk_real_int64 53000L); (mk_real_int64 10500L); (mk_real_int64 50000L); (mk_real_int64 40000L); ]);
("y1_hi", [16; 24; 25; 27; 30; 33; 34; 35; 40; 42; 45; 47; 52; 57; ], [(mk_real_int64 20000L); (mk_real_int64 10000L); (mk_real_int64 19000L); (mk_real_int64 22000L); (mk_real_int64 10000L); (mk_real_int64 28800L); (mk_real_int64 28800L); (mk_real_int64 50000L); (mk_real_int64 10000L); (mk_real_int64 40000L); (mk_real_int64 40000L); (mk_real_int64 58000L); (mk_real_int64 2500L); (mk_real_int64 30500L); ]);
("y2_hi", [15; 21; 27; 28; 30; 34; 35; 36; 39; 40; 41; 44; 47; 49; 50; 51; 52; ], [(mk_real_int64 5600L); (mk_real_int64 21700L); (mk_real_int64 22000L); (mk_real_int64 30650L); (mk_real_int64 10000L); (mk_real_int64 28800L); (mk_real_int64 33600L); (mk_real_int64 15550L); (mk_real_int64 3230L); (mk_real_int64 5440L); (mk_real_int64 37600L); (mk_real_int64 39550L); (mk_real_int64 58000L); (mk_real_int64 35540L); (mk_real_int64 22170L); (mk_real_int64 16000L); (mk_real_int64 35150L); ]);
("y2_lo", [11; 16; 17; 18; 24; 25; 26; 33; 42; 43; 45; 46; 53; 54; 55; 57; ], [(mk_real_int64 3210L); (mk_real_int64 24680L); (mk_real_int64 28530L); (mk_real_int64 14000L); (mk_real_int64 38740L); (mk_real_int64 60L); (mk_real_int64 44000L); (mk_real_int64 56800L); (mk_real_int64 22710L); (mk_real_int64 6000L); (mk_real_int64 11310L); (mk_real_int64 27200L); (mk_real_int64 7840L); (mk_real_int64 21600L); (mk_real_int64 21600L); (mk_real_int64 35570L); ]);
("y3_hi", [15; 21; 27; 28; 30; 34; 35; 36; 39; 40; 41; 44; 47; 49; 50; 51; 52; ], [(mk_real_int64 5600L); (mk_real_int64 21700L); (mk_real_int64 22000L); (mk_real_int64 30650L); (mk_real_int64 10000L); (mk_real_int64 28800L); (mk_real_int64 33600L); (mk_real_int64 15550L); (mk_real_int64 3230L); (mk_real_int64 5440L); (mk_real_int64 37600L); (mk_real_int64 39550L); (mk_real_int64 58000L); (mk_real_int64 35540L); (mk_real_int64 22170L); (mk_real_int64 16000L); (mk_real_int64 35150L); ]);
("y3_lo", [11; 16; 17; 18; 24; 25; 26; 33; 42; 43; 45; 46; 53; 54; 55; 57; ], [(mk_real_int64 3210L); (mk_real_int64 24680L); (mk_real_int64 28530L); (mk_real_int64 14000L); (mk_real_int64 38740L); (mk_real_int64 60L); (mk_real_int64 44000L); (mk_real_int64 56800L); (mk_real_int64 22710L); (mk_real_int64 6000L); (mk_real_int64 11310L); (mk_real_int64 27200L); (mk_real_int64 7840L); (mk_real_int64 21600L); (mk_real_int64 21600L); (mk_real_int64 35570L); ]);
("y4_lo", [1; 5; 8; 14; 16; 17; 18; 20; 24; 26; 31; 32; 33; 35; 37; 40; 42; 47; ], [(mk_real_int64 16000L); (mk_real_int64 30100L); (mk_real_int64 1200L); (mk_real_int64 41500L); (mk_real_int64 25000L); (mk_real_int64 32400L); (mk_real_int64 47500L); (mk_real_int64 2000L); (mk_real_int64 4160L); (mk_real_int64 45000L); (mk_real_int64 2400L); (mk_real_int64 3500L); (mk_real_int64 14800L); (mk_real_int64 13500L); (mk_real_int64 23600L); (mk_real_int64 18000L); (mk_real_int64 22500L); (mk_real_int64 34500L); ]);
("y4_hi", [6; 7; 11; 15; 23; 25; 29; 30; 34; 36; 39; 41; 43; 44; 45; ], [(mk_real_int64 22000L); (mk_real_int64 37000L); (mk_real_int64 28360L); (mk_real_int64 49000L); (mk_real_int64 50240L); (mk_real_int64 31100L); (mk_real_int64 11100L); (mk_real_int64 11500L); (mk_real_int64 17500L); (mk_real_int64 52800L); (mk_real_int64 23400L); (mk_real_int64 28500L); (mk_real_int64 36000L); (mk_real_int64 43400L); (mk_real_int64 43400L); ]);
("y5_lo", [11; 16; 18; 24; 25; 26; 27; 30; 34; 36; 39; 42; 43; 45; 46; 47; 49; 53; 54; 55; 57; ], [(mk_real_int64 4710L); (mk_real_int64 24680L); (mk_real_int64 1200L); (mk_real_int64 1240L); (mk_real_int64 60L); (mk_real_int64 25000L); (mk_real_int64 32400L); (mk_real_int64 2000L); (mk_real_int64 4160L); (mk_real_int64 28950L); (mk_real_int64 5170L); (mk_real_int64 22710L); (mk_real_int64 14800L); (mk_real_int64 11310L); (mk_real_int64 27200L); (mk_real_int64 23600L); (mk_real_int64 18060L); (mk_real_int64 7840L); (mk_real_int64 21600L); (mk_real_int64 21600L); (mk_real_int64 35570L); ]);
("y5_hi", [15; 17; 21; 28; 33; 35; 40; 41; 44; 50; 51; 52; ], [(mk_real_int64 22400L); (mk_real_int64 970L); (mk_real_int64 3360L); (mk_real_int64 30650L); (mk_real_int64 10240L); (mk_real_int64 33600L); (mk_real_int64 26940L); (mk_real_int64 37600L); (mk_real_int64 39550L); (mk_real_int64 25670L); (mk_real_int64 16000L); (mk_real_int64 35150L); ]);
("y6_lo", [11; 16; 18; 22; 24; 25; 26; 27; 30; 34; 35; 36; 39; 42; 43; 45; 46; 47; 49; 52; 53; 54; 55; 57; ], [(mk_real_int64 4710L); (mk_real_int64 151424680L); (mk_real_int64 1200L); (mk_real_int64 1818400000L); (mk_real_int64 1240L); (mk_real_int64 60L); (mk_real_int64 25000L); (mk_real_int64 32400L); (mk_real_int64 2000L); (mk_real_int64 1366404160L); (mk_real_int64 690466400L); (mk_real_int64 28950L); (mk_real_int64 5170L); (mk_real_int64 22710L); (mk_real_int64 14800L); (mk_real_int64 11310L); (mk_real_int64 957227200L); (mk_real_int64 23600L); (mk_real_int64 18060L); (mk_real_int64 2466400000L); (mk_real_int64 380307840L); (mk_real_int64 21600L); (mk_real_int64 504321600L); (mk_real_int64 35570L); ]);
("y6_hi", [15; 17; 21; 28; 33; 40; 41; 44; 50; 51; 52; ], [(mk_real_int64 22400L); (mk_real_int64 970L); (mk_real_int64 3360L); (mk_real_int64 30650L); (mk_real_int64 10240L); (mk_real_int64 26940L); (mk_real_int64 37600L); (mk_real_int64 39550L); (mk_real_int64 25670L); (mk_real_int64 16000L); (mk_real_int64 35150L); ]);
("y8_hi", [1; ], [(mk_real_int64 1173100000L); ]);
("ye_hi", [25; 27; 35; 51; 53; 57; ], [(mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("ye_lo", [24; 40; 50; 52; 54; ], [(mk_real_int64 58000000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 100000L); ]);
("yn_lo", [0; 1; 2; 3; 4; 5; 6; 7; 8; 11; 12; ], [(mk_real_int64 15068L); (mk_real_int64 15068L); (mk_real_int64 15068L); (mk_real_int64 15068L); (mk_real_int64 114034L); (mk_real_int64 115068L); (mk_real_int64 14034L); (mk_real_int64 115068L); (mk_real_int64 115068L); (mk_real_int64 74887L); (mk_real_int64 96668L); ]);
("yn_hi", [9; 10; ], [(mk_real_int64 98031L); (mk_real_int64 42038L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)