needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "206084941231 18 4 0 1 2 3 4 0 3 4 5 3 4 3 2 4 4 2 6 7 3 6 2 1 3 6 1 8 3 8 1 0 3 8 0 9 3 9 0 5 3 9 5 10 3 10 5 11 3 11 5 4 3 11 4 7 3 7 6 12 3 12 6 8 4 12 8 9 10 3 12 10 11 3 11 7 12 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [3; 5; 6; 7; 12; ], [(mk_real_int64 238L); (mk_real_int64 247L); (mk_real_int64 419L); (mk_real_int64 116L); (mk_real_int64 298L); ]);
("azim_sum_neg", [0; 8; 9; 10; ], [(mk_real_int64 53L); (mk_real_int64 40L); (mk_real_int64 208L); (mk_real_int64 48L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 916L); (mk_real_int64 914L); (mk_real_int64 914L); (mk_real_int64 1040L); (mk_real_int64 1040L); (mk_real_int64 1040L); (mk_real_int64 914L); (mk_real_int64 954L); (mk_real_int64 954L); (mk_real_int64 914L); (mk_real_int64 948L); (mk_real_int64 914L); (mk_real_int64 914L); ]);
("sol_sum3_neg", [1; 8; 10; 11; ], [(mk_real_int64 24L); (mk_real_int64 92L); (mk_real_int64 58L); (mk_real_int64 156L); ]);
("sol_sum3", [6; 7; 12; ], [(mk_real_int64 60L); (mk_real_int64 156L); (mk_real_int64 2L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 914L); (mk_real_int64 891L); (mk_real_int64 914L); (mk_real_int64 914L); (mk_real_int64 954L); (mk_real_int64 938L); (mk_real_int64 914L); (mk_real_int64 914L); (mk_real_int64 948L); (mk_real_int64 914L); (mk_real_int64 914L); (mk_real_int64 914L); (mk_real_int64 903L); (mk_real_int64 839L); ]);
("tau_sum4_neg", [0; 1; 2; 3; ], [(mk_real_int64 914L); (mk_real_int64 1040L); (mk_real_int64 914L); (mk_real_int64 914L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 10L); (mk_real_int64 8L); (mk_real_int64 8L); (mk_real_int64 147L); (mk_real_int64 147L); (mk_real_int64 147L); (mk_real_int64 8L); (mk_real_int64 52L); (mk_real_int64 52L); (mk_real_int64 8L); (mk_real_int64 46L); (mk_real_int64 8L); (mk_real_int64 8L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 5756L); (mk_real_int64 5745L); (mk_real_int64 5745L); (mk_real_int64 6535L); (mk_real_int64 6535L); (mk_real_int64 6535L); (mk_real_int64 5745L); (mk_real_int64 5996L); (mk_real_int64 5996L); (mk_real_int64 5745L); (mk_real_int64 5958L); (mk_real_int64 5745L); (mk_real_int64 5745L); ]);
("edge_sym", [5; 6; 12; 13; 17; 20; 25; 34; 35; 43; 51; 54; ], [(mk_real_int64 12L); (mk_real_int64 12L); (mk_real_int64 40L); (mk_real_int64 40L); (mk_real_int64 84L); (mk_real_int64 34L); (mk_real_int64 2L); (mk_real_int64 61L); (mk_real_int64 13L); (mk_real_int64 44L); (mk_real_int64 13L); (mk_real_int64 70L); ]);
("edge_sym_neg", [19; 23; 26; 29; 31; 38; 41; 44; 47; ], [(mk_real_int64 61L); (mk_real_int64 2L); (mk_real_int64 44L); (mk_real_int64 109L); (mk_real_int64 13L); (mk_real_int64 12L); (mk_real_int64 200L); (mk_real_int64 10L); (mk_real_int64 44L); ]);
("y1_def_neg", [6; 9; 13; 16; 17; 18; 20; 23; 24; 25; 28; 30; 31; 34; 35; 38; 40; 41; 44; 45; 46; 49; 55; 56; ], [(mk_real_int64 10L); (mk_real_int64 32L); (mk_real_int64 31L); (mk_real_int64 13L); (mk_real_int64 18L); (mk_real_int64 21L); (mk_real_int64 99L); (mk_real_int64 71L); (mk_real_int64 42L); (mk_real_int64 52L); (mk_real_int64 117L); (mk_real_int64 9L); (mk_real_int64 205L); (mk_real_int64 24L); (mk_real_int64 43L); (mk_real_int64 44L); (mk_real_int64 88L); (mk_real_int64 109L); (mk_real_int64 7L); (mk_real_int64 29L); (mk_real_int64 84L); (mk_real_int64 34L); (mk_real_int64 26L); (mk_real_int64 45L); ]);
("y1_def", [15; 27; 32; 33; 36; 39; 42; 43; 47; 53; ], [(mk_real_int64 9L); (mk_real_int64 1L); (mk_real_int64 74L); (mk_real_int64 26L); (mk_real_int64 35L); (mk_real_int64 7L); (mk_real_int64 29L); (mk_real_int64 22L); (mk_real_int64 59L); (mk_real_int64 45L); ]);
("y2_def", [6; 13; 15; 17; 18; 25; 36; 38; 40; 43; 44; 45; 47; 49; 56; ], [(mk_real_int64 12L); (mk_real_int64 40L); (mk_real_int64 9L); (mk_real_int64 14L); (mk_real_int64 33L); (mk_real_int64 31L); (mk_real_int64 35L); (mk_real_int64 1L); (mk_real_int64 65L); (mk_real_int64 22L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 59L); (mk_real_int64 44L); (mk_real_int64 27L); ]);
("y2_def_neg", [9; 16; 20; 23; 24; 28; 30; 31; 32; 33; 34; 35; 39; 41; 42; 46; 53; 55; ], [(mk_real_int64 65L); (mk_real_int64 13L); (mk_real_int64 17L); (mk_real_int64 10L); (mk_real_int64 42L); (mk_real_int64 19L); (mk_real_int64 9L); (mk_real_int64 84L); (mk_real_int64 22L); (mk_real_int64 8L); (mk_real_int64 24L); (mk_real_int64 43L); (mk_real_int64 2L); (mk_real_int64 109L); (mk_real_int64 9L); (mk_real_int64 84L); (mk_real_int64 14L); (mk_real_int64 26L); ]);
("y3_def", [6; 13; 15; 17; 18; 25; 36; 38; 40; 43; 44; 45; 47; 49; 56; ], [(mk_real_int64 12L); (mk_real_int64 40L); (mk_real_int64 9L); (mk_real_int64 14L); (mk_real_int64 33L); (mk_real_int64 31L); (mk_real_int64 35L); (mk_real_int64 1L); (mk_real_int64 65L); (mk_real_int64 22L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 59L); (mk_real_int64 44L); (mk_real_int64 27L); ]);
("y3_def_neg", [9; 16; 20; 23; 24; 28; 30; 31; 32; 33; 34; 35; 39; 41; 42; 46; 53; 55; ], [(mk_real_int64 65L); (mk_real_int64 13L); (mk_real_int64 17L); (mk_real_int64 10L); (mk_real_int64 42L); (mk_real_int64 19L); (mk_real_int64 9L); (mk_real_int64 84L); (mk_real_int64 22L); (mk_real_int64 8L); (mk_real_int64 24L); (mk_real_int64 43L); (mk_real_int64 2L); (mk_real_int64 109L); (mk_real_int64 9L); (mk_real_int64 84L); (mk_real_int64 14L); (mk_real_int64 26L); ]);
("y4_def_neg", [3; 4; 5; 6; 8; 11; 12; 13; 16; 19; 23; 24; 26; 28; 29; 31; 32; 33; 34; 35; 39; 40; ], [(mk_real_int64 5L); (mk_real_int64 9L); (mk_real_int64 26L); (mk_real_int64 62L); (mk_real_int64 117L); (mk_real_int64 66L); (mk_real_int64 29L); (mk_real_int64 59L); (mk_real_int64 109L); (mk_real_int64 176L); (mk_real_int64 30L); (mk_real_int64 18L); (mk_real_int64 43L); (mk_real_int64 122L); (mk_real_int64 75L); (mk_real_int64 11L); (mk_real_int64 20L); (mk_real_int64 85L); (mk_real_int64 58L); (mk_real_int64 31L); (mk_real_int64 18L); (mk_real_int64 52L); ]);
("y4_def", [15; 18; 20; 21; 22; 27; 30; 37; 38; ], [(mk_real_int64 2L); (mk_real_int64 20L); (mk_real_int64 114L); (mk_real_int64 40L); (mk_real_int64 50L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 69L); (mk_real_int64 1L); ]);
("y5_def", [6; 13; 17; 18; 20; 25; 30; 34; 38; 40; 44; 45; 49; 54; 56; ], [(mk_real_int64 12L); (mk_real_int64 40L); (mk_real_int64 14L); (mk_real_int64 33L); (mk_real_int64 1L); (mk_real_int64 31L); (mk_real_int64 20L); (mk_real_int64 50L); (mk_real_int64 6L); (mk_real_int64 65L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 44L); (mk_real_int64 1L); (mk_real_int64 27L); ]);
("y5_def_neg", [9; 15; 16; 24; 28; 31; 32; 33; 35; 36; 39; 41; 42; 43; 46; 47; 53; 55; ], [(mk_real_int64 48L); (mk_real_int64 5L); (mk_real_int64 9L); (mk_real_int64 29L); (mk_real_int64 2L); (mk_real_int64 44L); (mk_real_int64 22L); (mk_real_int64 8L); (mk_real_int64 30L); (mk_real_int64 18L); (mk_real_int64 2L); (mk_real_int64 75L); (mk_real_int64 9L); (mk_real_int64 11L); (mk_real_int64 58L); (mk_real_int64 31L); (mk_real_int64 14L); (mk_real_int64 18L); ]);
("y6_def", [6; 8; 13; 17; 18; 20; 21; 25; 26; 30; 32; 34; 38; 39; 40; 44; 45; 46; 49; 54; 55; 56; ], [(mk_real_int64 12L); (mk_real_int64 35L); (mk_real_int64 40L); (mk_real_int64 14L); (mk_real_int64 33L); (mk_real_int64 1L); (mk_real_int64 128L); (mk_real_int64 31L); (mk_real_int64 44L); (mk_real_int64 40L); (mk_real_int64 157L); (mk_real_int64 50L); (mk_real_int64 6L); (mk_real_int64 23L); (mk_real_int64 65L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 81L); (mk_real_int64 44L); (mk_real_int64 1L); (mk_real_int64 172L); (mk_real_int64 27L); ]);
("y6_def_neg", [15; 16; 24; 28; 31; 33; 35; 36; 41; 42; 43; 47; 53; ], [(mk_real_int64 5L); (mk_real_int64 9L); (mk_real_int64 29L); (mk_real_int64 2L); (mk_real_int64 44L); (mk_real_int64 8L); (mk_real_int64 30L); (mk_real_int64 18L); (mk_real_int64 75L); (mk_real_int64 9L); (mk_real_int64 11L); (mk_real_int64 31L); (mk_real_int64 14L); ]);
("RHA", [0; 3; 8; 9; 11; 15; 16; 21; 23; 27; 29; 30; 34; 35; 37; 38; 39; 47; 49; 50; 52; 53; 54; 55; 57; ], [(mk_real_int64 126L); (mk_real_int64 2L); (mk_real_int64 126L); (mk_real_int64 2L); (mk_real_int64 126L); (mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 40L); (mk_real_int64 63L); (mk_real_int64 16L); (mk_real_int64 102L); (mk_real_int64 40L); (mk_real_int64 126L); (mk_real_int64 34L); (mk_real_int64 92L); (mk_real_int64 45L); (mk_real_int64 34L); (mk_real_int64 40L); (mk_real_int64 40L); (mk_real_int64 40L); (mk_real_int64 11L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 110L); (mk_real_int64 76L); ]);
("RHB", [5; ], [(mk_real_int64 124L); ]);
("yy10", [23; ], [(mk_real_int64 2L); ]);
("tau4", [0; ], [(mk_real_int64 320L); ]);
("ineq105", [6; 10; 13; ], [(mk_real_int64 31L); (mk_real_int64 100L); (mk_real_int64 109L); ]);
("ineq106", [5; 8; 11; 13; 16; 19; 26; 28; 40; ], [(mk_real_int64 24L); (mk_real_int64 40L); (mk_real_int64 63L); (mk_real_int64 86L); (mk_real_int64 102L); (mk_real_int64 126L); (mk_real_int64 46L); (mk_real_int64 126L); (mk_real_int64 76L); ]);
("ineq107", [1; 15; 20; 21; 27; 30; 37; ], [(mk_real_int64 52L); (mk_real_int64 2L); (mk_real_int64 147L); (mk_real_int64 52L); (mk_real_int64 14L); (mk_real_int64 58L); (mk_real_int64 89L); ]);
("ineq108", [5; 6; 8; 28; 32; 33; ], [(mk_real_int64 14L); (mk_real_int64 91L); (mk_real_int64 72L); (mk_real_int64 52L); (mk_real_int64 29L); (mk_real_int64 124L); ]);
("ineq109", [18; 22; 38; ], [(mk_real_int64 60L); (mk_real_int64 156L); (mk_real_int64 2L); ]);
("ineq110", [3; 24; 31; 35; ], [(mk_real_int64 24L); (mk_real_int64 92L); (mk_real_int64 58L); (mk_real_int64 156L); ]);
("ineq111", [1; 4; 8; 11; 12; 16; 19; 23; 26; 29; 34; 39; ], [(mk_real_int64 319L); (mk_real_int64 74L); (mk_real_int64 320L); (mk_real_int64 184L); (mk_real_int64 233L); (mk_real_int64 312L); (mk_real_int64 721L); (mk_real_int64 237L); (mk_real_int64 89L); (mk_real_int64 603L); (mk_real_int64 466L); (mk_real_int64 144L); ]);
("ineq113", [5; 14; 15; 24; 37; ], [(mk_real_int64 147L); (mk_real_int64 154L); (mk_real_int64 82L); (mk_real_int64 538L); (mk_real_int64 405L); ]);
("ineq114", [0; 3; 6; 8; 9; 11; 12; 13; 16; 17; 18; 19; 22; 23; 26; 28; 31; 32; 33; 34; 36; 39; 41; ], [(mk_real_int64 596L); (mk_real_int64 669L); (mk_real_int64 524L); (mk_real_int64 70L); (mk_real_int64 250L); (mk_real_int64 481L); (mk_real_int64 186L); (mk_real_int64 381L); (mk_real_int64 381L); (mk_real_int64 163L); (mk_real_int64 97L); (mk_real_int64 97L); (mk_real_int64 450L); (mk_real_int64 227L); (mk_real_int64 321L); (mk_real_int64 311L); (mk_real_int64 577L); (mk_real_int64 337L); (mk_real_int64 28L); (mk_real_int64 420L); (mk_real_int64 498L); (mk_real_int64 99L); (mk_real_int64 596L); ]);
("ineq119", [3; 5; 15; ], [(mk_real_int64 114L); (mk_real_int64 439L); (mk_real_int64 459L); ]);
("ineq120", [0; 4; 6; 8; 10; 12; 13; ], [(mk_real_int64 481L); (mk_real_int64 315L); (mk_real_int64 286L); (mk_real_int64 492L); (mk_real_int64 422L); (mk_real_int64 393L); (mk_real_int64 62L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 2700L); (mk_real_int64 2625L); (mk_real_int64 2625L); (mk_real_int64 3375L); (mk_real_int64 3375L); (mk_real_int64 3375L); (mk_real_int64 2625L); (mk_real_int64 2700L); (mk_real_int64 2700L); (mk_real_int64 2625L); (mk_real_int64 3350L); (mk_real_int64 2625L); (mk_real_int64 2625L); ]);
];;

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

