needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "118343205068 23 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 3 5 2 6 4 6 2 7 8 3 7 2 1 3 7 1 9 3 9 1 10 3 10 1 0 4 10 0 11 12 3 11 0 4 3 11 4 13 3 13 4 5 3 13 5 6 3 13 6 14 3 14 6 8 3 8 7 9 3 8 9 12 3 9 10 12 3 14 8 12 3 14 12 11 3 11 13 14 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [0; 1; 3; 6; 10; 11; 12; ], [(mk_real_int64 87L); (mk_real_int64 409L); (mk_real_int64 409L); (mk_real_int64 246L); (mk_real_int64 139L); (mk_real_int64 139L); (mk_real_int64 246L); ]);
("azim_sum_neg", [2; 8; 13; ], [(mk_real_int64 22L); (mk_real_int64 136L); (mk_real_int64 50L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 1054L); (mk_real_int64 1147L); (mk_real_int64 1151L); (mk_real_int64 1147L); (mk_real_int64 1128L); (mk_real_int64 1128L); (mk_real_int64 1147L); (mk_real_int64 1108L); (mk_real_int64 1111L); (mk_real_int64 1108L); (mk_real_int64 1147L); (mk_real_int64 1147L); (mk_real_int64 1147L); (mk_real_int64 1069L); (mk_real_int64 1082L); ]);
("sol_sum3", [10; ], [(mk_real_int64 50L); ]);
("sol_sum3_neg", [15; ], [(mk_real_int64 36L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; ], [(mk_real_int64 1128L); (mk_real_int64 1128L); (mk_real_int64 1128L); (mk_real_int64 1128L); (mk_real_int64 1108L); (mk_real_int64 1108L); (mk_real_int64 1108L); (mk_real_int64 1108L); (mk_real_int64 1128L); (mk_real_int64 1069L); (mk_real_int64 1069L); (mk_real_int64 1069L); (mk_real_int64 1069L); (mk_real_int64 1082L); (mk_real_int64 1108L); (mk_real_int64 1111L); (mk_real_int64 1108L); (mk_real_int64 1082L); (mk_real_int64 1082L); (mk_real_int64 1069L); ]);
("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 1128L); (mk_real_int64 1147L); (mk_real_int64 1147L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 162L); (mk_real_int64 264L); (mk_real_int64 269L); (mk_real_int64 264L); (mk_real_int64 244L); (mk_real_int64 244L); (mk_real_int64 264L); (mk_real_int64 222L); (mk_real_int64 225L); (mk_real_int64 222L); (mk_real_int64 264L); (mk_real_int64 264L); (mk_real_int64 264L); (mk_real_int64 178L); (mk_real_int64 193L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 6623L); (mk_real_int64 7205L); (mk_real_int64 7229L); (mk_real_int64 7205L); (mk_real_int64 7089L); (mk_real_int64 7089L); (mk_real_int64 7205L); (mk_real_int64 6964L); (mk_real_int64 6982L); (mk_real_int64 6964L); (mk_real_int64 7205L); (mk_real_int64 7205L); (mk_real_int64 7205L); (mk_real_int64 6714L); (mk_real_int64 6801L); ]);
("edge_sym_neg", [5; 8; 9; 15; 22; 24; 25; 27; 28; 38; 40; 41; 47; 49; 50; 56; 58; 65; 68; ], [(mk_real_int64 356L); (mk_real_int64 141L); (mk_real_int64 141L); (mk_real_int64 19L); (mk_real_int64 289L); (mk_real_int64 155L); (mk_real_int64 155L); (mk_real_int64 31L); (mk_real_int64 155L); (mk_real_int64 19L); (mk_real_int64 267L); (mk_real_int64 27L); (mk_real_int64 27L); (mk_real_int64 13L); (mk_real_int64 138L); (mk_real_int64 123L); (mk_real_int64 143L); (mk_real_int64 54L); (mk_real_int64 79L); ]);
("edge_sym", [44; 53; 59; ], [(mk_real_int64 267L); (mk_real_int64 54L); (mk_real_int64 54L); ]);
("y1_def_neg", [4; 9; 12; 14; 21; 22; 25; 28; 29; 31; 37; 38; 39; 40; 43; 44; 45; 47; 49; 50; 52; 53; 56; 57; 58; 59; 61; 65; 67; 68; 69; 70; 71; ], [(mk_real_int64 264L); (mk_real_int64 203L); (mk_real_int64 264L); (mk_real_int64 21L); (mk_real_int64 79L); (mk_real_int64 145L); (mk_real_int64 127L); (mk_real_int64 194L); (mk_real_int64 145L); (mk_real_int64 79L); (mk_real_int64 11L); (mk_real_int64 10L); (mk_real_int64 82L); (mk_real_int64 148L); (mk_real_int64 129L); (mk_real_int64 8L); (mk_real_int64 123L); (mk_real_int64 82L); (mk_real_int64 166L); (mk_real_int64 8L); (mk_real_int64 39L); (mk_real_int64 123L); (mk_real_int64 82L); (mk_real_int64 21L); (mk_real_int64 55L); (mk_real_int64 8L); (mk_real_int64 149L); (mk_real_int64 78L); (mk_real_int64 123L); (mk_real_int64 39L); (mk_real_int64 45L); (mk_real_int64 96L); (mk_real_int64 8L); ]);
("y1_def", [26; 41; 48; 60; ], [(mk_real_int64 67L); (mk_real_int64 25L); (mk_real_int64 25L); (mk_real_int64 67L); ]);
("y2_def_neg", [4; 9; 12; 14; 22; 25; 26; 28; 29; 38; 40; 41; 43; 44; 45; 48; 49; 53; 56; 58; 60; 61; 65; 67; 70; ], [(mk_real_int64 54L); (mk_real_int64 203L); (mk_real_int64 54L); (mk_real_int64 3L); (mk_real_int64 145L); (mk_real_int64 214L); (mk_real_int64 20L); (mk_real_int64 194L); (mk_real_int64 145L); (mk_real_int64 10L); (mk_real_int64 148L); (mk_real_int64 8L); (mk_real_int64 129L); (mk_real_int64 8L); (mk_real_int64 155L); (mk_real_int64 8L); (mk_real_int64 94L); (mk_real_int64 61L); (mk_real_int64 169L); (mk_real_int64 167L); (mk_real_int64 20L); (mk_real_int64 149L); (mk_real_int64 78L); (mk_real_int64 61L); (mk_real_int64 128L); ]);
("y2_def", [21; 31; 37; 39; 47; 50; 52; 57; 59; 68; 69; 71; ], [(mk_real_int64 100L); (mk_real_int64 100L); (mk_real_int64 7L); (mk_real_int64 83L); (mk_real_int64 83L); (mk_real_int64 5L); (mk_real_int64 23L); (mk_real_int64 13L); (mk_real_int64 27L); (mk_real_int64 23L); (mk_real_int64 27L); (mk_real_int64 5L); ]);
("y3_def_neg", [4; 9; 12; 14; 22; 25; 26; 28; 29; 38; 40; 41; 43; 44; 45; 48; 49; 53; 56; 58; 60; 61; 65; 67; 70; ], [(mk_real_int64 54L); (mk_real_int64 203L); (mk_real_int64 54L); (mk_real_int64 3L); (mk_real_int64 145L); (mk_real_int64 214L); (mk_real_int64 20L); (mk_real_int64 194L); (mk_real_int64 145L); (mk_real_int64 10L); (mk_real_int64 148L); (mk_real_int64 8L); (mk_real_int64 129L); (mk_real_int64 8L); (mk_real_int64 155L); (mk_real_int64 8L); (mk_real_int64 94L); (mk_real_int64 61L); (mk_real_int64 169L); (mk_real_int64 167L); (mk_real_int64 20L); (mk_real_int64 149L); (mk_real_int64 78L); (mk_real_int64 61L); (mk_real_int64 128L); ]);
("y3_def", [21; 31; 37; 39; 47; 50; 52; 57; 59; 68; 69; 71; ], [(mk_real_int64 100L); (mk_real_int64 100L); (mk_real_int64 7L); (mk_real_int64 83L); (mk_real_int64 83L); (mk_real_int64 5L); (mk_real_int64 23L); (mk_real_int64 13L); (mk_real_int64 27L); (mk_real_int64 23L); (mk_real_int64 27L); (mk_real_int64 5L); ]);
("y4_def_neg", [0; 5; 8; 10; 13; 14; 17; 20; 21; 25; 26; 27; 28; 31; 33; 35; 37; 38; 40; 41; 45; 47; 49; 53; 55; 56; 57; 58; 59; ], [(mk_real_int64 356L); (mk_real_int64 141L); (mk_real_int64 356L); (mk_real_int64 19L); (mk_real_int64 189L); (mk_real_int64 100L); (mk_real_int64 31L); (mk_real_int64 135L); (mk_real_int64 100L); (mk_real_int64 13L); (mk_real_int64 7L); (mk_real_int64 156L); (mk_real_int64 103L); (mk_real_int64 90L); (mk_real_int64 64L); (mk_real_int64 156L); (mk_real_int64 135L); (mk_real_int64 9L); (mk_real_int64 44L); (mk_real_int64 103L); (mk_real_int64 24L); (mk_real_int64 31L); (mk_real_int64 103L); (mk_real_int64 54L); (mk_real_int64 103L); (mk_real_int64 44L); (mk_real_int64 51L); (mk_real_int64 45L); (mk_real_int64 9L); ]);
("y4_def", [18; 23; 29; 32; 36; 46; 48; ], [(mk_real_int64 103L); (mk_real_int64 132L); (mk_real_int64 39L); (mk_real_int64 16L); (mk_real_int64 39L); (mk_real_int64 35L); (mk_real_int64 103L); ]);
("y5_def_neg", [9; 22; 25; 26; 28; 29; 38; 40; 41; 43; 45; 48; 49; 53; 56; 58; 60; 61; 65; 67; 70; ], [(mk_real_int64 141L); (mk_real_int64 100L); (mk_real_int64 155L); (mk_real_int64 20L); (mk_real_int64 135L); (mk_real_int64 100L); (mk_real_int64 7L); (mk_real_int64 103L); (mk_real_int64 8L); (mk_real_int64 90L); (mk_real_int64 110L); (mk_real_int64 8L); (mk_real_int64 57L); (mk_real_int64 35L); (mk_real_int64 123L); (mk_real_int64 124L); (mk_real_int64 20L); (mk_real_int64 103L); (mk_real_int64 54L); (mk_real_int64 35L); (mk_real_int64 92L); ]);
("y5_def", [21; 31; 37; 39; 44; 47; 50; 52; 57; 59; 68; 69; 71; ], [(mk_real_int64 100L); (mk_real_int64 100L); (mk_real_int64 7L); (mk_real_int64 83L); (mk_real_int64 16L); (mk_real_int64 83L); (mk_real_int64 5L); (mk_real_int64 23L); (mk_real_int64 13L); (mk_real_int64 6L); (mk_real_int64 23L); (mk_real_int64 27L); (mk_real_int64 5L); ]);
("y6_def_neg", [9; 22; 25; 28; 29; 38; 40; 41; 45; 49; 53; 56; 58; 61; 65; 67; ], [(mk_real_int64 141L); (mk_real_int64 100L); (mk_real_int64 155L); (mk_real_int64 135L); (mk_real_int64 100L); (mk_real_int64 7L); (mk_real_int64 103L); (mk_real_int64 8L); (mk_real_int64 110L); (mk_real_int64 57L); (mk_real_int64 35L); (mk_real_int64 123L); (mk_real_int64 124L); (mk_real_int64 103L); (mk_real_int64 54L); (mk_real_int64 23L); ]);
("y6_def", [7; 10; 21; 23; 26; 31; 37; 39; 42; 43; 44; 47; 48; 50; 51; 52; 55; 57; 59; 60; 62; 66; 68; 69; 70; 71; ], [(mk_real_int64 497L); (mk_real_int64 497L); (mk_real_int64 100L); (mk_real_int64 321L); (mk_real_int64 289L); (mk_real_int64 100L); (mk_real_int64 7L); (mk_real_int64 83L); (mk_real_int64 340L); (mk_real_int64 125L); (mk_real_int64 16L); (mk_real_int64 83L); (mk_real_int64 93L); (mk_real_int64 5L); (mk_real_int64 92L); (mk_real_int64 35L); (mk_real_int64 278L); (mk_real_int64 279L); (mk_real_int64 6L); (mk_real_int64 258L); (mk_real_int64 266L); (mk_real_int64 133L); (mk_real_int64 23L); (mk_real_int64 128L); (mk_real_int64 184L); (mk_real_int64 97L); ]);
("RHA", [0; 1; 2; 15; 22; 24; 25; 26; 27; 30; 36; 40; 43; 44; 46; 49; 54; 56; 60; 62; 64; 65; 69; ], [(mk_real_int64 18L); (mk_real_int64 22L); (mk_real_int64 18L); (mk_real_int64 18L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 18L); (mk_real_int64 60L); (mk_real_int64 60L); (mk_real_int64 60L); (mk_real_int64 60L); (mk_real_int64 3L); (mk_real_int64 38L); (mk_real_int64 3L); (mk_real_int64 3L); (mk_real_int64 38L); (mk_real_int64 64L); (mk_real_int64 64L); (mk_real_int64 3L); ]);
("RHB", [3; 5; 8; 11; 18; 32; ], [(mk_real_int64 74L); (mk_real_int64 74L); (mk_real_int64 74L); (mk_real_int64 74L); (mk_real_int64 38L); (mk_real_int64 38L); ]);
("ineq106", [0; 8; 10; 13; 23; 25; 27; 35; 37; 38; 40; 41; 45; 47; 55; 56; 57; 59; ], [(mk_real_int64 18L); (mk_real_int64 18L); (mk_real_int64 18L); (mk_real_int64 38L); (mk_real_int64 38L); (mk_real_int64 18L); (mk_real_int64 78L); (mk_real_int64 78L); (mk_real_int64 75L); (mk_real_int64 14L); (mk_real_int64 64L); (mk_real_int64 64L); (mk_real_int64 36L); (mk_real_int64 36L); (mk_real_int64 64L); (mk_real_int64 64L); (mk_real_int64 75L); (mk_real_int64 14L); ]);
("ineq107", [17; 18; 29; 33; 36; 44; 46; 48; 58; ], [(mk_real_int64 134L); (mk_real_int64 134L); (mk_real_int64 50L); (mk_real_int64 50L); (mk_real_int64 50L); (mk_real_int64 134L); (mk_real_int64 173L); (mk_real_int64 134L); (mk_real_int64 50L); ]);
("ineq108", [0; 8; 13; 23; 27; 35; ], [(mk_real_int64 321L); (mk_real_int64 321L); (mk_real_int64 238L); (mk_real_int64 238L); (mk_real_int64 150L); (mk_real_int64 150L); ]);
("ineq109", [32; ], [(mk_real_int64 50L); ]);
("ineq110", [47; ], [(mk_real_int64 36L); ]);
("ineq111", [0; 5; 8; 10; 14; 17; 20; 21; 26; 28; 31; 33; 37; 41; 44; 46; 49; 53; 55; 58; ], [(mk_real_int64 988L); (mk_real_int64 1128L); (mk_real_int64 988L); (mk_real_int64 54L); (mk_real_int64 803L); (mk_real_int64 1077L); (mk_real_int64 1077L); (mk_real_int64 803L); (mk_real_int64 54L); (mk_real_int64 821L); (mk_real_int64 717L); (mk_real_int64 821L); (mk_real_int64 671L); (mk_real_int64 468L); (mk_real_int64 826L); (mk_real_int64 784L); (mk_real_int64 826L); (mk_real_int64 433L); (mk_real_int64 468L); (mk_real_int64 671L); ]);
("ineq114", [0; 8; 10; 11; 13; 14; 16; 19; 22; 23; 24; 25; 27; 28; 31; 32; 34; 35; 37; 40; 41; 42; 45; 47; 50; 52; 53; 55; 56; 57; ], [(mk_real_int64 140L); (mk_real_int64 140L); (mk_real_int64 653L); (mk_real_int64 422L); (mk_real_int64 274L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 274L); (mk_real_int64 422L); (mk_real_int64 653L); (mk_real_int64 152L); (mk_real_int64 95L); (mk_real_int64 176L); (mk_real_int64 176L); (mk_real_int64 95L); (mk_real_int64 152L); (mk_real_int64 397L); (mk_real_int64 392L); (mk_real_int64 222L); (mk_real_int64 283L); (mk_real_int64 164L); (mk_real_int64 164L); (mk_real_int64 283L); (mk_real_int64 324L); (mk_real_int64 324L); (mk_real_int64 222L); (mk_real_int64 392L); (mk_real_int64 397L); ]);
("ineq119", [6; 8; ], [(mk_real_int64 99L); (mk_real_int64 99L); ]);
("ineq120", [0; 2; 4; 5; 7; 9; 10; 11; ], [(mk_real_int64 564L); (mk_real_int64 564L); (mk_real_int64 324L); (mk_real_int64 540L); (mk_real_int64 183L); (mk_real_int64 540L); (mk_real_int64 324L); (mk_real_int64 183L); ]);
];;

(***************)
(* Variables   *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 2975L); (mk_real_int64 3125L); (mk_real_int64 3925L); (mk_real_int64 3125L); (mk_real_int64 3425L); (mk_real_int64 3425L); (mk_real_int64 3125L); (mk_real_int64 3300L); (mk_real_int64 3150L); (mk_real_int64 3300L); (mk_real_int64 3125L); (mk_real_int64 3125L); (mk_real_int64 3125L); (mk_real_int64 3050L); (mk_real_int64 2825L); ]);
];;

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

