needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "204898223616 19 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 6 4 3 3 6 3 8 3 8 3 9 3 9 3 2 4 9 2 10 11 3 7 6 8 3 10 2 12 3 12 2 1 3 12 1 0 3 12 0 13 3 10 12 13 3 13 0 7 3 13 7 11 3 11 7 8 3 11 10 13 3 8 9 11 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [7; 8; 10; 11; 13; ], [(mk_real_int64 14L); (mk_real_int64 668L); (mk_real_int64 124L); (mk_real_int64 280L); (mk_real_int64 385L); ]);
("azim_sum_neg", [1; 5; 6; 9; ], [(mk_real_int64 173L); (mk_real_int64 505L); (mk_real_int64 315L); (mk_real_int64 130L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 1002L); (mk_real_int64 1002L); (mk_real_int64 1002L); (mk_real_int64 1002L); (mk_real_int64 1002L); (mk_real_int64 830L); (mk_real_int64 941L); (mk_real_int64 1002L); (mk_real_int64 1002L); (mk_real_int64 765L); (mk_real_int64 1002L); (mk_real_int64 833L); (mk_real_int64 765L); (mk_real_int64 833L); ]);
("sol_sum3", [1; 7; 8; 10; ], [(mk_real_int64 173L); (mk_real_int64 204L); (mk_real_int64 204L); (mk_real_int64 130L); ]);
("sol_sum3_neg", [4; 5; 11; 12; 13; ], [(mk_real_int64 20L); (mk_real_int64 280L); (mk_real_int64 100L); (mk_real_int64 385L); (mk_real_int64 385L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 1002L); (mk_real_int64 1002L); (mk_real_int64 833L); (mk_real_int64 765L); (mk_real_int64 765L); (mk_real_int64 833L); (mk_real_int64 626L); (mk_real_int64 830L); (mk_real_int64 830L); (mk_real_int64 756L); (mk_real_int64 765L); (mk_real_int64 1002L); (mk_real_int64 833L); (mk_real_int64 833L); (mk_real_int64 765L); (mk_real_int64 765L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 1002L); (mk_real_int64 765L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 1002L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 6; 7; 8; 10; ], [(mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 37L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); ]);
("ln_def", [5; 9; 11; 12; 13; ], [(mk_real_int64 85L); (mk_real_int64 157L); (mk_real_int64 81L); (mk_real_int64 157L); (mk_real_int64 81L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 6294L); (mk_real_int64 6294L); (mk_real_int64 6294L); (mk_real_int64 6294L); (mk_real_int64 6294L); (mk_real_int64 5213L); (mk_real_int64 5911L); (mk_real_int64 6294L); (mk_real_int64 6294L); (mk_real_int64 4805L); (mk_real_int64 6294L); (mk_real_int64 5237L); (mk_real_int64 4805L); (mk_real_int64 5237L); ]);
("edge_sym", [0; 5; 20; 27; 28; 31; 40; 42; 46; 49; 51; ], [(mk_real_int64 6L); (mk_real_int64 6L); (mk_real_int64 100L); (mk_real_int64 133L); (mk_real_int64 133L); (mk_real_int64 103L); (mk_real_int64 273L); (mk_real_int64 235L); (mk_real_int64 60L); (mk_real_int64 80L); (mk_real_int64 6L); ]);
("edge_sym_neg", [7; 12; 17; 18; 21; 33; 43; 52; 55; ], [(mk_real_int64 8L); (mk_real_int64 151L); (mk_real_int64 60L); (mk_real_int64 38L); (mk_real_int64 29L); (mk_real_int64 9L); (mk_real_int64 158L); (mk_real_int64 233L); (mk_real_int64 118L); ]);
("y1_def_neg", [0; 10; 14; 15; 16; 17; 18; 19; 20; 21; 23; 24; 28; 29; 30; 32; 34; 36; 38; 42; 43; 44; 46; 48; 49; 50; 51; 56; 58; 59; 61; ], [(mk_real_int64 4L); (mk_real_int64 180L); (mk_real_int64 81L); (mk_real_int64 26L); (mk_real_int64 101L); (mk_real_int64 232L); (mk_real_int64 66L); (mk_real_int64 30L); (mk_real_int64 39L); (mk_real_int64 2L); (mk_real_int64 33L); (mk_real_int64 57L); (mk_real_int64 104L); (mk_real_int64 154L); (mk_real_int64 48L); (mk_real_int64 5L); (mk_real_int64 4L); (mk_real_int64 34L); (mk_real_int64 68L); (mk_real_int64 287L); (mk_real_int64 177L); (mk_real_int64 11L); (mk_real_int64 50L); (mk_real_int64 37L); (mk_real_int64 57L); (mk_real_int64 16L); (mk_real_int64 88L); (mk_real_int64 81L); (mk_real_int64 140L); (mk_real_int64 81L); (mk_real_int64 45L); ]);
("y1_def", [12; 22; 31; 37; 39; 41; 45; 47; 52; 54; 55; 57; ], [(mk_real_int64 86L); (mk_real_int64 10L); (mk_real_int64 106L); (mk_real_int64 109L); (mk_real_int64 151L); (mk_real_int64 65L); (mk_real_int64 4L); (mk_real_int64 38L); (mk_real_int64 146L); (mk_real_int64 114L); (mk_real_int64 53L); (mk_real_int64 65L); ]);
("y2_def", [0; 16; 18; 19; 20; 24; 28; 29; 31; 32; 43; 47; 49; 51; 52; 54; 56; 58; 59; 61; ], [(mk_real_int64 6L); (mk_real_int64 61L); (mk_real_int64 102L); (mk_real_int64 18L); (mk_real_int64 24L); (mk_real_int64 35L); (mk_real_int64 133L); (mk_real_int64 144L); (mk_real_int64 106L); (mk_real_int64 3L); (mk_real_int64 135L); (mk_real_int64 38L); (mk_real_int64 88L); (mk_real_int64 53L); (mk_real_int64 146L); (mk_real_int64 127L); (mk_real_int64 42L); (mk_real_int64 85L); (mk_real_int64 87L); (mk_real_int64 31L); ]);
("y2_def_neg", [10; 12; 14; 15; 17; 21; 22; 23; 30; 34; 36; 37; 38; 39; 41; 42; 44; 45; 46; 48; 50; 55; 57; ], [(mk_real_int64 180L); (mk_real_int64 26L); (mk_real_int64 81L); (mk_real_int64 26L); (mk_real_int64 90L); (mk_real_int64 2L); (mk_real_int64 3L); (mk_real_int64 33L); (mk_real_int64 121L); (mk_real_int64 4L); (mk_real_int64 34L); (mk_real_int64 73L); (mk_real_int64 68L); (mk_real_int64 46L); (mk_real_int64 20L); (mk_real_int64 41L); (mk_real_int64 11L); (mk_real_int64 1L); (mk_real_int64 2L); (mk_real_int64 93L); (mk_real_int64 77L); (mk_real_int64 16L); (mk_real_int64 20L); ]);
("y3_def", [0; 16; 18; 19; 20; 24; 28; 29; 31; 32; 43; 47; 49; 51; 52; 54; 56; 58; 59; 61; ], [(mk_real_int64 6L); (mk_real_int64 61L); (mk_real_int64 102L); (mk_real_int64 18L); (mk_real_int64 24L); (mk_real_int64 35L); (mk_real_int64 133L); (mk_real_int64 144L); (mk_real_int64 106L); (mk_real_int64 3L); (mk_real_int64 135L); (mk_real_int64 38L); (mk_real_int64 88L); (mk_real_int64 53L); (mk_real_int64 146L); (mk_real_int64 127L); (mk_real_int64 42L); (mk_real_int64 85L); (mk_real_int64 87L); (mk_real_int64 31L); ]);
("y3_def_neg", [10; 12; 14; 15; 17; 21; 22; 23; 30; 34; 36; 37; 38; 39; 41; 42; 44; 45; 46; 48; 50; 55; 57; ], [(mk_real_int64 180L); (mk_real_int64 26L); (mk_real_int64 81L); (mk_real_int64 26L); (mk_real_int64 90L); (mk_real_int64 2L); (mk_real_int64 3L); (mk_real_int64 33L); (mk_real_int64 121L); (mk_real_int64 4L); (mk_real_int64 34L); (mk_real_int64 73L); (mk_real_int64 68L); (mk_real_int64 46L); (mk_real_int64 20L); (mk_real_int64 41L); (mk_real_int64 11L); (mk_real_int64 1L); (mk_real_int64 2L); (mk_real_int64 93L); (mk_real_int64 77L); (mk_real_int64 16L); (mk_real_int64 20L); ]);
("y4_def", [2; 5; 12; 16; 23; 24; 25; 27; 31; 32; 34; 36; 41; 43; ], [(mk_real_int64 134L); (mk_real_int64 56L); (mk_real_int64 15L); (mk_real_int64 14L); (mk_real_int64 282L); (mk_real_int64 40L); (mk_real_int64 233L); (mk_real_int64 101L); (mk_real_int64 7L); (mk_real_int64 8L); (mk_real_int64 11L); (mk_real_int64 28L); (mk_real_int64 81L); (mk_real_int64 101L); ]);
("y4_def_neg", [0; 4; 6; 7; 8; 9; 10; 11; 13; 14; 15; 17; 18; 20; 22; 28; 29; 30; 33; 35; 37; 38; 40; 42; 44; 45; 47; ], [(mk_real_int64 125L); (mk_real_int64 56L); (mk_real_int64 115L); (mk_real_int64 201L); (mk_real_int64 192L); (mk_real_int64 34L); (mk_real_int64 45L); (mk_real_int64 2L); (mk_real_int64 32L); (mk_real_int64 65L); (mk_real_int64 271L); (mk_real_int64 55L); (mk_real_int64 6L); (mk_real_int64 3L); (mk_real_int64 23L); (mk_real_int64 273L); (mk_real_int64 254L); (mk_real_int64 7L); (mk_real_int64 20L); (mk_real_int64 166L); (mk_real_int64 100L); (mk_real_int64 75L); (mk_real_int64 102L); (mk_real_int64 125L); (mk_real_int64 160L); (mk_real_int64 163L); (mk_real_int64 58L); ]);
("y5_def", [0; 15; 16; 18; 19; 20; 24; 28; 29; 32; 37; 38; 43; 46; 49; 51; 56; 58; 59; 61; ], [(mk_real_int64 6L); (mk_real_int64 56L); (mk_real_int64 61L); (mk_real_int64 102L); (mk_real_int64 18L); (mk_real_int64 24L); (mk_real_int64 35L); (mk_real_int64 133L); (mk_real_int64 144L); (mk_real_int64 3L); (mk_real_int64 23L); (mk_real_int64 40L); (mk_real_int64 135L); (mk_real_int64 60L); (mk_real_int64 88L); (mk_real_int64 53L); (mk_real_int64 47L); (mk_real_int64 85L); (mk_real_int64 87L); (mk_real_int64 31L); ]);
("y5_def_neg", [10; 12; 14; 17; 21; 22; 23; 30; 31; 34; 36; 39; 41; 44; 45; 47; 48; 50; 52; 54; 55; 57; ], [(mk_real_int64 125L); (mk_real_int64 26L); (mk_real_int64 56L); (mk_real_int64 46L); (mk_real_int64 2L); (mk_real_int64 3L); (mk_real_int64 32L); (mk_real_int64 89L); (mk_real_int64 55L); (mk_real_int64 3L); (mk_real_int64 23L); (mk_real_int64 46L); (mk_real_int64 20L); (mk_real_int64 7L); (mk_real_int64 1L); (mk_real_int64 20L); (mk_real_int64 68L); (mk_real_int64 57L); (mk_real_int64 75L); (mk_real_int64 87L); (mk_real_int64 16L); (mk_real_int64 20L); ]);
("y6_def", [0; 11; 13; 15; 16; 18; 19; 20; 24; 28; 29; 30; 32; 37; 38; 43; 45; 46; 49; 51; 56; 58; 59; 61; ], [(mk_real_int64 6L); (mk_real_int64 151L); (mk_real_int64 152L); (mk_real_int64 56L); (mk_real_int64 238L); (mk_real_int64 102L); (mk_real_int64 38L); (mk_real_int64 24L); (mk_real_int64 35L); (mk_real_int64 133L); (mk_real_int64 144L); (mk_real_int64 363L); (mk_real_int64 3L); (mk_real_int64 23L); (mk_real_int64 46L); (mk_real_int64 135L); (mk_real_int64 105L); (mk_real_int64 60L); (mk_real_int64 88L); (mk_real_int64 53L); (mk_real_int64 47L); (mk_real_int64 85L); (mk_real_int64 87L); (mk_real_int64 31L); ]);
("y6_def_neg", [10; 12; 14; 17; 21; 22; 23; 31; 34; 36; 39; 41; 44; 47; 48; 50; 52; 54; 55; 57; ], [(mk_real_int64 125L); (mk_real_int64 26L); (mk_real_int64 56L); (mk_real_int64 46L); (mk_real_int64 2L); (mk_real_int64 3L); (mk_real_int64 32L); (mk_real_int64 55L); (mk_real_int64 3L); (mk_real_int64 23L); (mk_real_int64 46L); (mk_real_int64 20L); (mk_real_int64 7L); (mk_real_int64 1L); (mk_real_int64 68L); (mk_real_int64 57L); (mk_real_int64 75L); (mk_real_int64 87L); (mk_real_int64 16L); (mk_real_int64 20L); ]);
("RHA", [17; 19; 20; 23; 24; 26; 28; 30; 32; 33; 34; 35; 36; 38; 40; 41; 45; 46; 50; 51; 54; 58; ], [(mk_real_int64 21L); (mk_real_int64 20L); (mk_real_int64 171L); (mk_real_int64 237L); (mk_real_int64 142L); (mk_real_int64 237L); (mk_real_int64 69L); (mk_real_int64 168L); (mk_real_int64 130L); (mk_real_int64 376L); (mk_real_int64 315L); (mk_real_int64 111L); (mk_real_int64 172L); (mk_real_int64 111L); (mk_real_int64 172L); (mk_real_int64 185L); (mk_real_int64 176L); (mk_real_int64 187L); (mk_real_int64 168L); (mk_real_int64 22L); (mk_real_int64 154L); (mk_real_int64 3L); ]);
("yy10", [6; 7; 23; 35; ], [(mk_real_int64 6L); (mk_real_int64 8L); (mk_real_int64 18L); (mk_real_int64 250L); ]);
("tau4", [0; ], [(mk_real_int64 101L); ]);
("tau6", [0; ], [(mk_real_int64 1002L); ]);
("ineq105", [0; 13; ], [(mk_real_int64 14L); (mk_real_int64 330L); ]);
("ineq106", [6; 7; 9; 10; 14; 15; 18; 28; 29; 32; 37; 40; 42; 44; 45; 47; ], [(mk_real_int64 168L); (mk_real_int64 147L); (mk_real_int64 49L); (mk_real_int64 66L); (mk_real_int64 95L); (mk_real_int64 168L); (mk_real_int64 9L); (mk_real_int64 246L); (mk_real_int64 246L); (mk_real_int64 50L); (mk_real_int64 147L); (mk_real_int64 14L); (mk_real_int64 69L); (mk_real_int64 234L); (mk_real_int64 69L); (mk_real_int64 69L); ]);
("ineq107", [2; 12; 16; 23; 25; 27; 31; 34; 36; 41; 43; ], [(mk_real_int64 173L); (mk_real_int64 20L); (mk_real_int64 112L); (mk_real_int64 280L); (mk_real_int64 301L); (mk_real_int64 130L); (mk_real_int64 9L); (mk_real_int64 86L); (mk_real_int64 93L); (mk_real_int64 105L); (mk_real_int64 130L); ]);
("ineq108", [8; 15; 28; 29; 35; 42; 45; 47; ], [(mk_real_int64 280L); (mk_real_int64 227L); (mk_real_int64 14L); (mk_real_int64 124L); (mk_real_int64 242L); (mk_real_int64 95L); (mk_real_int64 170L); (mk_real_int64 16L); ]);
("ineq109", [5; 23; 24; 32; ], [(mk_real_int64 173L); (mk_real_int64 204L); (mk_real_int64 204L); (mk_real_int64 130L); ]);
("ineq110", [13; 17; 33; 38; 40; ], [(mk_real_int64 20L); (mk_real_int64 280L); (mk_real_int64 100L); (mk_real_int64 385L); (mk_real_int64 385L); ]);
("ineq111", [0; 4; 7; 11; 13; 16; 20; 22; 24; 28; 30; 34; 36; 40; 42; ], [(mk_real_int64 1002L); (mk_real_int64 449L); (mk_real_int64 800L); (mk_real_int64 13L); (mk_real_int64 222L); (mk_real_int64 577L); (mk_real_int64 25L); (mk_real_int64 187L); (mk_real_int64 206L); (mk_real_int64 756L); (mk_real_int64 59L); (mk_real_int64 443L); (mk_real_int64 347L); (mk_real_int64 135L); (mk_real_int64 99L); ]);
("ineq112", [23; ], [(mk_real_int64 42L); ]);
("ineq114", [3; 5; 7; 9; 10; 13; 14; 15; 19; 22; 26; 32; 33; 35; 37; 40; 42; 44; 45; 47; ], [(mk_real_int64 276L); (mk_real_int64 276L); (mk_real_int64 34L); (mk_real_int64 478L); (mk_real_int64 274L); (mk_real_int64 347L); (mk_real_int64 195L); (mk_real_int64 257L); (mk_real_int64 601L); (mk_real_int64 601L); (mk_real_int64 623L); (mk_real_int64 706L); (mk_real_int64 38L); (mk_real_int64 520L); (mk_real_int64 487L); (mk_real_int64 699L); (mk_real_int64 462L); (mk_real_int64 204L); (mk_real_int64 176L); (mk_real_int64 589L); ]);
("ineq119", [6; ], [(mk_real_int64 288L); ]);
("ineq120", [0; 3; 5; 7; ], [(mk_real_int64 19L); (mk_real_int64 882L); (mk_real_int64 313L); (mk_real_int64 164L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 2550L); (mk_real_int64 2550L); (mk_real_int64 2550L); (mk_real_int64 2550L); (mk_real_int64 2550L); (mk_real_int64 2725L); (mk_real_int64 2575L); (mk_real_int64 2550L); (mk_real_int64 2550L); (mk_real_int64 2125L); (mk_real_int64 2550L); (mk_real_int64 2525L); (mk_real_int64 2125L); (mk_real_int64 2525L); ]);
];;

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