let variable_bounds = [
("azim_hi", [0; 4; 6; 8; 13; 18; 21; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 35; 36; 38; 43; 51; 52; 53; 54; ], [(mk_real_int64 598L); (mk_real_int64 770L); (mk_real_int64 788L); (mk_real_int64 96L); (mk_real_int64 876L); (mk_real_int64 24L); (mk_real_int64 500L); (mk_real_int64 106L); (mk_real_int64 436L); (mk_real_int64 506L); (mk_real_int64 114L); (mk_real_int64 762L); (mk_real_int64 506L); (mk_real_int64 38L); (mk_real_int64 722L); (mk_real_int64 722L); (mk_real_int64 1000L); (mk_real_int64 102L); (mk_real_int64 658L); (mk_real_int64 946L); (mk_real_int64 202L); (mk_real_int64 73L); (mk_real_int64 748L); (mk_real_int64 1105L); (mk_real_int64 1000L); ]);
("azim_lo", [3; 5; 9; 11; 15; 17; 20; 34; 40; 44; 45; 46; 48; 49; 55; 57; ], [(mk_real_int64 642L); (mk_real_int64 43L); (mk_real_int64 1000L); (mk_real_int64 64L); (mk_real_int64 206L); (mk_real_int64 73L); (mk_real_int64 180L); (mk_real_int64 300L); (mk_real_int64 314L); (mk_real_int64 38L); (mk_real_int64 472L); (mk_real_int64 80L); (mk_real_int64 106L); (mk_real_int64 4L); (mk_real_int64 26L); (mk_real_int64 904L); ]);
("rhazim_hi", [15; 16; 17; 55; 56; 57; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rhazim_lo", [38; ], [(mk_real_int64 1000L); ]);
("rho_hi", [0; 3; 4; 5; ], [(mk_real_int64 144L); (mk_real_int64 360L); (mk_real_int64 360L); (mk_real_int64 360L); ]);
("rho_lo", [1; 2; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 1424L); (mk_real_int64 1424L); (mk_real_int64 1424L); (mk_real_int64 1064L); (mk_real_int64 1064L); (mk_real_int64 1424L); (mk_real_int64 768L); (mk_real_int64 1424L); (mk_real_int64 1424L); ]);
("tau_hi", [0; 2; 6; 9; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("tau_lo", [4; ], [(mk_real_int64 1000L); ]);
("y1_hi", [6; 9; 15; 17; 20; 23; 24; 25; 34; 35; 38; 40; 41; 43; 44; 46; 47; 55; ], [(mk_real_int64 235L); (mk_real_int64 580L); (mk_real_int64 120L); (mk_real_int64 310L); (mk_real_int64 480L); (mk_real_int64 80L); (mk_real_int64 60L); (mk_real_int64 400L); (mk_real_int64 444L); (mk_real_int64 340L); (mk_real_int64 380L); (mk_real_int64 180L); (mk_real_int64 460L); (mk_real_int64 40L); (mk_real_int64 185L); (mk_real_int64 120L); (mk_real_int64 280L); (mk_real_int64 80L); ]);
("y1_lo", [13; 16; 18; 28; 30; 31; 32; 36; 45; 49; 53; 54; 56; ], [(mk_real_int64 500L); (mk_real_int64 320L); (mk_real_int64 385L); (mk_real_int64 360L); (mk_real_int64 60L); (mk_real_int64 380L); (mk_real_int64 500L); (mk_real_int64 40L); (mk_real_int64 140L); (mk_real_int64 335L); (mk_real_int64 500L); (mk_real_int64 302L); (mk_real_int64 600L); ]);
("y2_lo", [9; 16; 17; 23; 27; 28; 30; 32; 36; 38; 39; 40; 44; 49; 54; ], [(mk_real_int64 324L); (mk_real_int64 320L); (mk_real_int64 168L); (mk_real_int64 188L); (mk_real_int64 304L); (mk_real_int64 32L); (mk_real_int64 60L); (mk_real_int64 344L); (mk_real_int64 40L); (mk_real_int64 276L); (mk_real_int64 128L); (mk_real_int64 208L); (mk_real_int64 444L); (mk_real_int64 182L); (mk_real_int64 302L); ]);
("y2_hi", [6; 13; 15; 18; 20; 24; 25; 31; 33; 34; 35; 41; 42; 43; 45; 46; 47; 53; 55; 56; ], [(mk_real_int64 462L); (mk_real_int64 200L); (mk_real_int64 120L); (mk_real_int64 124L); (mk_real_int64 168L); (mk_real_int64 60L); (mk_real_int64 304L); (mk_real_int64 84L); (mk_real_int64 96L); (mk_real_int64 444L); (mk_real_int64 340L); (mk_real_int64 460L); (mk_real_int64 184L); (mk_real_int64 40L); (mk_real_int64 136L); (mk_real_int64 120L); (mk_real_int64 280L); (mk_real_int64 472L); (mk_real_int64 80L); (mk_real_int64 664L); ]);
("y3_lo", [9; 16; 17; 23; 27; 28; 30; 32; 36; 38; 39; 40; 44; 49; 54; ], [(mk_real_int64 324L); (mk_real_int64 320L); (mk_real_int64 168L); (mk_real_int64 188L); (mk_real_int64 304L); (mk_real_int64 32L); (mk_real_int64 60L); (mk_real_int64 344L); (mk_real_int64 40L); (mk_real_int64 276L); (mk_real_int64 128L); (mk_real_int64 208L); (mk_real_int64 444L); (mk_real_int64 182L); (mk_real_int64 302L); ]);
("y3_hi", [6; 13; 15; 18; 20; 24; 25; 31; 33; 34; 35; 41; 42; 43; 45; 46; 47; 53; 55; 56; ], [(mk_real_int64 462L); (mk_real_int64 200L); (mk_real_int64 120L); (mk_real_int64 124L); (mk_real_int64 168L); (mk_real_int64 60L); (mk_real_int64 304L); (mk_real_int64 84L); (mk_real_int64 96L); (mk_real_int64 444L); (mk_real_int64 340L); (mk_real_int64 460L); (mk_real_int64 184L); (mk_real_int64 40L); (mk_real_int64 136L); (mk_real_int64 120L); (mk_real_int64 280L); (mk_real_int64 472L); (mk_real_int64 80L); (mk_real_int64 664L); ]);
("y4_lo", [4; 5; 6; 11; 12; 15; 18; 19; 20; 24; 27; 29; 30; 31; 34; 37; 38; 40; ], [(mk_real_int64 250L); (mk_real_int64 30L); (mk_real_int64 335L); (mk_real_int64 155L); (mk_real_int64 125L); (mk_real_int64 454L); (mk_real_int64 560L); (mk_real_int64 435L); (mk_real_int64 369L); (mk_real_int64 32L); (mk_real_int64 178L); (mk_real_int64 375L); (mk_real_int64 166L); (mk_real_int64 368L); (mk_real_int64 250L); (mk_real_int64 203L); (mk_real_int64 352L); (mk_real_int64 60L); ]);
("y4_hi", [1; 3; 8; 13; 16; 21; 22; 23; 26; 28; 32; 33; 35; ], [(mk_real_int64 321L); (mk_real_int64 296L); (mk_real_int64 280L); (mk_real_int64 90L); (mk_real_int64 130L); (mk_real_int64 196L); (mk_real_int64 544L); (mk_real_int64 375L); (mk_real_int64 365L); (mk_real_int64 70L); (mk_real_int64 135L); (mk_real_int64 60L); (mk_real_int64 424L); ]);
("y5_lo", [16; 17; 20; 23; 24; 27; 30; 31; 32; 36; 38; 39; 40; 41; 43; 44; 46; 49; 54; ], [(mk_real_int64 250L); (mk_real_int64 168L); (mk_real_int64 232L); (mk_real_int64 68L); (mk_real_int64 125L); (mk_real_int64 304L); (mk_real_int64 560L); (mk_real_int64 261L); (mk_real_int64 344L); (mk_real_int64 32L); (mk_real_int64 381L); (mk_real_int64 128L); (mk_real_int64 208L); (mk_real_int64 375L); (mk_real_int64 368L); (mk_real_int64 444L); (mk_real_int64 250L); (mk_real_int64 182L); (mk_real_int64 352L); ]);
("y5_hi", [6; 9; 13; 15; 18; 25; 28; 33; 34; 35; 42; 45; 47; 53; 56; ], [(mk_real_int64 462L); (mk_real_int64 221L); (mk_real_int64 200L); (mk_real_int64 296L); (mk_real_int64 124L); (mk_real_int64 304L); (mk_real_int64 128L); (mk_real_int64 96L); (mk_real_int64 544L); (mk_real_int64 375L); (mk_real_int64 184L); (mk_real_int64 136L); (mk_real_int64 424L); (mk_real_int64 472L); (mk_real_int64 664L); ]);
("y6_lo", [8; 9; 16; 17; 20; 21; 23; 24; 26; 27; 30; 31; 32; 36; 38; 39; 40; 41; 43; 44; 46; 49; 54; 55; ], [(mk_real_int64 35000L); (mk_real_int64 48000L); (mk_real_int64 250L); (mk_real_int64 168L); (mk_real_int64 232L); (mk_real_int64 128000L); (mk_real_int64 68L); (mk_real_int64 125L); (mk_real_int64 44000L); (mk_real_int64 304L); (mk_real_int64 20560L); (mk_real_int64 261L); (mk_real_int64 179344L); (mk_real_int64 32L); (mk_real_int64 381L); (mk_real_int64 25128L); (mk_real_int64 208L); (mk_real_int64 375L); (mk_real_int64 368L); (mk_real_int64 444L); (mk_real_int64 140000L); (mk_real_int64 182L); (mk_real_int64 352L); (mk_real_int64 190000L); ]);
("y6_hi", [6; 9; 13; 15; 18; 25; 28; 33; 34; 35; 42; 45; 46; 47; 53; 56; ], [(mk_real_int64 462L); (mk_real_int64 221L); (mk_real_int64 200L); (mk_real_int64 296L); (mk_real_int64 124L); (mk_real_int64 304L); (mk_real_int64 128L); (mk_real_int64 96L); (mk_real_int64 544L); (mk_real_int64 375L); (mk_real_int64 184L); (mk_real_int64 136L); (mk_real_int64 750L); (mk_real_int64 424L); (mk_real_int64 472L); (mk_real_int64 664L); ]);
("ye_lo", [8; 17; 31; 33; 34; 35; 46; 51; 55; 56; ], [(mk_real_int64 1000L); (mk_real_int64 84000L); (mk_real_int64 34000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 13000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("ye_hi", [21; 30; 31; 32; 39; 40; 41; 43; 44; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_hi", [1; 3; 4; 6; 8; 9; 11; ], [(mk_real_int64 392L); (mk_real_int64 828L); (mk_real_int64 828L); (mk_real_int64 392L); (mk_real_int64 48L); (mk_real_int64 392L); (mk_real_int64 392L); ]);
("yn_lo", [0; 2; 5; 7; 10; 12; ], [(mk_real_int64 760L); (mk_real_int64 608L); (mk_real_int64 172L); (mk_real_int64 952L); (mk_real_int64 496L); (mk_real_int64 1608L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)