needs "nobranching_lp.hl";;

module Test_case = struct
let hypermap_string = "241966209046 19 6 0 1 2 3 4 5 3 0 5 6 3 6 5 4 3 6 4 3 3 6 3 7 3 7 3 8 3 8 3 2 3 8 2 9 3 9 2 1 3 9 1 10 3 10 1 0 3 10 0 11 4 11 0 6 7 3 11 7 12 3 12 7 8 4 12 8 9 13 3 13 9 10 3 13 10 11 3 11 12 13 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [0; 1; 2; 6; 10; 13; ], [(mk_real_int64 504L); (mk_real_int64 564L); (mk_real_int64 49L); (mk_real_int64 232L); (mk_real_int64 130L); (mk_real_int64 144L); ]);
("azim_sum", [7; 8; 9; ], [(mk_real_int64 291L); (mk_real_int64 64L); (mk_real_int64 390L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 792L); (mk_real_int64 792L); (mk_real_int64 1061L); (mk_real_int64 1013L); (mk_real_int64 1013L); (mk_real_int64 1121L); (mk_real_int64 1121L); (mk_real_int64 1121L); (mk_real_int64 1061L); (mk_real_int64 1013L); (mk_real_int64 1036L); (mk_real_int64 1121L); (mk_real_int64 970L); (mk_real_int64 970L); ]);
("sol_sum3", [1; 13; 14; ], [(mk_real_int64 504L); (mk_real_int64 64L); (mk_real_int64 144L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 792L); (mk_real_int64 792L); (mk_real_int64 792L); (mk_real_int64 1013L); (mk_real_int64 1061L); (mk_real_int64 1013L); (mk_real_int64 1002L); (mk_real_int64 1013L); (mk_real_int64 1013L); (mk_real_int64 964L); (mk_real_int64 1015L); (mk_real_int64 970L); (mk_real_int64 970L); (mk_real_int64 970L); (mk_real_int64 970L); (mk_real_int64 970L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 1121L); (mk_real_int64 970L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 1013L); ]);
("ln_def_neg", [2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 247L); (mk_real_int64 116L); (mk_real_int64 116L); (mk_real_int64 236L); (mk_real_int64 236L); (mk_real_int64 236L); (mk_real_int64 170L); (mk_real_int64 116L); (mk_real_int64 142L); (mk_real_int64 236L); (mk_real_int64 70L); (mk_real_int64 70L); ]);
("ln_def", [0; 1; ], [(mk_real_int64 127L); (mk_real_int64 127L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 4974L); (mk_real_int64 4974L); (mk_real_int64 6667L); (mk_real_int64 6362L); (mk_real_int64 6362L); (mk_real_int64 7044L); (mk_real_int64 7044L); (mk_real_int64 7044L); (mk_real_int64 6667L); (mk_real_int64 6362L); (mk_real_int64 6511L); (mk_real_int64 7044L); (mk_real_int64 6097L); (mk_real_int64 6097L); ]);
("edge_sym", [0; 5; 11; 14; 16; 25; 51; 58; ], [(mk_real_int64 44L); (mk_real_int64 44L); (mk_real_int64 220L); (mk_real_int64 419L); (mk_real_int64 114L); (mk_real_int64 20L); (mk_real_int64 14L); (mk_real_int64 4L); ]);
("edge_sym_neg", [7; 19; 20; 23; 26; 29; 31; 32; 35; 38; 45; 48; 55; ], [(mk_real_int64 275L); (mk_real_int64 47L); (mk_real_int64 2L); (mk_real_int64 86L); (mk_real_int64 37L); (mk_real_int64 40L); (mk_real_int64 92L); (mk_real_int64 60L); (mk_real_int64 95L); (mk_real_int64 4L); (mk_real_int64 20L); (mk_real_int64 23L); (mk_real_int64 14L); ]);
("y1_def_neg", [0; 6; 8; 9; 11; 12; 14; 16; 17; 20; 21; 23; 25; 27; 29; 30; 32; 34; 37; 38; 44; 45; 46; 47; 48; 50; 51; 55; 57; 58; 61; ], [(mk_real_int64 34L); (mk_real_int64 191L); (mk_real_int64 126L); (mk_real_int64 238L); (mk_real_int64 17L); (mk_real_int64 83L); (mk_real_int64 67L); (mk_real_int64 182L); (mk_real_int64 133L); (mk_real_int64 105L); (mk_real_int64 44L); (mk_real_int64 182L); (mk_real_int64 17L); (mk_real_int64 13L); (mk_real_int64 86L); (mk_real_int64 7L); (mk_real_int64 26L); (mk_real_int64 118L); (mk_real_int64 112L); (mk_real_int64 63L); (mk_real_int64 11L); (mk_real_int64 10L); (mk_real_int64 11L); (mk_real_int64 14L); (mk_real_int64 1L); (mk_real_int64 18L); (mk_real_int64 11L); (mk_real_int64 32L); (mk_real_int64 22L); (mk_real_int64 93L); (mk_real_int64 60L); ]);
("y1_def", [7; 13; 15; 19; 36; 53; ], [(mk_real_int64 150L); (mk_real_int64 282L); (mk_real_int64 61L); (mk_real_int64 24L); (mk_real_int64 25L); (mk_real_int64 30L); ]);
("y2_def", [0; 6; 9; 14; 17; 21; 25; 27; 30; 38; 44; 47; 48; 50; 51; ], [(mk_real_int64 44L); (mk_real_int64 116L); (mk_real_int64 22L); (mk_real_int64 41L); (mk_real_int64 145L); (mk_real_int64 41L); (mk_real_int64 20L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 39L); (mk_real_int64 7L); (mk_real_int64 9L); (mk_real_int64 1L); (mk_real_int64 23L); (mk_real_int64 14L); ]);
("y2_def_neg", [7; 8; 11; 12; 13; 15; 16; 19; 20; 23; 29; 32; 34; 36; 37; 45; 46; 53; 55; 57; 58; 61; ], [(mk_real_int64 46L); (mk_real_int64 31L); (mk_real_int64 56L); (mk_real_int64 83L); (mk_real_int64 86L); (mk_real_int64 19L); (mk_real_int64 182L); (mk_real_int64 7L); (mk_real_int64 67L); (mk_real_int64 182L); (mk_real_int64 86L); (mk_real_int64 95L); (mk_real_int64 71L); (mk_real_int64 8L); (mk_real_int64 112L); (mk_real_int64 10L); (mk_real_int64 11L); (mk_real_int64 22L); (mk_real_int64 32L); (mk_real_int64 22L); (mk_real_int64 65L); (mk_real_int64 153L); ]);
("y3_def", [0; 6; 9; 14; 17; 21; 25; 27; 30; 38; 44; 47; 48; 50; 51; ], [(mk_real_int64 44L); (mk_real_int64 116L); (mk_real_int64 22L); (mk_real_int64 41L); (mk_real_int64 145L); (mk_real_int64 41L); (mk_real_int64 20L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 39L); (mk_real_int64 7L); (mk_real_int64 9L); (mk_real_int64 1L); (mk_real_int64 23L); (mk_real_int64 14L); ]);
("y3_def_neg", [7; 8; 11; 12; 13; 15; 16; 19; 20; 23; 29; 32; 34; 36; 37; 45; 46; 53; 55; 57; 58; 61; ], [(mk_real_int64 46L); (mk_real_int64 31L); (mk_real_int64 56L); (mk_real_int64 83L); (mk_real_int64 86L); (mk_real_int64 19L); (mk_real_int64 182L); (mk_real_int64 7L); (mk_real_int64 67L); (mk_real_int64 182L); (mk_real_int64 86L); (mk_real_int64 95L); (mk_real_int64 71L); (mk_real_int64 8L); (mk_real_int64 112L); (mk_real_int64 10L); (mk_real_int64 11L); (mk_real_int64 22L); (mk_real_int64 32L); (mk_real_int64 22L); (mk_real_int64 65L); (mk_real_int64 153L); ]);
("y4_def", [1; 5; 7; 9; 13; 26; 30; 39; 43; 47; ], [(mk_real_int64 233L); (mk_real_int64 13L); (mk_real_int64 436L); (mk_real_int64 95L); (mk_real_int64 38L); (mk_real_int64 27L); (mk_real_int64 39L); (mk_real_int64 82L); (mk_real_int64 46L); (mk_real_int64 20L); ]);
("y4_def_neg", [0; 2; 3; 6; 8; 10; 11; 14; 15; 17; 19; 21; 23; 24; 28; 31; 32; 34; 35; 36; 37; 38; 41; 44; ], [(mk_real_int64 218L); (mk_real_int64 114L); (mk_real_int64 22L); (mk_real_int64 58L); (mk_real_int64 76L); (mk_real_int64 127L); (mk_real_int64 273L); (mk_real_int64 106L); (mk_real_int64 77L); (mk_real_int64 127L); (mk_real_int64 37L); (mk_real_int64 38L); (mk_real_int64 60L); (mk_real_int64 21L); (mk_real_int64 95L); (mk_real_int64 78L); (mk_real_int64 72L); (mk_real_int64 13L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 16L); (mk_real_int64 1L); (mk_real_int64 22L); (mk_real_int64 73L); ]);
("y5_def", [0; 6; 9; 14; 17; 21; 25; 27; 30; 38; 44; 47; 48; 50; 51; 53; 57; ], [(mk_real_int64 44L); (mk_real_int64 116L); (mk_real_int64 261L); (mk_real_int64 41L); (mk_real_int64 145L); (mk_real_int64 41L); (mk_real_int64 20L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 39L); (mk_real_int64 7L); (mk_real_int64 9L); (mk_real_int64 1L); (mk_real_int64 23L); (mk_real_int64 14L); (mk_real_int64 9L); (mk_real_int64 46L); ]);
("y5_def_neg", [7; 8; 11; 12; 13; 15; 16; 19; 20; 23; 29; 32; 34; 36; 37; 45; 46; 55; 58; 61; ], [(mk_real_int64 46L); (mk_real_int64 11L); (mk_real_int64 42L); (mk_real_int64 58L); (mk_real_int64 86L); (mk_real_int64 19L); (mk_real_int64 127L); (mk_real_int64 7L); (mk_real_int64 39L); (mk_real_int64 127L); (mk_real_int64 60L); (mk_real_int64 71L); (mk_real_int64 44L); (mk_real_int64 8L); (mk_real_int64 78L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 22L); (mk_real_int64 42L); (mk_real_int64 113L); ]);
("y6_def", [0; 6; 9; 10; 14; 17; 21; 22; 24; 25; 27; 28; 30; 33; 36; 38; 44; 47; 48; 50; 51; 53; 56; 57; 60; ], [(mk_real_int64 44L); (mk_real_int64 116L); (mk_real_int64 261L); (mk_real_int64 64L); (mk_real_int64 41L); (mk_real_int64 145L); (mk_real_int64 173L); (mk_real_int64 204L); (mk_real_int64 66L); (mk_real_int64 20L); (mk_real_int64 40L); (mk_real_int64 98L); (mk_real_int64 12L); (mk_real_int64 136L); (mk_real_int64 245L); (mk_real_int64 81L); (mk_real_int64 7L); (mk_real_int64 9L); (mk_real_int64 1L); (mk_real_int64 23L); (mk_real_int64 14L); (mk_real_int64 9L); (mk_real_int64 40L); (mk_real_int64 46L); (mk_real_int64 113L); ]);
("y6_def_neg", [7; 8; 11; 12; 13; 15; 16; 19; 20; 23; 29; 32; 34; 37; 45; 46; 55; 58; 61; ], [(mk_real_int64 46L); (mk_real_int64 11L); (mk_real_int64 42L); (mk_real_int64 58L); (mk_real_int64 86L); (mk_real_int64 19L); (mk_real_int64 127L); (mk_real_int64 7L); (mk_real_int64 39L); (mk_real_int64 127L); (mk_real_int64 60L); (mk_real_int64 71L); (mk_real_int64 44L); (mk_real_int64 78L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 22L); (mk_real_int64 42L); (mk_real_int64 4L); ]);
("RHA", [0; 3; 6; 8; 9; 12; 14; 15; 16; 18; 22; 24; 26; 32; 33; 35; 36; 37; 43; 44; 47; 48; 50; 51; 54; 55; 57; 58; 59; ], [(mk_real_int64 109L); (mk_real_int64 49L); (mk_real_int64 11L); (mk_real_int64 232L); (mk_real_int64 59L); (mk_real_int64 329L); (mk_real_int64 158L); (mk_real_int64 109L); (mk_real_int64 49L); (mk_real_int64 60L); (mk_real_int64 49L); (mk_real_int64 60L); (mk_real_int64 11L); (mk_real_int64 24L); (mk_real_int64 72L); (mk_real_int64 157L); (mk_real_int64 21L); (mk_real_int64 106L); (mk_real_int64 151L); (mk_real_int64 132L); (mk_real_int64 127L); (mk_real_int64 89L); (mk_real_int64 91L); (mk_real_int64 42L); (mk_real_int64 42L); (mk_real_int64 66L); (mk_real_int64 66L); (mk_real_int64 121L); (mk_real_int64 151L); ]);
("yy10", [8; ], [(mk_real_int64 337L); ]);
("tau4", [0; ], [(mk_real_int64 226L); ]);
("tau6", [0; ], [(mk_real_int64 1013L); ]);
("ineq105", [0; 11; 12; ], [(mk_real_int64 109L); (mk_real_int64 57L); (mk_real_int64 34L); ]);
("ineq106", [0; 2; 3; 8; 11; 15; 19; 28; 32; 34; 37; 38; 44; ], [(mk_real_int64 318L); (mk_real_int64 98L); (mk_real_int64 271L); (mk_real_int64 111L); (mk_real_int64 109L); (mk_real_int64 49L); (mk_real_int64 11L); (mk_real_int64 49L); (mk_real_int64 106L); (mk_real_int64 19L); (mk_real_int64 24L); (mk_real_int64 2L); (mk_real_int64 29L); ]);
("ineq107", [1; 5; 7; 9; 13; 26; 30; 39; 47; ], [(mk_real_int64 301L); (mk_real_int64 60L); (mk_real_int64 564L); (mk_real_int64 123L); (mk_real_int64 49L); (mk_real_int64 106L); (mk_real_int64 51L); (mk_real_int64 80L); (mk_real_int64 144L); ]);
("ineq108", [11; 14; 15; 19; 21; 24; ], [(mk_real_int64 291L); (mk_real_int64 64L); (mk_real_int64 64L); (mk_real_int64 43L); (mk_real_int64 56L); (mk_real_int64 31L); ]);
("ineq109", [3; 39; 43; ], [(mk_real_int64 504L); (mk_real_int64 64L); (mk_real_int64 144L); ]);
("ineq111", [2; 5; 6; 10; 14; 17; 23; 26; 28; 31; 35; 36; 41; 44; 47; ], [(mk_real_int64 373L); (mk_real_int64 262L); (mk_real_int64 460L); (mk_real_int64 1013L); (mk_real_int64 501L); (mk_real_int64 1013L); (mk_real_int64 479L); (mk_real_int64 439L); (mk_real_int64 491L); (mk_real_int64 622L); (mk_real_int64 55L); (mk_real_int64 59L); (mk_real_int64 178L); (mk_real_int64 420L); (mk_real_int64 730L); ]);
("ineq112", [1; ], [(mk_real_int64 401L); ]);
("ineq113", [19; 27; 30; ], [(mk_real_int64 165L); (mk_real_int64 222L); (mk_real_int64 224L); ]);
("ineq114", [0; 3; 6; 8; 12; 18; 20; 21; 24; 29; 31; 33; 34; 37; 38; 40; 43; 44; 45; ], [(mk_real_int64 18L); (mk_real_int64 529L); (mk_real_int64 156L); (mk_real_int64 175L); (mk_real_int64 560L); (mk_real_int64 197L); (mk_real_int64 640L); (mk_real_int64 533L); (mk_real_int64 573L); (mk_real_int64 251L); (mk_real_int64 169L); (mk_real_int64 241L); (mk_real_int64 675L); (mk_real_int64 667L); (mk_real_int64 244L); (mk_real_int64 792L); (mk_real_int64 127L); (mk_real_int64 423L); (mk_real_int64 241L); ]);
("ineq119", [2; 7; ], [(mk_real_int64 511L); (mk_real_int64 317L); ]);
("ineq120", [3; 5; 6; ], [(mk_real_int64 384L); (mk_real_int64 129L); (mk_real_int64 525L); ]);
];;

