needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "62059307362 17 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 7 3 7 4 8 3 8 4 3 3 8 3 9 3 9 3 2 3 9 2 10 3 10 2 1 3 10 1 11 3 11 1 0 5 11 0 6 7 12 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12 ";;
let precision = 4;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [0; 8; ], [(mk_real_int64 1953L); (mk_real_int64 253L); ]);
("azim_sum", [12; ], [(mk_real_int64 941L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 9142L); (mk_real_int64 10429L); (mk_real_int64 10429L); (mk_real_int64 10429L); (mk_real_int64 10429L); (mk_real_int64 10429L); (mk_real_int64 10429L); (mk_real_int64 10429L); (mk_real_int64 8871L); (mk_real_int64 7743L); (mk_real_int64 8617L); (mk_real_int64 10429L); (mk_real_int64 10429L); ]);
("sol_sum3", [1; ], [(mk_real_int64 1953L); ]);
("sol_sum3_neg", [4; 6; 8; 11; 13; 14; ], [(mk_real_int64 544L); (mk_real_int64 2687L); (mk_real_int64 531L); (mk_real_int64 1931L); (mk_real_int64 301L); (mk_real_int64 1931L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 9142L); (mk_real_int64 9142L); (mk_real_int64 10429L); (mk_real_int64 8617L); (mk_real_int64 8073L); (mk_real_int64 7743L); (mk_real_int64 7743L); (mk_real_int64 7743L); (mk_real_int64 8087L); (mk_real_int64 8617L); (mk_real_int64 10429L); (mk_real_int64 8499L); (mk_real_int64 7743L); (mk_real_int64 7442L); (mk_real_int64 8499L); ]);
("tau_sum5_neg", [0; ], [(mk_real_int64 10429L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 10429L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 7; 11; 12; ], [(mk_real_int64 79L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); (mk_real_int64 1499L); ]);
("ln_def", [8; 9; 10; ], [(mk_real_int64 219L); (mk_real_int64 1463L); (mk_real_int64 499L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 57438L); (mk_real_int64 65528L); (mk_real_int64 65528L); (mk_real_int64 65528L); (mk_real_int64 65528L); (mk_real_int64 65528L); (mk_real_int64 65528L); (mk_real_int64 65528L); (mk_real_int64 55737L); (mk_real_int64 48648L); (mk_real_int64 54145L); (mk_real_int64 65528L); (mk_real_int64 65528L); ]);
("edge_sym_neg", [7; 13; 17; 20; 23; 26; 29; 32; 34; 35; 46; 49; ], [(mk_real_int64 928L); (mk_real_int64 1304L); (mk_real_int64 56L); (mk_real_int64 656L); (mk_real_int64 2161L); (mk_real_int64 630L); (mk_real_int64 2160L); (mk_real_int64 1842L); (mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 378L); (mk_real_int64 182L); ]);
("edge_sym", [11; 16; 22; 28; 42; 43; 52; ], [(mk_real_int64 1304L); (mk_real_int64 1849L); (mk_real_int64 630L); (mk_real_int64 658L); (mk_real_int64 378L); (mk_real_int64 378L); (mk_real_int64 378L); ]);
("y1_def_neg", [6; 7; 9; 11; 14; 15; 17; 19; 20; 21; 22; 23; 28; 29; 30; 31; 32; 33; 35; 37; 43; 47; 48; 50; 52; ], [(mk_real_int64 537L); (mk_real_int64 469L); (mk_real_int64 567L); (mk_real_int64 295L); (mk_real_int64 1877L); (mk_real_int64 1087L); (mk_real_int64 1030L); (mk_real_int64 1267L); (mk_real_int64 1058L); (mk_real_int64 15L); (mk_real_int64 1612L); (mk_real_int64 476L); (mk_real_int64 1612L); (mk_real_int64 490L); (mk_real_int64 897L); (mk_real_int64 1054L); (mk_real_int64 376L); (mk_real_int64 1030L); (mk_real_int64 1087L); (mk_real_int64 1877L); (mk_real_int64 296L); (mk_real_int64 1313L); (mk_real_int64 1202L); (mk_real_int64 1477L); (mk_real_int64 871L); ]);
("y1_def", [24; 26; 45; 51; 53; ], [(mk_real_int64 341L); (mk_real_int64 1021L); (mk_real_int64 734L); (mk_real_int64 114L); (mk_real_int64 734L); ]);
("y2_def_neg", [7; 11; 14; 17; 19; 23; 24; 29; 30; 33; 37; 48; 52; ], [(mk_real_int64 469L); (mk_real_int64 295L); (mk_real_int64 1877L); (mk_real_int64 1030L); (mk_real_int64 664L); (mk_real_int64 476L); (mk_real_int64 104L); (mk_real_int64 465L); (mk_real_int64 897L); (mk_real_int64 1030L); (mk_real_int64 1877L); (mk_real_int64 688L); (mk_real_int64 690L); ]);
("y2_def", [6; 9; 15; 20; 21; 22; 26; 28; 31; 32; 35; 43; 45; 47; 50; 51; 53; ], [(mk_real_int64 325L); (mk_real_int64 286L); (mk_real_int64 659L); (mk_real_int64 642L); (mk_real_int64 9L); (mk_real_int64 978L); (mk_real_int64 1021L); (mk_real_int64 978L); (mk_real_int64 639L); (mk_real_int64 228L); (mk_real_int64 659L); (mk_real_int64 378L); (mk_real_int64 734L); (mk_real_int64 797L); (mk_real_int64 896L); (mk_real_int64 114L); (mk_real_int64 734L); ]);
("y3_def_neg", [7; 11; 14; 17; 19; 23; 24; 29; 30; 33; 37; 48; 52; ], [(mk_real_int64 469L); (mk_real_int64 295L); (mk_real_int64 1877L); (mk_real_int64 1030L); (mk_real_int64 664L); (mk_real_int64 476L); (mk_real_int64 104L); (mk_real_int64 465L); (mk_real_int64 897L); (mk_real_int64 1030L); (mk_real_int64 1877L); (mk_real_int64 688L); (mk_real_int64 690L); ]);
("y3_def", [6; 9; 15; 20; 21; 22; 26; 28; 31; 32; 35; 43; 45; 47; 50; 51; 53; ], [(mk_real_int64 325L); (mk_real_int64 286L); (mk_real_int64 659L); (mk_real_int64 642L); (mk_real_int64 9L); (mk_real_int64 978L); (mk_real_int64 1021L); (mk_real_int64 978L); (mk_real_int64 639L); (mk_real_int64 228L); (mk_real_int64 659L); (mk_real_int64 378L); (mk_real_int64 734L); (mk_real_int64 797L); (mk_real_int64 896L); (mk_real_int64 114L); (mk_real_int64 734L); ]);
("y4_def_neg", [0; 1; 3; 8; 9; 11; 13; 14; 15; 16; 17; 20; 22; 23; 24; 25; 26; 27; 29; 31; 34; 36; 37; 39; 40; 41; 42; ], [(mk_real_int64 613L); (mk_real_int64 325L); (mk_real_int64 631L); (mk_real_int64 1304L); (mk_real_int64 1241L); (mk_real_int64 715L); (mk_real_int64 1298L); (mk_real_int64 1208L); (mk_real_int64 17L); (mk_real_int64 1840L); (mk_real_int64 330L); (mk_real_int64 527L); (mk_real_int64 1840L); (mk_real_int64 348L); (mk_real_int64 867L); (mk_real_int64 1203L); (mk_real_int64 429L); (mk_real_int64 715L); (mk_real_int64 1241L); (mk_real_int64 1304L); (mk_real_int64 378L); (mk_real_int64 1499L); (mk_real_int64 978L); (mk_real_int64 1686L); (mk_real_int64 59L); (mk_real_int64 655L); (mk_real_int64 378L); ]);
("y4_def", [5; 18; ], [(mk_real_int64 631L); (mk_real_int64 527L); ]);
("y5_def_neg", [7; 14; 17; 19; 23; 24; 26; 29; 30; 33; 37; 45; 48; 51; 52; 53; ], [(mk_real_int64 325L); (mk_real_int64 1304L); (mk_real_int64 715L); (mk_real_int64 642L); (mk_real_int64 330L); (mk_real_int64 104L); (mk_real_int64 527L); (mk_real_int64 320L); (mk_real_int64 867L); (mk_real_int64 715L); (mk_real_int64 1304L); (mk_real_int64 378L); (mk_real_int64 418L); (mk_real_int64 59L); (mk_real_int64 458L); (mk_real_int64 378L); ]);
("y5_def", [6; 9; 11; 15; 20; 21; 22; 28; 31; 32; 35; 43; 47; 50; ], [(mk_real_int64 325L); (mk_real_int64 297L); (mk_real_int64 631L); (mk_real_int64 659L); (mk_real_int64 642L); (mk_real_int64 9L); (mk_real_int64 978L); (mk_real_int64 978L); (mk_real_int64 639L); (mk_real_int64 228L); (mk_real_int64 659L); (mk_real_int64 378L); (mk_real_int64 797L); (mk_real_int64 896L); ]);
("y6_def_neg", [7; 17; 19; 23; 24; 26; 29; 30; 52; ], [(mk_real_int64 325L); (mk_real_int64 715L); (mk_real_int64 642L); (mk_real_int64 330L); (mk_real_int64 104L); (mk_real_int64 527L); (mk_real_int64 320L); (mk_real_int64 867L); (mk_real_int64 458L); ]);
("y6_def", [6; 9; 11; 15; 20; 21; 22; 28; 31; 32; 33; 35; 36; 38; 43; 45; 47; 48; 50; 51; 53; ], [(mk_real_int64 325L); (mk_real_int64 297L); (mk_real_int64 631L); (mk_real_int64 2019L); (mk_real_int64 642L); (mk_real_int64 9L); (mk_real_int64 978L); (mk_real_int64 978L); (mk_real_int64 639L); (mk_real_int64 228L); (mk_real_int64 3083L); (mk_real_int64 659L); (mk_real_int64 1360L); (mk_real_int64 1304L); (mk_real_int64 378L); (mk_real_int64 56L); (mk_real_int64 797L); (mk_real_int64 3661L); (mk_real_int64 896L); (mk_real_int64 4304L); (mk_real_int64 56L); ]);
("RHA", [6; 8; 9; 11; 16; 17; 18; 19; 20; 21; 25; 26; 29; 30; 31; 32; 34; 44; 45; 46; 47; 48; 50; 51; 52; 53; 54; 55; ], [(mk_real_int64 393L); (mk_real_int64 1288L); (mk_real_int64 403L); (mk_real_int64 1288L); (mk_real_int64 1812L); (mk_real_int64 253L); (mk_real_int64 798L); (mk_real_int64 1730L); (mk_real_int64 593L); (mk_real_int64 1103L); (mk_real_int64 2687L); (mk_real_int64 2687L); (mk_real_int64 849L); (mk_real_int64 531L); (mk_real_int64 586L); (mk_real_int64 1716L); (mk_real_int64 1812L); (mk_real_int64 1931L); (mk_real_int64 1931L); (mk_real_int64 372L); (mk_real_int64 498L); (mk_real_int64 594L); (mk_real_int64 526L); (mk_real_int64 301L); (mk_real_int64 988L); (mk_real_int64 119L); (mk_real_int64 1931L); (mk_real_int64 1931L); ]);
("tau5", [0; ], [(mk_real_int64 10429L); ]);
("tau6", [0; ], [(mk_real_int64 10429L); ]);
("ineq105", [10; ], [(mk_real_int64 941L); ]);
("ineq106", [0; 3; 9; 13; 14; 15; 16; 22; 23; 25; 26; 29; 36; 37; 39; 41; ], [(mk_real_int64 894L); (mk_real_int64 885L); (mk_real_int64 1812L); (mk_real_int64 626L); (mk_real_int64 1763L); (mk_real_int64 25L); (mk_real_int64 2687L); (mk_real_int64 2687L); (mk_real_int64 26L); (mk_real_int64 1756L); (mk_real_int64 627L); (mk_real_int64 1812L); (mk_real_int64 2189L); (mk_real_int64 534L); (mk_real_int64 2461L); (mk_real_int64 188L); ]);
("ineq107", [18; ], [(mk_real_int64 681L); ]);
("ineq109", [5; ], [(mk_real_int64 1953L); ]);
("ineq110", [13; 20; 24; 34; 40; 42; ], [(mk_real_int64 544L); (mk_real_int64 2687L); (mk_real_int64 531L); (mk_real_int64 1931L); (mk_real_int64 301L); (mk_real_int64 1931L); ]);
("ineq111", [1; 3; 8; 11; 13; 17; 23; 24; 27; 31; 37; 41; ], [(mk_real_int64 2604L); (mk_real_int64 201L); (mk_real_int64 10429L); (mk_real_int64 5723L); (mk_real_int64 6101L); (mk_real_int64 2643L); (mk_real_int64 2637L); (mk_real_int64 6105L); (mk_real_int64 5723L); (mk_real_int64 10429L); (mk_real_int64 4899L); (mk_real_int64 4212L); ]);
("ineq112", [1; ], [(mk_real_int64 3853L); ]);
("ineq113", [18; 35; 42; ], [(mk_real_int64 7743L); (mk_real_int64 6995L); (mk_real_int64 6995L); ]);
("ineq114", [0; 2; 3; 5; 10; 13; 14; 15; 23; 25; 26; 28; 33; 36; 37; 39; 41; 44; ], [(mk_real_int64 628L); (mk_real_int64 2057L); (mk_real_int64 3764L); (mk_real_int64 5177L); (mk_real_int64 2894L); (mk_real_int64 1894L); (mk_real_int64 78L); (mk_real_int64 1357L); (mk_real_int64 1356L); (mk_real_int64 89L); (mk_real_int64 1893L); (mk_real_int64 2894L); (mk_real_int64 1504L); (mk_real_int64 2299L); (mk_real_int64 545L); (mk_real_int64 1864L); (mk_real_int64 1098L); (mk_real_int64 1504L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 43748L); (mk_real_int64 53888L); (mk_real_int64 53888L); (mk_real_int64 53888L); (mk_real_int64 53888L); (mk_real_int64 53888L); (mk_real_int64 53888L); (mk_real_int64 53888L); (mk_real_int64 47302L); (mk_real_int64 41408L); (mk_real_int64 39670L); (mk_real_int64 53888L); (mk_real_int64 53888L); ]);
];;

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

