needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "156401568298 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 3 9 0 10 3 10 0 4 3 10 4 11 3 11 4 5 3 11 5 6 3 11 6 12 4 12 6 7 13 3 13 7 8 3 13 8 14 3 14 8 9 3 14 9 10 3 14 10 12 3 10 11 12 3 12 13 14 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [1; 2; 3; 6; 7; 10; 12; ], [(mk_real_int64 233L); (mk_real_int64 233L); (mk_real_int64 58L); (mk_real_int64 233L); (mk_real_int64 233L); (mk_real_int64 650L); (mk_real_int64 58L); ]);
("azim_sum_neg", [0; 4; 5; 8; 13; 14; ], [(mk_real_int64 110L); (mk_real_int64 4L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 110L); (mk_real_int64 4L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 1055L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 1110L); (mk_real_int64 1055L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 1055L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1131L); (mk_real_int64 1055L); (mk_real_int64 1110L); ]);
("sol_sum3", [1; 2; 15; 16; ], [(mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); ]);
("sol_sum3_neg", [4; 5; 10; 19; ], [(mk_real_int64 233L); (mk_real_int64 233L); (mk_real_int64 33L); (mk_real_int64 33L); ]);
("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 1055L); (mk_real_int64 1055L); (mk_real_int64 1055L); (mk_real_int64 1055L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 1055L); (mk_real_int64 1055L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1055L); (mk_real_int64 1055L); (mk_real_int64 1110L); (mk_real_int64 1055L); (mk_real_int64 1055L); (mk_real_int64 1055L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1110L); (mk_real_int64 1055L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 1131L); (mk_real_int64 1131L); ]);
("ln_def_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 164L); (mk_real_int64 247L); (mk_real_int64 247L); (mk_real_int64 247L); (mk_real_int64 224L); (mk_real_int64 164L); (mk_real_int64 247L); (mk_real_int64 247L); (mk_real_int64 164L); (mk_real_int64 224L); (mk_real_int64 224L); (mk_real_int64 224L); (mk_real_int64 247L); (mk_real_int64 164L); (mk_real_int64 224L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [(mk_real_int64 6632L); (mk_real_int64 7107L); (mk_real_int64 7107L); (mk_real_int64 7107L); (mk_real_int64 6975L); (mk_real_int64 6632L); (mk_real_int64 7107L); (mk_real_int64 7107L); (mk_real_int64 6632L); (mk_real_int64 6975L); (mk_real_int64 6975L); (mk_real_int64 6975L); (mk_real_int64 7107L); (mk_real_int64 6632L); (mk_real_int64 6975L); ]);
("edge_sym_neg", [5; 8; 9; 12; 15; 17; 21; 23; 27; 30; 32; 33; 36; 38; 42; 48; 55; 58; 66; 67; ], [(mk_real_int64 230L); (mk_real_int64 68L); (mk_real_int64 63L); (mk_real_int64 11L); (mk_real_int64 195L); (mk_real_int64 187L); (mk_real_int64 119L); (mk_real_int64 195L); (mk_real_int64 133L); (mk_real_int64 78L); (mk_real_int64 23L); (mk_real_int64 63L); (mk_real_int64 59L); (mk_real_int64 379L); (mk_real_int64 118L); (mk_real_int64 78L); (mk_real_int64 16L); (mk_real_int64 68L); (mk_real_int64 20L); (mk_real_int64 11L); ]);
("edge_sym", [6; 14; 24; 26; 39; 45; 57; 61; 64; ], [(mk_real_int64 11L); (mk_real_int64 119L); (mk_real_int64 11L); (mk_real_int64 43L); (mk_real_int64 63L); (mk_real_int64 43L); (mk_real_int64 175L); (mk_real_int64 379L); (mk_real_int64 59L); ]);
("y1_def", [5; 13; 21; 24; 25; 36; 44; 53; 65; ], [(mk_real_int64 55L); (mk_real_int64 52L); (mk_real_int64 89L); (mk_real_int64 52L); (mk_real_int64 52L); (mk_real_int64 19L); (mk_real_int64 52L); (mk_real_int64 3L); (mk_real_int64 19L); ]);
("y1_def_neg", [4; 6; 8; 9; 11; 14; 15; 18; 20; 22; 23; 26; 27; 29; 30; 31; 32; 35; 37; 38; 40; 42; 43; 45; 47; 48; 55; 56; 58; 60; 61; 62; 64; 66; 67; 69; 70; 71; 72; ], [(mk_real_int64 59L); (mk_real_int64 175L); (mk_real_int64 13L); (mk_real_int64 145L); (mk_real_int64 84L); (mk_real_int64 170L); (mk_real_int64 45L); (mk_real_int64 115L); (mk_real_int64 204L); (mk_real_int64 76L); (mk_real_int64 139L); (mk_real_int64 168L); (mk_real_int64 33L); (mk_real_int64 145L); (mk_real_int64 26L); (mk_real_int64 13L); (mk_real_int64 26L); (mk_real_int64 28L); (mk_real_int64 98L); (mk_real_int64 131L); (mk_real_int64 33L); (mk_real_int64 123L); (mk_real_int64 156L); (mk_real_int64 45L); (mk_real_int64 145L); (mk_real_int64 26L); (mk_real_int64 87L); (mk_real_int64 13L); (mk_real_int64 145L); (mk_real_int64 123L); (mk_real_int64 33L); (mk_real_int64 131L); (mk_real_int64 98L); (mk_real_int64 10L); (mk_real_int64 18L); (mk_real_int64 13L); (mk_real_int64 26L); (mk_real_int64 59L); (mk_real_int64 121L); ]);
("y2_def_neg", [5; 6; 8; 9; 11; 13; 14; 18; 20; 23; 24; 25; 26; 29; 31; 36; 38; 42; 43; 44; 47; 53; 55; 56; 58; 60; 62; 65; 66; 69; 72; ], [(mk_real_int64 17L); (mk_real_int64 175L); (mk_real_int64 17L); (mk_real_int64 145L); (mk_real_int64 88L); (mk_real_int64 16L); (mk_real_int64 18L); (mk_real_int64 115L); (mk_real_int64 204L); (mk_real_int64 66L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 95L); (mk_real_int64 125L); (mk_real_int64 13L); (mk_real_int64 6L); (mk_real_int64 134L); (mk_real_int64 191L); (mk_real_int64 103L); (mk_real_int64 16L); (mk_real_int64 125L); (mk_real_int64 1L); (mk_real_int64 87L); (mk_real_int64 17L); (mk_real_int64 145L); (mk_real_int64 191L); (mk_real_int64 134L); (mk_real_int64 6L); (mk_real_int64 10L); (mk_real_int64 13L); (mk_real_int64 192L); ]);
("y2_def", [4; 15; 21; 22; 27; 30; 32; 35; 37; 40; 45; 48; 61; 64; 67; 70; 71; ], [(mk_real_int64 48L); (mk_real_int64 28L); (mk_real_int64 89L); (mk_real_int64 75L); (mk_real_int64 20L); (mk_real_int64 29L); (mk_real_int64 29L); (mk_real_int64 7L); (mk_real_int64 152L); (mk_real_int64 20L); (mk_real_int64 28L); (mk_real_int64 29L); (mk_real_int64 20L); (mk_real_int64 152L); (mk_real_int64 16L); (mk_real_int64 29L); (mk_real_int64 48L); ]);
("y3_def_neg", [5; 6; 8; 9; 11; 13; 14; 18; 20; 23; 24; 25; 26; 29; 31; 36; 38; 42; 43; 44; 47; 53; 55; 56; 58; 60; 62; 65; 66; 69; 72; ], [(mk_real_int64 17L); (mk_real_int64 175L); (mk_real_int64 17L); (mk_real_int64 145L); (mk_real_int64 88L); (mk_real_int64 16L); (mk_real_int64 18L); (mk_real_int64 115L); (mk_real_int64 204L); (mk_real_int64 66L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 95L); (mk_real_int64 125L); (mk_real_int64 13L); (mk_real_int64 6L); (mk_real_int64 134L); (mk_real_int64 191L); (mk_real_int64 103L); (mk_real_int64 16L); (mk_real_int64 125L); (mk_real_int64 1L); (mk_real_int64 87L); (mk_real_int64 17L); (mk_real_int64 145L); (mk_real_int64 191L); (mk_real_int64 134L); (mk_real_int64 6L); (mk_real_int64 10L); (mk_real_int64 13L); (mk_real_int64 192L); ]);
("y3_def", [4; 15; 21; 22; 27; 30; 32; 35; 37; 40; 45; 48; 61; 64; 67; 70; 71; ], [(mk_real_int64 48L); (mk_real_int64 28L); (mk_real_int64 89L); (mk_real_int64 75L); (mk_real_int64 20L); (mk_real_int64 29L); (mk_real_int64 29L); (mk_real_int64 7L); (mk_real_int64 152L); (mk_real_int64 20L); (mk_real_int64 28L); (mk_real_int64 29L); (mk_real_int64 20L); (mk_real_int64 152L); (mk_real_int64 16L); (mk_real_int64 29L); (mk_real_int64 48L); ]);
("y4_def", [1; 4; 9; 20; 21; 32; 40; 45; 48; 57; ], [(mk_real_int64 85L); (mk_real_int64 38L); (mk_real_int64 81L); (mk_real_int64 81L); (mk_real_int64 81L); (mk_real_int64 29L); (mk_real_int64 81L); (mk_real_int64 4L); (mk_real_int64 38L); (mk_real_int64 29L); ]);
("y4_def_neg", [0; 2; 5; 7; 10; 11; 14; 16; 17; 18; 19; 22; 23; 25; 26; 27; 28; 31; 33; 34; 36; 38; 39; 41; 43; 44; 47; 50; 52; 53; 54; 56; 58; 59; 61; 62; 63; 64; ], [(mk_real_int64 91L); (mk_real_int64 122L); (mk_real_int64 101L); (mk_real_int64 11L); (mk_real_int64 206L); (mk_real_int64 52L); (mk_real_int64 187L); (mk_real_int64 141L); (mk_real_int64 46L); (mk_real_int64 141L); (mk_real_int64 117L); (mk_real_int64 137L); (mk_real_int64 37L); (mk_real_int64 107L); (mk_real_int64 54L); (mk_real_int64 9L); (mk_real_int64 54L); (mk_real_int64 53L); (mk_real_int64 286L); (mk_real_int64 89L); (mk_real_int64 37L); (mk_real_int64 41L); (mk_real_int64 123L); (mk_real_int64 52L); (mk_real_int64 107L); (mk_real_int64 54L); (mk_real_int64 16L); (mk_real_int64 101L); (mk_real_int64 41L); (mk_real_int64 37L); (mk_real_int64 89L); (mk_real_int64 286L); (mk_real_int64 22L); (mk_real_int64 31L); (mk_real_int64 9L); (mk_real_int64 54L); (mk_real_int64 91L); (mk_real_int64 37L); ]);
("y5_def_neg", [5; 6; 9; 11; 13; 18; 20; 21; 23; 24; 25; 26; 29; 31; 35; 36; 38; 42; 43; 44; 47; 53; 55; 58; 60; 62; 65; 66; 69; 72; ], [(mk_real_int64 17L); (mk_real_int64 122L); (mk_real_int64 101L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 187L); (mk_real_int64 141L); (mk_real_int64 46L); (mk_real_int64 37L); (mk_real_int64 16L); (mk_real_int64 16L); (mk_real_int64 58L); (mk_real_int64 85L); (mk_real_int64 9L); (mk_real_int64 6L); (mk_real_int64 6L); (mk_real_int64 93L); (mk_real_int64 138L); (mk_real_int64 65L); (mk_real_int64 16L); (mk_real_int64 85L); (mk_real_int64 1L); (mk_real_int64 16L); (mk_real_int64 101L); (mk_real_int64 138L); (mk_real_int64 93L); (mk_real_int64 6L); (mk_real_int64 22L); (mk_real_int64 9L); (mk_real_int64 139L); ]);
("y5_def", [4; 8; 14; 15; 22; 27; 30; 32; 37; 40; 45; 48; 56; 61; 64; 67; 70; 71; ], [(mk_real_int64 48L); (mk_real_int64 33L); (mk_real_int64 10L); (mk_real_int64 28L); (mk_real_int64 75L); (mk_real_int64 20L); (mk_real_int64 29L); (mk_real_int64 29L); (mk_real_int64 152L); (mk_real_int64 20L); (mk_real_int64 28L); (mk_real_int64 29L); (mk_real_int64 33L); (mk_real_int64 20L); (mk_real_int64 152L); (mk_real_int64 16L); (mk_real_int64 29L); (mk_real_int64 48L); ]);
("y6_def_neg", [5; 6; 9; 20; 21; 23; 24; 26; 29; 35; 36; 38; 42; 47; 55; 58; 62; 65; 66; ], [(mk_real_int64 17L); (mk_real_int64 122L); (mk_real_int64 101L); (mk_real_int64 141L); (mk_real_int64 46L); (mk_real_int64 37L); (mk_real_int64 16L); (mk_real_int64 58L); (mk_real_int64 29L); (mk_real_int64 6L); (mk_real_int64 6L); (mk_real_int64 93L); (mk_real_int64 138L); (mk_real_int64 29L); (mk_real_int64 16L); (mk_real_int64 101L); (mk_real_int64 93L); (mk_real_int64 6L); (mk_real_int64 22L); ]);
("y6_def", [4; 7; 8; 10; 13; 14; 15; 16; 19; 22; 25; 27; 28; 30; 31; 32; 37; 40; 41; 43; 44; 45; 46; 48; 53; 56; 60; 61; 64; 67; 69; 70; 71; 72; ], [(mk_real_int64 139L); (mk_real_int64 298L); (mk_real_int64 33L); (mk_real_int64 85L); (mk_real_int64 53L); (mk_real_int64 10L); (mk_real_int64 28L); (mk_real_int64 69L); (mk_real_int64 374L); (mk_real_int64 75L); (mk_real_int64 290L); (mk_real_int64 20L); (mk_real_int64 96L); (mk_real_int64 29L); (mk_real_int64 49L); (mk_real_int64 29L); (mk_real_int64 152L); (mk_real_int64 420L); (mk_real_int64 238L); (mk_real_int64 186L); (mk_real_int64 290L); (mk_real_int64 28L); (mk_real_int64 96L); (mk_real_int64 29L); (mk_real_int64 16L); (mk_real_int64 117L); (mk_real_int64 113L); (mk_real_int64 20L); (mk_real_int64 152L); (mk_real_int64 16L); (mk_real_int64 49L); (mk_real_int64 29L); (mk_real_int64 139L); (mk_real_int64 159L); ]);
("RHA", [6; 7; 12; 41; 54; 58; 59; 73; ], [(mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 76L); (mk_real_int64 55L); (mk_real_int64 76L); (mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 55L); ]);
("RHB", [3; 52; ], [(mk_real_int64 76L); (mk_real_int64 76L); ]);
("yy10", [32; 66; ], [(mk_real_int64 43L); (mk_real_int64 43L); ]);
("ineq106", [0; 10; 11; 18; 19; 22; 23; 25; 26; 28; 31; 36; 39; 41; 43; 44; 53; 59; 62; 63; ], [(mk_real_int64 76L); (mk_real_int64 76L); (mk_real_int64 76L); (mk_real_int64 76L); (mk_real_int64 76L); (mk_real_int64 76L); (mk_real_int64 55L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 55L); (mk_real_int64 55L); (mk_real_int64 76L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 55L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 76L); ]);
("ineq107", [1; 4; 7; 9; 20; 21; 32; 34; 38; 40; 45; 48; 52; 54; 57; 64; ], [(mk_real_int64 110L); (mk_real_int64 5L); (mk_real_int64 5L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 38L); (mk_real_int64 4L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 5L); (mk_real_int64 5L); (mk_real_int64 104L); (mk_real_int64 4L); (mk_real_int64 38L); (mk_real_int64 110L); ]);
("ineq108", [0; 10; 18; 26; 28; 31; 33; 44; 56; 59; 62; 63; ], [(mk_real_int64 58L); (mk_real_int64 131L); (mk_real_int64 131L); (mk_real_int64 58L); (mk_real_int64 58L); (mk_real_int64 24L); (mk_real_int64 418L); (mk_real_int64 58L); (mk_real_int64 418L); (mk_real_int64 24L); (mk_real_int64 58L); (mk_real_int64 58L); ]);
("ineq109", [4; 7; 47; 48; ], [(mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); (mk_real_int64 104L); ]);
("ineq110", [14; 17; 31; 58; ], [(mk_real_int64 233L); (mk_real_int64 233L); (mk_real_int64 33L); (mk_real_int64 33L); ]);
("ineq111", [2; 5; 7; 10; 14; 16; 19; 22; 25; 27; 31; 34; 38; 39; 43; 47; 50; 52; 54; 58; 61; 64; ], [(mk_real_int64 975L); (mk_real_int64 808L); (mk_real_int64 395L); (mk_real_int64 519L); (mk_real_int64 1131L); (mk_real_int64 1131L); (mk_real_int64 519L); (mk_real_int64 683L); (mk_real_int64 737L); (mk_real_int64 72L); (mk_real_int64 125L); (mk_real_int64 739L); (mk_real_int64 975L); (mk_real_int64 683L); (mk_real_int64 737L); (mk_real_int64 395L); (mk_real_int64 808L); (mk_real_int64 975L); (mk_real_int64 739L); (mk_real_int64 125L); (mk_real_int64 72L); (mk_real_int64 975L); ]);
("ineq114", [2; 3; 8; 10; 11; 18; 19; 22; 25; 29; 30; 33; 37; 41; 43; 46; 50; 51; 56; 58; 60; 65; ], [(mk_real_int64 81L); (mk_real_int64 247L); (mk_real_int64 661L); (mk_real_int64 164L); (mk_real_int64 373L); (mk_real_int64 164L); (mk_real_int64 373L); (mk_real_int64 373L); (mk_real_int64 373L); (mk_real_int64 1038L); (mk_real_int64 985L); (mk_real_int64 371L); (mk_real_int64 81L); (mk_real_int64 373L); (mk_real_int64 373L); (mk_real_int64 661L); (mk_real_int64 247L); (mk_real_int64 81L); (mk_real_int64 371L); (mk_real_int64 985L); (mk_real_int64 1038L); (mk_real_int64 81L); ]);
("ineq119", [3; 7; ], [(mk_real_int64 439L); (mk_real_int64 439L); ]);
("ineq120", [0; 1; 2; 4; 5; 6; ], [(mk_real_int64 76L); (mk_real_int64 308L); (mk_real_int64 308L); (mk_real_int64 76L); (mk_real_int64 308L); (mk_real_int64 308L); ]);
];;

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

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

let variable_bounds = [
("azim_lo", [0; 6; 7; 33; 34; 35; 36; 41; 49; 58; 59; 65; 66; 67; 68; 73; ], [(mk_real_int64 392L); (mk_real_int64 294L); (mk_real_int64 378L); (mk_real_int64 212L); (mk_real_int64 390L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 294L); (mk_real_int64 392L); (mk_real_int64 378L); (mk_real_int64 294L); (mk_real_int64 1000L); (mk_real_int64 390L); (mk_real_int64 1000L); (mk_real_int64 212L); (mk_real_int64 294L); ]);
("azim_hi", [1; 2; 3; 8; 11; 12; 14; 15; 22; 23; 26; 29; 37; 45; 47; 50; 51; 52; 53; 54; 56; 64; ], [(mk_real_int64 464L); (mk_real_int64 464L); (mk_real_int64 509L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 786L); (mk_real_int64 664L); (mk_real_int64 498L); (mk_real_int64 664L); (mk_real_int64 498L); (mk_real_int64 498L); (mk_real_int64 498L); (mk_real_int64 246L); (mk_real_int64 498L); (mk_real_int64 498L); (mk_real_int64 464L); (mk_real_int64 464L); (mk_real_int64 509L); (mk_real_int64 1000L); (mk_real_int64 786L); (mk_real_int64 1000L); (mk_real_int64 246L); ]);
("rho_hi", [1; 2; 3; 4; 6; 7; 9; 10; 11; 12; 14; ], [(mk_real_int64 204L); (mk_real_int64 204L); (mk_real_int64 204L); (mk_real_int64 240L); (mk_real_int64 204L); (mk_real_int64 204L); (mk_real_int64 240L); (mk_real_int64 240L); (mk_real_int64 240L); (mk_real_int64 204L); (mk_real_int64 240L); ]);
("rho_lo", [0; 5; 8; 13; ], [(mk_real_int64 2380L); (mk_real_int64 2380L); (mk_real_int64 2380L); (mk_real_int64 2380L); ]);
("tau_hi", [1; 3; 4; 7; 8; 13; 14; 17; 19; 23; ], [(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); ]);
("y1_lo", [4; 6; 8; 9; 11; 15; 18; 21; 22; 23; 26; 29; 30; 32; 35; 37; 38; 42; 45; 47; 48; 53; 56; 58; 60; 62; 64; 67; 70; 71; ], [(mk_real_int64 230L); (mk_real_int64 500L); (mk_real_int64 204L); (mk_real_int64 440L); (mk_real_int64 304L); (mk_real_int64 600L); (mk_real_int64 40L); (mk_real_int64 460L); (mk_real_int64 385L); (mk_real_int64 20L); (mk_real_int64 540L); (mk_real_int64 260L); (mk_real_int64 230L); (mk_real_int64 230L); (mk_real_int64 200L); (mk_real_int64 230L); (mk_real_int64 20L); (mk_real_int64 500L); (mk_real_int64 600L); (mk_real_int64 260L); (mk_real_int64 230L); (mk_real_int64 500L); (mk_real_int64 204L); (mk_real_int64 440L); (mk_real_int64 500L); (mk_real_int64 20L); (mk_real_int64 230L); (mk_real_int64 240L); (mk_real_int64 230L); (mk_real_int64 230L); ]);
("y1_hi", [14; 20; 31; 43; 55; 66; 69; 72; ], [(mk_real_int64 195L); (mk_real_int64 420L); (mk_real_int64 40L); (mk_real_int64 60L); (mk_real_int64 196L); (mk_real_int64 40L); (mk_real_int64 40L); (mk_real_int64 500L); ]);
("y2_hi", [4; 5; 8; 11; 13; 20; 22; 23; 24; 25; 27; 31; 36; 37; 38; 40; 43; 44; 53; 55; 56; 61; 62; 64; 65; 66; 67; 69; 71; ], [(mk_real_int64 776L); (mk_real_int64 280L); (mk_real_int64 536L); (mk_real_int64 436L); (mk_real_int64 192L); (mk_real_int64 420L); (mk_real_int64 348L); (mk_real_int64 244L); (mk_real_int64 192L); (mk_real_int64 192L); (mk_real_int64 20L); (mk_real_int64 40L); (mk_real_int64 224L); (mk_real_int64 152L); (mk_real_int64 372L); (mk_real_int64 20L); (mk_real_int64 80L); (mk_real_int64 192L); (mk_real_int64 240L); (mk_real_int64 196L); (mk_real_int64 536L); (mk_real_int64 20L); (mk_real_int64 372L); (mk_real_int64 152L); (mk_real_int64 224L); (mk_real_int64 40L); (mk_real_int64 380L); (mk_real_int64 40L); (mk_real_int64 776L); ]);
("y2_lo", [6; 9; 14; 15; 18; 21; 26; 29; 30; 32; 35; 42; 45; 47; 48; 58; 60; 70; 72; ], [(mk_real_int64 500L); (mk_real_int64 440L); (mk_real_int64 72L); (mk_real_int64 336L); (mk_real_int64 40L); (mk_real_int64 460L); (mk_real_int64 276L); (mk_real_int64 16L); (mk_real_int64 244L); (mk_real_int64 244L); (mk_real_int64 580L); (mk_real_int64 308L); (mk_real_int64 336L); (mk_real_int64 16L); (mk_real_int64 244L); (mk_real_int64 440L); (mk_real_int64 308L); (mk_real_int64 244L); (mk_real_int64 220L); ]);
("y3_hi", [4; 5; 8; 11; 13; 20; 22; 23; 24; 25; 27; 31; 36; 37; 38; 40; 43; 44; 53; 55; 56; 61; 62; 64; 65; 66; 67; 69; 71; ], [(mk_real_int64 776L); (mk_real_int64 280L); (mk_real_int64 536L); (mk_real_int64 436L); (mk_real_int64 192L); (mk_real_int64 420L); (mk_real_int64 348L); (mk_real_int64 244L); (mk_real_int64 192L); (mk_real_int64 192L); (mk_real_int64 20L); (mk_real_int64 40L); (mk_real_int64 224L); (mk_real_int64 152L); (mk_real_int64 372L); (mk_real_int64 20L); (mk_real_int64 80L); (mk_real_int64 192L); (mk_real_int64 240L); (mk_real_int64 196L); (mk_real_int64 536L); (mk_real_int64 20L); (mk_real_int64 372L); (mk_real_int64 152L); (mk_real_int64 224L); (mk_real_int64 40L); (mk_real_int64 380L); (mk_real_int64 40L); (mk_real_int64 776L); ]);
("y3_lo", [6; 9; 14; 15; 18; 21; 26; 29; 30; 32; 35; 42; 45; 47; 48; 58; 60; 70; 72; ], [(mk_real_int64 500L); (mk_real_int64 440L); (mk_real_int64 72L); (mk_real_int64 336L); (mk_real_int64 40L); (mk_real_int64 460L); (mk_real_int64 276L); (mk_real_int64 16L); (mk_real_int64 244L); (mk_real_int64 244L); (mk_real_int64 580L); (mk_real_int64 308L); (mk_real_int64 336L); (mk_real_int64 16L); (mk_real_int64 244L); (mk_real_int64 440L); (mk_real_int64 308L); (mk_real_int64 244L); (mk_real_int64 220L); ]);
("y4_lo", [0; 4; 7; 9; 10; 11; 14; 16; 18; 20; 21; 22; 23; 26; 28; 33; 34; 36; 38; 39; 40; 41; 44; 45; 48; 52; 53; 54; 56; 58; 62; 63; ], [(mk_real_int64 790L); (mk_real_int64 439L); (mk_real_int64 814L); (mk_real_int64 608L); (mk_real_int64 670L); (mk_real_int64 60L); (mk_real_int64 43L); (mk_real_int64 375L); (mk_real_int64 795L); (mk_real_int64 608L); (mk_real_int64 608L); (mk_real_int64 435L); (mk_real_int64 675L); (mk_real_int64 115L); (mk_real_int64 115L); (mk_real_int64 330L); (mk_real_int64 283L); (mk_real_int64 675L); (mk_real_int64 483L); (mk_real_int64 50L); (mk_real_int64 608L); (mk_real_int64 60L); (mk_real_int64 115L); (mk_real_int64 135L); (mk_real_int64 439L); (mk_real_int64 483L); (mk_real_int64 675L); (mk_real_int64 283L); (mk_real_int64 330L); (mk_real_int64 93L); (mk_real_int64 115L); (mk_real_int64 790L); ]);
("y4_hi", [1; 2; 17; 19; 25; 31; 32; 43; 47; 57; 59; 64; ], [(mk_real_int64 30L); (mk_real_int64 125L); (mk_real_int64 332L); (mk_real_int64 65L); (mk_real_int64 490L); (mk_real_int64 82L); (mk_real_int64 374L); (mk_real_int64 490L); (mk_real_int64 321L); (mk_real_int64 374L); (mk_real_int64 175L); (mk_real_int64 155L); ]);
("y5_hi", [4; 5; 6; 13; 14; 21; 22; 24; 25; 26; 27; 29; 35; 36; 37; 38; 40; 42; 44; 47; 53; 55; 60; 61; 62; 64; 65; 67; 71; 72; ], [(mk_real_int64 776L); (mk_real_int64 280L); (mk_real_int64 125L); (mk_real_int64 192L); (mk_real_int64 473L); (mk_real_int64 332L); (mk_real_int64 348L); (mk_real_int64 192L); (mk_real_int64 192L); (mk_real_int64 289L); (mk_real_int64 20L); (mk_real_int64 519L); (mk_real_int64 287L); (mk_real_int64 224L); (mk_real_int64 152L); (mk_real_int64 17L); (mk_real_int64 20L); (mk_real_int64 317L); (mk_real_int64 192L); (mk_real_int64 519L); (mk_real_int64 240L); (mk_real_int64 321L); (mk_real_int64 317L); (mk_real_int64 20L); (mk_real_int64 17L); (mk_real_int64 152L); (mk_real_int64 224L); (mk_real_int64 380L); (mk_real_int64 776L); (mk_real_int64 405L); ]);
("y5_lo", [8; 11; 15; 18; 20; 23; 30; 32; 43; 45; 48; 56; 66; 70; ], [(mk_real_int64 64L); (mk_real_int64 439L); (mk_real_int64 336L); (mk_real_int64 43L); (mk_real_int64 375L); (mk_real_int64 211L); (mk_real_int64 244L); (mk_real_int64 244L); (mk_real_int64 355L); (mk_real_int64 336L); (mk_real_int64 244L); (mk_real_int64 64L); (mk_real_int64 93L); (mk_real_int64 244L); ]);
("y6_lo", [4; 7; 8; 10; 11; 13; 15; 16; 18; 19; 20; 23; 25; 28; 29; 30; 31; 32; 40; 41; 43; 44; 45; 46; 47; 48; 53; 56; 60; 66; 69; 70; 71; 72; ], [(mk_real_int64 90224L); (mk_real_int64 298000L); (mk_real_int64 64L); (mk_real_int64 85000L); (mk_real_int64 16439L); (mk_real_int64 69000L); (mk_real_int64 336L); (mk_real_int64 69000L); (mk_real_int64 187043L); (mk_real_int64 374000L); (mk_real_int64 375L); (mk_real_int64 211L); (mk_real_int64 306000L); (mk_real_int64 96000L); (mk_real_int64 56000L); (mk_real_int64 244L); (mk_real_int64 58000L); (mk_real_int64 244L); (mk_real_int64 400000L); (mk_real_int64 238000L); (mk_real_int64 251355L); (mk_real_int64 306000L); (mk_real_int64 336L); (mk_real_int64 96000L); (mk_real_int64 56000L); (mk_real_int64 244L); (mk_real_int64 16760L); (mk_real_int64 85000L); (mk_real_int64 251000L); (mk_real_int64 93L); (mk_real_int64 58000L); (mk_real_int64 244L); (mk_real_int64 90224L); (mk_real_int64 298000L); ]);
("y6_hi", [5; 6; 13; 14; 21; 22; 24; 25; 26; 27; 29; 35; 36; 37; 38; 40; 42; 44; 47; 55; 56; 60; 61; 62; 64; 65; 67; 72; ], [(mk_real_int64 280L); (mk_real_int64 125L); (mk_real_int64 192L); (mk_real_int64 473L); (mk_real_int64 332L); (mk_real_int64 348L); (mk_real_int64 192L); (mk_real_int64 192L); (mk_real_int64 289L); (mk_real_int64 20L); (mk_real_int64 519L); (mk_real_int64 287L); (mk_real_int64 224L); (mk_real_int64 152L); (mk_real_int64 17L); (mk_real_int64 20L); (mk_real_int64 317L); (mk_real_int64 192L); (mk_real_int64 519L); (mk_real_int64 321L); (mk_real_int64 936L); (mk_real_int64 317L); (mk_real_int64 20L); (mk_real_int64 17L); (mk_real_int64 152L); (mk_real_int64 224L); (mk_real_int64 380L); (mk_real_int64 405L); ]);
("ye_lo", [20; 21; 24; 35; 54; 55; 57; 61; 67; ], [(mk_real_int64 187000L); (mk_real_int64 69000L); (mk_real_int64 69000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 238000L); (mk_real_int64 400000L); (mk_real_int64 1000L); ]);
("ye_hi", [10; 15; 16; 21; 23; 45; ], [(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; 4; 5; 6; 8; 9; 11; 12; 13; ], [(mk_real_int64 1536L); (mk_real_int64 228L); (mk_real_int64 228L); (mk_real_int64 976L); (mk_real_int64 1536L); (mk_real_int64 1228L); (mk_real_int64 536L); (mk_real_int64 976L); (mk_real_int64 976L); (mk_real_int64 228L); (mk_real_int64 536L); ]);
("yn_lo", [1; 7; 10; 14; ], [(mk_real_int64 772L); (mk_real_int64 772L); (mk_real_int64 24L); (mk_real_int64 24L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)