needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "234860659776 17 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 8 4 8 4 3 9 3 9 3 10 3 10 3 2 3 10 2 11 3 11 2 1 3 11 1 0 3 11 0 12 3 12 0 7 3 12 7 9 3 8 9 7 3 12 9 10 3 7 6 8 3 10 11 12 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [5; 6; 7; 10; 12; ], [(mk_real_int64 54L); (mk_real_int64 451L); (mk_real_int64 337L); (mk_real_int64 8L); (mk_real_int64 280L); ]);
("azim_sum_neg", [1; 2; 3; 4; 8; 9; 11; ], [(mk_real_int64 3L); (mk_real_int64 16L); (mk_real_int64 17L); (mk_real_int64 592L); (mk_real_int64 211L); (mk_real_int64 118L); (mk_real_int64 160L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 953L); (mk_real_int64 956L); (mk_real_int64 969L); (mk_real_int64 953L); (mk_real_int64 743L); (mk_real_int64 953L); (mk_real_int64 953L); (mk_real_int64 953L); (mk_real_int64 963L); (mk_real_int64 953L); (mk_real_int64 936L); (mk_real_int64 743L); (mk_real_int64 953L); ]);
("sol_sum3", [1; 5; 6; 12; ], [(mk_real_int64 118L); (mk_real_int64 160L); (mk_real_int64 160L); (mk_real_int64 118L); ]);
("sol_sum3_neg", [2; 4; 7; 8; 9; 10; 11; ], [(mk_real_int64 134L); (mk_real_int64 19L); (mk_real_int64 83L); (mk_real_int64 54L); (mk_real_int64 345L); (mk_real_int64 73L); (mk_real_int64 346L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 847L); (mk_real_int64 870L); (mk_real_int64 819L); (mk_real_int64 936L); (mk_real_int64 564L); (mk_real_int64 743L); (mk_real_int64 743L); (mk_real_int64 743L); (mk_real_int64 953L); (mk_real_int64 945L); (mk_real_int64 953L); (mk_real_int64 666L); (mk_real_int64 953L); (mk_real_int64 743L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 953L); (mk_real_int64 953L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 953L); ]);
("ln_def_neg", [0; 1; 2; 3; 5; 6; 7; 8; 9; 10; 12; ], [(mk_real_int64 51L); (mk_real_int64 54L); (mk_real_int64 68L); (mk_real_int64 51L); (mk_real_int64 51L); (mk_real_int64 51L); (mk_real_int64 51L); (mk_real_int64 61L); (mk_real_int64 51L); (mk_real_int64 32L); (mk_real_int64 51L); ]);
("ln_def", [4; 11; ], [(mk_real_int64 181L); (mk_real_int64 181L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 5987L); (mk_real_int64 6005L); (mk_real_int64 6085L); (mk_real_int64 5987L); (mk_real_int64 4668L); (mk_real_int64 5987L); (mk_real_int64 5987L); (mk_real_int64 5987L); (mk_real_int64 6048L); (mk_real_int64 5987L); (mk_real_int64 5878L); (mk_real_int64 4668L); (mk_real_int64 5987L); ]);
("edge_sym", [0; 8; 9; 28; 34; 36; 40; ], [(mk_real_int64 22L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 127L); (mk_real_int64 377L); (mk_real_int64 274L); (mk_real_int64 22L); ]);
("edge_sym_neg", [12; 21; 22; 25; 27; 37; 42; 43; 46; 49; ], [(mk_real_int64 111L); (mk_real_int64 206L); (mk_real_int64 9L); (mk_real_int64 127L); (mk_real_int64 315L); (mk_real_int64 6L); (mk_real_int64 150L); (mk_real_int64 73L); (mk_real_int64 74L); (mk_real_int64 300L); ]);
("y1_def_neg", [0; 9; 11; 12; 13; 14; 15; 20; 22; 24; 25; 26; 32; 36; 37; 39; 40; 41; 45; 48; 51; 53; 55; ], [(mk_real_int64 17L); (mk_real_int64 2L); (mk_real_int64 64L); (mk_real_int64 56L); (mk_real_int64 18L); (mk_real_int64 99L); (mk_real_int64 50L); (mk_real_int64 93L); (mk_real_int64 16L); (mk_real_int64 10L); (mk_real_int64 166L); (mk_real_int64 209L); (mk_real_int64 36L); (mk_real_int64 9L); (mk_real_int64 274L); (mk_real_int64 113L); (mk_real_int64 66L); (mk_real_int64 67L); (mk_real_int64 11L); (mk_real_int64 42L); (mk_real_int64 17L); (mk_real_int64 29L); (mk_real_int64 106L); ]);
("y1_def", [31; 33; 35; 38; 43; 44; 49; 54; ], [(mk_real_int64 146L); (mk_real_int64 216L); (mk_real_int64 122L); (mk_real_int64 15L); (mk_real_int64 131L); (mk_real_int64 124L); (mk_real_int64 6L); (mk_real_int64 80L); ]);
("y2_def", [0; 9; 11; 15; 20; 24; 26; 36; 37; 38; 40; 43; 45; 48; 53; 55; ], [(mk_real_int64 22L); (mk_real_int64 3L); (mk_real_int64 39L); (mk_real_int64 30L); (mk_real_int64 68L); (mk_real_int64 6L); (mk_real_int64 138L); (mk_real_int64 57L); (mk_real_int64 47L); (mk_real_int64 29L); (mk_real_int64 103L); (mk_real_int64 131L); (mk_real_int64 16L); (mk_real_int64 239L); (mk_real_int64 18L); (mk_real_int64 64L); ]);
("y2_def_neg", [12; 13; 14; 22; 25; 31; 32; 33; 35; 39; 41; 44; 49; 51; 54; ], [(mk_real_int64 56L); (mk_real_int64 18L); (mk_real_int64 99L); (mk_real_int64 22L); (mk_real_int64 166L); (mk_real_int64 76L); (mk_real_int64 36L); (mk_real_int64 66L); (mk_real_int64 37L); (mk_real_int64 113L); (mk_real_int64 20L); (mk_real_int64 1L); (mk_real_int64 39L); (mk_real_int64 71L); (mk_real_int64 24L); ]);
("y3_def", [0; 9; 11; 15; 20; 24; 26; 36; 37; 38; 40; 43; 45; 48; 53; 55; ], [(mk_real_int64 22L); (mk_real_int64 3L); (mk_real_int64 39L); (mk_real_int64 30L); (mk_real_int64 68L); (mk_real_int64 6L); (mk_real_int64 138L); (mk_real_int64 57L); (mk_real_int64 47L); (mk_real_int64 29L); (mk_real_int64 103L); (mk_real_int64 131L); (mk_real_int64 16L); (mk_real_int64 239L); (mk_real_int64 18L); (mk_real_int64 64L); ]);
("y3_def_neg", [12; 13; 14; 22; 25; 31; 32; 33; 35; 39; 41; 44; 49; 51; 54; ], [(mk_real_int64 56L); (mk_real_int64 18L); (mk_real_int64 99L); (mk_real_int64 22L); (mk_real_int64 166L); (mk_real_int64 76L); (mk_real_int64 36L); (mk_real_int64 66L); (mk_real_int64 37L); (mk_real_int64 113L); (mk_real_int64 20L); (mk_real_int64 1L); (mk_real_int64 39L); (mk_real_int64 71L); (mk_real_int64 24L); ]);
("y4_def_neg", [1; 2; 4; 5; 6; 8; 10; 11; 12; 22; 23; 24; 25; 26; 27; 29; 31; 34; 39; 41; ], [(mk_real_int64 73L); (mk_real_int64 39L); (mk_real_int64 69L); (mk_real_int64 57L); (mk_real_int64 129L); (mk_real_int64 68L); (mk_real_int64 12L); (mk_real_int64 115L); (mk_real_int64 251L); (mk_real_int64 63L); (mk_real_int64 349L); (mk_real_int64 27L); (mk_real_int64 79L); (mk_real_int64 193L); (mk_real_int64 83L); (mk_real_int64 68L); (mk_real_int64 31L); (mk_real_int64 270L); (mk_real_int64 33L); (mk_real_int64 121L); ]);
("y4_def", [3; 17; 18; 19; 21; 30; 35; 37; 40; ], [(mk_real_int64 38L); (mk_real_int64 315L); (mk_real_int64 44L); (mk_real_int64 334L); (mk_real_int64 188L); (mk_real_int64 134L); (mk_real_int64 34L); (mk_real_int64 74L); (mk_real_int64 124L); ]);
("y5_def", [0; 9; 11; 13; 15; 20; 24; 26; 32; 36; 37; 40; 45; 48; 53; 55; ], [(mk_real_int64 22L); (mk_real_int64 3L); (mk_real_int64 39L); (mk_real_int64 38L); (mk_real_int64 30L); (mk_real_int64 68L); (mk_real_int64 6L); (mk_real_int64 127L); (mk_real_int64 44L); (mk_real_int64 9L); (mk_real_int64 78L); (mk_real_int64 103L); (mk_real_int64 16L); (mk_real_int64 39L); (mk_real_int64 18L); (mk_real_int64 64L); ]);
("y5_def_neg", [12; 14; 22; 25; 33; 35; 38; 39; 41; 43; 44; 49; 51; 54; ], [(mk_real_int64 39L); (mk_real_int64 69L); (mk_real_int64 78L); (mk_real_int64 115L); (mk_real_int64 66L); (mk_real_int64 37L); (mk_real_int64 2L); (mk_real_int64 79L); (mk_real_int64 5L); (mk_real_int64 68L); (mk_real_int64 44L); (mk_real_int64 30L); (mk_real_int64 3L); (mk_real_int64 24L); ]);
("y6_def", [0; 9; 11; 13; 15; 20; 23; 24; 26; 32; 36; 37; 40; 41; 45; 48; 53; 55; ], [(mk_real_int64 22L); (mk_real_int64 3L); (mk_real_int64 39L); (mk_real_int64 237L); (mk_real_int64 30L); (mk_real_int64 68L); (mk_real_int64 316L); (mk_real_int64 115L); (mk_real_int64 127L); (mk_real_int64 66L); (mk_real_int64 9L); (mk_real_int64 94L); (mk_real_int64 103L); (mk_real_int64 46L); (mk_real_int64 16L); (mk_real_int64 39L); (mk_real_int64 18L); (mk_real_int64 159L); ]);
("y6_def_neg", [12; 14; 22; 25; 33; 35; 38; 39; 43; 44; 49; 54; ], [(mk_real_int64 39L); (mk_real_int64 69L); (mk_real_int64 78L); (mk_real_int64 115L); (mk_real_int64 66L); (mk_real_int64 37L); (mk_real_int64 2L); (mk_real_int64 79L); (mk_real_int64 68L); (mk_real_int64 16L); (mk_real_int64 30L); (mk_real_int64 24L); ]);
("RHA", [3; 4; 8; 10; 12; 13; 14; 17; 18; 21; 22; 24; 25; 26; 27; 28; 30; 34; 36; 42; 43; 47; 49; 51; 53; 55; ], [(mk_real_int64 16L); (mk_real_int64 3L); (mk_real_int64 10L); (mk_real_int64 116L); (mk_real_int64 109L); (mk_real_int64 93L); (mk_real_int64 86L); (mk_real_int64 3L); (mk_real_int64 16L); (mk_real_int64 150L); (mk_real_int64 117L); (mk_real_int64 16L); (mk_real_int64 17L); (mk_real_int64 12L); (mk_real_int64 389L); (mk_real_int64 179L); (mk_real_int64 210L); (mk_real_int64 210L); (mk_real_int64 142L); (mk_real_int64 8L); (mk_real_int64 8L); (mk_real_int64 287L); (mk_real_int64 270L); (mk_real_int64 10L); (mk_real_int64 144L); (mk_real_int64 34L); ]);
("yy10", [5; 27; ], [(mk_real_int64 22L); (mk_real_int64 64L); ]);
("tau4", [1; ], [(mk_real_int64 95L); ]);
("tau6", [0; ], [(mk_real_int64 953L); ]);
("ineq105", [0; 9; ], [(mk_real_int64 54L); (mk_real_int64 6L); ]);
("ineq106", [1; 5; 6; 10; 12; 22; 23; 27; 34; 39; 41; ], [(mk_real_int64 106L); (mk_real_int64 83L); (mk_real_int64 134L); (mk_real_int64 17L); (mk_real_int64 360L); (mk_real_int64 69L); (mk_real_int64 210L); (mk_real_int64 8L); (mk_real_int64 287L); (mk_real_int64 49L); (mk_real_int64 176L); ]);
("ineq107", [8; 17; 19; 21; 30; 35; 37; 40; ], [(mk_real_int64 10L); (mk_real_int64 341L); (mk_real_int64 431L); (mk_real_int64 243L); (mk_real_int64 192L); (mk_real_int64 69L); (mk_real_int64 83L); (mk_real_int64 160L); ]);
("ineq108", [6; 23; 24; 26; 27; 31; 34; ], [(mk_real_int64 54L); (mk_real_int64 196L); (mk_real_int64 23L); (mk_real_int64 282L); (mk_real_int64 66L); (mk_real_int64 45L); (mk_real_int64 8L); ]);
("ineq109", [3; 17; 18; 37; ], [(mk_real_int64 118L); (mk_real_int64 160L); (mk_real_int64 160L); (mk_real_int64 118L); ]);
("ineq110", [8; 12; 22; 24; 29; 30; 34; ], [(mk_real_int64 134L); (mk_real_int64 19L); (mk_real_int64 83L); (mk_real_int64 54L); (mk_real_int64 345L); (mk_real_int64 73L); (mk_real_int64 346L); ]);
("ineq111", [2; 4; 8; 11; 18; 23; 25; 27; 35; 37; ], [(mk_real_int64 309L); (mk_real_int64 548L); (mk_real_int64 398L); (mk_real_int64 924L); (mk_real_int64 65L); (mk_real_int64 563L); (mk_real_int64 630L); (mk_real_int64 258L); (mk_real_int64 158L); (mk_real_int64 226L); ]);
("ineq112", [17; ], [(mk_real_int64 179L); ]);
("ineq113", [0; 27; ], [(mk_real_int64 368L); (mk_real_int64 504L); ]);
("ineq114", [2; 4; 6; 9; 13; 16; 20; 22; 24; 29; 31; 32; 33; 34; 36; 39; 41; ], [(mk_real_int64 170L); (mk_real_int64 322L); (mk_real_int64 420L); (mk_real_int64 12L); (mk_real_int64 564L); (mk_real_int64 564L); (mk_real_int64 678L); (mk_real_int64 180L); (mk_real_int64 323L); (mk_real_int64 183L); (mk_real_int64 532L); (mk_real_int64 421L); (mk_real_int64 352L); (mk_real_int64 155L); (mk_real_int64 727L); (mk_real_int64 242L); (mk_real_int64 501L); ]);
("ineq119", [2; 4; ], [(mk_real_int64 445L); (mk_real_int64 262L); ]);
("ineq120", [0; 3; 7; ], [(mk_real_int64 72L); (mk_real_int64 436L); (mk_real_int64 596L); ]);
];;

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

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