(***************)
(* 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 80275L); (mk_real_int64 2650L); (mk_real_int64 2650L); (mk_real_int64 3300L); (mk_real_int64 3300L); (mk_real_int64 3300L); (mk_real_int64 3275L); (mk_real_int64 2650L); (mk_real_int64 2575L); (mk_real_int64 3300L); (mk_real_int64 3025L); (mk_real_int64 3025L); ]);
];;

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

let variable_bounds = [
("azim_hi", [4; 5; 6; 9; 12; 14; 25; 33; 35; 41; 42; 52; ], [(mk_real_int64 564000L); (mk_real_int64 504000L); (mk_real_int64 268L); (mk_real_int64 154L); (mk_real_int64 656L); (mk_real_int64 550L); (mk_real_int64 265L); (mk_real_int64 502L); (mk_real_int64 126L); (mk_real_int64 517L); (mk_real_int64 72L); (mk_real_int64 399L); ]);
("azim_lo", [7; 18; 24; 26; 27; 30; 36; 37; 43; 44; 47; 48; 50; 51; 54; 57; 58; 59; ], [(mk_real_int64 307L); (mk_real_int64 440L); (mk_real_int64 678L); (mk_real_int64 360L); (mk_real_int64 342L); (mk_real_int64 302L); (mk_real_int64 16L); (mk_real_int64 206L); (mk_real_int64 134L); (mk_real_int64 450L); (mk_real_int64 458L); (mk_real_int64 256L); (mk_real_int64 218L); (mk_real_int64 50L); (mk_real_int64 208L); (mk_real_int64 498L); (mk_real_int64 202L); (mk_real_int64 134L); ]);
("rhazim_hi", [0; 3; 4; 5; 8; 9; 15; 16; 17; 21; 22; 24; 32; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 221000L); (mk_real_int64 221000L); (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_lo", [51; 54; 58; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("rho_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 11; ], [(mk_real_int64 2928L); (mk_real_int64 2928L); (mk_real_int64 324L); (mk_real_int64 3692L); (mk_real_int64 3692L); (mk_real_int64 364L); (mk_real_int64 364L); (mk_real_int64 364L); (mk_real_int64 324L); (mk_real_int64 3692L); (mk_real_int64 364L); ]);
("rho_lo", [10; 12; 13; ], [(mk_real_int64 776L); (mk_real_int64 1520L); (mk_real_int64 1520L); ]);
("tau_hi", [13; 15; 18; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("tau_lo", [2; 3; 8; 9; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("y1_lo", [0; 9; 11; 16; 17; 20; 21; 23; 27; 29; 30; 32; 38; 44; 47; 48; 55; ], [(mk_real_int64 335L); (mk_real_int64 704L); (mk_real_int64 160L); (mk_real_int64 340L); (mk_real_int64 785L); (mk_real_int64 220L); (mk_real_int64 440L); (mk_real_int64 340L); (mk_real_int64 160L); (mk_real_int64 220L); (mk_real_int64 285L); (mk_real_int64 20L); (mk_real_int64 600L); (mk_real_int64 400L); (mk_real_int64 400L); (mk_real_int64 200L); (mk_real_int64 40L); ]);
("y1_hi", [6; 7; 8; 12; 14; 15; 19; 25; 34; 36; 37; 45; 46; 50; 51; 53; 57; 61; ], [(mk_real_int64 200L); (mk_real_int64 500L); (mk_real_int64 60L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 500L); (mk_real_int64 500L); (mk_real_int64 295L); (mk_real_int64 220L); (mk_real_int64 500L); (mk_real_int64 40L); (mk_real_int64 100L); (mk_real_int64 380L); (mk_real_int64 45L); (mk_real_int64 290L); (mk_real_int64 336L); (mk_real_int64 256L); (mk_real_int64 600L); ]);
("y2_lo", [0; 6; 8; 11; 14; 16; 19; 23; 25; 29; 32; 38; 44; 47; 48; 50; 51; 55; 58; 61; ], [(mk_real_int64 182L); (mk_real_int64 248L); (mk_real_int64 468L); (mk_real_int64 280L); (mk_real_int64 596L); (mk_real_int64 340L); (mk_real_int64 448L); (mk_real_int64 340L); (mk_real_int64 344L); (mk_real_int64 220L); (mk_real_int64 132L); (mk_real_int64 416L); (mk_real_int64 84L); (mk_real_int64 264L); (mk_real_int64 272L); (mk_real_int64 86L); (mk_real_int64 332L); (mk_real_int64 40L); (mk_real_int64 44L); (mk_real_int64 288L); ]);
("y2_hi", [7; 9; 12; 13; 15; 17; 20; 21; 27; 30; 34; 36; 37; 45; 46; 53; 57; ], [(mk_real_int64 248L); (mk_real_int64 540L); (mk_real_int64 200L); (mk_real_int64 272L); (mk_real_int64 304L); (mk_real_int64 600L); (mk_real_int64 116L); (mk_real_int64 132L); (mk_real_int64 384L); (mk_real_int64 284L); (mk_real_int64 456L); (mk_real_int64 248L); (mk_real_int64 40L); (mk_real_int64 100L); (mk_real_int64 380L); (mk_real_int64 176L); (mk_real_int64 256L); ]);
("y3_lo", [0; 6; 8; 11; 14; 16; 19; 23; 25; 29; 32; 38; 44; 47; 48; 50; 51; 55; 58; 61; ], [(mk_real_int64 182L); (mk_real_int64 248L); (mk_real_int64 468L); (mk_real_int64 280L); (mk_real_int64 596L); (mk_real_int64 340L); (mk_real_int64 448L); (mk_real_int64 340L); (mk_real_int64 344L); (mk_real_int64 220L); (mk_real_int64 132L); (mk_real_int64 416L); (mk_real_int64 84L); (mk_real_int64 264L); (mk_real_int64 272L); (mk_real_int64 86L); (mk_real_int64 332L); (mk_real_int64 40L); (mk_real_int64 44L); (mk_real_int64 288L); ]);
("y3_hi", [7; 9; 12; 13; 15; 17; 20; 21; 27; 30; 34; 36; 37; 45; 46; 53; 57; ], [(mk_real_int64 248L); (mk_real_int64 540L); (mk_real_int64 200L); (mk_real_int64 272L); (mk_real_int64 304L); (mk_real_int64 600L); (mk_real_int64 116L); (mk_real_int64 132L); (mk_real_int64 384L); (mk_real_int64 284L); (mk_real_int64 456L); (mk_real_int64 248L); (mk_real_int64 40L); (mk_real_int64 100L); (mk_real_int64 380L); (mk_real_int64 176L); (mk_real_int64 256L); ]);
("y4_hi", [0; 2; 5; 6; 9; 10; 17; 19; 23; 26; 28; 30; 31; 35; 39; 43; 44; 47; ], [(mk_real_int64 170L); (mk_real_int64 245L); (mk_real_int64 630L); (mk_real_int64 500L); (mk_real_int64 79L); (mk_real_int64 375L); (mk_real_int64 375L); (mk_real_int64 10L); (mk_real_int64 125L); (mk_real_int64 63L); (mk_real_int64 60L); (mk_real_int64 423L); (mk_real_int64 250L); (mk_real_int64 125L); (mk_real_int64 576L); (mk_real_int64 656L); (mk_real_int64 635L); (mk_real_int64 62L); ]);
("y4_lo", [1; 3; 7; 8; 11; 13; 14; 15; 21; 24; 32; 34; 36; 37; 38; 41; ], [(mk_real_int64 327L); (mk_real_int64 339L); (mk_real_int64 28L); (mk_real_int64 35L); (mk_real_int64 1000L); (mk_real_int64 123L); (mk_real_int64 465L); (mk_real_int64 405L); (mk_real_int64 360L); (mk_real_int64 235L); (mk_real_int64 610L); (mk_real_int64 15L); (mk_real_int64 375L); (mk_real_int64 440L); (mk_real_int64 370L); (mk_real_int64 250L); ]);
("y5_lo", [0; 6; 14; 19; 20; 25; 38; 44; 46; 47; 48; 50; 51; 53; 55; 61; ], [(mk_real_int64 182L); (mk_real_int64 248L); (mk_real_int64 596L); (mk_real_int64 448L); (mk_real_int64 329L); (mk_real_int64 344L); (mk_real_int64 416L); (mk_real_int64 84L); (mk_real_int64 375L); (mk_real_int64 264L); (mk_real_int64 272L); (mk_real_int64 86L); (mk_real_int64 332L); (mk_real_int64 424L); (mk_real_int64 250L); (mk_real_int64 138L); ]);
("y5_hi", [7; 8; 9; 11; 12; 13; 15; 16; 17; 21; 23; 27; 29; 30; 32; 34; 36; 37; 45; 57; 58; ], [(mk_real_int64 248L); (mk_real_int64 47L); (mk_real_int64 940L); (mk_real_int64 130L); (mk_real_int64 500L); (mk_real_int64 272L); (mk_real_int64 304L); (mk_real_int64 375L); (mk_real_int64 600L); (mk_real_int64 132L); (mk_real_int64 375L); (mk_real_int64 384L); (mk_real_int64 125L); (mk_real_int64 284L); (mk_real_int64 13L); (mk_real_int64 461L); (mk_real_int64 248L); (mk_real_int64 250L); (mk_real_int64 125L); (mk_real_int64 656L); (mk_real_int64 56L); ]);
("y6_lo", [0; 6; 10; 14; 19; 20; 21; 22; 24; 25; 27; 28; 30; 33; 36; 38; 44; 46; 47; 48; 50; 51; 53; 55; 56; 60; 61; ], [(mk_real_int64 182L); (mk_real_int64 248L); (mk_real_int64 64000L); (mk_real_int64 596L); (mk_real_int64 448L); (mk_real_int64 329L); (mk_real_int64 132000L); (mk_real_int64 204000L); (mk_real_int64 66000L); (mk_real_int64 344L); (mk_real_int64 20000L); (mk_real_int64 98000L); (mk_real_int64 1000L); (mk_real_int64 136000L); (mk_real_int64 253000L); (mk_real_int64 42416L); (mk_real_int64 84L); (mk_real_int64 375L); (mk_real_int64 264L); (mk_real_int64 272L); (mk_real_int64 86L); (mk_real_int64 332L); (mk_real_int64 424L); (mk_real_int64 250L); (mk_real_int64 40000L); (mk_real_int64 113000L); (mk_real_int64 109138L); ]);
("y6_hi", [7; 8; 9; 11; 12; 13; 15; 16; 17; 21; 23; 27; 29; 30; 32; 34; 36; 37; 45; 57; 58; ], [(mk_real_int64 248L); (mk_real_int64 47L); (mk_real_int64 940L); (mk_real_int64 130L); (mk_real_int64 500L); (mk_real_int64 272L); (mk_real_int64 304L); (mk_real_int64 375L); (mk_real_int64 600L); (mk_real_int64 132L); (mk_real_int64 375L); (mk_real_int64 384L); (mk_real_int64 125L); (mk_real_int64 284L); (mk_real_int64 13L); (mk_real_int64 461L); (mk_real_int64 248L); (mk_real_int64 250L); (mk_real_int64 125L); (mk_real_int64 656L); (mk_real_int64 56L); ]);
("ye_hi", [8; 18; 19; 20; 46; 47; 48; 53; 55; ], [(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); ]);
("ye_lo", [9; 11; 13; 16; 17; 21; 30; 38; 56; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 103000L); (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; 1; 5; 6; 7; 8; 9; 11; 12; ], [(mk_real_int64 779L); (mk_real_int64 779L); (mk_real_int64 64L); (mk_real_int64 64L); (mk_real_int64 1064L); (mk_real_int64 2080L); (mk_real_int64 184L); (mk_real_int64 64L); (mk_real_int64 680L); ]);
("yn_lo", [2; 3; 4; 10; 13; ], [(mk_real_int64 772L); (mk_real_int64 816L); (mk_real_int64 816L); (mk_real_int64 1792L); (mk_real_int64 320L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;
end;;

concl (Test_case.result)