needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "91057093091 20 4 0 1 2 3 4 0 3 4 5 3 4 3 2 3 4 2 6 3 6 2 1 3 6 1 7 3 7 1 8 3 8 1 0 3 8 0 9 3 9 0 5 3 9 5 10 3 10 5 11 3 11 5 4 3 11 4 6 4 11 6 7 12 3 10 11 12 4 12 7 8 13 3 13 8 9 3 13 9 10 3 10 12 13 ";;
let precision = 3;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum", [2; 3; 5; 6; 7; 9; ], [(mk_real_int64 133L); (mk_real_int64 232L); (mk_real_int64 13L); (mk_real_int64 89L); (mk_real_int64 488L); (mk_real_int64 200L); ]);
("azim_sum_neg", [0; 10; 11; 13; ], [(mk_real_int64 116L); (mk_real_int64 70L); (mk_real_int64 89L); (mk_real_int64 206L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 919L); (mk_real_int64 803L); (mk_real_int64 1002L); (mk_real_int64 1144L); (mk_real_int64 1144L); (mk_real_int64 1144L); (mk_real_int64 1020L); (mk_real_int64 1109L); (mk_real_int64 981L); (mk_real_int64 1012L); (mk_real_int64 1082L); (mk_real_int64 1082L); (mk_real_int64 981L); (mk_real_int64 981L); ]);
("sol_sum3_neg", [5; 10; 11; ], [(mk_real_int64 200L); (mk_real_int64 34L); (mk_real_int64 89L); ]);
("sol_sum3", [8; 13; 14; 15; ], [(mk_real_int64 70L); (mk_real_int64 78L); (mk_real_int64 206L); (mk_real_int64 68L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 803L); (mk_real_int64 803L); (mk_real_int64 803L); (mk_real_int64 981L); (mk_real_int64 981L); (mk_real_int64 1002L); (mk_real_int64 1012L); (mk_real_int64 1082L); (mk_real_int64 1082L); (mk_real_int64 1082L); (mk_real_int64 1109L); (mk_real_int64 1020L); (mk_real_int64 981L); (mk_real_int64 981L); (mk_real_int64 981L); (mk_real_int64 981L); ]);
("tau_sum4_neg", [0; 1; 2; 3; ], [(mk_real_int64 803L); (mk_real_int64 1144L); (mk_real_int64 981L); (mk_real_int64 981L); ]);
("ln_def_neg", [0; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 14L); (mk_real_int64 104L); (mk_real_int64 261L); (mk_real_int64 261L); (mk_real_int64 261L); (mk_real_int64 125L); (mk_real_int64 223L); (mk_real_int64 82L); (mk_real_int64 116L); (mk_real_int64 193L); (mk_real_int64 193L); (mk_real_int64 82L); (mk_real_int64 82L); ]);
("ln_def", [1; ], [(mk_real_int64 114L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 5777L); (mk_real_int64 5048L); (mk_real_int64 6293L); (mk_real_int64 7185L); (mk_real_int64 7185L); (mk_real_int64 7185L); (mk_real_int64 6409L); (mk_real_int64 6970L); (mk_real_int64 6166L); (mk_real_int64 6357L); (mk_real_int64 6798L); (mk_real_int64 6798L); (mk_real_int64 6166L); (mk_real_int64 6166L); ]);
("edge_sym", [0; 1; 5; 6; 13; 16; 27; 36; 53; 54; 60; ], [(mk_real_int64 118L); (mk_real_int64 118L); (mk_real_int64 5L); (mk_real_int64 5L); (mk_real_int64 462L); (mk_real_int64 60L); (mk_real_int64 46L); (mk_real_int64 64L); (mk_real_int64 33L); (mk_real_int64 92L); (mk_real_int64 92L); ]);
("edge_sym_neg", [10; 12; 18; 19; 21; 25; 28; 31; 33; 34; 37; 40; 50; 57; ], [(mk_real_int64 5L); (mk_real_int64 60L); (mk_real_int64 103L); (mk_real_int64 60L); (mk_real_int64 43L); (mk_real_int64 46L); (mk_real_int64 335L); (mk_real_int64 130L); (mk_real_int64 68L); (mk_real_int64 206L); (mk_real_int64 84L); (mk_real_int64 50L); (mk_real_int64 35L); (mk_real_int64 34L); ]);
("y1_def_neg", [1; 6; 8; 10; 11; 12; 13; 14; 16; 17; 19; 22; 23; 25; 27; 30; 33; 34; 35; 36; 37; 39; 40; 41; 42; 48; 49; 56; 57; 60; 63; ], [(mk_real_int64 93L); (mk_real_int64 4L); (mk_real_int64 90L); (mk_real_int64 86L); (mk_real_int64 207L); (mk_real_int64 84L); (mk_real_int64 57L); (mk_real_int64 121L); (mk_real_int64 20L); (mk_real_int64 24L); (mk_real_int64 108L); (mk_real_int64 84L); (mk_real_int64 6L); (mk_real_int64 197L); (mk_real_int64 258L); (mk_real_int64 148L); (mk_real_int64 64L); (mk_real_int64 185L); (mk_real_int64 10L); (mk_real_int64 37L); (mk_real_int64 17L); (mk_real_int64 69L); (mk_real_int64 8L); (mk_real_int64 297L); (mk_real_int64 29L); (mk_real_int64 7L); (mk_real_int64 39L); (mk_real_int64 58L); (mk_real_int64 12L); (mk_real_int64 77L); (mk_real_int64 76L); ]);
("y1_def", [24; 29; 38; 55; ], [(mk_real_int64 34L); (mk_real_int64 35L); (mk_real_int64 13L); (mk_real_int64 64L); ]);
("y2_def", [1; 6; 8; 11; 13; 14; 17; 23; 27; 33; 36; 37; 38; 40; 41; 42; 48; 49; ], [(mk_real_int64 118L); (mk_real_int64 5L); (mk_real_int64 54L); (mk_real_int64 129L); (mk_real_int64 35L); (mk_real_int64 73L); (mk_real_int64 15L); (mk_real_int64 4L); (mk_real_int64 8L); (mk_real_int64 37L); (mk_real_int64 22L); (mk_real_int64 10L); (mk_real_int64 13L); (mk_real_int64 5L); (mk_real_int64 28L); (mk_real_int64 17L); (mk_real_int64 4L); (mk_real_int64 4L); ]);
("y2_def_neg", [10; 12; 16; 19; 22; 24; 25; 29; 30; 34; 35; 39; 55; 56; 57; 60; 63; ], [(mk_real_int64 86L); (mk_real_int64 84L); (mk_real_int64 20L); (mk_real_int64 108L); (mk_real_int64 65L); (mk_real_int64 10L); (mk_real_int64 41L); (mk_real_int64 11L); (mk_real_int64 88L); (mk_real_int64 198L); (mk_real_int64 68L); (mk_real_int64 69L); (mk_real_int64 19L); (mk_real_int64 57L); (mk_real_int64 12L); (mk_real_int64 77L); (mk_real_int64 166L); ]);
("y3_def", [1; 6; 8; 11; 13; 14; 17; 23; 27; 33; 36; 37; 38; 40; 41; 42; 48; 49; ], [(mk_real_int64 118L); (mk_real_int64 5L); (mk_real_int64 54L); (mk_real_int64 129L); (mk_real_int64 35L); (mk_real_int64 73L); (mk_real_int64 15L); (mk_real_int64 4L); (mk_real_int64 8L); (mk_real_int64 37L); (mk_real_int64 22L); (mk_real_int64 10L); (mk_real_int64 13L); (mk_real_int64 5L); (mk_real_int64 28L); (mk_real_int64 17L); (mk_real_int64 4L); (mk_real_int64 4L); ]);
("y3_def_neg", [10; 12; 16; 19; 22; 24; 25; 29; 30; 34; 35; 39; 55; 56; 57; 60; 63; ], [(mk_real_int64 86L); (mk_real_int64 84L); (mk_real_int64 20L); (mk_real_int64 108L); (mk_real_int64 65L); (mk_real_int64 10L); (mk_real_int64 41L); (mk_real_int64 11L); (mk_real_int64 88L); (mk_real_int64 198L); (mk_real_int64 68L); (mk_real_int64 69L); (mk_real_int64 19L); (mk_real_int64 57L); (mk_real_int64 12L); (mk_real_int64 77L); (mk_real_int64 166L); ]);
("y4_def_neg", [0; 2; 3; 4; 5; 6; 8; 9; 11; 14; 15; 17; 19; 22; 25; 26; 28; 29; 30; 31; 32; 33; 34; 36; 37; 40; ], [(mk_real_int64 103L); (mk_real_int64 60L); (mk_real_int64 242L); (mk_real_int64 58L); (mk_real_int64 65L); (mk_real_int64 138L); (mk_real_int64 14L); (mk_real_int64 28L); (mk_real_int64 75L); (mk_real_int64 63L); (mk_real_int64 7L); (mk_real_int64 283L); (mk_real_int64 335L); (mk_real_int64 119L); (mk_real_int64 68L); (mk_real_int64 120L); (mk_real_int64 42L); (mk_real_int64 19L); (mk_real_int64 7L); (mk_real_int64 48L); (mk_real_int64 9L); (mk_real_int64 479L); (mk_real_int64 33L); (mk_real_int64 8L); (mk_real_int64 39L); (mk_real_int64 40L); ]);
("y4_def", [16; 21; 27; 39; 41; 44; 47; ], [(mk_real_int64 52L); (mk_real_int64 54L); (mk_real_int64 31L); (mk_real_int64 99L); (mk_real_int64 25L); (mk_real_int64 34L); (mk_real_int64 35L); ]);
("y5_def", [1; 6; 8; 11; 13; 14; 17; 23; 27; 33; 36; 37; 40; 41; 42; 46; 48; 49; 51; 57; 60; ], [(mk_real_int64 118L); (mk_real_int64 5L); (mk_real_int64 54L); (mk_real_int64 129L); (mk_real_int64 35L); (mk_real_int64 73L); (mk_real_int64 15L); (mk_real_int64 4L); (mk_real_int64 46L); (mk_real_int64 71L); (mk_real_int64 22L); (mk_real_int64 10L); (mk_real_int64 5L); (mk_real_int64 33L); (mk_real_int64 17L); (mk_real_int64 60L); (mk_real_int64 4L); (mk_real_int64 8L); (mk_real_int64 92L); (mk_real_int64 25L); (mk_real_int64 34L); ]);
("y5_def_neg", [10; 12; 16; 19; 22; 24; 25; 29; 30; 34; 35; 38; 39; 55; 56; 63; ], [(mk_real_int64 60L); (mk_real_int64 58L); (mk_real_int64 14L); (mk_real_int64 75L); (mk_real_int64 43L); (mk_real_int64 10L); (mk_real_int64 101L); (mk_real_int64 11L); (mk_real_int64 54L); (mk_real_int64 138L); (mk_real_int64 52L); (mk_real_int64 7L); (mk_real_int64 48L); (mk_real_int64 19L); (mk_real_int64 39L); (mk_real_int64 92L); ]);
("y6_def", [1; 6; 8; 9; 11; 12; 13; 14; 15; 17; 20; 23; 27; 29; 32; 33; 35; 36; 37; 40; 41; 42; 48; 49; 53; 56; 57; 59; 60; ], [(mk_real_int64 118L); (mk_real_int64 5L); (mk_real_int64 54L); (mk_real_int64 162L); (mk_real_int64 129L); (mk_real_int64 148L); (mk_real_int64 392L); (mk_real_int64 73L); (mk_real_int64 34L); (mk_real_int64 15L); (mk_real_int64 167L); (mk_real_int64 337L); (mk_real_int64 46L); (mk_real_int64 9L); (mk_real_int64 180L); (mk_real_int64 71L); (mk_real_int64 64L); (mk_real_int64 22L); (mk_real_int64 10L); (mk_real_int64 5L); (mk_real_int64 33L); (mk_real_int64 17L); (mk_real_int64 76L); (mk_real_int64 8L); (mk_real_int64 33L); (mk_real_int64 212L); (mk_real_int64 25L); (mk_real_int64 171L); (mk_real_int64 92L); ]);
("y6_def_neg", [10; 16; 19; 24; 25; 30; 34; 38; 39; 55; 63; ], [(mk_real_int64 60L); (mk_real_int64 14L); (mk_real_int64 75L); (mk_real_int64 10L); (mk_real_int64 101L); (mk_real_int64 54L); (mk_real_int64 138L); (mk_real_int64 7L); (mk_real_int64 3L); (mk_real_int64 19L); (mk_real_int64 92L); ]);
("RHA", [0; 1; 3; 8; 9; 13; 14; 16; 18; 21; 22; 28; 31; 39; 40; 42; 44; 45; 48; 49; 53; 56; 57; 59; 60; 61; ], [(mk_real_int64 340L); (mk_real_int64 198L); (mk_real_int64 116L); (mk_real_int64 190L); (mk_real_int64 116L); (mk_real_int64 122L); (mk_real_int64 15L); (mk_real_int64 198L); (mk_real_int64 20L); (mk_real_int64 20L); (mk_real_int64 11L); (mk_real_int64 70L); (mk_real_int64 62L); (mk_real_int64 34L); (mk_real_int64 21L); (mk_real_int64 76L); (mk_real_int64 128L); (mk_real_int64 39L); (mk_real_int64 89L); (mk_real_int64 83L); (mk_real_int64 30L); (mk_real_int64 29L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 101L); (mk_real_int64 101L); ]);
("RHB", [5; ], [(mk_real_int64 224L); ]);
("tau4", [3; ], [(mk_real_int64 223L); ]);
("ineq105", [1; 6; ], [(mk_real_int64 294L); (mk_real_int64 13L); ]);
("ineq106", [0; 3; 5; 6; 9; 14; 15; 17; 19; 22; 25; 28; 29; 32; 33; 34; 36; 37; 40; ], [(mk_real_int64 150L); (mk_real_int64 340L); (mk_real_int64 95L); (mk_real_int64 202L); (mk_real_int64 39L); (mk_real_int64 19L); (mk_real_int64 10L); (mk_real_int64 142L); (mk_real_int64 132L); (mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 62L); (mk_real_int64 27L); (mk_real_int64 13L); (mk_real_int64 89L); (mk_real_int64 48L); (mk_real_int64 11L); (mk_real_int64 45L); (mk_real_int64 1L); ]);
("ineq107", [16; 21; 26; 27; 39; 47; ], [(mk_real_int64 67L); (mk_real_int64 70L); (mk_real_int64 19L); (mk_real_int64 89L); (mk_real_int64 128L); (mk_real_int64 138L); ]);
("ineq108", [3; 9; 17; 19; 25; 29; 33; ], [(mk_real_int64 13L); (mk_real_int64 3L); (mk_real_int64 32L); (mk_real_int64 232L); (mk_real_int64 70L); (mk_real_int64 1L); (mk_real_int64 399L); ]);
("ineq109", [25; 41; 44; 47; ], [(mk_real_int64 70L); (mk_real_int64 78L); (mk_real_int64 206L); (mk_real_int64 68L); ]);
("ineq110", [17; 30; 33; ], [(mk_real_int64 200L); (mk_real_int64 34L); (mk_real_int64 89L); ]);
("ineq111", [2; 4; 8; 11; 14; 17; 19; 22; 26; 27; 31; 33; 37; 40; 44; 47; ], [(mk_real_int64 478L); (mk_real_int64 467L); (mk_real_int64 109L); (mk_real_int64 600L); (mk_real_int64 400L); (mk_real_int64 1002L); (mk_real_int64 693L); (mk_real_int64 614L); (mk_real_int64 1082L); (mk_real_int64 304L); (mk_real_int64 385L); (mk_real_int64 1020L); (mk_real_int64 69L); (mk_real_int64 317L); (mk_real_int64 258L); (mk_real_int64 747L); ]);
("ineq114", [0; 5; 6; 8; 9; 10; 13; 14; 18; 22; 23; 29; 30; 37; 40; 41; 43; 44; 45; 46; ], [(mk_real_int64 325L); (mk_real_int64 337L); (mk_real_int64 166L); (mk_real_int64 529L); (mk_real_int64 137L); (mk_real_int64 244L); (mk_real_int64 244L); (mk_real_int64 337L); (mk_real_int64 319L); (mk_real_int64 369L); (mk_real_int64 98L); (mk_real_int64 778L); (mk_real_int64 724L); (mk_real_int64 912L); (mk_real_int64 491L); (mk_real_int64 174L); (mk_real_int64 377L); (mk_real_int64 346L); (mk_real_int64 126L); (mk_real_int64 108L); ]);
("ineq119", [5; 15; ], [(mk_real_int64 838L); (mk_real_int64 454L); ]);
("ineq120", [0; 1; 4; 8; 9; 14; ], [(mk_real_int64 755L); (mk_real_int64 48L); (mk_real_int64 306L); (mk_real_int64 813L); (mk_real_int64 168L); (mk_real_int64 304L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 3025L); (mk_real_int64 2600L); (mk_real_int64 2725L); (mk_real_int64 3625L); (mk_real_int64 3625L); (mk_real_int64 3625L); (mk_real_int64 3425L); (mk_real_int64 3250L); (mk_real_int64 2950L); (mk_real_int64 3525L); (mk_real_int64 3350L); (mk_real_int64 3350L); (mk_real_int64 2950L); (mk_real_int64 2950L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [0; 8; 16; 37; 44; 53; 54; 56; ], [(mk_real_int64 290L); (mk_real_int64 450L); (mk_real_int64 154L); (mk_real_int64 28L); (mk_real_int64 254L); (mk_real_int64 432L); (mk_real_int64 338L); (mk_real_int64 366L); ]);
("azim_lo", [1; 4; 5; 13; 14; 17; 18; 21; 22; 26; 30; 31; 38; 45; 49; 57; 59; 60; 61; 62; ], [(mk_real_int64 616L); (mk_real_int64 52L); (mk_real_int64 190L); (mk_real_int64 38L); (mk_real_int64 84L); (mk_real_int64 238L); (mk_real_int64 256L); (mk_real_int64 256L); (mk_real_int64 38L); (mk_real_int64 306L); (mk_real_int64 1006L); (mk_real_int64 652L); (mk_real_int64 776L); (mk_real_int64 656L); (mk_real_int64 88L); (mk_real_int64 76L); (mk_real_int64 998L); (mk_real_int64 1404L); (mk_real_int64 1124L); (mk_real_int64 392L); ]);
("rhazim_lo", [0; 1; 8; 11; 16; 18; 21; 22; 39; 40; 48; 53; 56; ], [(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", [5; ], [(mk_real_int64 1000L); ]);
("rho_hi", [2; 3; 4; 5; 6; 9; 10; 11; ], [(mk_real_int64 3568L); (mk_real_int64 3896L); (mk_real_int64 3896L); (mk_real_int64 3896L); (mk_real_int64 680L); (mk_real_int64 2408L); (mk_real_int64 1288L); (mk_real_int64 1288L); ]);
("rho_lo", [0; 1; 7; 8; 12; 13; ], [(mk_real_int64 2004L); (mk_real_int64 1948L); (mk_real_int64 1044L); (mk_real_int64 1396L); (mk_real_int64 1396L); (mk_real_int64 1396L); ]);
("tau_hi", [3; 4; 17; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]);
("tau_lo", [9; ], [(mk_real_int64 1000L); ]);
("y1_lo", [6; 10; 11; 12; 14; 17; 24; 25; 27; 33; 34; 35; 36; 38; 39; 49; 60; ], [(mk_real_int64 95L); (mk_real_int64 40L); (mk_real_int64 55L); (mk_real_int64 60L); (mk_real_int64 200L); (mk_real_int64 105L); (mk_real_int64 500L); (mk_real_int64 80L); (mk_real_int64 460L); (mk_real_int64 220L); (mk_real_int64 260L); (mk_real_int64 220L); (mk_real_int64 200L); (mk_real_int64 80L); (mk_real_int64 300L); (mk_real_int64 420L); (mk_real_int64 546L); ]);
("y1_hi", [1; 16; 22; 30; 37; 40; 41; 42; 48; 56; 57; 63; ], [(mk_real_int64 390L); (mk_real_int64 380L); (mk_real_int64 600L); (mk_real_int64 280L); (mk_real_int64 565L); (mk_real_int64 200L); (mk_real_int64 55L); (mk_real_int64 200L); (mk_real_int64 400L); (mk_real_int64 340L); (mk_real_int64 222L); (mk_real_int64 272L); ]);
("y2_lo", [10; 11; 12; 13; 22; 23; 24; 25; 27; 35; 38; 39; 40; 41; 49; 55; 60; ], [(mk_real_int64 40L); (mk_real_int64 508L); (mk_real_int64 60L); (mk_real_int64 420L); (mk_real_int64 84L); (mk_real_int64 360L); (mk_real_int64 184L); (mk_real_int64 24L); (mk_real_int64 244L); (mk_real_int64 248L); (mk_real_int64 80L); (mk_real_int64 300L); (mk_real_int64 268L); (mk_real_int64 148L); (mk_real_int64 40L); (mk_real_int64 456L); (mk_real_int64 546L); ]);
("y2_hi", [1; 6; 8; 14; 16; 17; 29; 30; 33; 34; 36; 37; 42; 48; 56; 57; 63; ], [(mk_real_int64 188L); (mk_real_int64 226L); (mk_real_int64 600L); (mk_real_int64 528L); (mk_real_int64 380L); (mk_real_int64 288L); (mk_real_int64 360L); (mk_real_int64 48L); (mk_real_int64 478L); (mk_real_int64 352L); (mk_real_int64 568L); (mk_real_int64 192L); (mk_real_int64 472L); (mk_real_int64 4L); (mk_real_int64 304L); (mk_real_int64 222L); (mk_real_int64 296L); ]);
("y3_lo", [10; 11; 12; 13; 22; 23; 24; 25; 27; 35; 38; 39; 40; 41; 49; 55; 60; ], [(mk_real_int64 40L); (mk_real_int64 508L); (mk_real_int64 60L); (mk_real_int64 420L); (mk_real_int64 84L); (mk_real_int64 360L); (mk_real_int64 184L); (mk_real_int64 24L); (mk_real_int64 244L); (mk_real_int64 248L); (mk_real_int64 80L); (mk_real_int64 300L); (mk_real_int64 268L); (mk_real_int64 148L); (mk_real_int64 40L); (mk_real_int64 456L); (mk_real_int64 546L); ]);
("y3_hi", [1; 6; 8; 14; 16; 17; 29; 30; 33; 34; 36; 37; 42; 48; 56; 57; 63; ], [(mk_real_int64 188L); (mk_real_int64 226L); (mk_real_int64 600L); (mk_real_int64 528L); (mk_real_int64 380L); (mk_real_int64 288L); (mk_real_int64 360L); (mk_real_int64 48L); (mk_real_int64 478L); (mk_real_int64 352L); (mk_real_int64 568L); (mk_real_int64 192L); (mk_real_int64 472L); (mk_real_int64 4L); (mk_real_int64 304L); (mk_real_int64 222L); (mk_real_int64 296L); ]);
("y4_lo", [4; 5; 6; 9; 14; 16; 17; 19; 22; 26; 27; 28; 29; 31; 33; 37; 39; 40; ], [(mk_real_int64 375L); (mk_real_int64 75L); (mk_real_int64 370L); (mk_real_int64 770L); (mk_real_int64 15L); (mk_real_int64 209L); (mk_real_int64 640L); (mk_real_int64 965L); (mk_real_int64 220L); (mk_real_int64 563L); (mk_real_int64 203L); (mk_real_int64 470L); (mk_real_int64 180L); (mk_real_int64 125L); (mk_real_int64 224L); (mk_real_int64 450L); (mk_real_int64 56L); (mk_real_int64 310L); ]);
("y4_hi", [0; 2; 3; 8; 15; 21; 25; 30; 32; 34; 36; 41; 44; 47; ], [(mk_real_int64 250L); (mk_real_int64 250L); (mk_real_int64 195L); (mk_real_int64 375L); (mk_real_int64 150L); (mk_real_int64 110L); (mk_real_int64 260L); (mk_real_int64 336L); (mk_real_int64 95L); (mk_real_int64 120L); (mk_real_int64 465L); (mk_real_int64 272L); (mk_real_int64 494L); (mk_real_int64 331L); ]);
("y5_lo", [11; 12; 13; 22; 23; 24; 25; 27; 30; 33; 34; 39; 40; 41; 46; 49; 51; 55; 56; 63; ], [(mk_real_int64 508L); (mk_real_int64 375L); (mk_real_int64 420L); (mk_real_int64 84L); (mk_real_int64 360L); (mk_real_int64 184L); (mk_real_int64 114L); (mk_real_int64 129L); (mk_real_int64 182L); (mk_real_int64 272L); (mk_real_int64 138L); (mk_real_int64 125L); (mk_real_int64 268L); (mk_real_int64 312L); (mk_real_int64 60000L); (mk_real_int64 245L); (mk_real_int64 92000L); (mk_real_int64 456L); (mk_real_int64 261L); (mk_real_int64 319L); ]);
("y5_hi", [1; 6; 8; 10; 14; 16; 17; 29; 35; 36; 37; 38; 42; 48; 57; 60; ], [(mk_real_int64 188L); (mk_real_int64 226L); (mk_real_int64 600L); (mk_real_int64 250L); (mk_real_int64 528L); (mk_real_int64 375L); (mk_real_int64 288L); (mk_real_int64 360L); (mk_real_int64 472L); (mk_real_int64 568L); (mk_real_int64 192L); (mk_real_int64 336L); (mk_real_int64 472L); (mk_real_int64 4L); (mk_real_int64 272L); (mk_real_int64 494L); ]);
("y6_lo", [9; 11; 12; 13; 15; 20; 22; 23; 24; 25; 27; 29; 30; 32; 33; 34; 35; 39; 40; 41; 48; 49; 53; 55; 56; 59; 60; 63; ], [(mk_real_int64 162000L); (mk_real_int64 508L); (mk_real_int64 206375L); (mk_real_int64 357420L); (mk_real_int64 34000L); (mk_real_int64 167000L); (mk_real_int64 43084L); (mk_real_int64 333360L); (mk_real_int64 184L); (mk_real_int64 114L); (mk_real_int64 129L); (mk_real_int64 19640L); (mk_real_int64 182L); (mk_real_int64 180000L); (mk_real_int64 272L); (mk_real_int64 138L); (mk_real_int64 116000L); (mk_real_int64 45125L); (mk_real_int64 268L); (mk_real_int64 312L); (mk_real_int64 72000L); (mk_real_int64 245L); (mk_real_int64 33000L); (mk_real_int64 456L); (mk_real_int64 251261L); (mk_real_int64 171000L); (mk_real_int64 58000L); (mk_real_int64 319L); ]);
("y6_hi", [1; 6; 8; 10; 14; 16; 17; 35; 36; 37; 38; 42; 48; 57; 60; ], [(mk_real_int64 188L); (mk_real_int64 226L); (mk_real_int64 600L); (mk_real_int64 250L); (mk_real_int64 528L); (mk_real_int64 375L); (mk_real_int64 288L); (mk_real_int64 472L); (mk_real_int64 568L); (mk_real_int64 192L); (mk_real_int64 336L); (mk_real_int64 472L); (mk_real_int64 4L); (mk_real_int64 272L); (mk_real_int64 494L); ]);
("ye_hi", [11; 12; 13; 20; 23; 25; 29; 32; 33; 56; ], [(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); ]);
("ye_lo", [8; 9; 10; 14; 16; 35; 36; 59; ], [(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); ]);
("yn_hi", [3; 4; 5; 6; 7; 9; 10; ], [(mk_real_int64 164L); (mk_real_int64 164L); (mk_real_int64 1164L); (mk_real_int64 500L); (mk_real_int64 52L); (mk_real_int64 1184L); (mk_real_int64 332L); ]);
("yn_lo", [0; 1; 2; 8; 11; 12; 13; ], [(mk_real_int64 64L); (mk_real_int64 222L); (mk_real_int64 904L); (mk_real_int64 232L); (mk_real_int64 668L); (mk_real_int64 232L); (mk_real_int64 232L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;