let variable_bounds = [
("azim_hi", [0; 2; 3; 5; 8; 11; 15; 17; 21; 22; 24; 27; 30; 31; 33; 36; 43; 44; 54; 62; ], [(mk_real_int64 512L); (mk_real_int64 512L); (mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 24L); (mk_real_int64 172L); (mk_real_int64 320L); (mk_real_int64 524L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 32L); (mk_real_int64 524L); (mk_real_int64 320L); (mk_real_int64 172L); (mk_real_int64 176L); (mk_real_int64 176L); (mk_real_int64 158L); (mk_real_int64 158L); ]);
("azim_lo", [4; 12; 14; 16; 18; 19; 25; 26; 32; 34; 35; 37; 39; 40; 46; 47; 49; 52; 53; 56; 57; 58; 59; 60; 64; 65; 67; 68; 69; ], [(mk_real_int64 360L); (mk_real_int64 360L); (mk_real_int64 222L); (mk_real_int64 408L); (mk_real_int64 159L); (mk_real_int64 286L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 159L); (mk_real_int64 408L); (mk_real_int64 286L); (mk_real_int64 222L); (mk_real_int64 848L); (mk_real_int64 530L); (mk_real_int64 530L); (mk_real_int64 848L); (mk_real_int64 478L); (mk_real_int64 608L); (mk_real_int64 28L); (mk_real_int64 1000L); (mk_real_int64 336L); (mk_real_int64 1000L); (mk_real_int64 336L); (mk_real_int64 1000L); (mk_real_int64 176L); (mk_real_int64 176L); (mk_real_int64 28L); (mk_real_int64 608L); (mk_real_int64 478L); ]);
("rhazim_lo", [0; 1; 2; 4; 12; 14; 15; 21; 22; 24; 27; 30; 31; 36; 37; 52; 53; 54; 62; 64; 65; 67; 68; ], [(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); (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); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rhazim_hi", [18; 32; 40; 43; 44; 46; 50; 71; ], [(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); ]);
("rho_hi", [0; 1; 2; 3; 6; 10; 11; 12; 13; ], [(mk_real_int64 336L); (mk_real_int64 2748L); (mk_real_int64 3884L); (mk_real_int64 2748L); (mk_real_int64 2748L); (mk_real_int64 2748L); (mk_real_int64 2748L); (mk_real_int64 2748L); (mk_real_int64 3596L); ]);
("rho_lo", [4; 5; 7; 8; 9; 14; ], [(mk_real_int64 648L); (mk_real_int64 648L); (mk_real_int64 1328L); (mk_real_int64 476L); (mk_real_int64 1328L); (mk_real_int64 1712L); ]);
("tau_lo", [5; 10; 12; 14; 15; 20; 22; ], [(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", [4; 6; 7; 8; 9; 11; 17; 18; 19; ], [(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); ]);
("y1_lo", [4; 9; 12; 39; 43; 47; 50; 57; 71; ], [(mk_real_int64 75L); (mk_real_int64 40L); (mk_real_int64 75L); (mk_real_int64 50L); (mk_real_int64 60L); (mk_real_int64 50L); (mk_real_int64 400L); (mk_real_int64 600L); (mk_real_int64 400L); ]);
("y1_hi", [14; 21; 22; 25; 28; 29; 31; 37; 38; 40; 44; 45; 49; 52; 53; 56; 58; 59; 61; 65; 67; 68; 70; ], [(mk_real_int64 480L); (mk_real_int64 270L); (mk_real_int64 460L); (mk_real_int64 140L); (mk_real_int64 140L); (mk_real_int64 460L); (mk_real_int64 270L); (mk_real_int64 200L); (mk_real_int64 280L); (mk_real_int64 220L); (mk_real_int64 450L); (mk_real_int64 220L); (mk_real_int64 220L); (mk_real_int64 600L); (mk_real_int64 360L); (mk_real_int64 320L); (mk_real_int64 380L); (mk_real_int64 80L); (mk_real_int64 320L); (mk_real_int64 60L); (mk_real_int64 360L); (mk_real_int64 600L); (mk_real_int64 220L); ]);
("y2_lo", [4; 9; 12; 14; 25; 26; 37; 39; 43; 45; 47; 56; 58; 59; 60; 70; ], [(mk_real_int64 444L); (mk_real_int64 40L); (mk_real_int64 444L); (mk_real_int64 168L); (mk_real_int64 228L); (mk_real_int64 368L); (mk_real_int64 448L); (mk_real_int64 8L); (mk_real_int64 60L); (mk_real_int64 380L); (mk_real_int64 8L); (mk_real_int64 48L); (mk_real_int64 416L); (mk_real_int64 216L); (mk_real_int64 368L); (mk_real_int64 380L); ]);
("y2_hi", [21; 22; 28; 29; 31; 38; 40; 41; 44; 48; 49; 50; 52; 53; 57; 61; 65; 67; 68; 69; 71; ], [(mk_real_int64 464L); (mk_real_int64 460L); (mk_real_int64 140L); (mk_real_int64 460L); (mk_real_int64 464L); (mk_real_int64 280L); (mk_real_int64 220L); (mk_real_int64 400L); (mk_real_int64 450L); (mk_real_int64 400L); (mk_real_int64 520L); (mk_real_int64 96L); (mk_real_int64 296L); (mk_real_int64 56L); (mk_real_int64 104L); (mk_real_int64 320L); (mk_real_int64 60L); (mk_real_int64 56L); (mk_real_int64 296L); (mk_real_int64 300L); (mk_real_int64 96L); ]);
("y3_lo", [4; 9; 12; 14; 25; 26; 37; 39; 43; 45; 47; 56; 58; 59; 60; 70; ], [(mk_real_int64 444L); (mk_real_int64 40L); (mk_real_int64 444L); (mk_real_int64 168L); (mk_real_int64 228L); (mk_real_int64 368L); (mk_real_int64 448L); (mk_real_int64 8L); (mk_real_int64 60L); (mk_real_int64 380L); (mk_real_int64 8L); (mk_real_int64 48L); (mk_real_int64 416L); (mk_real_int64 216L); (mk_real_int64 368L); (mk_real_int64 380L); ]);
("y3_hi", [21; 22; 28; 29; 31; 38; 40; 41; 44; 48; 49; 50; 52; 53; 57; 61; 65; 67; 68; 69; 71; ], [(mk_real_int64 464L); (mk_real_int64 460L); (mk_real_int64 140L); (mk_real_int64 460L); (mk_real_int64 464L); (mk_real_int64 280L); (mk_real_int64 220L); (mk_real_int64 400L); (mk_real_int64 450L); (mk_real_int64 400L); (mk_real_int64 520L); (mk_real_int64 96L); (mk_real_int64 296L); (mk_real_int64 56L); (mk_real_int64 104L); (mk_real_int64 320L); (mk_real_int64 60L); (mk_real_int64 56L); (mk_real_int64 296L); (mk_real_int64 300L); (mk_real_int64 96L); ]);
("y4_hi", [0; 8; 18; 20; 25; 26; 28; 31; 32; 33; 40; 41; 44; 46; 48; 55; 56; ], [(mk_real_int64 285L); (mk_real_int64 285L); (mk_real_int64 582L); (mk_real_int64 375L); (mk_real_int64 670L); (mk_real_int64 250L); (mk_real_int64 375L); (mk_real_int64 375L); (mk_real_int64 200L); (mk_real_int64 25L); (mk_real_int64 160L); (mk_real_int64 660L); (mk_real_int64 332L); (mk_real_int64 729L); (mk_real_int64 582L); (mk_real_int64 660L); (mk_real_int64 160L); ]);
("y4_lo", [10; 13; 14; 17; 21; 23; 27; 29; 35; 36; 37; 38; 45; 47; 49; 53; 57; 58; 59; ], [(mk_real_int64 80L); (mk_real_int64 60L); (mk_real_int64 375L); (mk_real_int64 43L); (mk_real_int64 375L); (mk_real_int64 321060L); (mk_real_int64 180L); (mk_real_int64 350L); (mk_real_int64 180L); (mk_real_int64 350L); (mk_real_int64 250L); (mk_real_int64 590L); (mk_real_int64 660L); (mk_real_int64 716L); (mk_real_int64 250L); (mk_real_int64 125L); (mk_real_int64 375L); (mk_real_int64 225L); (mk_real_int64 590L); ]);
("y5_lo", [4; 12; 14; 22; 26; 29; 37; 39; 45; 47; 53; 56; 58; 60; 61; 65; 67; ], [(mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 198L); (mk_real_int64 375L); (mk_real_int64 368L); (mk_real_int64 375L); (mk_real_int64 448L); (mk_real_int64 8L); (mk_real_int64 225L); (mk_real_int64 8L); (mk_real_int64 204L); (mk_real_int64 618L); (mk_real_int64 296L); (mk_real_int64 368L); (mk_real_int64 250L); (mk_real_int64 125L); (mk_real_int64 204L); ]);
("y5_hi", [21; 25; 28; 31; 38; 40; 41; 43; 44; 48; 49; 50; 52; 57; 59; 68; 69; 70; 71; ], [(mk_real_int64 464L); (mk_real_int64 7L); (mk_real_int64 375L); (mk_real_int64 464L); (mk_real_int64 250L); (mk_real_int64 375L); (mk_real_int64 400L); (mk_real_int64 375L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 425L); (mk_real_int64 96L); (mk_real_int64 296L); (mk_real_int64 104L); (mk_real_int64 48L); (mk_real_int64 296L); (mk_real_int64 300L); (mk_real_int64 525L); (mk_real_int64 96L); ]);
("y6_lo", [4; 7; 10; 12; 14; 22; 23; 26; 29; 37; 39; 42; 43; 45; 47; 48; 51; 52; 53; 55; 56; 57; 58; 60; 61; 62; 65; 66; 67; 69; 70; 71; ], [(mk_real_int64 104L); (mk_real_int64 497000L); (mk_real_int64 497000L); (mk_real_int64 104L); (mk_real_int64 198L); (mk_real_int64 375L); (mk_real_int64 321000L); (mk_real_int64 310000L); (mk_real_int64 375L); (mk_real_int64 448L); (mk_real_int64 8L); (mk_real_int64 340000L); (mk_real_int64 214625L); (mk_real_int64 225L); (mk_real_int64 8L); (mk_real_int64 101000L); (mk_real_int64 92000L); (mk_real_int64 12000L); (mk_real_int64 204L); (mk_real_int64 278000L); (mk_real_int64 618L); (mk_real_int64 266000L); (mk_real_int64 296L); (mk_real_int64 278368L); (mk_real_int64 250L); (mk_real_int64 266000L); (mk_real_int64 125L); (mk_real_int64 133000L); (mk_real_int64 12204L); (mk_real_int64 101000L); (mk_real_int64 276000L); (mk_real_int64 92000L); ]);
("y6_hi", [21; 25; 26; 28; 31; 38; 40; 41; 44; 48; 49; 50; 52; 57; 59; 68; 69; 70; 71; ], [(mk_real_int64 464L); (mk_real_int64 7L); (mk_real_int64 632L); (mk_real_int64 375L); (mk_real_int64 464L); (mk_real_int64 250L); (mk_real_int64 375L); (mk_real_int64 400L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 425L); (mk_real_int64 96L); (mk_real_int64 296L); (mk_real_int64 104L); (mk_real_int64 48L); (mk_real_int64 296L); (mk_real_int64 300L); (mk_real_int64 525L); (mk_real_int64 96L); ]);
("ye_hi", [23; 29; 45; 57; 58; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("ye_lo", [26; 27; 38; 41; 42; 44; 51; 53; 68; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 341000L); (mk_real_int64 1000L); (mk_real_int64 133000L); (mk_real_int64 1000L); ]);
("yn_lo", [1; 2; 3; 4; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 1064L); (mk_real_int64 444L); (mk_real_int64 1064L); (mk_real_int64 544L); (mk_real_int64 1064L); (mk_real_int64 872L); (mk_real_int64 100L); (mk_real_int64 872L); (mk_real_int64 64L); (mk_real_int64 1064L); (mk_real_int64 1064L); (mk_real_int64 2528L); (mk_real_int64 1668L); ]);
("yn_hi", [0; 5; ], [(mk_real_int64 688L); (mk_real_int64 456L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)