needs "nobranching_lp.hl";; module Test_case = struct let hypermap_string = "147671934133 19 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 6 3 4 5 6 3 11 6 8 3 12 11 8 3 8 7 9 3 12 8 9 3 9 10 12 ";; let precision = 3;; (***************) (* Constraints *) (***************) let constraints = [ ("azim_sum_neg", [0; 4; 5; 8; 10; 11; 12; ], [(mk_real_int64 443L); (mk_real_int64 112L); (mk_real_int64 255L); (mk_real_int64 248L); (mk_real_int64 285L); (mk_real_int64 225L); (mk_real_int64 167L); ]); ("azim_sum", [7; 9; ], [(mk_real_int64 65L); (mk_real_int64 187L); ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 801L); (mk_real_int64 563L); (mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 1010L); (mk_real_int64 959L); (mk_real_int64 901L); ]); ("sol_sum3", [0; 1; 2; 5; 15; ], [(mk_real_int64 112L); (mk_real_int64 255L); (mk_real_int64 27L); (mk_real_int64 248L); (mk_real_int64 148L); ]); ("sol_sum3_neg", [3; 8; 11; 12; ], [(mk_real_int64 181L); (mk_real_int64 354L); (mk_real_int64 35L); (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 801L); (mk_real_int64 563L); (mk_real_int64 563L); (mk_real_int64 563L); (mk_real_int64 968L); (mk_real_int64 979L); (mk_real_int64 716L); (mk_real_int64 959L); (mk_real_int64 625L); (mk_real_int64 689L); (mk_real_int64 563L); (mk_real_int64 979L); (mk_real_int64 901L); (mk_real_int64 731L); (mk_real_int64 725L); (mk_real_int64 872L); ]); ("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 979L); (mk_real_int64 979L); (mk_real_int64 734L); ]); ("ln_def_neg", [0; 1; 2; 3; 6; 7; 8; 9; 10; 11; ], [(mk_real_int64 79L); (mk_real_int64 79L); (mk_real_int64 79L); (mk_real_int64 79L); (mk_real_int64 79L); (mk_real_int64 109L); (mk_real_int64 79L); (mk_real_int64 79L); (mk_real_int64 114L); (mk_real_int64 58L); ]); ("ln_def", [4; 5; 12; ], [(mk_real_int64 117L); (mk_real_int64 380L); (mk_real_int64 7L); ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 6151L); (mk_real_int64 6151L); (mk_real_int64 6151L); (mk_real_int64 6151L); (mk_real_int64 5033L); (mk_real_int64 3535L); (mk_real_int64 6151L); (mk_real_int64 6151L); (mk_real_int64 6151L); (mk_real_int64 6151L); (mk_real_int64 6346L); (mk_real_int64 6027L); (mk_real_int64 5659L); ]); ("edge_sym_neg", [2; 5; 9; 15; 22; 28; 33; 38; 40; 47; 50; 53; 56; ], [(mk_real_int64 218L); (mk_real_int64 187L); (mk_real_int64 53L); (mk_real_int64 31L); (mk_real_int64 12L); (mk_real_int64 4L); (mk_real_int64 57L); (mk_real_int64 73L); (mk_real_int64 267L); (mk_real_int64 70L); (mk_real_int64 48L); (mk_real_int64 5L); (mk_real_int64 75L); ]); ("edge_sym", [6; 8; 12; 17; 24; 25; 27; 41; ], [(mk_real_int64 142L); (mk_real_int64 88L); (mk_real_int64 7L); (mk_real_int64 1L); (mk_real_int64 7L); (mk_real_int64 5L); (mk_real_int64 12L); (mk_real_int64 106L); ]); ("y1_def", [5; 10; 13; 15; 36; 38; 43; 48; ], [(mk_real_int64 60L); (mk_real_int64 114L); (mk_real_int64 218L); (mk_real_int64 55L); (mk_real_int64 87L); (mk_real_int64 70L); (mk_real_int64 128L); (mk_real_int64 118L); ]); ("y1_def_neg", [4; 6; 7; 8; 12; 14; 20; 21; 24; 25; 27; 28; 30; 31; 39; 41; 44; 47; 53; 54; 55; 56; 57; 58; 59; ], [(mk_real_int64 107L); (mk_real_int64 112L); (mk_real_int64 95L); (mk_real_int64 155L); (mk_real_int64 59L); (mk_real_int64 57L); (mk_real_int64 6L); (mk_real_int64 6L); (mk_real_int64 106L); (mk_real_int64 35L); (mk_real_int64 9L); (mk_real_int64 11L); (mk_real_int64 10L); (mk_real_int64 12L); (mk_real_int64 239L); (mk_real_int64 19L); (mk_real_int64 114L); (mk_real_int64 104L); (mk_real_int64 4L); (mk_real_int64 5L); (mk_real_int64 52L); (mk_real_int64 28L); (mk_real_int64 78L); (mk_real_int64 28L); (mk_real_int64 5L); ]); ("y2_def_neg", [5; 6; 7; 10; 13; 20; 24; 25; 30; 38; 43; 47; 53; 56; 57; 58; ], [(mk_real_int64 40L); (mk_real_int64 112L); (mk_real_int64 4L); (mk_real_int64 35L); (mk_real_int64 66L); (mk_real_int64 7L); (mk_real_int64 105L); (mk_real_int64 38L); (mk_real_int64 10L); (mk_real_int64 21L); (mk_real_int64 39L); (mk_real_int64 83L); (mk_real_int64 7L); (mk_real_int64 28L); (mk_real_int64 78L); (mk_real_int64 19L); ]); ("y2_def", [4; 8; 12; 14; 15; 21; 27; 28; 31; 36; 39; 41; 44; 48; 54; 55; 59; ], [(mk_real_int64 65L); (mk_real_int64 64L); (mk_real_int64 29L); (mk_real_int64 35L); (mk_real_int64 77L); (mk_real_int64 4L); (mk_real_int64 6L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 150L); (mk_real_int64 80L); (mk_real_int64 12L); (mk_real_int64 69L); (mk_real_int64 35L); (mk_real_int64 3L); (mk_real_int64 31L); (mk_real_int64 3L); ]); ("y3_def_neg", [5; 6; 7; 10; 13; 20; 24; 25; 30; 38; 43; 47; 53; 56; 57; 58; ], [(mk_real_int64 40L); (mk_real_int64 112L); (mk_real_int64 4L); (mk_real_int64 35L); (mk_real_int64 66L); (mk_real_int64 7L); (mk_real_int64 105L); (mk_real_int64 38L); (mk_real_int64 10L); (mk_real_int64 21L); (mk_real_int64 39L); (mk_real_int64 83L); (mk_real_int64 7L); (mk_real_int64 28L); (mk_real_int64 78L); (mk_real_int64 19L); ]); ("y3_def", [4; 8; 12; 14; 15; 21; 27; 28; 31; 36; 39; 41; 44; 48; 54; 55; 59; ], [(mk_real_int64 65L); (mk_real_int64 64L); (mk_real_int64 29L); (mk_real_int64 35L); (mk_real_int64 77L); (mk_real_int64 4L); (mk_real_int64 6L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 150L); (mk_real_int64 80L); (mk_real_int64 12L); (mk_real_int64 69L); (mk_real_int64 35L); (mk_real_int64 3L); (mk_real_int64 31L); (mk_real_int64 3L); ]); ("y4_def", [1; 3; 6; 9; 17; 26; 31; 36; 46; ], [(mk_real_int64 155L); (mk_real_int64 18L); (mk_real_int64 176L); (mk_real_int64 337L); (mk_real_int64 85L); (mk_real_int64 109L); (mk_real_int64 197L); (mk_real_int64 70L); (mk_real_int64 42L); ]); ("y4_def_neg", [0; 2; 4; 8; 10; 11; 12; 13; 16; 19; 20; 22; 23; 24; 27; 29; 32; 35; 42; 43; 44; 45; 47; ], [(mk_real_int64 122L); (mk_real_int64 78L); (mk_real_int64 169L); (mk_real_int64 54L); (mk_real_int64 65L); (mk_real_int64 51L); (mk_real_int64 4L); (mk_real_int64 7L); (mk_real_int64 74L); (mk_real_int64 10L); (mk_real_int64 12L); (mk_real_int64 7L); (mk_real_int64 14L); (mk_real_int64 120L); (mk_real_int64 278L); (mk_real_int64 22L); (mk_real_int64 131L); (mk_real_int64 106L); (mk_real_int64 6L); (mk_real_int64 59L); (mk_real_int64 20L); (mk_real_int64 54L); (mk_real_int64 6L); ]); ("y5_def", [4; 5; 7; 8; 12; 14; 21; 25; 27; 28; 31; 39; 41; 44; 54; 55; 58; 59; ], [(mk_real_int64 65L); (mk_real_int64 13L); (mk_real_int64 117L); (mk_real_int64 70L); (mk_real_int64 42L); (mk_real_int64 35L); (mk_real_int64 4L); (mk_real_int64 79L); (mk_real_int64 6L); (mk_real_int64 7L); (mk_real_int64 7L); (mk_real_int64 95L); (mk_real_int64 12L); (mk_real_int64 69L); (mk_real_int64 3L); (mk_real_int64 31L); (mk_real_int64 51L); (mk_real_int64 3L); ]); ("y5_def_neg", [6; 10; 13; 15; 20; 24; 30; 34; 36; 38; 43; 47; 48; 53; 56; 57; ], [(mk_real_int64 78L); (mk_real_int64 35L); (mk_real_int64 66L); (mk_real_int64 27L); (mk_real_int64 5L); (mk_real_int64 73L); (mk_real_int64 7L); (mk_real_int64 57L); (mk_real_int64 52L); (mk_real_int64 21L); (mk_real_int64 39L); (mk_real_int64 70L); (mk_real_int64 48L); (mk_real_int64 5L); (mk_real_int64 20L); (mk_real_int64 54L); ]); ("y6_def", [4; 5; 7; 8; 12; 13; 14; 21; 25; 27; 28; 29; 31; 39; 41; 42; 44; 46; 54; 55; 58; 59; ], [(mk_real_int64 65L); (mk_real_int64 13L); (mk_real_int64 117L); (mk_real_int64 70L); (mk_real_int64 42L); (mk_real_int64 10L); (mk_real_int64 35L); (mk_real_int64 4L); (mk_real_int64 79L); (mk_real_int64 6L); (mk_real_int64 7L); (mk_real_int64 9L); (mk_real_int64 7L); (mk_real_int64 95L); (mk_real_int64 12L); (mk_real_int64 222L); (mk_real_int64 69L); (mk_real_int64 70L); (mk_real_int64 36L); (mk_real_int64 31L); (mk_real_int64 51L); (mk_real_int64 88L); ]); ("y6_def_neg", [6; 10; 15; 20; 24; 30; 36; 38; 43; 47; 53; 56; 57; ], [(mk_real_int64 78L); (mk_real_int64 35L); (mk_real_int64 27L); (mk_real_int64 5L); (mk_real_int64 73L); (mk_real_int64 7L); (mk_real_int64 52L); (mk_real_int64 21L); (mk_real_int64 39L); (mk_real_int64 70L); (mk_real_int64 5L); (mk_real_int64 20L); (mk_real_int64 41L); ]); ("y8_def_neg", [11; ], [(mk_real_int64 57L); ]); ("RHA", [5; 7; 8; 11; 12; 14; 15; 20; 22; 25; 26; 27; 28; 30; 32; 33; 34; 35; 36; 37; 38; 40; 41; 42; 44; 49; 50; 51; 52; 53; 54; 55; 56; 57; 58; 59; ], [(mk_real_int64 178L); (mk_real_int64 145L); (mk_real_int64 188L); (mk_real_int64 416L); (mk_real_int64 325L); (mk_real_int64 322L); (mk_real_int64 393L); (mk_real_int64 11L); (mk_real_int64 11L); (mk_real_int64 31L); (mk_real_int64 294L); (mk_real_int64 248L); (mk_real_int64 225L); (mk_real_int64 20L); (mk_real_int64 225L); (mk_real_int64 245L); (mk_real_int64 245L); (mk_real_int64 167L); (mk_real_int64 289L); (mk_real_int64 354L); (mk_real_int64 176L); (mk_real_int64 112L); (mk_real_int64 258L); (mk_real_int64 239L); (mk_real_int64 226L); (mk_real_int64 78L); (mk_real_int64 78L); (mk_real_int64 248L); (mk_real_int64 248L); (mk_real_int64 279L); (mk_real_int64 167L); (mk_real_int64 168L); (mk_real_int64 285L); (mk_real_int64 138L); (mk_real_int64 78L); (mk_real_int64 19L); ]); ("yy10", [2; 14; ], [(mk_real_int64 218L); (mk_real_int64 345L); ]); ("tau4", [1; ], [(mk_real_int64 184L); ]); ("ineq106", [0; 3; 4; 8; 10; 11; 13; 19; 20; 23; 24; 27; 29; 32; 42; 43; 46; 47; ], [(mk_real_int64 178L); (mk_real_int64 94L); (mk_real_int64 228L); (mk_real_int64 91L); (mk_real_int64 95L); (mk_real_int64 23L); (mk_real_int64 11L); (mk_real_int64 15L); (mk_real_int64 18L); (mk_real_int64 20L); (mk_real_int64 65L); (mk_real_int64 290L); (mk_real_int64 32L); (mk_real_int64 191L); (mk_real_int64 9L); (mk_real_int64 86L); (mk_real_int64 9L); (mk_real_int64 9L); ]); ("ineq107", [1; 6; 9; 12; 17; 26; 31; 36; 41; ], [(mk_real_int64 153L); (mk_real_int64 228L); (mk_real_int64 436L); (mk_real_int64 1L); (mk_real_int64 6L); (mk_real_int64 141L); (mk_real_int64 255L); (mk_real_int64 127L); (mk_real_int64 6L); ]); ("ineq108", [16; 27; 35; ], [(mk_real_int64 1L); (mk_real_int64 65L); (mk_real_int64 34L); ]); ("ineq109", [1; 3; 8; 17; 46; ], [(mk_real_int64 112L); (mk_real_int64 255L); (mk_real_int64 27L); (mk_real_int64 248L); (mk_real_int64 148L); ]); ("ineq110", [11; 24; 35; 36; ], [(mk_real_int64 181L); (mk_real_int64 354L); (mk_real_int64 35L); (mk_real_int64 144L); ]); ("ineq111", [2; 4; 12; 16; 22; 24; 27; 35; 41; 44; 45; ], [(mk_real_int64 622L); (mk_real_int64 103L); (mk_real_int64 38L); (mk_real_int64 585L); (mk_real_int64 57L); (mk_real_int64 49L); (mk_real_int64 276L); (mk_real_int64 608L); (mk_real_int64 36L); (mk_real_int64 158L); (mk_real_int64 434L); ]); ("ineq113", [12; 21; 26; 34; 36; ], [(mk_real_int64 914L); (mk_real_int64 870L); (mk_real_int64 576L); (mk_real_int64 136L); (mk_real_int64 707L); ]); ("ineq114", [0; 3; 8; 10; 11; 14; 16; 18; 19; 22; 29; 30; 32; 33; 35; 38; 39; 43; ], [(mk_real_int64 179L); (mk_real_int64 460L); (mk_real_int64 563L); (mk_real_int64 224L); (mk_real_int64 338L); (mk_real_int64 17L); (mk_real_int64 394L); (mk_real_int64 15L); (mk_real_int64 396L); (mk_real_int64 32L); (mk_real_int64 413L); (mk_real_int64 202L); (mk_real_int64 361L); (mk_real_int64 48L); (mk_real_int64 187L); (mk_real_int64 194L); (mk_real_int64 695L); (mk_real_int64 567L); ]); ("ineq119", [3; 6; ], [(mk_real_int64 979L); (mk_real_int64 548L); ]); ("ineq120", [7; 9; 10; ], [(mk_real_int64 246L); (mk_real_int64 324L); (mk_real_int64 410L); ]); ];; (***************) (* Variables *) (***************) let target_variables = [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 2575L); (mk_real_int64 2575L); (mk_real_int64 2575L); (mk_real_int64 2575L); (mk_real_int64 2225L); (mk_real_int64 1375L); (mk_real_int64 2575L); (mk_real_int64 32575L); (mk_real_int64 2575L); (mk_real_int64 2575L); (mk_real_int64 3450L); (mk_real_int64 3275L); (mk_real_int64 2675L); ]); ];; (*************************) let variable_bounds = [ ("azim_hi", [4; 12; 26; 30; 33; 34; 41; 45; 48; 49; 50; 51; ], [(mk_real_int64 54L); (mk_real_int64 438L); (mk_real_int64 390L); (mk_real_int64 32L); (mk_real_int64 592L); (mk_real_int64 780L); (mk_real_int64 538L); (mk_real_int64 48L); (mk_real_int64 887L); (mk_real_int64 1000L); (mk_real_int64 444L); (mk_real_int64 70L); ]); ("azim_lo", [3; 7; 14; 15; 18; 19; 20; 22; 24; 27; 29; 38; 42; 44; 46; 47; 55; 57; 58; ], [(mk_real_int64 487L); (mk_real_int64 40L); (mk_real_int64 776L); (mk_real_int64 412L); (mk_real_int64 244L); (mk_real_int64 532L); (mk_real_int64 726L); (mk_real_int64 358L); (mk_real_int64 356L); (mk_real_int64 104L); (mk_real_int64 330L); (mk_real_int64 184L); (mk_real_int64 548L); (mk_real_int64 14L); (mk_real_int64 224L); (mk_real_int64 938L); (mk_real_int64 58L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("rhazim_lo", [59; ], [(mk_real_int64 1000L); ]); ("rhazim_hi", [7; 14; 42; 44; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("rho_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 12; ], [(mk_real_int64 1036L); (mk_real_int64 1036L); (mk_real_int64 1036L); (mk_real_int64 1036L); (mk_real_int64 484L); (mk_real_int64 2892L); (mk_real_int64 1036L); (mk_real_int64 1036L); (mk_real_int64 1036L); (mk_real_int64 1036L); (mk_real_int64 840L); (mk_real_int64 2884L); ]); ("rho_lo", [11; ], [(mk_real_int64 644L); ]); ("tau_hi", [6; 18; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("tau_lo", [4; 5; 8; 18; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 305000L); (mk_real_int64 439000L); ]); ("y1_hi", [4; 6; 7; 12; 24; 25; 28; 38; 39; 48; 53; 55; 58; ], [(mk_real_int64 200L); (mk_real_int64 40L); (mk_real_int64 95L); (mk_real_int64 323L); (mk_real_int64 465L); (mk_real_int64 552L); (mk_real_int64 200L); (mk_real_int64 500L); (mk_real_int64 45L); (mk_real_int64 220L); (mk_real_int64 520L); (mk_real_int64 400L); (mk_real_int64 252L); ]); ("y1_lo", [5; 8; 15; 20; 21; 30; 36; 41; 43; 44; 47; 54; 56; 57; 59; ], [(mk_real_int64 412L); (mk_real_int64 340L); (mk_real_int64 20L); (mk_real_int64 340L); (mk_real_int64 600L); (mk_real_int64 260L); (mk_real_int64 300L); (mk_real_int64 200L); (mk_real_int64 500L); (mk_real_int64 600L); (mk_real_int64 130L); (mk_real_int64 400L); (mk_real_int64 440L); (mk_real_int64 120L); (mk_real_int64 400L); ]); ("y2_lo", [4; 5; 7; 13; 14; 25; 27; 28; 30; 36; 38; 39; 41; 47; 53; 56; 57; 58; ], [(mk_real_int64 208L); (mk_real_int64 168L); (mk_real_int64 289L); (mk_real_int64 272L); (mk_real_int64 420L); (mk_real_int64 360L); (mk_real_int64 540L); (mk_real_int64 448L); (mk_real_int64 260L); (mk_real_int64 640L); (mk_real_int64 432L); (mk_real_int64 460L); (mk_real_int64 352L); (mk_real_int64 764L); (mk_real_int64 392L); (mk_real_int64 440L); (mk_real_int64 120L); (mk_real_int64 72L); ]); ("y2_hi", [6; 8; 10; 12; 15; 20; 21; 24; 31; 43; 44; 48; 54; 55; 59; ], [(mk_real_int64 40L); (mk_real_int64 452L); (mk_real_int64 344L); (mk_real_int64 47L); (mk_real_int64 152L); (mk_real_int64 8L); (mk_real_int64 4L); (mk_real_int64 64L); (mk_real_int64 280L); (mk_real_int64 240L); (mk_real_int64 524L); (mk_real_int64 416L); (mk_real_int64 276L); (mk_real_int64 304L); (mk_real_int64 276L); ]); ("y3_lo", [4; 5; 7; 13; 14; 25; 27; 28; 30; 36; 38; 39; 41; 47; 53; 56; 57; 58; ], [(mk_real_int64 208L); (mk_real_int64 168L); (mk_real_int64 289L); (mk_real_int64 272L); (mk_real_int64 420L); (mk_real_int64 360L); (mk_real_int64 540L); (mk_real_int64 448L); (mk_real_int64 260L); (mk_real_int64 640L); (mk_real_int64 432L); (mk_real_int64 460L); (mk_real_int64 352L); (mk_real_int64 764L); (mk_real_int64 392L); (mk_real_int64 440L); (mk_real_int64 120L); (mk_real_int64 72L); ]); ("y3_hi", [6; 8; 10; 12; 15; 20; 21; 24; 31; 43; 44; 48; 54; 55; 59; ], [(mk_real_int64 40L); (mk_real_int64 452L); (mk_real_int64 344L); (mk_real_int64 47L); (mk_real_int64 152L); (mk_real_int64 8L); (mk_real_int64 4L); (mk_real_int64 64L); (mk_real_int64 280L); (mk_real_int64 240L); (mk_real_int64 524L); (mk_real_int64 416L); (mk_real_int64 276L); (mk_real_int64 304L); (mk_real_int64 276L); ]); ("y4_hi", [0; 2; 3; 6; 8; 9; 12; 16; 23; 27; 29; 31; 32; 41; 43; 44; ], [(mk_real_int64 70L); (mk_real_int64 250L); (mk_real_int64 230L); (mk_real_int64 244L); (mk_real_int64 413L); (mk_real_int64 28L); (mk_real_int64 23L); (mk_real_int64 190L); (mk_real_int64 300L); (mk_real_int64 325L); (mk_real_int64 80L); (mk_real_int64 115L); (mk_real_int64 165L); (mk_real_int64 138L); (mk_real_int64 90L); (mk_real_int64 250L); ]); ("y4_lo", [1; 4; 10; 11; 13; 17; 19; 20; 22; 24; 26; 35; 36; 42; 45; 46; 47; ], [(mk_real_int64 443L); (mk_real_int64 55L); (mk_real_int64 75L); (mk_real_int64 231L); (mk_real_int64 535L); (mk_real_int64 10L); (mk_real_int64 275L); (mk_real_int64 330L); (mk_real_int64 125L); (mk_real_int64 34L); (mk_real_int64 7L); (mk_real_int64 150L); (mk_real_int64 53L); (mk_real_int64 165L); (mk_real_int64 250L); (mk_real_int64 213L); (mk_real_int64 165L); ]); ("y5_lo", [4; 7; 12; 13; 14; 15; 27; 28; 30; 38; 39; 41; 47; 53; 57; ], [(mk_real_int64 208L); (mk_real_int64 164L); (mk_real_int64 128L); (mk_real_int64 272L); (mk_real_int64 420L); (mk_real_int64 104L); (mk_real_int64 540L); (mk_real_int64 448L); (mk_real_int64 125L); (mk_real_int64 432L); (mk_real_int64 280L); (mk_real_int64 352L); (mk_real_int64 484L); (mk_real_int64 412L); (mk_real_int64 250L); ]); ("y5_hi", [5; 6; 8; 10; 20; 21; 24; 25; 31; 36; 43; 44; 48; 54; 55; 56; 58; 59; ], [(mk_real_int64 32L); (mk_real_int64 250L); (mk_real_int64 117L); (mk_real_int64 344L); (mk_real_int64 98L); (mk_real_int64 4L); (mk_real_int64 239L); (mk_real_int64 440L); (mk_real_int64 280L); (mk_real_int64 151L); (mk_real_int64 240L); (mk_real_int64 524L); (mk_real_int64 472L); (mk_real_int64 276L); (mk_real_int64 304L); (mk_real_int64 250L); (mk_real_int64 228L); (mk_real_int64 276L); ]); ("y6_lo", [4; 7; 12; 13; 14; 15; 27; 28; 29; 30; 38; 39; 41; 42; 46; 47; 48; 53; 54; 57; 59; ], [(mk_real_int64 208L); (mk_real_int64 164L); (mk_real_int64 128L); (mk_real_int64 76272L); (mk_real_int64 420L); (mk_real_int64 104L); (mk_real_int64 540L); (mk_real_int64 448L); (mk_real_int64 9000L); (mk_real_int64 125L); (mk_real_int64 432L); (mk_real_int64 280L); (mk_real_int64 352L); (mk_real_int64 222000L); (mk_real_int64 70000L); (mk_real_int64 484L); (mk_real_int64 48000L); (mk_real_int64 412L); (mk_real_int64 33000L); (mk_real_int64 13250L); (mk_real_int64 85000L); ]); ("y6_hi", [5; 6; 8; 10; 20; 21; 24; 25; 31; 36; 43; 44; 48; 54; 55; 56; 58; 59; ], [(mk_real_int64 32L); (mk_real_int64 250L); (mk_real_int64 117L); (mk_real_int64 344L); (mk_real_int64 98L); (mk_real_int64 4L); (mk_real_int64 239L); (mk_real_int64 440L); (mk_real_int64 280L); (mk_real_int64 151L); (mk_real_int64 240L); (mk_real_int64 524L); (mk_real_int64 472L); (mk_real_int64 276L); (mk_real_int64 304L); (mk_real_int64 250L); (mk_real_int64 228L); (mk_real_int64 276L); ]); ("y8_hi", [11; ], [(mk_real_int64 57000L); ]); ("ye_hi", [9; 13; 15; 26; 27; 28; 37; 40; 41; 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); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("ye_lo", [10; 15; 17; 24; 42; 43; 44; 54; 56; ], [(mk_real_int64 1000L); (mk_real_int64 128000L); (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_lo", [0; 1; 2; 3; 4; 5; 8; 9; ], [(mk_real_int64 4L); (mk_real_int64 1004L); (mk_real_int64 4L); (mk_real_int64 4L); (mk_real_int64 991L); (mk_real_int64 740L); (mk_real_int64 4L); (mk_real_int64 1004L); ]); ("yn_hi", [6; 7; 10; 11; 12; ], [(mk_real_int64 996L); (mk_real_int64 716L); (mk_real_int64 336L); (mk_real_int64 592L); (mk_real_int64 539L); ]); ];; let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;; end;; concl (Test_case.result)