needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "196021155893 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 3 10 4 5 3 10 5 11 3 11 5 6 3 11 6 7 3 11 7 12 3 12 7 8 3 12 8 9 4 9 10 11 12 ";;
let precision = 4;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [3; 5; 6; 8; 11; ], [(mk_real_int64 5101L); (mk_real_int64 4000L); (mk_real_int64 2703L); (mk_real_int64 175L); (mk_real_int64 2818L); ]);
("azim_sum_neg", [1; 4; 7; 9; 12; ], [(mk_real_int64 1027L); (mk_real_int64 617L); (mk_real_int64 524L); (mk_real_int64 374L); (mk_real_int64 3149L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 9187L); (mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 8570L); (mk_real_int64 8612L); (mk_real_int64 8944L); (mk_real_int64 8570L); (mk_real_int64 8570L); (mk_real_int64 8570L); ]);
("sol_sum3", [2; 11; 12; 13; ], [(mk_real_int64 287L); (mk_real_int64 1134L); (mk_real_int64 1842L); (mk_real_int64 1723L); ]);
("sol_sum3_neg", [3; 4; 5; 6; 9; 10; ], [(mk_real_int64 990L); (mk_real_int64 2198L); (mk_real_int64 855L); (mk_real_int64 1930L); (mk_real_int64 3546L); (mk_real_int64 399L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 8014L); (mk_real_int64 5469L); (mk_real_int64 8149L); (mk_real_int64 6857L); (mk_real_int64 8570L); (mk_real_int64 8570L); (mk_real_int64 7889L); (mk_real_int64 8570L); (mk_real_int64 8570L); (mk_real_int64 8570L); (mk_real_int64 8570L); ]);
("tau_sum4_neg", [0; 1; 2; 3; ], [(mk_real_int64 9004L); (mk_real_int64 9004L); (mk_real_int64 8570L); (mk_real_int64 8570L); ]);
("ln_def", [0; 1; 2; 3; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 72L); (mk_real_int64 72L); (mk_real_int64 72L); (mk_real_int64 72L); (mk_real_int64 72L); (mk_real_int64 7L); (mk_real_int64 551L); (mk_real_int64 504L); (mk_real_int64 139L); (mk_real_int64 551L); (mk_real_int64 551L); (mk_real_int64 551L); ]);
("ln_def_neg", [4; ], [(mk_real_int64 130L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 56574L); (mk_real_int64 56574L); (mk_real_int64 56574L); (mk_real_int64 56574L); (mk_real_int64 57726L); (mk_real_int64 56574L); (mk_real_int64 56574L); (mk_real_int64 53849L); (mk_real_int64 54112L); (mk_real_int64 56197L); (mk_real_int64 53849L); (mk_real_int64 53849L); (mk_real_int64 53849L); ]);
("edge_sym_neg", [3; 5; 8; 18; 19; 21; 22; 25; 28; 35; 38; 41; 44; 47; ], [(mk_real_int64 164L); (mk_real_int64 32L); (mk_real_int64 153L); (mk_real_int64 194L); (mk_real_int64 194L); (mk_real_int64 204L); (mk_real_int64 1208L); (mk_real_int64 201L); (mk_real_int64 1319L); (mk_real_int64 186L); (mk_real_int64 640L); (mk_real_int64 1727L); (mk_real_int64 1864L); (mk_real_int64 640L); ]);
("edge_sym", [9; 12; 13; 16; 31; 37; ], [(mk_real_int64 32L); (mk_real_int64 491L); (mk_real_int64 644L); (mk_real_int64 194L); (mk_real_int64 186L); (mk_real_int64 687L); ]);
("y1_def", [6; 15; 18; 21; 23; 28; 39; 40; 44; 47; 48; 51; ], [(mk_real_int64 106L); (mk_real_int64 327L); (mk_real_int64 376L); (mk_real_int64 167L); (mk_real_int64 433L); (mk_real_int64 108L); (mk_real_int64 23L); (mk_real_int64 752L); (mk_real_int64 613L); (mk_real_int64 1007L); (mk_real_int64 653L); (mk_real_int64 223L); ]);
("y1_def_neg", [7; 8; 10; 13; 16; 20; 26; 27; 34; 37; 38; 41; 42; 43; 46; 49; 50; 53; 56; ], [(mk_real_int64 42L); (mk_real_int64 46L); (mk_real_int64 120L); (mk_real_int64 385L); (mk_real_int64 678L); (mk_real_int64 228L); (mk_real_int64 67L); (mk_real_int64 21L); (mk_real_int64 268L); (mk_real_int64 456L); (mk_real_int64 146L); (mk_real_int64 498L); (mk_real_int64 287L); (mk_real_int64 613L); (mk_real_int64 721L); (mk_real_int64 571L); (mk_real_int64 278L); (mk_real_int64 260L); (mk_real_int64 501L); ]);
("y2_def_neg", [6; 8; 15; 16; 26; 28; 34; 39; 41; 46; 47; 48; 49; 50; 51; 53; ], [(mk_real_int64 32L); (mk_real_int64 46L); (mk_real_int64 156L); (mk_real_int64 678L); (mk_real_int64 67L); (mk_real_int64 33L); (mk_real_int64 268L); (mk_real_int64 7L); (mk_real_int64 498L); (mk_real_int64 355L); (mk_real_int64 306L); (mk_real_int64 199L); (mk_real_int64 571L); (mk_real_int64 278L); (mk_real_int64 706L); (mk_real_int64 260L); ]);
("y2_def", [7; 10; 13; 18; 20; 21; 23; 27; 37; 38; 40; 42; 43; 44; 56; ], [(mk_real_int64 64L); (mk_real_int64 153L); (mk_real_int64 491L); (mk_real_int64 376L); (mk_real_int64 138L); (mk_real_int64 1322L); (mk_real_int64 292L); (mk_real_int64 1191L); (mk_real_int64 460L); (mk_real_int64 226L); (mk_real_int64 1708L); (mk_real_int64 101L); (mk_real_int64 950L); (mk_real_int64 11L); (mk_real_int64 640L); ]);
("y3_def_neg", [6; 8; 15; 16; 26; 28; 34; 39; 41; 46; 47; 48; 49; 50; 51; 53; ], [(mk_real_int64 32L); (mk_real_int64 46L); (mk_real_int64 156L); (mk_real_int64 678L); (mk_real_int64 67L); (mk_real_int64 33L); (mk_real_int64 268L); (mk_real_int64 7L); (mk_real_int64 498L); (mk_real_int64 355L); (mk_real_int64 306L); (mk_real_int64 199L); (mk_real_int64 571L); (mk_real_int64 278L); (mk_real_int64 706L); (mk_real_int64 260L); ]);
("y3_def", [7; 10; 13; 18; 20; 21; 23; 27; 37; 38; 40; 42; 43; 44; 56; ], [(mk_real_int64 64L); (mk_real_int64 153L); (mk_real_int64 491L); (mk_real_int64 376L); (mk_real_int64 138L); (mk_real_int64 1322L); (mk_real_int64 292L); (mk_real_int64 1191L); (mk_real_int64 460L); (mk_real_int64 226L); (mk_real_int64 1708L); (mk_real_int64 101L); (mk_real_int64 950L); (mk_real_int64 11L); (mk_real_int64 640L); ]);
("y4_def", [2; 7; 20; 27; 32; 35; 36; 38; 39; 41; ], [(mk_real_int64 164L); (mk_real_int64 665L); (mk_real_int64 168L); (mk_real_int64 36L); (mk_real_int64 635L); (mk_real_int64 1558L); (mk_real_int64 1010L); (mk_real_int64 595L); (mk_real_int64 762L); (mk_real_int64 557L); ]);
("y4_def_neg", [3; 4; 8; 10; 12; 13; 18; 19; 22; 25; 26; 28; 29; 30; 31; 34; 37; ], [(mk_real_int64 121L); (mk_real_int64 32L); (mk_real_int64 471L); (mk_real_int64 194L); (mk_real_int64 260L); (mk_real_int64 1347L); (mk_real_int64 46L); (mk_real_int64 1240L); (mk_real_int64 186L); (mk_real_int64 866L); (mk_real_int64 426L); (mk_real_int64 1374L); (mk_real_int64 346L); (mk_real_int64 537L); (mk_real_int64 1788L); (mk_real_int64 334L); (mk_real_int64 397L); ]);
("y5_def_neg", [6; 8; 15; 16; 18; 23; 26; 28; 34; 39; 40; 41; 44; 47; 48; 49; 51; ], [(mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 20L); (mk_real_int64 471L); (mk_real_int64 194L); (mk_real_int64 201L); (mk_real_int64 46L); (mk_real_int64 33L); (mk_real_int64 186L); (mk_real_int64 7L); (mk_real_int64 334L); (mk_real_int64 346L); (mk_real_int64 219L); (mk_real_int64 306L); (mk_real_int64 199L); (mk_real_int64 397L); (mk_real_int64 557L); ]);
("y5_def", [7; 10; 13; 20; 21; 27; 37; 38; 42; 43; 46; 50; 53; 56; ], [(mk_real_int64 64L); (mk_real_int64 153L); (mk_real_int64 491L); (mk_real_int64 138L); (mk_real_int64 56L); (mk_real_int64 79L); (mk_real_int64 460L); (mk_real_int64 226L); (mk_real_int64 142L); (mk_real_int64 950L); (mk_real_int64 306L); (mk_real_int64 595L); (mk_real_int64 557L); (mk_real_int64 640L); ]);
("y6_def_neg", [8; 16; 18; 26; 28; 34; 39; 40; 41; 44; 47; 48; 49; 51; ], [(mk_real_int64 32L); (mk_real_int64 471L); (mk_real_int64 194L); (mk_real_int64 46L); (mk_real_int64 33L); (mk_real_int64 32L); (mk_real_int64 7L); (mk_real_int64 334L); (mk_real_int64 346L); (mk_real_int64 219L); (mk_real_int64 306L); (mk_real_int64 199L); (mk_real_int64 397L); (mk_real_int64 557L); ]);
("y6_def", [7; 10; 13; 15; 20; 21; 23; 27; 36; 37; 38; 42; 43; 46; 50; 53; 56; ], [(mk_real_int64 64L); (mk_real_int64 153L); (mk_real_int64 491L); (mk_real_int64 471L); (mk_real_int64 138L); (mk_real_int64 56L); (mk_real_int64 204L); (mk_real_int64 79L); (mk_real_int64 152L); (mk_real_int64 460L); (mk_real_int64 226L); (mk_real_int64 142L); (mk_real_int64 950L); (mk_real_int64 306L); (mk_real_int64 595L); (mk_real_int64 557L); (mk_real_int64 640L); ]);
("RHA", [6; 7; 17; 18; 19; 20; 21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 34; 35; 39; 40; 41; 43; 50; 52; 53; 54; ], [(mk_real_int64 183L); (mk_real_int64 183L); (mk_real_int64 990L); (mk_real_int64 990L); (mk_real_int64 556L); (mk_real_int64 2721L); (mk_real_int64 2565L); (mk_real_int64 3143L); (mk_real_int64 463L); (mk_real_int64 855L); (mk_real_int64 855L); (mk_real_int64 1755L); (mk_real_int64 890L); (mk_real_int64 2087L); (mk_real_int64 374L); (mk_real_int64 434L); (mk_real_int64 617L); (mk_real_int64 617L); (mk_real_int64 434L); (mk_real_int64 681L); (mk_real_int64 123L); (mk_real_int64 1115L); (mk_real_int64 434L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 374L); (mk_real_int64 374L); ]);
("yy10", [3; ], [(mk_real_int64 164L); ]);
("tau4", [2; ], [(mk_real_int64 1262L); ]);
("ineq105", [4; 7; 14; ], [(mk_real_int64 381L); (mk_real_int64 1221L); (mk_real_int64 1592L); ]);
("ineq106", [12; 13; 19; 25; 28; ], [(mk_real_int64 380L); (mk_real_int64 970L); (mk_real_int64 1258L); (mk_real_int64 434L); (mk_real_int64 992L); ]);
("ineq107", [2; 7; 15; 20; 27; 32; 35; 36; 39; ], [(mk_real_int64 212L); (mk_real_int64 740L); (mk_real_int64 217L); (mk_real_int64 217L); (mk_real_int64 46L); (mk_real_int64 923L); (mk_real_int64 2015L); (mk_real_int64 1306L); (mk_real_int64 1426L); ]);
("ineq108", [3; 13; 25; 26; 30; 31; 34; ], [(mk_real_int64 177L); (mk_real_int64 368L); (mk_real_int64 831L); (mk_real_int64 622L); (mk_real_int64 648L); (mk_real_int64 2610L); (mk_real_int64 610L); ]);
("ineq109", [7; 34; 38; 41; ], [(mk_real_int64 287L); (mk_real_int64 1134L); (mk_real_int64 1842L); (mk_real_int64 1723L); ]);
("ineq110", [10; 13; 15; 19; 28; 32; ], [(mk_real_int64 990L); (mk_real_int64 2198L); (mk_real_int64 855L); (mk_real_int64 1930L); (mk_real_int64 3546L); (mk_real_int64 399L); ]);
("ineq111", [4; 8; 18; 22; 29; 30; 34; 37; 39; ], [(mk_real_int64 257L); (mk_real_int64 3768L); (mk_real_int64 371L); (mk_real_int64 1488L); (mk_real_int64 2766L); (mk_real_int64 747L); (mk_real_int64 2257L); (mk_real_int64 3175L); (mk_real_int64 2720L); ]);
("ineq113", [2; 3; 11; ], [(mk_real_int64 855L); (mk_real_int64 2358L); (mk_real_int64 3697L); ]);
("ineq114", [0; 5; 6; 8; 9; 14; 17; 19; 23; 25; 26; 28; 29; 30; 31; 33; 37; 38; 40; 41; ], [(mk_real_int64 8149L); (mk_real_int64 6390L); (mk_real_int64 4777L); (mk_real_int64 459L); (mk_real_int64 4318L); (mk_real_int64 1789L); (mk_real_int64 8149L); (mk_real_int64 6486L); (mk_real_int64 7083L); (mk_real_int64 5062L); (mk_real_int64 3508L); (mk_real_int64 922L); (mk_real_int64 435L); (mk_real_int64 2829L); (mk_real_int64 204L); (mk_real_int64 6313L); (mk_real_int64 2106L); (mk_real_int64 3289L); (mk_real_int64 3098L); (mk_real_int64 2752L); ]);
("ineq119", [2; 6; 15; ], [(mk_real_int64 2268L); (mk_real_int64 2268L); (mk_real_int64 6951L); ]);
("ineq120", [0; 4; 7; 9; 14; ], [(mk_real_int64 6736L); (mk_real_int64 4779L); (mk_real_int64 1957L); (mk_real_int64 7309L); (mk_real_int64 1620L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 49204L); (mk_real_int64 49204L); (mk_real_int64 49204L); (mk_real_int64 49204L); (mk_real_int64 48596L); (mk_real_int64 49204L); (mk_real_int64 699204L); (mk_real_int64 38854L); (mk_real_int64 47552L); (mk_real_int64 40462L); (mk_real_int64 38854L); (mk_real_int64 38854L); (mk_real_int64 38854L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 4; 6; 7; 9; 10; 13; 14; 16; 17; 19; 20; 21; 25; 30; 38; 39; 40; 41; 48; 49; 56; 57; ], [(mk_real_int64 1728L); (mk_real_int64 2740L); (mk_real_int64 5550L); (mk_real_int64 2780L); (mk_real_int64 1400L); (mk_real_int64 1367L); (mk_real_int64 361L); (mk_real_int64 4020L); (mk_real_int64 3340L); (mk_real_int64 680L); (mk_real_int64 4770L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 2740L); (mk_real_int64 1057L); (mk_real_int64 80L); (mk_real_int64 10000L); (mk_real_int64 1720L); (mk_real_int64 3100L); (mk_real_int64 10000L); (mk_real_int64 3560L); (mk_real_int64 8260L); (mk_real_int64 1970L); ]);
("azim_lo", [2; 12; 22; 27; 35; 37; 42; 43; 45; 50; 52; 53; ], [(mk_real_int64 4040L); (mk_real_int64 4040L); (mk_real_int64 860L); (mk_real_int64 7640L); (mk_real_int64 420L); (mk_real_int64 1880L); (mk_real_int64 460L); (mk_real_int64 2960L); (mk_real_int64 620L); (mk_real_int64 860L); (mk_real_int64 6520L); (mk_real_int64 2480L); ]);
("rhazim_hi", [27; ], [(mk_real_int64 10000L); ]);
("rho_lo", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 672L); (mk_real_int64 672L); (mk_real_int64 672L); (mk_real_int64 672L); (mk_real_int64 22416L); (mk_real_int64 672L); (mk_real_int64 672L); (mk_real_int64 19760L); (mk_real_int64 10816L); (mk_real_int64 592L); (mk_real_int64 19760L); (mk_real_int64 19760L); (mk_real_int64 19760L); ]);
("tau_hi", [2; 5; 9; 10; 17; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("tau_lo", [6; 12; 13; ], [(mk_real_int64 36800000L); (mk_real_int64 37660000L); (mk_real_int64 47900000L); ]);
("y1_lo", [8; 10; 15; 16; 21; 27; 38; 43; 49; 50; 53; 56; ], [(mk_real_int64 2600L); (mk_real_int64 150L); (mk_real_int64 3370L); (mk_real_int64 2400L); (mk_real_int64 2400L); (mk_real_int64 4000L); (mk_real_int64 1700L); (mk_real_int64 3500L); (mk_real_int64 5000L); (mk_real_int64 1420L); (mk_real_int64 1730L); (mk_real_int64 4800L); ]);
("y1_hi", [7; 13; 18; 23; 26; 28; 34; 37; 40; 41; 42; 44; 46; 47; 51; ], [(mk_real_int64 4050L); (mk_real_int64 3850L); (mk_real_int64 2000L); (mk_real_int64 4000L); (mk_real_int64 2200L); (mk_real_int64 5000L); (mk_real_int64 1600L); (mk_real_int64 3150L); (mk_real_int64 2800L); (mk_real_int64 1200L); (mk_real_int64 2600L); (mk_real_int64 1200L); (mk_real_int64 1560L); (mk_real_int64 5000L); (mk_real_int64 4000L); ]);
("y2_hi", [7; 10; 15; 18; 20; 21; 26; 27; 28; 34; 37; 38; 39; 40; 41; 42; 44; 48; ], [(mk_real_int64 4103L); (mk_real_int64 1620L); (mk_real_int64 1830L); (mk_real_int64 2000L); (mk_real_int64 2820L); (mk_real_int64 1382L); (mk_real_int64 2200L); (mk_real_int64 1862L); (mk_real_int64 160L); (mk_real_int64 1600L); (mk_real_int64 3335L); (mk_real_int64 3458L); (mk_real_int64 80L); (mk_real_int64 4688L); (mk_real_int64 1200L); (mk_real_int64 3472L); (mk_real_int64 3240L); (mk_real_int64 4880L); ]);
("y2_lo", [6; 8; 13; 16; 23; 43; 46; 47; 49; 50; 51; 53; 56; ], [(mk_real_int64 2240L); (mk_real_int64 2600L); (mk_real_int64 1580L); (mk_real_int64 2400L); (mk_real_int64 840L); (mk_real_int64 2210L); (mk_real_int64 5150L); (mk_real_int64 2800L); (mk_real_int64 5000L); (mk_real_int64 1420L); (mk_real_int64 3520L); (mk_real_int64 1730L); (mk_real_int64 160L); ]);
("y3_hi", [7; 10; 15; 18; 20; 21; 26; 27; 28; 34; 37; 38; 39; 40; 41; 42; 44; 48; ], [(mk_real_int64 4103L); (mk_real_int64 1620L); (mk_real_int64 1830L); (mk_real_int64 2000L); (mk_real_int64 2820L); (mk_real_int64 1382L); (mk_real_int64 2200L); (mk_real_int64 1862L); (mk_real_int64 160L); (mk_real_int64 1600L); (mk_real_int64 3335L); (mk_real_int64 3458L); (mk_real_int64 80L); (mk_real_int64 4688L); (mk_real_int64 1200L); (mk_real_int64 3472L); (mk_real_int64 3240L); (mk_real_int64 4880L); ]);
("y3_lo", [6; 8; 13; 16; 23; 43; 46; 47; 49; 50; 51; 53; 56; ], [(mk_real_int64 2240L); (mk_real_int64 2600L); (mk_real_int64 1580L); (mk_real_int64 2400L); (mk_real_int64 840L); (mk_real_int64 2210L); (mk_real_int64 5150L); (mk_real_int64 2800L); (mk_real_int64 5000L); (mk_real_int64 1420L); (mk_real_int64 3520L); (mk_real_int64 1730L); (mk_real_int64 160L); ]);
("y4_lo", [2; 3; 4; 7; 10; 12; 13; 18; 19; 20; 25; 26; 27; 28; 30; 35; 36; 41; ], [(mk_real_int64 1240L); (mk_real_int64 2450L); (mk_real_int64 1250L); (mk_real_int64 2216L); (mk_real_int64 400L); (mk_real_int64 3000L); (mk_real_int64 3380L); (mk_real_int64 3750L); (mk_real_int64 100L); (mk_real_int64 2590L); (mk_real_int64 5250L); (mk_real_int64 700L); (mk_real_int64 4420L); (mk_real_int64 5360L); (mk_real_int64 2550L); (mk_real_int64 4050L); (mk_real_int64 4620L); (mk_real_int64 1264L); ]);
("y4_hi", [15; 29; 31; 32; 34; 37; 38; 39; ], [(mk_real_int64 1610L); (mk_real_int64 2500L); (mk_real_int64 1500L); (mk_real_int64 2750L); (mk_real_int64 5338L); (mk_real_int64 1250L); (mk_real_int64 3344L); (mk_real_int64 2980L); ]);
("y5_hi", [7; 10; 15; 20; 21; 23; 27; 28; 37; 38; 39; 41; 42; 44; 46; 48; 49; 50; 51; ], [(mk_real_int64 4103L); (mk_real_int64 1620L); (mk_real_int64 2784L); (mk_real_int64 2820L); (mk_real_int64 902L); (mk_real_int64 4360L); (mk_real_int64 5062L); (mk_real_int64 160L); (mk_real_int64 3335L); (mk_real_int64 3458L); (mk_real_int64 80L); (mk_real_int64 2500L); (mk_real_int64 4322L); (mk_real_int64 5000L); (mk_real_int64 3628L); (mk_real_int64 4880L); (mk_real_int64 1250L); (mk_real_int64 3344L); (mk_real_int64 2480L); ]);
("y5_lo", [6; 8; 13; 18; 26; 40; 43; 47; 53; 56; ], [(mk_real_int64 2240L); (mk_real_int64 1250L); (mk_real_int64 1580L); (mk_real_int64 400L); (mk_real_int64 3750L); (mk_real_int64 272L); (mk_real_int64 2210L); (mk_real_int64 2800L); (mk_real_int64 1264L); (mk_real_int64 160L); ]);
("y6_hi", [7; 10; 15; 20; 21; 23; 27; 28; 37; 38; 39; 41; 42; 44; 46; 48; 49; 50; 51; ], [(mk_real_int64 4103L); (mk_real_int64 1620L); (mk_real_int64 2784L); (mk_real_int64 2820L); (mk_real_int64 902L); (mk_real_int64 4360L); (mk_real_int64 5062L); (mk_real_int64 160L); (mk_real_int64 3335L); (mk_real_int64 3458L); (mk_real_int64 80L); (mk_real_int64 2500L); (mk_real_int64 4322L); (mk_real_int64 5000L); (mk_real_int64 3628L); (mk_real_int64 4880L); (mk_real_int64 1250L); (mk_real_int64 3344L); (mk_real_int64 2480L); ]);
("y6_lo", [6; 8; 13; 15; 18; 23; 26; 34; 36; 40; 43; 47; 53; 56; ], [(mk_real_int64 322240L); (mk_real_int64 1250L); (mk_real_int64 1580L); (mk_real_int64 4910000L); (mk_real_int64 400L); (mk_real_int64 4050000L); (mk_real_int64 3750L); (mk_real_int64 1540000L); (mk_real_int64 1520000L); (mk_real_int64 272L); (mk_real_int64 2210L); (mk_real_int64 2800L); (mk_real_int64 1264L); (mk_real_int64 160L); ]);
("ye_lo", [22; 31; 37; 44; 48; 50; ], [(mk_real_int64 10000L); (mk_real_int64 1860000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("yn_hi", [0; 1; 2; 3; 4; 8; ], [(mk_real_int64 5440L); (mk_real_int64 15440L); (mk_real_int64 5440L); (mk_real_int64 5440L); (mk_real_int64 30L); (mk_real_int64 8080L); ]);
("yn_lo", [5; 6; 7; 9; 10; 11; 12; ], [(mk_real_int64 4560L); (mk_real_int64 14610L); (mk_real_int64 5730L); (mk_real_int64 12970L); (mk_real_int64 15730L); (mk_real_int64 5730L); (mk_real_int64 5730L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;