let variable_bounds = [
("azim_hi", [5; 6; 9; 24; 31; 32; 44; 46; 47; 48; 50; 52; 53; 55; ], [(mk_real_int64 19530000L); (mk_real_int64 1280L); (mk_real_int64 2640L); (mk_real_int64 5630L); (mk_real_int64 7140L); (mk_real_int64 180L); (mk_real_int64 5040L); (mk_real_int64 2950L); (mk_real_int64 1740L); (mk_real_int64 1700L); (mk_real_int64 8640L); (mk_real_int64 3480L); (mk_real_int64 2950L); (mk_real_int64 5040L); ]);
("azim_lo", [7; 8; 11; 16; 18; 19; 20; 21; 29; 34; ], [(mk_real_int64 4710L); (mk_real_int64 3180L); (mk_real_int64 1980L); (mk_real_int64 3560L); (mk_real_int64 10000L); (mk_real_int64 3560L); (mk_real_int64 1720L); (mk_real_int64 5180L); (mk_real_int64 1440L); (mk_real_int64 3560L); ]);
("rhazim_hi", [5; 8; 9; 11; 22; 25; 26; 28; 29; 30; 32; 44; 45; 47; 52; 53; 54; 55; ], [(mk_real_int64 12880000L); (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); (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_lo", [5; 17; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rho_lo", [1; 2; 3; 4; 5; 6; 7; 10; 11; 12; ], [(mk_real_int64 5072L); (mk_real_int64 5072L); (mk_real_int64 5072L); (mk_real_int64 5072L); (mk_real_int64 5072L); (mk_real_int64 5072L); (mk_real_int64 5072L); (mk_real_int64 26656L); (mk_real_int64 5072L); (mk_real_int64 5072L); ]);
("rho_hi", [0; 8; 9; ], [(mk_real_int64 30144L); (mk_real_int64 12672L); (mk_real_int64 28176L); ]);
("tau_lo", [6; 8; 15; ], [(mk_real_int64 37430000L); (mk_real_int64 37500000L); (mk_real_int64 2680000L); ]);
("y1_hi", [6; 7; 11; 20; 23; 26; 31; 50; 51; 52; ], [(mk_real_int64 6000L); (mk_real_int64 2800L); (mk_real_int64 970L); (mk_real_int64 2000L); (mk_real_int64 2600L); (mk_real_int64 600L); (mk_real_int64 4000L); (mk_real_int64 4000L); (mk_real_int64 3800L); (mk_real_int64 400L); ]);
("y1_lo", [9; 14; 15; 17; 19; 22; 24; 28; 29; 30; 32; 33; 35; 37; 43; 45; 47; 48; 53; ], [(mk_real_int64 1800L); (mk_real_int64 2200L); (mk_real_int64 2000L); (mk_real_int64 1400L); (mk_real_int64 600L); (mk_real_int64 2000L); (mk_real_int64 5000L); (mk_real_int64 2000L); (mk_real_int64 2600L); (mk_real_int64 1200L); (mk_real_int64 2000L); (mk_real_int64 1400L); (mk_real_int64 2000L); (mk_real_int64 2200L); (mk_real_int64 4150L); (mk_real_int64 2200L); (mk_real_int64 4000L); (mk_real_int64 2200L); (mk_real_int64 2200L); ]);
("y2_hi", [6; 7; 11; 15; 19; 21; 23; 24; 26; 31; 32; 35; 43; 48; 51; 52; ], [(mk_real_int64 3266L); (mk_real_int64 2800L); (mk_real_int64 970L); (mk_real_int64 3868L); (mk_real_int64 3414L); (mk_real_int64 975L); (mk_real_int64 2600L); (mk_real_int64 4880L); (mk_real_int64 600L); (mk_real_int64 84L); (mk_real_int64 1653L); (mk_real_int64 3868L); (mk_real_int64 2820L); (mk_real_int64 5026L); (mk_real_int64 3800L); (mk_real_int64 2532L); ]);
("y2_lo", [9; 14; 17; 20; 22; 28; 29; 30; 33; 37; 45; 47; 50; 53; ], [(mk_real_int64 1285L); (mk_real_int64 2200L); (mk_real_int64 1400L); (mk_real_int64 4443L); (mk_real_int64 2007L); (mk_real_int64 2007L); (mk_real_int64 1986L); (mk_real_int64 1200L); (mk_real_int64 1400L); (mk_real_int64 2200L); (mk_real_int64 2200L); (mk_real_int64 4229L); (mk_real_int64 4421L); (mk_real_int64 2200L); ]);
("y3_hi", [6; 7; 11; 15; 19; 21; 23; 24; 26; 31; 32; 35; 43; 48; 51; 52; ], [(mk_real_int64 3266L); (mk_real_int64 2800L); (mk_real_int64 970L); (mk_real_int64 3868L); (mk_real_int64 3414L); (mk_real_int64 975L); (mk_real_int64 2600L); (mk_real_int64 4880L); (mk_real_int64 600L); (mk_real_int64 84L); (mk_real_int64 1653L); (mk_real_int64 3868L); (mk_real_int64 2820L); (mk_real_int64 5026L); (mk_real_int64 3800L); (mk_real_int64 2532L); ]);
("y3_lo", [9; 14; 17; 20; 22; 28; 29; 30; 33; 37; 45; 47; 50; 53; ], [(mk_real_int64 1285L); (mk_real_int64 2200L); (mk_real_int64 1400L); (mk_real_int64 4443L); (mk_real_int64 2007L); (mk_real_int64 2007L); (mk_real_int64 1986L); (mk_real_int64 1200L); (mk_real_int64 1400L); (mk_real_int64 2200L); (mk_real_int64 2200L); (mk_real_int64 4229L); (mk_real_int64 4421L); (mk_real_int64 2200L); ]);
("y4_hi", [0; 5; 8; 14; 20; 23; 25; 31; 39; 40; ], [(mk_real_int64 6100L); (mk_real_int64 2096L); (mk_real_int64 3750L); (mk_real_int64 3450L); (mk_real_int64 3480L); (mk_real_int64 5650L); (mk_real_int64 1400L); (mk_real_int64 3750L); (mk_real_int64 2150L); (mk_real_int64 40L); ]);
("y4_lo", [1; 3; 9; 11; 13; 15; 16; 17; 18; 22; 24; 26; 27; 29; 34; 36; 37; 41; 42; ], [(mk_real_int64 5000L); (mk_real_int64 3500L); (mk_real_int64 2200L); (mk_real_int64 3750L); (mk_real_int64 590L); (mk_real_int64 1250L); (mk_real_int64 5950L); (mk_real_int64 3750L); (mk_real_int64 5870L); (mk_real_int64 5950L); (mk_real_int64 2010L); (mk_real_int64 4950L); (mk_real_int64 3750L); (mk_real_int64 2200L); (mk_real_int64 4760L); (mk_real_int64 4650L); (mk_real_int64 1650L); (mk_real_int64 2800L); (mk_real_int64 4760L); ]);
("y5_hi", [6; 11; 14; 15; 19; 21; 24; 26; 31; 32; 35; 37; 43; 51; ], [(mk_real_int64 3266L); (mk_real_int64 2096L); (mk_real_int64 3750L); (mk_real_int64 3868L); (mk_real_int64 5524L); (mk_real_int64 975L); (mk_real_int64 4880L); (mk_real_int64 3480L); (mk_real_int64 84L); (mk_real_int64 1653L); (mk_real_int64 3868L); (mk_real_int64 3750L); (mk_real_int64 2820L); (mk_real_int64 40L); ]);
("y5_lo", [7; 9; 17; 20; 22; 23; 28; 29; 30; 33; 45; 47; 48; 50; 52; 53; ], [(mk_real_int64 5000L); (mk_real_int64 735L); (mk_real_int64 3750L); (mk_real_int64 4443L); (mk_real_int64 2007L); (mk_real_int64 3750L); (mk_real_int64 2007L); (mk_real_int64 1636L); (mk_real_int64 2010L); (mk_real_int64 3750L); (mk_real_int64 4760L); (mk_real_int64 4229L); (mk_real_int64 524L); (mk_real_int64 4421L); (mk_real_int64 868L); (mk_real_int64 4760L); ]);
("y6_lo", [7; 9; 14; 15; 17; 20; 22; 23; 28; 29; 30; 33; 36; 37; 38; 45; 47; 48; 50; 51; 52; 53; ], [(mk_real_int64 5000L); (mk_real_int64 735L); (mk_real_int64 13040000L); (mk_real_int64 13600000L); (mk_real_int64 3750L); (mk_real_int64 4443L); (mk_real_int64 2007L); (mk_real_int64 3750L); (mk_real_int64 2007L); (mk_real_int64 1636L); (mk_real_int64 2010L); (mk_real_int64 37983750L); (mk_real_int64 13600000L); (mk_real_int64 13040000L); (mk_real_int64 13040000L); (mk_real_int64 4350000L); (mk_real_int64 4229L); (mk_real_int64 40790524L); (mk_real_int64 4421L); (mk_real_int64 43630000L); (mk_real_int64 868L); (mk_real_int64 4350000L); ]);
("y6_hi", [6; 11; 14; 15; 19; 21; 24; 26; 31; 32; 35; 37; 43; 45; 51; 53; ], [(mk_real_int64 3266L); (mk_real_int64 2096L); (mk_real_int64 3750L); (mk_real_int64 3868L); (mk_real_int64 5524L); (mk_real_int64 975L); (mk_real_int64 4880L); (mk_real_int64 3480L); (mk_real_int64 84L); (mk_real_int64 1653L); (mk_real_int64 3868L); (mk_real_int64 3750L); (mk_real_int64 2820L); (mk_real_int64 5240L); (mk_real_int64 40L); (mk_real_int64 5240L); ]);
("ye_hi", [16; 21; 22; 30; 47; 48; 49; 52; ], [(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); ]);
("ye_lo", [7; 11; 16; 18; 24; 26; ], [(mk_real_int64 100000L); (mk_real_int64 3760000L); (mk_real_int64 38060000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("yn_lo", [0; 2; 3; 5; 6; ], [(mk_real_int64 10751L); (mk_real_int64 12731L); (mk_real_int64 2731L); (mk_real_int64 2731L); (mk_real_int64 2731L); ]);
("yn_hi", [1; 4; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 7269L); (mk_real_int64 7269L); (mk_real_int64 7269L); (mk_real_int64 18630L); (mk_real_int64 16510L); (mk_real_int64 4230L); (mk_real_int64 7269L); (mk_real_int64 7269L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)