let variable_bounds = [
("azim_lo", [13; 15; 19; 27; 29; 37; 40; 47; 49; 51; 56; 61; ], [(mk_real_int64 224L); (mk_real_int64 224L); (mk_real_int64 772L); (mk_real_int64 464L); (mk_real_int64 118L); (mk_real_int64 294L); (mk_real_int64 2L); (mk_real_int64 212L); (mk_real_int64 480L); (mk_real_int64 138L); (mk_real_int64 788L); (mk_real_int64 286L); ]);
("azim_hi", [1; 4; 6; 9; 17; 20; 23; 24; 26; 28; 33; 36; 46; 54; 58; 59; ], [(mk_real_int64 505000L); (mk_real_int64 173000L); (mk_real_int64 402L); (mk_real_int64 556L); (mk_real_int64 284L); (mk_real_int64 524L); (mk_real_int64 222L); (mk_real_int64 70L); (mk_real_int64 254L); (mk_real_int64 312L); (mk_real_int64 226L); (mk_real_int64 226L); (mk_real_int64 956L); (mk_real_int64 574L); (mk_real_int64 704L); (mk_real_int64 176L); ]);
("rhazim_hi", [1; 19; 28; 56; 59; 61; ], [(mk_real_int64 172000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rhazim_lo", [16; 17; 29; 30; 50; 54; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rho_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 12; ], [(mk_real_int64 2568L); (mk_real_int64 2568L); (mk_real_int64 2568L); (mk_real_int64 2568L); (mk_real_int64 2568L); (mk_real_int64 2720L); (mk_real_int64 2244L); (mk_real_int64 2568L); (mk_real_int64 2568L); (mk_real_int64 2260L); (mk_real_int64 2568L); (mk_real_int64 2260L); ]);
("rho_lo", [11; 13; ], [(mk_real_int64 2428L); (mk_real_int64 2428L); ]);
("tau_hi", [4; 8; 15; 16; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("tau_lo", [3; 6; 11; 14; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("y1_lo", [0; 10; 15; 17; 20; 21; 29; 32; 34; 39; 51; 54; 55; 56; 58; 59; 61; ], [(mk_real_int64 410L); (mk_real_int64 360L); (mk_real_int64 123L); (mk_real_int64 200L); (mk_real_int64 600L); (mk_real_int64 340L); (mk_real_int64 145L); (mk_real_int64 400L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 500L); (mk_real_int64 545L); (mk_real_int64 400L); (mk_real_int64 350L); (mk_real_int64 160L); ]);
("y1_hi", [12; 14; 16; 18; 19; 23; 28; 30; 31; 36; 37; 38; 42; 43; 44; 45; 46; 48; 49; 50; 52; ], [(mk_real_int64 500L); (mk_real_int64 180L); (mk_real_int64 200L); (mk_real_int64 200L); (mk_real_int64 600L); (mk_real_int64 640L); (mk_real_int64 50L); (mk_real_int64 140L); (mk_real_int64 400L); (mk_real_int64 340L); (mk_real_int64 196L); (mk_real_int64 116L); (mk_real_int64 30L); (mk_real_int64 260L); (mk_real_int64 380L); (mk_real_int64 500L); (mk_real_int64 370L); (mk_real_int64 260L); (mk_real_int64 130L); (mk_real_int64 40L); (mk_real_int64 300L); ]);
("y2_lo", [0; 10; 12; 15; 17; 18; 19; 21; 22; 24; 28; 29; 34; 37; 42; 43; 45; 56; 59; 61; ], [(mk_real_int64 372L); (mk_real_int64 360L); (mk_real_int64 296L); (mk_real_int64 123L); (mk_real_int64 492L); (mk_real_int64 80L); (mk_real_int64 164L); (mk_real_int64 340L); (mk_real_int64 40L); (mk_real_int64 420L); (mk_real_int64 340L); (mk_real_int64 220L); (mk_real_int64 500L); (mk_real_int64 364L); (mk_real_int64 440L); (mk_real_int64 320L); (mk_real_int64 368L); (mk_real_int64 124L); (mk_real_int64 4L); (mk_real_int64 60L); ]);
("y2_hi", [14; 16; 20; 23; 30; 31; 32; 36; 38; 39; 41; 44; 46; 48; 49; 50; 51; 52; 54; 55; 57; 58; ], [(mk_real_int64 180L); (mk_real_int64 152L); (mk_real_int64 24L); (mk_real_int64 640L); (mk_real_int64 116L); (mk_real_int64 400L); (mk_real_int64 276L); (mk_real_int64 340L); (mk_real_int64 116L); (mk_real_int64 248L); (mk_real_int64 240L); (mk_real_int64 380L); (mk_real_int64 570L); (mk_real_int64 188L); (mk_real_int64 88L); (mk_real_int64 404L); (mk_real_int64 508L); (mk_real_int64 300L); (mk_real_int64 96L); (mk_real_int64 40L); (mk_real_int64 240L); (mk_real_int64 176L); ]);
("y3_lo", [0; 10; 12; 15; 17; 18; 19; 21; 22; 24; 28; 29; 34; 37; 42; 43; 45; 56; 59; 61; ], [(mk_real_int64 372L); (mk_real_int64 360L); (mk_real_int64 296L); (mk_real_int64 123L); (mk_real_int64 492L); (mk_real_int64 80L); (mk_real_int64 164L); (mk_real_int64 340L); (mk_real_int64 40L); (mk_real_int64 420L); (mk_real_int64 340L); (mk_real_int64 220L); (mk_real_int64 500L); (mk_real_int64 364L); (mk_real_int64 440L); (mk_real_int64 320L); (mk_real_int64 368L); (mk_real_int64 124L); (mk_real_int64 4L); (mk_real_int64 60L); ]);
("y3_hi", [14; 16; 20; 23; 30; 31; 32; 36; 38; 39; 41; 44; 46; 48; 49; 50; 51; 52; 54; 55; 57; 58; ], [(mk_real_int64 180L); (mk_real_int64 152L); (mk_real_int64 24L); (mk_real_int64 640L); (mk_real_int64 116L); (mk_real_int64 400L); (mk_real_int64 276L); (mk_real_int64 340L); (mk_real_int64 116L); (mk_real_int64 248L); (mk_real_int64 240L); (mk_real_int64 380L); (mk_real_int64 570L); (mk_real_int64 188L); (mk_real_int64 88L); (mk_real_int64 404L); (mk_real_int64 508L); (mk_real_int64 300L); (mk_real_int64 96L); (mk_real_int64 40L); (mk_real_int64 240L); (mk_real_int64 176L); ]);
("y4_hi", [5; 7; 8; 9; 11; 12; 13; 15; 16; 17; 23; 24; 28; 29; 33; 34; 35; 36; 40; 41; 42; ], [(mk_real_int64 52L); (mk_real_int64 305L); (mk_real_int64 200L); (mk_real_int64 435L); (mk_real_int64 375L); (mk_real_int64 460L); (mk_real_int64 330L); (mk_real_int64 425L); (mk_real_int64 451L); (mk_real_int64 120L); (mk_real_int64 536L); (mk_real_int64 346L); (mk_real_int64 400L); (mk_real_int64 550L); (mk_real_int64 400L); (mk_real_int64 103L); (mk_real_int64 230L); (mk_real_int64 514L); (mk_real_int64 75L); (mk_real_int64 165L); (mk_real_int64 285L); ]);
("y4_lo", [0; 2; 4; 6; 10; 14; 18; 20; 22; 25; 27; 30; 31; 32; 37; 38; 43; 44; 45; 47; ], [(mk_real_int64 250L); (mk_real_int64 271L); (mk_real_int64 125L); (mk_real_int64 80L); (mk_real_int64 210L); (mk_real_int64 75L); (mk_real_int64 165L); (mk_real_int64 125L); (mk_real_int64 375L); (mk_real_int64 327L); (mk_real_int64 510L); (mk_real_int64 375L); (mk_real_int64 43L); (mk_real_int64 130L); (mk_real_int64 695L); (mk_real_int64 460L); (mk_real_int64 510L); (mk_real_int64 290L); (mk_real_int64 715L); (mk_real_int64 225L); ]);
("y5_lo", [0; 10; 12; 14; 17; 18; 19; 22; 24; 28; 29; 30; 34; 36; 43; 44; 45; 48; 50; 52; 54; 59; 61; ], [(mk_real_int64 372L); (mk_real_int64 250L); (mk_real_int64 296L); (mk_real_int64 125L); (mk_real_int64 492L); (mk_real_int64 80L); (mk_real_int64 164L); (mk_real_int64 40L); (mk_real_int64 420L); (mk_real_int64 340L); (mk_real_int64 220L); (mk_real_int64 149L); (mk_real_int64 125L); (mk_real_int64 375L); (mk_real_int64 320L); (mk_real_int64 375L); (mk_real_int64 368L); (mk_real_int64 447L); (mk_real_int64 511L); (mk_real_int64 460L); (mk_real_int64 239L); (mk_real_int64 4L); (mk_real_int64 60L); ]);
("y5_hi", [15; 16; 20; 21; 23; 31; 32; 37; 38; 39; 41; 42; 46; 47; 49; 51; 55; 56; 57; 58; ], [(mk_real_int64 52L); (mk_real_int64 152L); (mk_real_int64 24L); (mk_real_int64 375L); (mk_real_int64 330L); (mk_real_int64 120L); (mk_real_int64 276L); (mk_real_int64 536L); (mk_real_int64 346L); (mk_real_int64 248L); (mk_real_int64 240L); (mk_real_int64 140L); (mk_real_int64 320L); (mk_real_int64 400L); (mk_real_int64 88L); (mk_real_int64 508L); (mk_real_int64 40L); (mk_real_int64 321L); (mk_real_int64 240L); (mk_real_int64 176L); ]);
("y6_lo", [0; 10; 11; 12; 13; 14; 16; 17; 18; 19; 22; 24; 28; 29; 30; 34; 36; 38; 43; 44; 45; 47; 48; 50; 52; 54; 59; 61; ], [(mk_real_int64 372L); (mk_real_int64 250L); (mk_real_int64 151000L); (mk_real_int64 296L); (mk_real_int64 152000L); (mk_real_int64 125L); (mk_real_int64 177000L); (mk_real_int64 492L); (mk_real_int64 80L); (mk_real_int64 20164L); (mk_real_int64 40L); (mk_real_int64 420L); (mk_real_int64 340L); (mk_real_int64 220L); (mk_real_int64 452149L); (mk_real_int64 125L); (mk_real_int64 375L); (mk_real_int64 6000L); (mk_real_int64 320L); (mk_real_int64 1000L); (mk_real_int64 106368L); (mk_real_int64 18600L); (mk_real_int64 447L); (mk_real_int64 511L); (mk_real_int64 460L); (mk_real_int64 239L); (mk_real_int64 4L); (mk_real_int64 60L); ]);
("y6_hi", [15; 16; 20; 21; 23; 31; 32; 37; 38; 39; 41; 42; 44; 46; 49; 51; 55; 56; 57; 58; ], [(mk_real_int64 52L); (mk_real_int64 152L); (mk_real_int64 24L); (mk_real_int64 375L); (mk_real_int64 330L); (mk_real_int64 120L); (mk_real_int64 276L); (mk_real_int64 536L); (mk_real_int64 346L); (mk_real_int64 248L); (mk_real_int64 240L); (mk_real_int64 140L); (mk_real_int64 625L); (mk_real_int64 320L); (mk_real_int64 88L); (mk_real_int64 508L); (mk_real_int64 40L); (mk_real_int64 321L); (mk_real_int64 240L); (mk_real_int64 176L); ]);
("ye_hi", [10; 13; 17; 42; 50; 52; 60; ], [(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); ]);
("ye_lo", [20; 30; 41; 49; ], [(mk_real_int64 112000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("yn_lo", [1; 4; 6; 7; 8; 10; 13; ], [(mk_real_int64 904L); (mk_real_int64 904L); (mk_real_int64 812L); (mk_real_int64 904L); (mk_real_int64 1904L); (mk_real_int64 1904L); (mk_real_int64 763L); ]);
("yn_hi", [0; 2; 3; 5; 9; 11; 12; ], [(mk_real_int64 96L); (mk_real_int64 96L); (mk_real_int64 96L); (mk_real_int64 545L); (mk_real_int64 89L); (mk_real_int64 237L); (mk_real_int64 1089L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)