needs "nobranching_lp.hl";; module Test_case = struct let hypermap_string = "122526068934 19 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 4 5 2 6 7 3 6 2 8 3 8 2 1 3 8 1 9 3 9 1 0 4 9 0 10 11 3 10 0 4 3 10 4 7 3 4 5 7 3 7 6 11 3 11 6 12 3 11 10 7 3 12 6 8 3 12 8 9 3 9 11 12 ";; let precision = 3;; (***************) (* Constraints *) (***************) let constraints = [ ("azim_sum", [1; 3; 7; 9; 11; ], [(mk_real_int64 222L); (mk_real_int64 386L); (mk_real_int64 257L); (mk_real_int64 65L); (mk_real_int64 5L); ]); ("azim_sum_neg", [0; 4; 5; 6; 12; ], [(mk_real_int64 73L); (mk_real_int64 152L); (mk_real_int64 184L); (mk_real_int64 118L); (mk_real_int64 140L); ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 903L); (mk_real_int64 1038L); (mk_real_int64 872L); (mk_real_int64 929L); (mk_real_int64 982L); (mk_real_int64 1038L); (mk_real_int64 929L); (mk_real_int64 1038L); (mk_real_int64 1038L); (mk_real_int64 841L); (mk_real_int64 929L); (mk_real_int64 929L); (mk_real_int64 674L); ]); ("sol_sum3_neg", [0; 3; 4; 5; 6; 10; 15; ], [(mk_real_int64 56L); (mk_real_int64 162L); (mk_real_int64 30L); (mk_real_int64 198L); (mk_real_int64 5L); (mk_real_int64 109L); (mk_real_int64 28L); ]); ("sol_sum3", [1; 7; 8; 9; ], [(mk_real_int64 138L); (mk_real_int64 25L); (mk_real_int64 98L); (mk_real_int64 12L); ]); ("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; ], [(mk_real_int64 774L); (mk_real_int64 903L); (mk_real_int64 830L); (mk_real_int64 841L); (mk_real_int64 841L); (mk_real_int64 709L); (mk_real_int64 867L); (mk_real_int64 855L); (mk_real_int64 929L); (mk_real_int64 843L); (mk_real_int64 929L); (mk_real_int64 674L); (mk_real_int64 929L); (mk_real_int64 674L); (mk_real_int64 674L); (mk_real_int64 674L); ]); ("tau_sum4_neg", [0; 1; 2; ], [(mk_real_int64 872L); (mk_real_int64 1038L); (mk_real_int64 929L); ]); ("ln_def_neg", [1; 3; 4; 5; 6; 7; 8; 10; 11; ], [(mk_real_int64 144L); (mk_real_int64 24L); (mk_real_int64 83L); (mk_real_int64 144L); (mk_real_int64 24L); (mk_real_int64 144L); (mk_real_int64 144L); (mk_real_int64 24L); (mk_real_int64 24L); ]); ("ln_def", [0; 2; 9; 12; ], [(mk_real_int64 4L); (mk_real_int64 39L); (mk_real_int64 72L); (mk_real_int64 256L); ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 5673L); (mk_real_int64 6520L); (mk_real_int64 5477L); (mk_real_int64 5835L); (mk_real_int64 6171L); (mk_real_int64 6520L); (mk_real_int64 5835L); (mk_real_int64 6520L); (mk_real_int64 6520L); (mk_real_int64 5286L); (mk_real_int64 5835L); (mk_real_int64 5835L); (mk_real_int64 4237L); ]); ("edge_sym", [0; 1; 2; 3; 37; 38; 46; 47; 56; ], [(mk_real_int64 60L); (mk_real_int64 37L); (mk_real_int64 37L); (mk_real_int64 11L); (mk_real_int64 25L); (mk_real_int64 6L); (mk_real_int64 11L); (mk_real_int64 56L); (mk_real_int64 2L); ]); ("edge_sym_neg", [5; 6; 19; 22; 25; 32; 43; 44; 53; ], [(mk_real_int64 11L); (mk_real_int64 11L); (mk_real_int64 206L); (mk_real_int64 134L); (mk_real_int64 131L); (mk_real_int64 137L); (mk_real_int64 181L); (mk_real_int64 49L); (mk_real_int64 240L); ]); ("y1_def_neg", [0; 2; 7; 9; 10; 12; 18; 20; 21; 24; 26; 34; 35; 38; 40; 41; 42; 43; 45; 46; 50; 52; 53; 56; 57; ], [(mk_real_int64 47L); (mk_real_int64 29L); (mk_real_int64 125L); (mk_real_int64 79L); (mk_real_int64 21L); (mk_real_int64 18L); (mk_real_int64 175L); (mk_real_int64 73L); (mk_real_int64 77L); (mk_real_int64 85L); (mk_real_int64 63L); (mk_real_int64 9L); (mk_real_int64 4L); (mk_real_int64 54L); (mk_real_int64 32L); (mk_real_int64 2L); (mk_real_int64 69L); (mk_real_int64 95L); (mk_real_int64 23L); (mk_real_int64 97L); (mk_real_int64 60L); (mk_real_int64 181L); (mk_real_int64 111L); (mk_real_int64 39L); (mk_real_int64 22L); ]); ("y1_def", [6; 17; 25; 28; 33; 36; 44; 47; 49; 51; 54; 58; 59; ], [(mk_real_int64 21L); (mk_real_int64 61L); (mk_real_int64 75L); (mk_real_int64 2L); (mk_real_int64 6L); (mk_real_int64 10L); (mk_real_int64 68L); (mk_real_int64 70L); (mk_real_int64 59L); (mk_real_int64 70L); (mk_real_int64 70L); (mk_real_int64 11L); (mk_real_int64 84L); ]); ("y2_def", [0; 2; 6; 9; 10; 17; 18; 21; 24; 25; 28; 42; 44; 45; 46; 52; 56; 57; 58; ], [(mk_real_int64 60L); (mk_real_int64 37L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 13L); (mk_real_int64 61L); (mk_real_int64 14L); (mk_real_int64 47L); (mk_real_int64 36L); (mk_real_int64 75L); (mk_real_int64 2L); (mk_real_int64 46L); (mk_real_int64 33L); (mk_real_int64 14L); (mk_real_int64 59L); (mk_real_int64 110L); (mk_real_int64 23L); (mk_real_int64 13L); (mk_real_int64 11L); ]); ("y2_def_neg", [7; 12; 20; 26; 33; 34; 35; 36; 38; 40; 41; 43; 47; 49; 50; 51; 53; 54; 59; ], [(mk_real_int64 125L); (mk_real_int64 18L); (mk_real_int64 53L); (mk_real_int64 8L); (mk_real_int64 2L); (mk_real_int64 9L); (mk_real_int64 4L); (mk_real_int64 3L); (mk_real_int64 48L); (mk_real_int64 9L); (mk_real_int64 2L); (mk_real_int64 95L); (mk_real_int64 21L); (mk_real_int64 18L); (mk_real_int64 60L); (mk_real_int64 21L); (mk_real_int64 30L); (mk_real_int64 21L); (mk_real_int64 26L); ]); ("y3_def", [0; 2; 6; 9; 10; 17; 18; 21; 24; 25; 28; 42; 44; 45; 46; 52; 56; 57; 58; ], [(mk_real_int64 60L); (mk_real_int64 37L); (mk_real_int64 21L); (mk_real_int64 21L); (mk_real_int64 13L); (mk_real_int64 61L); (mk_real_int64 14L); (mk_real_int64 47L); (mk_real_int64 36L); (mk_real_int64 75L); (mk_real_int64 2L); (mk_real_int64 46L); (mk_real_int64 33L); (mk_real_int64 14L); (mk_real_int64 59L); (mk_real_int64 110L); (mk_real_int64 23L); (mk_real_int64 13L); (mk_real_int64 11L); ]); ("y3_def_neg", [7; 12; 20; 26; 33; 34; 35; 36; 38; 40; 41; 43; 47; 49; 50; 51; 53; 54; 59; ], [(mk_real_int64 125L); (mk_real_int64 18L); (mk_real_int64 53L); (mk_real_int64 8L); (mk_real_int64 2L); (mk_real_int64 9L); (mk_real_int64 4L); (mk_real_int64 3L); (mk_real_int64 48L); (mk_real_int64 9L); (mk_real_int64 2L); (mk_real_int64 95L); (mk_real_int64 21L); (mk_real_int64 18L); (mk_real_int64 60L); (mk_real_int64 21L); (mk_real_int64 30L); (mk_real_int64 21L); (mk_real_int64 26L); ]); ("y4_def_neg", [2; 3; 5; 6; 8; 9; 10; 12; 13; 16; 17; 18; 20; 22; 28; 30; 31; 33; 34; 38; 40; 41; 44; 45; 46; ], [(mk_real_int64 11L); (mk_real_int64 87L); (mk_real_int64 12L); (mk_real_int64 24L); (mk_real_int64 13L); (mk_real_int64 32L); (mk_real_int64 174L); (mk_real_int64 83L); (mk_real_int64 88L); (mk_real_int64 93L); (mk_real_int64 39L); (mk_real_int64 59L); (mk_real_int64 1L); (mk_real_int64 6L); (mk_real_int64 29L); (mk_real_int64 86L); (mk_real_int64 66L); (mk_real_int64 26L); (mk_real_int64 111L); (mk_real_int64 42L); (mk_real_int64 207L); (mk_real_int64 100L); (mk_real_int64 44L); (mk_real_int64 25L); (mk_real_int64 5L); ]); ("y4_def", [21; 23; 24; 26; 29; 32; 35; 37; 39; 42; 47; ], [(mk_real_int64 9L); (mk_real_int64 8L); (mk_real_int64 15L); (mk_real_int64 3L); (mk_real_int64 4L); (mk_real_int64 20L); (mk_real_int64 108L); (mk_real_int64 91L); (mk_real_int64 108L); (mk_real_int64 108L); (mk_real_int64 130L); ]); ("y5_def", [0; 2; 9; 10; 18; 21; 24; 26; 35; 38; 41; 42; 45; 46; 52; 56; 57; ], [(mk_real_int64 11L); (mk_real_int64 37L); (mk_real_int64 87L); (mk_real_int64 13L); (mk_real_int64 32L); (mk_real_int64 47L); (mk_real_int64 39L); (mk_real_int64 1L); (mk_real_int64 8L); (mk_real_int64 9L); (mk_real_int64 4L); (mk_real_int64 46L); (mk_real_int64 14L); (mk_real_int64 59L); (mk_real_int64 110L); (mk_real_int64 23L); (mk_real_int64 13L); ]); ("y5_def_neg", [6; 7; 12; 17; 20; 25; 28; 33; 34; 36; 40; 43; 44; 47; 49; 50; 51; 53; 54; 58; 59; ], [(mk_real_int64 11L); (mk_real_int64 87L); (mk_real_int64 13L); (mk_real_int64 32L); (mk_real_int64 47L); (mk_real_int64 39L); (mk_real_int64 1L); (mk_real_int64 2L); (mk_real_int64 6L); (mk_real_int64 3L); (mk_real_int64 4L); (mk_real_int64 66L); (mk_real_int64 29L); (mk_real_int64 21L); (mk_real_int64 18L); (mk_real_int64 42L); (mk_real_int64 21L); (mk_real_int64 12L); (mk_real_int64 21L); (mk_real_int64 5L); (mk_real_int64 26L); ]); ("y6_def", [0; 2; 7; 9; 10; 18; 21; 23; 24; 26; 35; 38; 41; 42; 45; 46; 48; 49; 52; 54; 56; 57; ], [(mk_real_int64 60L); (mk_real_int64 37L); (mk_real_int64 23L); (mk_real_int64 87L); (mk_real_int64 13L); (mk_real_int64 32L); (mk_real_int64 47L); (mk_real_int64 134L); (mk_real_int64 39L); (mk_real_int64 1L); (mk_real_int64 8L); (mk_real_int64 9L); (mk_real_int64 4L); (mk_real_int64 46L); (mk_real_int64 14L); (mk_real_int64 59L); (mk_real_int64 60L); (mk_real_int64 35L); (mk_real_int64 110L); (mk_real_int64 284L); (mk_real_int64 23L); (mk_real_int64 13L); ]); ("y6_def_neg", [6; 12; 17; 20; 25; 28; 33; 34; 36; 40; 43; 44; 47; 50; 51; 53; 58; 59; ], [(mk_real_int64 11L); (mk_real_int64 13L); (mk_real_int64 32L); (mk_real_int64 47L); (mk_real_int64 39L); (mk_real_int64 1L); (mk_real_int64 2L); (mk_real_int64 6L); (mk_real_int64 3L); (mk_real_int64 4L); (mk_real_int64 66L); (mk_real_int64 29L); (mk_real_int64 21L); (mk_real_int64 42L); (mk_real_int64 21L); (mk_real_int64 12L); (mk_real_int64 5L); (mk_real_int64 10L); ]); ("y8_def_neg", [1; ], [(mk_real_int64 49L); ]); ("RHA", [0; 2; 3; 4; 5; 6; 7; 10; 11; 12; 17; 21; 22; 23; 24; 25; 26; 27; 28; 33; 34; 35; 37; 38; 39; 40; 41; 43; 45; 46; 50; 52; 53; 55; 56; 57; 58; ], [(mk_real_int64 57L); (mk_real_int64 166L); (mk_real_int64 31L); (mk_real_int64 154L); (mk_real_int64 129L); (mk_real_int64 208L); (mk_real_int64 79L); (mk_real_int64 172L); (mk_real_int64 73L); (mk_real_int64 207L); (mk_real_int64 196L); (mk_real_int64 68L); (mk_real_int64 30L); (mk_real_int64 133L); (mk_real_int64 38L); (mk_real_int64 220L); (mk_real_int64 5L); (mk_real_int64 5L); (mk_real_int64 62L); (mk_real_int64 73L); (mk_real_int64 73L); (mk_real_int64 127L); (mk_real_int64 53L); (mk_real_int64 103L); (mk_real_int64 139L); (mk_real_int64 171L); (mk_real_int64 195L); (mk_real_int64 109L); (mk_real_int64 216L); (mk_real_int64 201L); (mk_real_int64 109L); (mk_real_int64 62L); (mk_real_int64 83L); (mk_real_int64 167L); (mk_real_int64 190L); (mk_real_int64 218L); (mk_real_int64 254L); ]); ("yy10", [32; ], [(mk_real_int64 137L); ]); ("tau4", [2; ], [(mk_real_int64 150L); ]); ("ineq105", [0; 2; ], [(mk_real_int64 149L); (mk_real_int64 91L); ]); ("ineq106", [5; 6; 10; 13; 16; 18; 26; 28; 30; 33; 34; 40; 41; 44; 45; ], [(mk_real_int64 135L); (mk_real_int64 35L); (mk_real_int64 196L); (mk_real_int64 128L); (mk_real_int64 125L); (mk_real_int64 57L); (mk_real_int64 6L); (mk_real_int64 24L); (mk_real_int64 109L); (mk_real_int64 39L); (mk_real_int64 162L); (mk_real_int64 302L); (mk_real_int64 84L); (mk_real_int64 64L); (mk_real_int64 36L); ]); ("ineq107", [5; 21; 24; 32; 35; 37; 39; 42; 47; ], [(mk_real_int64 46L); (mk_real_int64 12L); (mk_real_int64 20L); (mk_real_int64 54L); (mk_real_int64 140L); (mk_real_int64 118L); (mk_real_int64 140L); (mk_real_int64 140L); (mk_real_int64 168L); ]); ("ineq108", [12; 30; ], [(mk_real_int64 35L); (mk_real_int64 17L); ]); ("ineq109", [5; 23; 26; 29; ], [(mk_real_int64 138L); (mk_real_int64 25L); (mk_real_int64 98L); (mk_real_int64 12L); ]); ("ineq110", [2; 9; 12; 17; 20; 32; 46; ], [(mk_real_int64 56L); (mk_real_int64 162L); (mk_real_int64 30L); (mk_real_int64 198L); (mk_real_int64 5L); (mk_real_int64 109L); (mk_real_int64 28L); ]); ("ineq111", [3; 8; 10; 12; 16; 18; 22; 26; 28; 31; 38; 41; ], [(mk_real_int64 694L); (mk_real_int64 102L); (mk_real_int64 318L); (mk_real_int64 427L); (mk_real_int64 54L); (mk_real_int64 158L); (mk_real_int64 50L); (mk_real_int64 197L); (mk_real_int64 101L); (mk_real_int64 526L); (mk_real_int64 335L); (mk_real_int64 339L); ]); ("ineq113", [6; 11; 16; 21; 32; ], [(mk_real_int64 44L); (mk_real_int64 373L); (mk_real_int64 619L); (mk_real_int64 31L); (mk_real_int64 193L); ]); ("ineq114", [0; 3; 4; 8; 9; 10; 13; 17; 20; 22; 26; 29; 30; 33; 34; 36; 38; 40; 41; 43; 44; 45; 46; ], [(mk_real_int64 774L); (mk_real_int64 105L); (mk_real_int64 105L); (mk_real_int64 685L); (mk_real_int64 55L); (mk_real_int64 95L); (mk_real_int64 415L); (mk_real_int64 35L); (mk_real_int64 708L); (mk_real_int64 774L); (mk_real_int64 732L); (mk_real_int64 742L); (mk_real_int64 210L); (mk_real_int64 353L); (mk_real_int64 321L); (mk_real_int64 9L); (mk_real_int64 585L); (mk_real_int64 99L); (mk_real_int64 237L); (mk_real_int64 371L); (mk_real_int64 303L); (mk_real_int64 304L); (mk_real_int64 370L); ]); ("ineq119", [3; 4; 10; ], [(mk_real_int64 91L); (mk_real_int64 405L); (mk_real_int64 261L); ]); ("ineq120", [0; 2; 5; 7; 9; 11; ], [(mk_real_int64 389L); (mk_real_int64 391L); (mk_real_int64 293L); (mk_real_int64 340L); (mk_real_int64 510L); (mk_real_int64 7L); ]); ];; (***************) (* Variables *) (***************) let target_variables = [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [(mk_real_int64 3225L); (mk_real_int64 3000L); (mk_real_int64 2525L); (mk_real_int64 2875L); (mk_real_int64 3075L); (mk_real_int64 3000L); (mk_real_int64 2875L); (mk_real_int64 3000L); (mk_real_int64 3000L); (mk_real_int64 2950L); (mk_real_int64 2875L); (mk_real_int64 2875L); (mk_real_int64 2525L); ]); ];; (*************************) let variable_bounds = [ ("azim_hi", [0; 3; 4; 7; 8; 10; 13; 14; 16; 17; 19; 28; 30; 32; 34; 37; 38; 39; 40; 41; 42; 44; 48; 50; 53; 55; 57; 58; ], [(mk_real_int64 862L); (mk_real_int64 777L); (mk_real_int64 524L); (mk_real_int64 730L); (mk_real_int64 730L); (mk_real_int64 604L); (mk_real_int64 535L); (mk_real_int64 94L); (mk_real_int64 720L); (mk_real_int64 430L); (mk_real_int64 393L); (mk_real_int64 208L); (mk_real_int64 580L); (mk_real_int64 306L); (mk_real_int64 524L); (mk_real_int64 1000L); (mk_real_int64 232L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 492L); (mk_real_int64 460L); (mk_real_int64 13L); (mk_real_int64 634L); (mk_real_int64 210L); (mk_real_int64 362L); (mk_real_int64 246L); (mk_real_int64 304L); (mk_real_int64 620L); ]); ("azim_lo", [2; 12; 18; 21; 24; 25; 31; 33; 45; 46; 52; 56; ], [(mk_real_int64 622L); (mk_real_int64 190L); (mk_real_int64 530L); (mk_real_int64 210L); (mk_real_int64 321L); (mk_real_int64 90L); (mk_real_int64 233L); (mk_real_int64 29L); (mk_real_int64 22L); (mk_real_int64 54L); (mk_real_int64 26L); (mk_real_int64 322L); ]); ("rhazim_lo", [4; 10; 12; 17; 18; 21; 22; 33; 34; 46; 56; 57; 58; ], [(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", [23; ], [(mk_real_int64 1000L); ]); ("rho_hi", [0; 1; 2; 3; 5; 6; 7; 8; 10; 11; ], [(mk_real_int64 1452L); (mk_real_int64 2792L); (mk_real_int64 2648L); (mk_real_int64 2836L); (mk_real_int64 2792L); (mk_real_int64 2836L); (mk_real_int64 2792L); (mk_real_int64 2792L); (mk_real_int64 2836L); (mk_real_int64 2836L); ]); ("rho_lo", [4; 9; 12; ], [(mk_real_int64 112L); (mk_real_int64 1156L); (mk_real_int64 1584L); ]); ("tau_lo", [0; 7; 8; 9; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("tau_hi", [2; 3; 6; 16; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("y1_hi", [0; 2; 6; 7; 9; 17; 18; 21; 24; 25; 26; 35; 38; 41; 43; 44; 56; 57; ], [(mk_real_int64 65L); (mk_real_int64 335L); (mk_real_int64 280L); (mk_real_int64 80L); (mk_real_int64 162L); (mk_real_int64 560L); (mk_real_int64 160L); (mk_real_int64 200L); (mk_real_int64 280L); (mk_real_int64 240L); (mk_real_int64 360L); (mk_real_int64 225L); (mk_real_int64 142L); (mk_real_int64 188L); (mk_real_int64 320L); (mk_real_int64 420L); (mk_real_int64 600L); (mk_real_int64 400L); ]); ("y1_lo", [12; 20; 28; 40; 42; 45; 46; 50; 52; 53; 58; ], [(mk_real_int64 360L); (mk_real_int64 685L); (mk_real_int64 100L); (mk_real_int64 580L); (mk_real_int64 395L); (mk_real_int64 400L); (mk_real_int64 200L); (mk_real_int64 300L); (mk_real_int64 200L); (mk_real_int64 420L); (mk_real_int64 360L); ]); ("y2_lo", [0; 2; 10; 12; 21; 24; 28; 36; 38; 40; 42; 46; 47; 50; 51; 52; 53; 54; 58; ], [(mk_real_int64 102L); (mk_real_int64 418L); (mk_real_int64 260L); (mk_real_int64 360L); (mk_real_int64 408L); (mk_real_int64 220L); (mk_real_int64 100L); (mk_real_int64 40L); (mk_real_int64 74L); (mk_real_int64 444L); (mk_real_int64 136L); (mk_real_int64 32L); (mk_real_int64 280L); (mk_real_int64 300L); (mk_real_int64 280L); (mk_real_int64 72L); (mk_real_int64 444L); (mk_real_int64 280L); (mk_real_int64 360L); ]); ("y2_hi", [6; 7; 9; 17; 18; 20; 25; 26; 33; 35; 41; 43; 44; 45; 49; 56; 57; 59; ], [(mk_real_int64 280L); (mk_real_int64 80L); (mk_real_int64 310L); (mk_real_int64 560L); (mk_real_int64 104L); (mk_real_int64 280L); (mk_real_int64 240L); (mk_real_int64 308L); (mk_real_int64 176L); (mk_real_int64 225L); (mk_real_int64 188L); (mk_real_int64 320L); (mk_real_int64 212L); (mk_real_int64 196L); (mk_real_int64 64L); (mk_real_int64 296L); (mk_real_int64 104L); (mk_real_int64 464L); ]); ("y3_lo", [0; 2; 10; 12; 21; 24; 28; 36; 38; 40; 42; 46; 47; 50; 51; 52; 53; 54; 58; ], [(mk_real_int64 102L); (mk_real_int64 418L); (mk_real_int64 260L); (mk_real_int64 360L); (mk_real_int64 408L); (mk_real_int64 220L); (mk_real_int64 100L); (mk_real_int64 40L); (mk_real_int64 74L); (mk_real_int64 444L); (mk_real_int64 136L); (mk_real_int64 32L); (mk_real_int64 280L); (mk_real_int64 300L); (mk_real_int64 280L); (mk_real_int64 72L); (mk_real_int64 444L); (mk_real_int64 280L); (mk_real_int64 360L); ]); ("y3_hi", [6; 7; 9; 17; 18; 20; 25; 26; 33; 35; 41; 43; 44; 45; 49; 56; 57; 59; ], [(mk_real_int64 280L); (mk_real_int64 80L); (mk_real_int64 310L); (mk_real_int64 560L); (mk_real_int64 104L); (mk_real_int64 280L); (mk_real_int64 240L); (mk_real_int64 308L); (mk_real_int64 176L); (mk_real_int64 225L); (mk_real_int64 188L); (mk_real_int64 320L); (mk_real_int64 212L); (mk_real_int64 196L); (mk_real_int64 64L); (mk_real_int64 296L); (mk_real_int64 104L); (mk_real_int64 464L); ]); ("y4_lo", [5; 10; 12; 22; 28; 29; 30; 33; 46; 47; ], [(mk_real_int64 205L); (mk_real_int64 10L); (mk_real_int64 230L); (mk_real_int64 250L); (mk_real_int64 65L); (mk_real_int64 112L); (mk_real_int64 310L); (mk_real_int64 715L); (mk_real_int64 488L); (mk_real_int64 136L); ]); ("y4_hi", [2; 3; 6; 8; 9; 13; 16; 17; 18; 20; 21; 23; 24; 26; 31; 32; 34; 35; 37; 38; 39; 40; 41; 42; 44; 45; ], [(mk_real_int64 24L); (mk_real_int64 250L); (mk_real_int64 25L); (mk_real_int64 250L); (mk_real_int64 248L); (mk_real_int64 320L); (mk_real_int64 625L); (mk_real_int64 192L); (mk_real_int64 205L); (mk_real_int64 20L); (mk_real_int64 276L); (mk_real_int64 100L); (mk_real_int64 460L); (mk_real_int64 17L); (mk_real_int64 250L); (mk_real_int64 378L); (mk_real_int64 30L); (mk_real_int64 220L); (mk_real_int64 214L); (mk_real_int64 125L); (mk_real_int64 220L); (mk_real_int64 130L); (mk_real_int64 85L); (mk_real_int64 220L); (mk_real_int64 160L); (mk_real_int64 340L); ]); ("y5_lo", [0; 2; 9; 10; 18; 21; 24; 26; 34; 36; 41; 42; 44; 46; 47; 51; 52; 54; 58; ], [(mk_real_int64 102L); (mk_real_int64 418L); (mk_real_int64 140L); (mk_real_int64 260L); (mk_real_int64 406L); (mk_real_int64 408L); (mk_real_int64 250L); (mk_real_int64 2L); (mk_real_int64 250L); (mk_real_int64 40L); (mk_real_int64 112L); (mk_real_int64 136L); (mk_real_int64 572L); (mk_real_int64 32L); (mk_real_int64 280L); (mk_real_int64 280L); (mk_real_int64 72L); (mk_real_int64 280L); (mk_real_int64 488L); ]); ("y5_hi", [6; 7; 12; 17; 20; 25; 28; 33; 35; 38; 40; 43; 45; 49; 50; 53; 56; 57; 59; ], [(mk_real_int64 24L); (mk_real_int64 250L); (mk_real_int64 250L); (mk_real_int64 248L); (mk_real_int64 485L); (mk_real_int64 192L); (mk_real_int64 20L); (mk_real_int64 176L); (mk_real_int64 100L); (mk_real_int64 311L); (mk_real_int64 111L); (mk_real_int64 250L); (mk_real_int64 196L); (mk_real_int64 64L); (mk_real_int64 125L); (mk_real_int64 201L); (mk_real_int64 296L); (mk_real_int64 104L); (mk_real_int64 464L); ]); ("y6_lo", [0; 2; 7; 9; 10; 18; 21; 23; 24; 26; 34; 36; 41; 42; 44; 46; 47; 48; 49; 51; 52; 54; 58; 59; ], [(mk_real_int64 102L); (mk_real_int64 418L); (mk_real_int64 110000L); (mk_real_int64 140L); (mk_real_int64 260L); (mk_real_int64 406L); (mk_real_int64 408L); (mk_real_int64 134000L); (mk_real_int64 250L); (mk_real_int64 2L); (mk_real_int64 250L); (mk_real_int64 40L); (mk_real_int64 112L); (mk_real_int64 136L); (mk_real_int64 572L); (mk_real_int64 32L); (mk_real_int64 280L); (mk_real_int64 60000L); (mk_real_int64 53000L); (mk_real_int64 280L); (mk_real_int64 72L); (mk_real_int64 305280L); (mk_real_int64 488L); (mk_real_int64 16000L); ]); ("y6_hi", [6; 7; 12; 17; 20; 25; 28; 33; 35; 38; 40; 43; 45; 49; 50; 53; 56; 57; 59; ], [(mk_real_int64 24L); (mk_real_int64 250L); (mk_real_int64 250L); (mk_real_int64 248L); (mk_real_int64 485L); (mk_real_int64 192L); (mk_real_int64 20L); (mk_real_int64 176L); (mk_real_int64 100L); (mk_real_int64 311L); (mk_real_int64 111L); (mk_real_int64 250L); (mk_real_int64 196L); (mk_real_int64 64L); (mk_real_int64 125L); (mk_real_int64 201L); (mk_real_int64 296L); (mk_real_int64 104L); (mk_real_int64 464L); ]); ("y8_hi", [1; ], [(mk_real_int64 49000L); ]); ("ye_lo", [22; 25; 37; 47; 49; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 174000L); (mk_real_int64 1000L); ]); ("ye_hi", [21; 46; 57; ], [(mk_real_int64 1000L); (mk_real_int64 1000L); (mk_real_int64 1000L); ]); ("yn_lo", [1; 3; 4; 10; ], [(mk_real_int64 944L); (mk_real_int64 824L); (mk_real_int64 308L); (mk_real_int64 824L); ]); ("yn_hi", [0; 2; 5; 6; 7; 8; 9; 11; 12; ], [(mk_real_int64 1308L); (mk_real_int64 3L); (mk_real_int64 56L); (mk_real_int64 176L); (mk_real_int64 56L); (mk_real_int64 56L); (mk_real_int64 1544L); (mk_real_int64 176L); (mk_real_int64 1712L); ]); ];; let result = prove_hypermap_lp hypermap_string precision constraints target_variables variable_bounds;; end;; concl (Test_case.result)