needs "nobranching_lp.hl";;
module Test_case = struct
let hypermap_string = "202328731904 17 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 3 9 2 10 3 10 2 1 3 10 1 11 3 11 1 0 3 11 0 7 4 11 7 8 12 3 7 6 8 3 12 8 9 3 12 9 10 3 10 11 12 ";;
let precision = 4;;
(***************)
(* Constraints *)
(***************)
let constraints = [
("azim_sum_neg", [1; 5; 9; 10; 12; ], [(mk_real_int64 4140L); (mk_real_int64 330L); (mk_real_int64 2339L); (mk_real_int64 2357L); (mk_real_int64 3543L); ]);
("azim_sum", [8; 11; ], [(mk_real_int64 1199L); (mk_real_int64 1242L); ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 9070L); (mk_real_int64 8854L); (mk_real_int64 9070L); (mk_real_int64 9070L); (mk_real_int64 9070L); (mk_real_int64 9399L); (mk_real_int64 9070L); (mk_real_int64 9070L); (mk_real_int64 9113L); (mk_real_int64 9070L); (mk_real_int64 9088L); (mk_real_int64 9070L); (mk_real_int64 9070L); ]);
("sol_sum3", [1; 12; ], [(mk_real_int64 1887L); (mk_real_int64 3334L); ]);
("sol_sum3_neg", [2; 4; 6; 8; ], [(mk_real_int64 4100L); (mk_real_int64 1861L); (mk_real_int64 1861L); (mk_real_int64 494L); ]);
("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; ], [(mk_real_int64 8854L); (mk_real_int64 8854L); (mk_real_int64 4970L); (mk_real_int64 7104L); (mk_real_int64 7208L); (mk_real_int64 6731L); (mk_real_int64 7208L); (mk_real_int64 6731L); (mk_real_int64 7984L); (mk_real_int64 8775L); (mk_real_int64 8775L); (mk_real_int64 6731L); (mk_real_int64 9070L); (mk_real_int64 6731L); ]);
("tau_sum4_neg", [0; 1; ], [(mk_real_int64 9070L); (mk_real_int64 9070L); ]);
("tau_sum6_neg", [0; ], [(mk_real_int64 9070L); ]);
("ln_def_neg", [5; 8; 10; ], [(mk_real_int64 364L); (mk_real_int64 48L); (mk_real_int64 20L); ]);
("ln_def", [1; ], [(mk_real_int64 238L); ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 56987L); (mk_real_int64 55633L); (mk_real_int64 56987L); (mk_real_int64 56987L); (mk_real_int64 56987L); (mk_real_int64 59059L); (mk_real_int64 56987L); (mk_real_int64 56987L); (mk_real_int64 57259L); (mk_real_int64 56987L); (mk_real_int64 57100L); (mk_real_int64 56987L); (mk_real_int64 56987L); ]);
("edge_sym", [15; 20; 26; 32; 41; 42; 43; 52; ], [(mk_real_int64 2084L); (mk_real_int64 437L); (mk_real_int64 437L); (mk_real_int64 621L); (mk_real_int64 309L); (mk_real_int64 309L); (mk_real_int64 309L); (mk_real_int64 309L); ]);
("edge_sym_neg", [17; 18; 21; 24; 27; 30; 33; 36; 39; 49; ], [(mk_real_int64 782L); (mk_real_int64 782L); (mk_real_int64 805L); (mk_real_int64 437L); (mk_real_int64 1336L); (mk_real_int64 437L); (mk_real_int64 985L); (mk_real_int64 13L); (mk_real_int64 309L); (mk_real_int64 309L); ]);
("y1_def", [14; 18; 21; 22; 24; 28; 29; 34; 47; 50; 55; ], [(mk_real_int64 1127L); (mk_real_int64 813L); (mk_real_int64 119L); (mk_real_int64 236L); (mk_real_int64 707L); (mk_real_int64 236L); (mk_real_int64 707L); (mk_real_int64 188L); (mk_real_int64 420L); (mk_real_int64 105L); (mk_real_int64 420L); ]);
("y1_def_neg", [13; 15; 16; 20; 26; 27; 32; 33; 35; 36; 37; 38; 39; 40; 42; 44; 45; 51; 52; ], [(mk_real_int64 285L); (mk_real_int64 385L); (mk_real_int64 619L); (mk_real_int64 890L); (mk_real_int64 1014L); (mk_real_int64 257L); (mk_real_int64 918L); (mk_real_int64 105L); (mk_real_int64 184L); (mk_real_int64 355L); (mk_real_int64 244L); (mk_real_int64 177L); (mk_real_int64 103L); (mk_real_int64 242L); (mk_real_int64 242L); (mk_real_int64 177L); (mk_real_int64 486L); (mk_real_int64 1060L); (mk_real_int64 503L); ]);
("y2_def_neg", [13; 14; 15; 16; 21; 22; 27; 28; 35; 37; 45; 47; 50; 51; 52; 55; ], [(mk_real_int64 285L); (mk_real_int64 343L); (mk_real_int64 385L); (mk_real_int64 619L); (mk_real_int64 124L); (mk_real_int64 72L); (mk_real_int64 257L); (mk_real_int64 72L); (mk_real_int64 173L); (mk_real_int64 244L); (mk_real_int64 202L); (mk_real_int64 365L); (mk_real_int64 32L); (mk_real_int64 1060L); (mk_real_int64 503L); (mk_real_int64 365L); ]);
("y2_def", [18; 20; 24; 26; 29; 32; 33; 34; 36; 38; 39; 40; 42; 44; ], [(mk_real_int64 2010L); (mk_real_int64 540L); (mk_real_int64 707L); (mk_real_int64 615L); (mk_real_int64 707L); (mk_real_int64 557L); (mk_real_int64 64L); (mk_real_int64 188L); (mk_real_int64 215L); (mk_real_int64 107L); (mk_real_int64 62L); (mk_real_int64 309L); (mk_real_int64 309L); (mk_real_int64 107L); ]);
("y3_def_neg", [13; 14; 15; 16; 21; 22; 27; 28; 35; 37; 45; 47; 50; 51; 52; 55; ], [(mk_real_int64 285L); (mk_real_int64 343L); (mk_real_int64 385L); (mk_real_int64 619L); (mk_real_int64 124L); (mk_real_int64 72L); (mk_real_int64 257L); (mk_real_int64 72L); (mk_real_int64 173L); (mk_real_int64 244L); (mk_real_int64 202L); (mk_real_int64 365L); (mk_real_int64 32L); (mk_real_int64 1060L); (mk_real_int64 503L); (mk_real_int64 365L); ]);
("y3_def", [18; 20; 24; 26; 29; 32; 33; 34; 36; 38; 39; 40; 42; 44; ], [(mk_real_int64 2010L); (mk_real_int64 540L); (mk_real_int64 707L); (mk_real_int64 615L); (mk_real_int64 707L); (mk_real_int64 557L); (mk_real_int64 64L); (mk_real_int64 188L); (mk_real_int64 215L); (mk_real_int64 107L); (mk_real_int64 62L); (mk_real_int64 309L); (mk_real_int64 309L); (mk_real_int64 107L); ]);
("y4_def", [3; 4; 11; 12; 18; 33; 36; 38; 41; ], [(mk_real_int64 610L); (mk_real_int64 1742L); (mk_real_int64 242L); (mk_real_int64 365L); (mk_real_int64 365L); (mk_real_int64 805L); (mk_real_int64 162L); (mk_real_int64 1078L); (mk_real_int64 805L); ]);
("y4_def_neg", [5; 6; 8; 10; 14; 16; 17; 19; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 37; ], [(mk_real_int64 267L); (mk_real_int64 430L); (mk_real_int64 1654L); (mk_real_int64 1016L); (mk_real_int64 365L); (mk_real_int64 1158L); (mk_real_int64 179L); (mk_real_int64 365L); (mk_real_int64 1049L); (mk_real_int64 120L); (mk_real_int64 97L); (mk_real_int64 131L); (mk_real_int64 406L); (mk_real_int64 170L); (mk_real_int64 202L); (mk_real_int64 117L); (mk_real_int64 202L); (mk_real_int64 417L); (mk_real_int64 736L); ]);
("y5_def_neg", [14; 15; 16; 18; 21; 22; 24; 27; 28; 29; 34; 35; 37; 45; 47; 50; 51; 55; ], [(mk_real_int64 343L); (mk_real_int64 267L); (mk_real_int64 430L); (mk_real_int64 352L); (mk_real_int64 103L); (mk_real_int64 72L); (mk_real_int64 365L); (mk_real_int64 179L); (mk_real_int64 72L); (mk_real_int64 365L); (mk_real_int64 97L); (mk_real_int64 119L); (mk_real_int64 170L); (mk_real_int64 107L); (mk_real_int64 309L); (mk_real_int64 32L); (mk_real_int64 736L); (mk_real_int64 309L); ]);
("y5_def", [13; 20; 26; 32; 33; 36; 38; 39; 40; 42; 44; 52; ], [(mk_real_int64 610L); (mk_real_int64 540L); (mk_real_int64 615L); (mk_real_int64 557L); (mk_real_int64 64L); (mk_real_int64 215L); (mk_real_int64 107L); (mk_real_int64 62L); (mk_real_int64 309L); (mk_real_int64 309L); (mk_real_int64 107L); (mk_real_int64 1078L); ]);
("y6_def_neg", [14; 15; 16; 18; 21; 22; 24; 27; 28; 29; 34; 35; 47; 50; 55; ], [(mk_real_int64 343L); (mk_real_int64 267L); (mk_real_int64 430L); (mk_real_int64 352L); (mk_real_int64 103L); (mk_real_int64 72L); (mk_real_int64 365L); (mk_real_int64 179L); (mk_real_int64 72L); (mk_real_int64 365L); (mk_real_int64 97L); (mk_real_int64 119L); (mk_real_int64 309L); (mk_real_int64 32L); (mk_real_int64 309L); ]);
("y6_def", [13; 20; 26; 32; 33; 36; 37; 38; 39; 40; 42; 44; 45; 51; 52; 53; ], [(mk_real_int64 610L); (mk_real_int64 540L); (mk_real_int64 615L); (mk_real_int64 557L); (mk_real_int64 64L); (mk_real_int64 215L); (mk_real_int64 23L); (mk_real_int64 107L); (mk_real_int64 62L); (mk_real_int64 309L); (mk_real_int64 309L); (mk_real_int64 107L); (mk_real_int64 984L); (mk_real_int64 97L); (mk_real_int64 1078L); (mk_real_int64 180L); ]);
("RHA", [0; 6; 10; 11; 13; 15; 16; 17; 18; 19; 20; 21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 36; 37; 38; 39; 42; 46; 47; 48; 49; 52; 53; 54; 55; ], [(mk_real_int64 330L); (mk_real_int64 330L); (mk_real_int64 216L); (mk_real_int64 216L); (mk_real_int64 216L); (mk_real_int64 216L); (mk_real_int64 4100L); (mk_real_int64 4100L); (mk_real_int64 2901L); (mk_real_int64 2009L); (mk_real_int64 482L); (mk_real_int64 1966L); (mk_real_int64 1861L); (mk_real_int64 1861L); (mk_real_int64 1861L); (mk_real_int64 2339L); (mk_real_int64 649L); (mk_real_int64 2357L); (mk_real_int64 1879L); (mk_real_int64 1861L); (mk_real_int64 1861L); (mk_real_int64 2357L); (mk_real_int64 808L); (mk_real_int64 2163L); (mk_real_int64 1086L); (mk_real_int64 1074L); (mk_real_int64 824L); (mk_real_int64 295L); (mk_real_int64 330L); (mk_real_int64 123L); (mk_real_int64 43L); (mk_real_int64 338L); (mk_real_int64 2339L); (mk_real_int64 2382L); (mk_real_int64 2339L); (mk_real_int64 18L); (mk_real_int64 2357L); (mk_real_int64 2339L); (mk_real_int64 2339L); ]);
("tau4", [0; ], [(mk_real_int64 9070L); ]);
("tau6", [0; ], [(mk_real_int64 9070L); ]);
("ineq105", [10; 12; ], [(mk_real_int64 769L); (mk_real_int64 769L); ]);
("ineq106", [8; 10; 16; 22; 23; 25; 26; 28; 29; 30; 31; ], [(mk_real_int64 1242L); (mk_real_int64 1484L); (mk_real_int64 1690L); (mk_real_int64 1531L); (mk_real_int64 176L); (mk_real_int64 12L); (mk_real_int64 592L); (mk_real_int64 295L); (mk_real_int64 171L); (mk_real_int64 295L); (mk_real_int64 295L); ]);
("ineq107", [4; 11; 12; 18; 33; 36; 41; ], [(mk_real_int64 2253L); (mk_real_int64 373L); (mk_real_int64 472L); (mk_real_int64 472L); (mk_real_int64 1204L); (mk_real_int64 209L); (mk_real_int64 1204L); ]);
("ineq109", [3; 38; ], [(mk_real_int64 1887L); (mk_real_int64 3334L); ]);
("ineq110", [8; 14; 19; 24; ], [(mk_real_int64 4100L); (mk_real_int64 1861L); (mk_real_int64 1861L); (mk_real_int64 494L); ]);
("ineq111", [5; 6; 11; 17; 25; 27; 31; 33; 37; 41; ], [(mk_real_int64 2138L); (mk_real_int64 3439L); (mk_real_int64 374L); (mk_real_int64 1428L); (mk_real_int64 984L); (mk_real_int64 1358L); (mk_real_int64 1717L); (mk_real_int64 1010L); (mk_real_int64 5891L); (mk_real_int64 1010L); ]);
("ineq112", [2; ], [(mk_real_int64 8166L); ]);
("ineq113", [12; 18; ], [(mk_real_int64 7208L); (mk_real_int64 7208L); ]);
("ineq114", [0; 1; 3; 5; 9; 10; 16; 22; 23; 24; 25; 27; 29; 32; 34; 37; 38; 40; ], [(mk_real_int64 344L); (mk_real_int64 344L); (mk_real_int64 3358L); (mk_real_int64 3358L); (mk_real_int64 5125L); (mk_real_int64 770L); (mk_real_int64 1036L); (mk_real_int64 1291L); (mk_real_int64 5440L); (mk_real_int64 2930L); (mk_real_int64 927L); (mk_real_int64 2455L); (mk_real_int64 197L); (mk_real_int64 2455L); (mk_real_int64 5720L); (mk_real_int64 1589L); (mk_real_int64 1589L); (mk_real_int64 5720L); ]);
("ineq119", [7; ], [(mk_real_int64 7821L); ]);
("ineq120", [4; 6; ], [(mk_real_int64 624L); (mk_real_int64 624L); ]);
];;
(***************)
(* Variables *)
(***************)
let target_variables = [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 44802L); (mk_real_int64 39718L); (mk_real_int64 44802L); (mk_real_int64 44802L); (mk_real_int64 44802L); (mk_real_int64 50514L); (mk_real_int64 44802L); (mk_real_int64 44802L); (mk_real_int64 47714L); (mk_real_int64 44802L); (mk_real_int64 46600L); (mk_real_int64 44802L); (mk_real_int64 44802L); ]);
];;
(*************************)
let variable_bounds = [
("azim_hi", [4; 19; 20; 22; 28; 32; 33; 34; 35; 39; 43; ], [(mk_real_int64 41400000L); (mk_real_int64 2500L); (mk_real_int64 200L); (mk_real_int64 1280L); (mk_real_int64 1280L); (mk_real_int64 1660L); (mk_real_int64 4400L); (mk_real_int64 1800L); (mk_real_int64 3020L); (mk_real_int64 3220L); (mk_real_int64 870L); ]);
("azim_lo", [10; 11; 12; 13; 15; 26; 37; 40; 42; 46; 48; 51; 52; 54; ], [(mk_real_int64 6560L); (mk_real_int64 6560L); (mk_real_int64 1620L); (mk_real_int64 8920L); (mk_real_int64 8920L); (mk_real_int64 4640L); (mk_real_int64 1700L); (mk_real_int64 4448L); (mk_real_int64 4448L); (mk_real_int64 1700L); (mk_real_int64 2800L); (mk_real_int64 2860L); (mk_real_int64 2860L); (mk_real_int64 2800L); ]);
("rhazim_hi", [0; 4; 6; 36; 38; ], [(mk_real_int64 10000L); (mk_real_int64 2160000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rhazim_lo", [22; 23; 24; 28; 29; 30; 39; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("rho_lo", [1; 5; 8; ], [(mk_real_int64 15472L); (mk_real_int64 32032L); (mk_real_int64 1984L); ]);
("rho_hi", [0; 2; 3; 4; 6; 7; 9; 10; 11; 12; ], [(mk_real_int64 16240L); (mk_real_int64 16240L); (mk_real_int64 16240L); (mk_real_int64 16240L); (mk_real_int64 16240L); (mk_real_int64 16240L); (mk_real_int64 16240L); (mk_real_int64 17216L); (mk_real_int64 16240L); (mk_real_int64 16240L); ]);
("tau_lo", [4; 5; 7; 10; 11; 12; 13; 14; 15; 16; ], [(mk_real_int64 15310000L); (mk_real_int64 8350000L); (mk_real_int64 42670000L); (mk_real_int64 31430000L); (mk_real_int64 47650000L); (mk_real_int64 10000L); (mk_real_int64 46030000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("y1_lo", [14; 16; 18; 20; 27; 32; 33; 34; 35; 36; 37; 40; 42; 45; 50; 51; 52; ], [(mk_real_int64 5000L); (mk_real_int64 200L); (mk_real_int64 2000L); (mk_real_int64 4000L); (mk_real_int64 400L); (mk_real_int64 6000L); (mk_real_int64 6000L); (mk_real_int64 2800L); (mk_real_int64 3200L); (mk_real_int64 2000L); (mk_real_int64 4400L); (mk_real_int64 2350L); (mk_real_int64 2350L); (mk_real_int64 600L); (mk_real_int64 5000L); (mk_real_int64 3800L); (mk_real_int64 4340L); ]);
("y1_hi", [13; 15; 21; 24; 29; 39; 47; 55; ], [(mk_real_int64 630L); (mk_real_int64 1600L); (mk_real_int64 1800L); (mk_real_int64 1800L); (mk_real_int64 1800L); (mk_real_int64 4000L); (mk_real_int64 2000L); (mk_real_int64 2000L); ]);
("y2_hi", [13; 14; 15; 20; 22; 24; 28; 29; 32; 33; 35; 36; 38; 39; 40; 42; 44; 45; 47; 50; 55; ], [(mk_real_int64 630L); (mk_real_int64 5440L); (mk_real_int64 1600L); (mk_real_int64 276L); (mk_real_int64 2560L); (mk_real_int64 1800L); (mk_real_int64 2560L); (mk_real_int64 1800L); (mk_real_int64 1309L); (mk_real_int64 464L); (mk_real_int64 2468L); (mk_real_int64 4288L); (mk_real_int64 3505L); (mk_real_int64 2269L); (mk_real_int64 1380L); (mk_real_int64 1380L); (mk_real_int64 3505L); (mk_real_int64 2905L); (mk_real_int64 1920L); (mk_real_int64 2320L); (mk_real_int64 1920L); ]);
("y2_lo", [16; 18; 21; 26; 27; 34; 37; 51; 52; ], [(mk_real_int64 200L); (mk_real_int64 362L); (mk_real_int64 160L); (mk_real_int64 90L); (mk_real_int64 400L); (mk_real_int64 2800L); (mk_real_int64 4400L); (mk_real_int64 3800L); (mk_real_int64 4340L); ]);
("y3_hi", [13; 14; 15; 20; 22; 24; 28; 29; 32; 33; 35; 36; 38; 39; 40; 42; 44; 45; 47; 50; 55; ], [(mk_real_int64 630L); (mk_real_int64 5440L); (mk_real_int64 1600L); (mk_real_int64 276L); (mk_real_int64 2560L); (mk_real_int64 1800L); (mk_real_int64 2560L); (mk_real_int64 1800L); (mk_real_int64 1309L); (mk_real_int64 464L); (mk_real_int64 2468L); (mk_real_int64 4288L); (mk_real_int64 3505L); (mk_real_int64 2269L); (mk_real_int64 1380L); (mk_real_int64 1380L); (mk_real_int64 3505L); (mk_real_int64 2905L); (mk_real_int64 1920L); (mk_real_int64 2320L); (mk_real_int64 1920L); ]);
("y3_lo", [16; 18; 21; 26; 27; 34; 37; 51; 52; ], [(mk_real_int64 200L); (mk_real_int64 362L); (mk_real_int64 160L); (mk_real_int64 90L); (mk_real_int64 400L); (mk_real_int64 2800L); (mk_real_int64 4400L); (mk_real_int64 3800L); (mk_real_int64 4340L); ]);
("y4_hi", [6; 14; 16; 17; 19; 22; 24; 26; 27; 31; ], [(mk_real_int64 1250L); (mk_real_int64 2440L); (mk_real_int64 3500L); (mk_real_int64 5000L); (mk_real_int64 2440L); (mk_real_int64 2650L); (mk_real_int64 1760L); (mk_real_int64 4800L); (mk_real_int64 2500L); (mk_real_int64 3000L); ]);
("y4_lo", [3; 4; 5; 8; 10; 11; 12; 18; 23; 25; 28; 29; 30; 33; 36; 37; 38; 41; ], [(mk_real_int64 1216L); (mk_real_int64 4310L); (mk_real_int64 2500L); (mk_real_int64 3700L); (mk_real_int64 5400L); (mk_real_int64 4210L); (mk_real_int64 1440L); (mk_real_int64 1440L); (mk_real_int64 5600L); (mk_real_int64 2200L); (mk_real_int64 750L); (mk_real_int64 1350L); (mk_real_int64 750L); (mk_real_int64 5580L); (mk_real_int64 4430L); (mk_real_int64 3750L); (mk_real_int64 4512L); (mk_real_int64 5580L); ]);
("y5_hi", [14; 16; 18; 20; 22; 24; 27; 28; 29; 32; 33; 34; 35; 36; 37; 38; 39; 40; 42; 44; 50; ], [(mk_real_int64 5440L); (mk_real_int64 1250L); (mk_real_int64 3638L); (mk_real_int64 276L); (mk_real_int64 2560L); (mk_real_int64 2440L); (mk_real_int64 5000L); (mk_real_int64 2560L); (mk_real_int64 2440L); (mk_real_int64 1309L); (mk_real_int64 464L); (mk_real_int64 1760L); (mk_real_int64 3668L); (mk_real_int64 4288L); (mk_real_int64 2500L); (mk_real_int64 3505L); (mk_real_int64 2269L); (mk_real_int64 1380L); (mk_real_int64 1380L); (mk_real_int64 3505L); (mk_real_int64 2320L); ]);
("y5_lo", [13; 15; 21; 26; 45; 47; 51; 52; 55; ], [(mk_real_int64 1216L); (mk_real_int64 2500L); (mk_real_int64 4460L); (mk_real_int64 90L); (mk_real_int64 2745L); (mk_real_int64 2580L); (mk_real_int64 3750L); (mk_real_int64 4512L); (mk_real_int64 2580L); ]);
("y6_hi", [14; 16; 18; 20; 22; 24; 27; 28; 29; 32; 33; 34; 35; 36; 38; 39; 40; 42; 44; 50; ], [(mk_real_int64 5440L); (mk_real_int64 1250L); (mk_real_int64 3638L); (mk_real_int64 276L); (mk_real_int64 2560L); (mk_real_int64 2440L); (mk_real_int64 5000L); (mk_real_int64 2560L); (mk_real_int64 2440L); (mk_real_int64 1309L); (mk_real_int64 464L); (mk_real_int64 1760L); (mk_real_int64 3668L); (mk_real_int64 4288L); (mk_real_int64 3505L); (mk_real_int64 2269L); (mk_real_int64 1380L); (mk_real_int64 1380L); (mk_real_int64 3505L); (mk_real_int64 2320L); ]);
("y6_lo", [13; 15; 21; 26; 37; 45; 47; 51; 52; 53; 55; ], [(mk_real_int64 1216L); (mk_real_int64 2500L); (mk_real_int64 4460L); (mk_real_int64 90L); (mk_real_int64 1927500L); (mk_real_int64 10912745L); (mk_real_int64 2580L); (mk_real_int64 8333750L); (mk_real_int64 4512L); (mk_real_int64 1800000L); (mk_real_int64 2580L); ]);
("ye_lo", [21; 25; 26; 27; 34; 35; 38; 39; 46; ], [(mk_real_int64 3150000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("ye_hi", [15; 21; 50; 51; 52; ], [(mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
("yn_hi", [5; 8; 10; ], [(mk_real_int64 10084L); (mk_real_int64 3088L); (mk_real_int64 4620L); ]);
("yn_lo", [1; 2; 3; 6; 7; ], [(mk_real_int64 6740L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); (mk_real_int64 10000L); ]);
];;
let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;;