let variable_bounds = [
("azim_hi", [1; 2; 6; 12; 14; 19; 27; 30; 31; 33; 34; 41; 43; 45; 48; 50; ], [(mk_real_int64 592000L); (mk_real_int64 17000L); (mk_real_int64 576L); (mk_real_int64 420L); (mk_real_int64 572L); (mk_real_int64 768L); (mk_real_int64 64L); (mk_real_int64 64L); (mk_real_int64 247L); (mk_real_int64 1000L); (mk_real_int64 428L); (mk_real_int64 464L); (mk_real_int64 558L); (mk_real_int64 32L); (mk_real_int64 30L); (mk_real_int64 102L); ]);
("azim_lo", [8; 9; 10; 16; 20; 22; 23; 26; 36; 37; 38; 40; 44; 46; 47; 49; 53; 55; ], [(mk_real_int64 585L); (mk_real_int64 512L); (mk_real_int64 312L); (mk_real_int64 686L); (mk_real_int64 80L); (mk_real_int64 1000L); (mk_real_int64 488L); (mk_real_int64 1000L); (mk_real_int64 320L); (mk_real_int64 1000L); (mk_real_int64 802L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 454L); (mk_real_int64 648L); (mk_real_int64 1000L); (mk_real_int64 508L); (mk_real_int64 374L); ]);
("rhazim_hi", [1; 36; ], [(mk_real_int64 210000L); (mk_real_int64 1000L); ]);
("rho_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 1652L); (mk_real_int64 2504L); (mk_real_int64 4196L); (mk_real_int64 1652L); (mk_real_int64 1012L); (mk_real_int64 1652L); (mk_real_int64 1652L); (mk_real_int64 1652L); (mk_real_int64 3492L); (mk_real_int64 1652L); (mk_real_int64 3824L); (mk_real_int64 1012L); (mk_real_int64 1652L); ]);
("tau_lo", [5; 14; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("y1_lo", [0; 20; 24; 25; 33; 35; 36; 39; 40; 44; 48; 53; ], [(mk_real_int64 10L); (mk_real_int64 90L); (mk_real_int64 200L); (mk_real_int64 320L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 860L); (mk_real_int64 400L); (mk_real_int64 270L); (mk_real_int64 260L); (mk_real_int64 600L); (mk_real_int64 400L); ]);
("y1_hi", [9; 11; 12; 13; 14; 15; 22; 26; 31; 32; 37; 38; 41; 43; 45; 49; 51; 55; ], [(mk_real_int64 110L); (mk_real_int64 400L); (mk_real_int64 380L); (mk_real_int64 182L); (mk_real_int64 360L); (mk_real_int64 200L); (mk_real_int64 280L); (mk_real_int64 220L); (mk_real_int64 340L); (mk_real_int64 140L); (mk_real_int64 600L); (mk_real_int64 115L); (mk_real_int64 250L); (mk_real_int64 100L); (mk_real_int64 425L); (mk_real_int64 60L); (mk_real_int64 2L); (mk_real_int64 400L); ]);
("y2_lo", [0; 9; 11; 22; 25; 36; 37; 38; 39; 40; 44; 48; 51; 53; 54; ], [(mk_real_int64 292L); (mk_real_int64 588L); (mk_real_int64 416L); (mk_real_int64 240L); (mk_real_int64 320L); (mk_real_int64 344L); (mk_real_int64 556L); (mk_real_int64 108L); (mk_real_int64 400L); (mk_real_int64 352L); (mk_real_int64 444L); (mk_real_int64 140L); (mk_real_int64 114L); (mk_real_int64 164L); (mk_real_int64 320L); ]);
("y2_hi", [12; 13; 14; 15; 20; 24; 26; 31; 32; 33; 35; 41; 43; 45; 49; 55; ], [(mk_real_int64 380L); (mk_real_int64 182L); (mk_real_int64 360L); (mk_real_int64 212L); (mk_real_int64 432L); (mk_real_int64 188L); (mk_real_int64 260L); (mk_real_int64 8L); (mk_real_int64 140L); (mk_real_int64 488L); (mk_real_int64 64L); (mk_real_int64 496L); (mk_real_int64 100L); (mk_real_int64 380L); (mk_real_int64 72L); (mk_real_int64 64L); ]);
("y3_lo", [0; 9; 11; 22; 25; 36; 37; 38; 39; 40; 44; 48; 51; 53; 54; ], [(mk_real_int64 292L); (mk_real_int64 588L); (mk_real_int64 416L); (mk_real_int64 240L); (mk_real_int64 320L); (mk_real_int64 344L); (mk_real_int64 556L); (mk_real_int64 108L); (mk_real_int64 400L); (mk_real_int64 352L); (mk_real_int64 444L); (mk_real_int64 140L); (mk_real_int64 114L); (mk_real_int64 164L); (mk_real_int64 320L); ]);
("y3_hi", [12; 13; 14; 15; 20; 24; 26; 31; 32; 33; 35; 41; 43; 45; 49; 55; ], [(mk_real_int64 380L); (mk_real_int64 182L); (mk_real_int64 360L); (mk_real_int64 212L); (mk_real_int64 432L); (mk_real_int64 188L); (mk_real_int64 260L); (mk_real_int64 8L); (mk_real_int64 140L); (mk_real_int64 488L); (mk_real_int64 64L); (mk_real_int64 496L); (mk_real_int64 100L); (mk_real_int64 380L); (mk_real_int64 72L); (mk_real_int64 64L); ]);
("y4_lo", [8; 11; 18; 19; 21; 22; 26; 35; 39; 40; ], [(mk_real_int64 284L); (mk_real_int64 500L); (mk_real_int64 285L); (mk_real_int64 837L); (mk_real_int64 161L); (mk_real_int64 533L); (mk_real_int64 170L); (mk_real_int64 413L); (mk_real_int64 565L); (mk_real_int64 320L); ]);
("y4_hi", [1; 2; 3; 4; 5; 6; 10; 12; 17; 23; 24; 25; 27; 29; 30; 31; 34; 37; 41; ], [(mk_real_int64 390L); (mk_real_int64 375L); (mk_real_int64 232L); (mk_real_int64 500L); (mk_real_int64 145L); (mk_real_int64 220L); (mk_real_int64 355L); (mk_real_int64 676L); (mk_real_int64 433L); (mk_real_int64 515L); (mk_real_int64 661L); (mk_real_int64 250L); (mk_real_int64 60L); (mk_real_int64 380L); (mk_real_int64 108L); (mk_real_int64 175L); (mk_real_int64 109L); (mk_real_int64 141L); (mk_real_int64 440L); ]);
("y5_lo", [0; 9; 11; 25; 32; 36; 37; 38; 40; 41; 49; 53; 54; ], [(mk_real_int64 292L); (mk_real_int64 588L); (mk_real_int64 416L); (mk_real_int64 500L); (mk_real_int64 285L); (mk_real_int64 152L); (mk_real_int64 591L); (mk_real_int64 212L); (mk_real_int64 352L); (mk_real_int64 314L); (mk_real_int64 238L); (mk_real_int64 164L); (mk_real_int64 320L); ]);
("y5_hi", [12; 13; 14; 15; 20; 22; 24; 26; 31; 33; 35; 39; 43; 44; 45; 48; 51; 55; ], [(mk_real_int64 375L); (mk_real_int64 232L); (mk_real_int64 500L); (mk_real_int64 212L); (mk_real_int64 432L); (mk_real_int64 466L); (mk_real_int64 188L); (mk_real_int64 316L); (mk_real_int64 8L); (mk_real_int64 488L); (mk_real_int64 64L); (mk_real_int64 250L); (mk_real_int64 380L); (mk_real_int64 508L); (mk_real_int64 380L); (mk_real_int64 564L); (mk_real_int64 366L); (mk_real_int64 64L); ]);
("y6_lo", [0; 9; 11; 13; 23; 24; 25; 32; 36; 37; 38; 40; 41; 44; 49; 51; 53; 54; 55; ], [(mk_real_int64 292L); (mk_real_int64 588L); (mk_real_int64 416L); (mk_real_int64 198768L); (mk_real_int64 316000L); (mk_real_int64 109000L); (mk_real_int64 500L); (mk_real_int64 22285L); (mk_real_int64 152L); (mk_real_int64 16591L); (mk_real_int64 212L); (mk_real_int64 352L); (mk_real_int64 51314L); (mk_real_int64 27492L); (mk_real_int64 238L); (mk_real_int64 3000L); (mk_real_int64 164L); (mk_real_int64 320L); (mk_real_int64 95000L); ]);
("y6_hi", [12; 14; 15; 20; 22; 24; 26; 31; 33; 35; 39; 43; 45; 48; 51; 55; ], [(mk_real_int64 375L); (mk_real_int64 500L); (mk_real_int64 212L); (mk_real_int64 432L); (mk_real_int64 466L); (mk_real_int64 188L); (mk_real_int64 316L); (mk_real_int64 8L); (mk_real_int64 488L); (mk_real_int64 64L); (mk_real_int64 250L); (mk_real_int64 380L); (mk_real_int64 380L); (mk_real_int64 564L); (mk_real_int64 366L); (mk_real_int64 64L); ]);
("ye_hi", [23; 34; 36; 54; 55; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("ye_lo", [12; 14; 15; 21; 22; 42; 46; ], [(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", [0; 2; 3; 5; 6; 7; 9; 10; 12; ], [(mk_real_int64 124L); (mk_real_int64 832L); (mk_real_int64 124L); (mk_real_int64 2124L); (mk_real_int64 1124L); (mk_real_int64 1124L); (mk_real_int64 124L); (mk_real_int64 568L); (mk_real_int64 1124L); ]);
("yn_lo", [1; 4; 8; 11; ], [(mk_real_int64 104L); (mk_real_int64 63L); (mk_real_int64 636L); (mk_real_int64 63L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)