needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "158856256118 24 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 3 5 2 6 3 6 2 7 3 7 2 1 3 7 1 8 3 8 1 9 3 9 1 0 4 9 0 4 10 3 10 4 11 3 11 4 5 3 11 5 12 3 12 5 6 3 12 6 13 3 13 6 7 3 13 7 8 3 13 8 14 3 12 13 14 3 14 8 9 3 14 9 10 3 12 14 10 3 10 11 12 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [0; 1; 2; 5; 6; 8; 10; 13; 14; ], [(mk_real_int64 66L); (mk_real_int64 246L); (mk_real_int64 88L); (mk_real_int64 570L); (mk_real_int64 540L); (mk_real_int64 59L); (mk_real_int64 486L); (mk_real_int64 114L); (mk_real_int64 625L); ]);
("azim_sum_neg", [4; 7; 9; ], [(mk_real_int64 88L); (mk_real_int64 26L); (mk_real_int64 142L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 942L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 1087L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 1107L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 901L); (mk_real_int64 999L); ]);
("sol_sum3_neg", [3; 12; 13; ], [(mk_real_int64 246L); (mk_real_int64 540L); (mk_real_int64 59L); ]);
("sol_sum3", [6; ], [(mk_real_int64 26L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; ], [(mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 973L); (mk_real_int64 975L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 973L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); (mk_real_int64 999L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 999L); (mk_real_int64 999L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 14; ], [(mk_real_int64 39L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 198L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 220L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 108L); (mk_real_int64 101L); ]);
("ln_def", [13; ], [(mk_real_int64 6L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 5922L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 6827L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 6953L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 6275L); (mk_real_int64 5663L); (mk_real_int64 6275L); ]);
("edge_sym_neg", [5; 14; 18; 21; 23; 24; 27; 36; 43; 46; 48; 49; 52; 55; 57; 58; 67; ], [(mk_real_int64 125L); (mk_real_int64 307L); (mk_real_int64 158L); (mk_real_int64 285L); (mk_real_int64 98L); (mk_real_int64 82L); (mk_real_int64 2L); (mk_real_int64 125L); (mk_real_int64 5L); (mk_real_int64 208L); (mk_real_int64 386L); (mk_real_int64 62L); (mk_real_int64 477L); (mk_real_int64 92L); (mk_real_int64 171L); (mk_real_int64 77L); (mk_real_int64 177L); ]);
("edge_sym", [8; 9; 12; 15; 26; 40; 42; ], [(mk_real_int64 11L); (mk_real_int64 11L); (mk_real_int64 157L); (mk_real_int64 34L); (mk_real_int64 10L); (mk_real_int64 178L); (mk_real_int64 208L); ]);
("y1_def_neg", [4; 8; 9; 10; 12; 13; 15; 16; 17; 18; 20; 21; 22; 23; 30; 37; 39; 42; 43; 45; 47; 48; 49; 50; 51; 53; 55; 56; 57; 59; 60; 63; 64; 66; 67; ], [(mk_real_int64 180L); (mk_real_int64 54L); (mk_real_int64 31L); (mk_real_int64 112L); (mk_real_int64 210L); (mk_real_int64 76L); (mk_real_int64 190L); (mk_real_int64 45L); (mk_real_int64 58L); (mk_real_int64 66L); (mk_real_int64 73L); (mk_real_int64 142L); (mk_real_int64 18L); (mk_real_int64 139L); (mk_real_int64 15L); (mk_real_int64 180L); (mk_real_int64 16L); (mk_real_int64 48L); (mk_real_int64 86L); (mk_real_int64 147L); (mk_real_int64 133L); (mk_real_int64 60L); (mk_real_int64 93L); (mk_real_int64 14L); (mk_real_int64 307L); (mk_real_int64 29L); (mk_real_int64 171L); (mk_real_int64 14L); (mk_real_int64 163L); (mk_real_int64 58L); (mk_real_int64 85L); (mk_real_int64 25L); (mk_real_int64 2L); (mk_real_int64 40L); (mk_real_int64 89L); ]);
("y1_def", [14; 25; 46; 52; ], [(mk_real_int64 93L); (mk_real_int64 7L); (mk_real_int64 205L); (mk_real_int64 13L); ]);
("y2_def_neg", [4; 8; 12; 15; 18; 21; 23; 25; 30; 37; 39; 45; 49; 52; 55; 57; 60; 63; 67; ], [(mk_real_int64 180L); (mk_real_int64 54L); (mk_real_int64 63L); (mk_real_int64 81L); (mk_real_int64 83L); (mk_real_int64 142L); (mk_real_int64 131L); (mk_real_int64 2L); (mk_real_int64 15L); (mk_real_int64 180L); (mk_real_int64 16L); (mk_real_int64 147L); (mk_real_int64 93L); (mk_real_int64 4L); (mk_real_int64 176L); (mk_real_int64 185L); (mk_real_int64 50L); (mk_real_int64 48L); (mk_real_int64 89L); ]);
("y2_def", [9; 10; 13; 14; 16; 17; 20; 22; 42; 43; 46; 47; 48; 50; 51; 53; 56; 59; 64; 66; ], [(mk_real_int64 48L); (mk_real_int64 173L); (mk_real_int64 118L); (mk_real_int64 93L); (mk_real_int64 69L); (mk_real_int64 90L); (mk_real_int64 99L); (mk_real_int64 5L); (mk_real_int64 74L); (mk_real_int64 134L); (mk_real_int64 205L); (mk_real_int64 206L); (mk_real_int64 94L); (mk_real_int64 22L); (mk_real_int64 17L); (mk_real_int64 31L); (mk_real_int64 22L); (mk_real_int64 90L); (mk_real_int64 3L); (mk_real_int64 62L); ]);
("y3_def_neg", [4; 8; 12; 15; 18; 21; 23; 25; 30; 37; 39; 45; 49; 52; 55; 57; 60; 63; 67; ], [(mk_real_int64 180L); (mk_real_int64 54L); (mk_real_int64 63L); (mk_real_int64 81L); (mk_real_int64 83L); (mk_real_int64 142L); (mk_real_int64 131L); (mk_real_int64 2L); (mk_real_int64 15L); (mk_real_int64 180L); (mk_real_int64 16L); (mk_real_int64 147L); (mk_real_int64 93L); (mk_real_int64 4L); (mk_real_int64 176L); (mk_real_int64 185L); (mk_real_int64 50L); (mk_real_int64 48L); (mk_real_int64 89L); ]);
("y3_def", [9; 10; 13; 14; 16; 17; 20; 22; 42; 43; 46; 47; 48; 50; 51; 53; 56; 59; 64; 66; ], [(mk_real_int64 48L); (mk_real_int64 173L); (mk_real_int64 118L); (mk_real_int64 93L); (mk_real_int64 69L); (mk_real_int64 90L); (mk_real_int64 99L); (mk_real_int64 5L); (mk_real_int64 74L); (mk_real_int64 134L); (mk_real_int64 205L); (mk_real_int64 206L); (mk_real_int64 94L); (mk_real_int64 22L); (mk_real_int64 17L); (mk_real_int64 31L); (mk_real_int64 22L); (mk_real_int64 90L); (mk_real_int64 3L); (mk_real_int64 62L); ]);
("y4_def_neg", [0; 4; 5; 6; 8; 9; 10; 11; 12; 13; 14; 16; 17; 18; 19; 26; 29; 31; 34; 35; 37; 38; 39; 40; 41; 42; 43; 45; 47; 48; 49; 51; 52; 55; 56; 58; 59; ], [(mk_real_int64 125L); (mk_real_int64 37L); (mk_real_int64 91L); (mk_real_int64 325L); (mk_real_int64 274L); (mk_real_int64 222L); (mk_real_int64 48L); (mk_real_int64 226L); (mk_real_int64 130L); (mk_real_int64 168L); (mk_real_int64 35L); (mk_real_int64 186L); (mk_real_int64 99L); (mk_real_int64 8L); (mk_real_int64 99L); (mk_real_int64 10L); (mk_real_int64 125L); (mk_real_int64 11L); (mk_real_int64 139L); (mk_real_int64 252L); (mk_real_int64 102L); (mk_real_int64 106L); (mk_real_int64 388L); (mk_real_int64 176L); (mk_real_int64 92L); (mk_real_int64 41L); (mk_real_int64 495L); (mk_real_int64 58L); (mk_real_int64 115L); (mk_real_int64 41L); (mk_real_int64 98L); (mk_real_int64 170L); (mk_real_int64 90L); (mk_real_int64 3L); (mk_real_int64 6L); (mk_real_int64 116L); (mk_real_int64 62L); ]);
("y4_def", [21; 44; ], [(mk_real_int64 10L); (mk_real_int64 20L); ]);
("y5_def_neg", [4; 8; 12; 14; 15; 18; 21; 23; 25; 30; 37; 39; 45; 46; 49; 52; 55; 57; 60; 63; 67; ], [(mk_real_int64 125L); (mk_real_int64 37L); (mk_real_int64 16L); (mk_real_int64 48L); (mk_real_int64 36L); (mk_real_int64 59L); (mk_real_int64 99L); (mk_real_int64 90L); (mk_real_int64 2L); (mk_real_int64 10L); (mk_real_int64 125L); (mk_real_int64 11L); (mk_real_int64 102L); (mk_real_int64 106L); (mk_real_int64 92L); (mk_real_int64 4L); (mk_real_int64 123L); (mk_real_int64 130L); (mk_real_int64 28L); (mk_real_int64 35L); (mk_real_int64 62L); ]);
("y5_def", [9; 10; 13; 16; 17; 20; 22; 42; 43; 47; 48; 50; 51; 53; 56; 59; 64; 66; ], [(mk_real_int64 48L); (mk_real_int64 173L); (mk_real_int64 118L); (mk_real_int64 69L); (mk_real_int64 90L); (mk_real_int64 99L); (mk_real_int64 17L); (mk_real_int64 74L); (mk_real_int64 134L); (mk_real_int64 206L); (mk_real_int64 94L); (mk_real_int64 22L); (mk_real_int64 72L); (mk_real_int64 31L); (mk_real_int64 22L); (mk_real_int64 90L); (mk_real_int64 3L); (mk_real_int64 62L); ]);
("y6_def", [6; 7; 9; 10; 11; 13; 16; 17; 20; 22; 29; 35; 38; 42; 43; 45; 47; 48; 50; 51; 53; 54; 56; 59; 60; 62; 64; 66; 69; 72; ], [(mk_real_int64 125L); (mk_real_int64 253L); (mk_real_int64 48L); (mk_real_int64 263L); (mk_real_int64 342L); (mk_real_int64 118L); (mk_real_int64 69L); (mk_real_int64 90L); (mk_real_int64 99L); (mk_real_int64 375L); (mk_real_int64 10L); (mk_real_int64 125L); (mk_real_int64 136L); (mk_real_int64 74L); (mk_real_int64 134L); (mk_real_int64 72L); (mk_real_int64 206L); (mk_real_int64 94L); (mk_real_int64 294L); (mk_real_int64 203L); (mk_real_int64 592L); (mk_real_int64 263L); (mk_real_int64 222L); (mk_real_int64 90L); (mk_real_int64 247L); (mk_real_int64 211L); (mk_real_int64 3L); (mk_real_int64 62L); (mk_real_int64 177L); (mk_real_int64 5L); ]);
("y6_def_neg", [8; 12; 14; 15; 18; 21; 23; 25; 39; 46; 49; 52; 55; 57; 63; 67; ], [(mk_real_int64 37L); (mk_real_int64 16L); (mk_real_int64 48L); (mk_real_int64 36L); (mk_real_int64 59L); (mk_real_int64 99L); (mk_real_int64 90L); (mk_real_int64 2L); (mk_real_int64 11L); (mk_real_int64 106L); (mk_real_int64 92L); (mk_real_int64 4L); (mk_real_int64 123L); (mk_real_int64 130L); (mk_real_int64 1L); (mk_real_int64 62L); ]);
("RHA", [6; 7; 19; 21; 23; 24; 25; 33; 36; 39; 54; 55; 57; 63; ], [(mk_real_int64 88L); (mk_real_int64 88L); (mk_real_int64 26L); (mk_real_int64 26L); (mk_real_int64 15L); (mk_real_int64 131L); (mk_real_int64 108L); (mk_real_int64 88L); (mk_real_int64 88L); (mk_real_int64 88L); (mk_real_int64 26L); (mk_real_int64 134L); (mk_real_int64 108L); (mk_real_int64 108L); ]);
("RHB", [3; 5; 8; 11; 37; 38; 41; 72; ], [(mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 97L); (mk_real_int64 97L); (mk_real_int64 97L); (mk_real_int64 97L); ]);
("tau4", [0; 1; ], [(mk_real_int64 557L); (mk_real_int64 357L); ]);
("ineq106", [16; 18; 19; 45; ], [(mk_real_int64 26L); (mk_real_int64 23L); (mk_real_int64 8L); (mk_real_int64 26L); ]);
("ineq107", [14; 21; 44; 47; 49; 55; ], [(mk_real_int64 26L); (mk_real_int64 13L); (mk_real_int64 26L); (mk_real_int64 8L); (mk_real_int64 34L); (mk_real_int64 34L); ]);
("ineq108", [5; 6; 8; 9; 11; 12; 13; 16; 34; 35; 39; 40; 42; 43; 45; 48; 51; 52; 56; 58; ], [(mk_real_int64 133L); (mk_real_int64 475L); (mk_real_int64 246L); (mk_real_int64 324L); (mk_real_int64 181L); (mk_real_int64 190L); (mk_real_int64 246L); (mk_real_int64 246L); (mk_real_int64 202L); (mk_real_int64 368L); (mk_real_int64 566L); (mk_real_int64 257L); (mk_real_int64 59L); (mk_real_int64 540L); (mk_real_int64 59L); (mk_real_int64 59L); (mk_real_int64 248L); (mk_real_int64 59L); (mk_real_int64 8L); (mk_real_int64 169L); ]);
("ineq109", [18; ], [(mk_real_int64 26L); ]);
("ineq110", [10; 38; 41; ], [(mk_real_int64 246L); (mk_real_int64 540L); (mk_real_int64 59L); ]);
("ineq111", [0; 4; 8; 11; 14; 17; 19; 26; 29; 31; 37; 41; 43; 47; 49; 52; 55; 59; ], [(mk_real_int64 999L); (mk_real_int64 300L); (mk_real_int64 846L); (mk_real_int64 818L); (mk_real_int64 440L); (mk_real_int64 791L); (mk_real_int64 745L); (mk_real_int64 81L); (mk_real_int64 999L); (mk_real_int64 87L); (mk_real_int64 814L); (mk_real_int64 642L); (mk_real_int64 999L); (mk_real_int64 973L); (mk_real_int64 999L); (mk_real_int64 396L); (mk_real_int64 235L); (mk_real_int64 492L); ]);
("ineq113", [21; ], [(mk_real_int64 81L); ]);
("ineq114", [5; 6; 11; 12; 17; 19; 20; 22; 23; 24; 25; 32; 34; 35; 36; 37; 40; 51; 56; 58; 60; 65; ], [(mk_real_int64 699L); (mk_real_int64 153L); (mk_real_int64 180L); (mk_real_int64 559L); (mk_real_int64 182L); (mk_real_int64 207L); (mk_real_int64 24L); (mk_real_int64 141L); (mk_real_int64 776L); (mk_real_int64 776L); (mk_real_int64 141L); (mk_real_int64 911L); (mk_real_int64 588L); (mk_real_int64 411L); (mk_real_int64 136L); (mk_real_int64 49L); (mk_real_int64 357L); (mk_real_int64 602L); (mk_real_int64 764L); (mk_real_int64 506L); (mk_real_int64 999L); (mk_real_int64 999L); ]);
("ineq120", [1; 2; 4; ], [(mk_real_int64 116L); (mk_real_int64 325L); (mk_real_int64 642L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 2650L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 3275L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 3225L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 9875L); (mk_real_int64 2975L); (mk_real_int64 2875L); ]);
];;

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

let variable_bounds = [
("azim_hi", [2; 9; 10; 23; 24; 25; 26; 29; 31; 37; 38; 40; 41; 42; 43; 44; 45; 64; 68; 72; 73; ], [(mk_real_int64 350L); (mk_real_int64 574L); (mk_real_int64 778L); (mk_real_int64 582L); (mk_real_int64 24L); (mk_real_int64 21L); (mk_real_int64 266L); (mk_real_int64 266L); (mk_real_int64 636L); (mk_real_int64 72L); (mk_real_int64 72L); (mk_real_int64 286L); (mk_real_int64 72L); (mk_real_int64 88L); (mk_real_int64 286L); (mk_real_int64 136L); (mk_real_int64 674L); (mk_real_int64 264L); (mk_real_int64 374L); (mk_real_int64 72L); (mk_real_int64 374L); ]);
("azim_lo", [1; 3; 5; 8; 11; 15; 16; 21; 27; 28; 48; 59; 66; ], [(mk_real_int64 72L); (mk_real_int64 144L); (mk_real_int64 144L); (mk_real_int64 144L); (mk_real_int64 144L); (mk_real_int64 320L); (mk_real_int64 66L); (mk_real_int64 68L); (mk_real_int64 224L); (mk_real_int64 224L); (mk_real_int64 518L); (mk_real_int64 148L); (mk_real_int64 244L); ]);
("rhazim_hi", [3; 5; 8; 11; 37; 38; 41; 72; ], [(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); ]);
("rhazim_lo", [22; 23; 24; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rho_hi", [1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 14; ], [(mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 3708L); (mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 3388L); (mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 2716L); (mk_real_int64 2716L); ]);
("rho_lo", [0; 13; ], [(mk_real_int64 2472L); (mk_real_int64 1116L); ]);
("tau_lo", [0; 4; 8; 9; 12; 19; 21; ], [(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); ]);
("tau_hi", [7; ], [(mk_real_int64 1000L); ]);
("y1_hi", [4; 10; 14; 15; 16; 17; 22; 23; 30; 37; 39; 42; 45; 46; 50; 51; 56; 57; 64; 66; 67; ], [(mk_real_int64 180L); (mk_real_int64 375L); (mk_real_int64 480L); (mk_real_int64 225L); (mk_real_int64 350L); (mk_real_int64 190L); (mk_real_int64 274L); (mk_real_int64 100L); (mk_real_int64 420L); (mk_real_int64 180L); (mk_real_int64 340L); (mk_real_int64 530L); (mk_real_int64 480L); (mk_real_int64 200L); (mk_real_int64 135L); (mk_real_int64 280L); (mk_real_int64 135L); (mk_real_int64 180L); (mk_real_int64 120L); (mk_real_int64 285L); (mk_real_int64 440L); ]);
("y1_lo", [9; 12; 13; 18; 20; 21; 25; 43; 47; 48; 49; 53; 55; 59; 60; 63; ], [(mk_real_int64 255L); (mk_real_int64 90L); (mk_real_int64 140L); (mk_real_int64 200L); (mk_real_int64 410L); (mk_real_int64 380L); (mk_real_int64 500L); (mk_real_int64 480L); (mk_real_int64 10L); (mk_real_int64 395L); (mk_real_int64 140L); (mk_real_int64 465L); (mk_real_int64 140L); (mk_real_int64 280L); (mk_real_int64 145L); (mk_real_int64 300L); ]);
("y2_hi", [4; 9; 12; 14; 16; 20; 25; 30; 37; 39; 45; 46; 47; 52; 57; 59; 60; 63; 67; ], [(mk_real_int64 180L); (mk_real_int64 412L); (mk_real_int64 264L); (mk_real_int64 480L); (mk_real_int64 160L); (mk_real_int64 8L); (mk_real_int64 24L); (mk_real_int64 420L); (mk_real_int64 180L); (mk_real_int64 340L); (mk_real_int64 480L); (mk_real_int64 200L); (mk_real_int64 24L); (mk_real_int64 48L); (mk_real_int64 12L); (mk_real_int64 272L); (mk_real_int64 196L); (mk_real_int64 532L); (mk_real_int64 440L); ]);
("y2_lo", [10; 13; 15; 17; 18; 21; 22; 23; 42; 43; 48; 49; 50; 51; 53; 55; 56; 64; 66; ], [(mk_real_int64 100L); (mk_real_int64 64L); (mk_real_int64 356L); (mk_real_int64 456L); (mk_real_int64 152L); (mk_real_int64 380L); (mk_real_int64 554L); (mk_real_int64 188L); (mk_real_int64 472L); (mk_real_int64 48L); (mk_real_int64 452L); (mk_real_int64 140L); (mk_real_int64 524L); (mk_real_int64 260L); (mk_real_int64 60L); (mk_real_int64 356L); (mk_real_int64 524L); (mk_real_int64 88L); (mk_real_int64 484L); ]);
("y3_hi", [4; 9; 12; 14; 16; 20; 25; 30; 37; 39; 45; 46; 47; 52; 57; 59; 60; 63; 67; ], [(mk_real_int64 180L); (mk_real_int64 412L); (mk_real_int64 264L); (mk_real_int64 480L); (mk_real_int64 160L); (mk_real_int64 8L); (mk_real_int64 24L); (mk_real_int64 420L); (mk_real_int64 180L); (mk_real_int64 340L); (mk_real_int64 480L); (mk_real_int64 200L); (mk_real_int64 24L); (mk_real_int64 48L); (mk_real_int64 12L); (mk_real_int64 272L); (mk_real_int64 196L); (mk_real_int64 532L); (mk_real_int64 440L); ]);
("y3_lo", [10; 13; 15; 17; 18; 21; 22; 23; 42; 43; 48; 49; 50; 51; 53; 55; 56; 64; 66; ], [(mk_real_int64 100L); (mk_real_int64 64L); (mk_real_int64 356L); (mk_real_int64 456L); (mk_real_int64 152L); (mk_real_int64 380L); (mk_real_int64 554L); (mk_real_int64 188L); (mk_real_int64 472L); (mk_real_int64 48L); (mk_real_int64 452L); (mk_real_int64 140L); (mk_real_int64 524L); (mk_real_int64 260L); (mk_real_int64 60L); (mk_real_int64 356L); (mk_real_int64 524L); (mk_real_int64 88L); (mk_real_int64 484L); ]);
("y4_hi", [0; 9; 14; 17; 18; 19; 21; 29; 31; 34; 37; 38; 39; 41; 42; 43; 44; 48; 51; 52; 56; 58; 59; ], [(mk_real_int64 125L); (mk_real_int64 60L); (mk_real_int64 98L); (mk_real_int64 125L); (mk_real_int64 669L); (mk_real_int64 395L); (mk_real_int64 49L); (mk_real_int64 125L); (mk_real_int64 125L); (mk_real_int64 630L); (mk_real_int64 250L); (mk_real_int64 160L); (mk_real_int64 290L); (mk_real_int64 186L); (mk_real_int64 585L); (mk_real_int64 225L); (mk_real_int64 98L); (mk_real_int64 585L); (mk_real_int64 120L); (mk_real_int64 85L); (mk_real_int64 520L); (mk_real_int64 235L); (mk_real_int64 500L); ]);
("y4_lo", [4; 5; 6; 8; 10; 11; 12; 13; 16; 26; 35; 40; 45; 47; 49; 55; ], [(mk_real_int64 500L); (mk_real_int64 105L); (mk_real_int64 375L); (mk_real_int64 260L); (mk_real_int64 216L); (mk_real_int64 235L); (mk_real_int64 150L); (mk_real_int64 510L); (mk_real_int64 320L); (mk_real_int64 125L); (mk_real_int64 80L); (mk_real_int64 45L); (mk_real_int64 225L); (mk_real_int64 441L); (mk_real_int64 593L); (mk_real_int64 93L); ]);
("y5_hi", [4; 9; 16; 18; 20; 21; 25; 37; 39; 45; 46; 47; 49; 52; 55; 59; 63; 67; ], [(mk_real_int64 125L); (mk_real_int64 412L); (mk_real_int64 160L); (mk_real_int64 48L); (mk_real_int64 8L); (mk_real_int64 125L); (mk_real_int64 24L); (mk_real_int64 125L); (mk_real_int64 125L); (mk_real_int64 250L); (mk_real_int64 160L); (mk_real_int64 24L); (mk_real_int64 186L); (mk_real_int64 48L); (mk_real_int64 159L); (mk_real_int64 272L); (mk_real_int64 457L); (mk_real_int64 500L); ]);
("y5_lo", [8; 10; 12; 13; 14; 15; 17; 22; 23; 30; 42; 43; 48; 50; 51; 53; 56; 57; 60; 64; 66; ], [(mk_real_int64 500L); (mk_real_int64 100L); (mk_real_int64 206L); (mk_real_int64 64L); (mk_real_int64 216L); (mk_real_int64 366L); (mk_real_int64 456L); (mk_real_int64 204L); (mk_real_int64 213L); (mk_real_int64 125L); (mk_real_int64 472L); (mk_real_int64 48L); (mk_real_int64 452L); (mk_real_int64 524L); (mk_real_int64 315L); (mk_real_int64 60L); (mk_real_int64 524L); (mk_real_int64 43L); (mk_real_int64 24L); (mk_real_int64 88L); (mk_real_int64 484L); ]);
("y6_lo", [4; 6; 7; 8; 10; 11; 12; 13; 14; 15; 17; 22; 23; 29; 30; 35; 37; 38; 42; 43; 45; 48; 50; 51; 53; 54; 56; 57; 60; 62; 63; 64; 66; 69; 72; ], [(mk_real_int64 125000L); (mk_real_int64 125000L); (mk_real_int64 253000L); (mk_real_int64 500L); (mk_real_int64 91000L); (mk_real_int64 342000L); (mk_real_int64 206L); (mk_real_int64 64L); (mk_real_int64 216L); (mk_real_int64 366L); (mk_real_int64 456L); (mk_real_int64 359000L); (mk_real_int64 213L); (mk_real_int64 10000L); (mk_real_int64 10125L); (mk_real_int64 125000L); (mk_real_int64 125000L); (mk_real_int64 136000L); (mk_real_int64 472L); (mk_real_int64 48L); (mk_real_int64 174000L); (mk_real_int64 452L); (mk_real_int64 273000L); (mk_real_int64 131315L); (mk_real_int64 561060L); (mk_real_int64 263000L); (mk_real_int64 200524L); (mk_real_int64 43L); (mk_real_int64 275024L); (mk_real_int64 211000L); (mk_real_int64 34000L); (mk_real_int64 88L); (mk_real_int64 484L); (mk_real_int64 177000L); (mk_real_int64 5000L); ]);
("y6_hi", [4; 9; 10; 16; 18; 20; 21; 22; 25; 37; 39; 45; 46; 47; 49; 50; 52; 55; 59; 63; 67; ], [(mk_real_int64 125L); (mk_real_int64 412L); (mk_real_int64 900L); (mk_real_int64 160L); (mk_real_int64 48L); (mk_real_int64 8L); (mk_real_int64 125L); (mk_real_int64 796L); (mk_real_int64 24L); (mk_real_int64 125L); (mk_real_int64 125L); (mk_real_int64 250L); (mk_real_int64 160L); (mk_real_int64 24L); (mk_real_int64 186L); (mk_real_int64 476L); (mk_real_int64 48L); (mk_real_int64 159L); (mk_real_int64 272L); (mk_real_int64 457L); (mk_real_int64 500L); ]);
("ye_lo", [16; 17; 25; 40; 62; 67; ], [(mk_real_int64 183000L); (mk_real_int64 100000L); (mk_real_int64 100000L); (mk_real_int64 189000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("ye_hi", [11; 13; 14; 17; 58; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_lo", [0; 3; 4; 5; 6; 10; 11; ], [(mk_real_int64 964L); (mk_real_int64 676L); (mk_real_int64 1048L); (mk_real_int64 1676L); (mk_real_int64 676L); (mk_real_int64 1676L); (mk_real_int64 676L); ]);
("yn_hi", [1; 2; 7; 8; 9; 12; 13; 14; ], [(mk_real_int64 324L); (mk_real_int64 324L); (mk_real_int64 2324L); (mk_real_int64 1324L); (mk_real_int64 1280L); (mk_real_int64 792L); (mk_real_int64 462L); (mk_real_int64 324L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)