hypermap_string := "156588677070 21 6 0 1 2 3 4 5 4 0 5 6 7 3 6 5 4 3 1 0 8 3 8 0 7 3 6 4 9 3 9 4 10 3 10 4 3 3 10 3 11 3 11 3 12 3 12 3 2 3 12 2 1 3 12 1 13 3 13 1 8 3 7 6 9 3 8 7 14 3 14 7 9 3 14 9 10 4 14 10 11 13 3 11 12 13 3 13 8 14 ";;
precision := 3;;
(***************)
(* Constraints *)
(***************)
constraints := [
("azim_sum", [1; 9; 14; ], [176L; 14L; 533L; ]);
("azim_sum_neg", [0; 4; 6; 8; 10; 11; ], [46L; 207L; 46L; 18L; 71L; 71L; ]);
("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [945L; 1108L; 1258L; 1258L; 845L; 1258L; 899L; 1108L; 1108L; 1186L; 1082L; 894L; 1108L; 1108L; 1108L; ]);
("sol_sum3", [2; 9; 10; 11; ], [46L; 71L; 21L; 21L; ]);
("tau_sum6_neg", [0; ], [1258L; ]);
("tau_sum4_neg", [1; 18; ], [899L; 1108L; ]);
("tau_sum3_neg", [2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 19; 20; ], [899L; 1108L; 1108L; 899L; 1108L; 1186L; 1082L; 894L; 845L; 845L; 894L; 1108L; 899L; 1108L; 1108L; 1108L; 894L; 1108L; ]);
("ln_def_neg", [0; 1; 2; 3; 5; 7; 8; 9; 10; 12; 13; 14; ], [41L; 222L; 387L; 387L; 387L; 222L; 222L; 308L; 193L; 222L; 222L; 222L; ]);
("ln_def", [4; 6; 11; ], [68L; 9L; 14L; ]);
("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [5935L; 6965L; 7906L; 7906L; 5309L; 7906L; 5647L; 6965L; 6965L; 7452L; 6800L; 5618L; 6965L; 6965L; 6965L; ]);
("edge_sym_neg", [12; 14; 15; 18; 21; 23; 24; 27; 29; 32; 45; 54; 60; ], [48L; 177L; 205L; 259L; 207L; 37L; 210L; 166L; 163L; 86L; 206L; 17L; 28L; ]);
("edge_sym", [20; 33; 36; 39; 41; 42; 48; ], [107L; 37L; 256L; 171L; 91L; 25L; 51L; ]);
("y1_def_neg", [10; 11; 13; 14; 15; 17; 18; 20; 21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 33; 34; 35; 38; 39; 40; 42; 44; 45; 46; 48; 50; 51; 52; 54; 56; 62; 64; 65; 67; ], [7L; 73L; 90L; 41L; 200L; 41L; 200L; 155L; 248L; 191L; 90L; 50L; 3L; 43L; 257L; 66L; 106L; 160L; 228L; 165L; 11L; 3L; 12L; 5L; 150L; 16L; 118L; 66L; 188L; 118L; 188L; 103L; 46L; 26L; 69L; 11L; 71L; 99L; 103L; 46L; ]);
("y1_def", [19; 36; 47; 63; ], [23L; 46L; 23L; 35L; ]);
("y2_def_neg", [10; 11; 15; 18; 19; 21; 22; 27; 30; 31; 33; 34; 36; 38; 40; 45; 47; 48; 50; 54; 56; 63; 64; 65; ], [7L; 29L; 200L; 200L; 7L; 63L; 202L; 187L; 206L; 47L; 11L; 3L; 14L; 126L; 62L; 188L; 7L; 95L; 103L; 81L; 23L; 11L; 99L; 103L; ]);
("y2_def", [13; 14; 17; 20; 23; 24; 25; 26; 28; 29; 32; 35; 39; 42; 44; 46; 51; 52; 62; 67; ], [54L; 64L; 64L; 94L; 54L; 33L; 5L; 26L; 43L; 64L; 100L; 7L; 86L; 72L; 40L; 71L; 71L; 41L; 43L; 71L; ]);
("y3_def_neg", [10; 11; 15; 18; 19; 21; 22; 27; 30; 31; 33; 34; 36; 38; 40; 45; 47; 48; 50; 54; 56; 63; 64; 65; ], [7L; 29L; 200L; 200L; 7L; 63L; 202L; 187L; 206L; 47L; 11L; 3L; 14L; 126L; 62L; 188L; 7L; 95L; 103L; 81L; 23L; 11L; 99L; 103L; ]);
("y3_def", [13; 14; 17; 20; 23; 24; 25; 26; 28; 29; 32; 35; 39; 42; 44; 46; 51; 52; 62; 67; ], [54L; 64L; 64L; 94L; 54L; 33L; 5L; 26L; 43L; 64L; 100L; 7L; 86L; 72L; 40L; 71L; 71L; 41L; 43L; 71L; ]);
("y4_def_neg", [11; 13; 14; 15; 17; 18; 20; 21; 22; 23; 24; 25; 26; 27; 28; 29; 30; 31; 32; 35; 39; 42; 44; 45; 46; 48; 50; 51; 52; 54; 62; 64; 65; 67; ], [63L; 103L; 121L; 139L; 121L; 139L; 177L; 224L; 125L; 103L; 63L; 10L; 49L; 198L; 81L; 121L; 81L; 209L; 188L; 14L; 160L; 135L; 75L; 131L; 134L; 157L; 71L; 134L; 76L; 41L; 80L; 69L; 71L; 134L; ]);
("y4_def", [10; 19; 33; 34; 36; 38; 40; 47; 63; ], [15L; 35L; 23L; 7L; 72L; 76L; 19L; 35L; 55L; ]);
("y5_def_neg", [11; 15; 18; 19; 21; 22; 27; 30; 31; 36; 38; 40; 45; 47; 48; 50; 54; 56; 61; 63; 64; 65; ], [15L; 139L; 139L; 7L; 22L; 141L; 122L; 146L; 11L; 14L; 96L; 46L; 131L; 7L; 55L; 71L; 57L; 17L; 28L; 11L; 69L; 71L; ]);
("y5_def", [10; 13; 14; 17; 20; 23; 24; 25; 26; 28; 29; 32; 33; 34; 35; 39; 42; 44; 46; 51; 52; 62; 67; ], [15L; 54L; 64L; 64L; 94L; 54L; 33L; 5L; 26L; 43L; 64L; 100L; 23L; 7L; 7L; 96L; 72L; 40L; 71L; 71L; 41L; 43L; 71L; ]);
("y6_def_neg", [11; 15; 18; 19; 21; 22; 27; 31; 38; 40; 45; 48; 50; 54; 64; ], [15L; 139L; 139L; 7L; 22L; 99L; 122L; 11L; 96L; 46L; 131L; 55L; 71L; 57L; 69L; ]);
("y6_def", [10; 13; 14; 16; 17; 20; 23; 24; 25; 26; 28; 29; 30; 32; 33; 34; 35; 36; 39; 42; 44; 46; 47; 49; 51; 52; 53; 55; 56; 62; 63; 65; 67; ], [15L; 75L; 64L; 252L; 139L; 94L; 54L; 33L; 208L; 132L; 183L; 64L; 78L; 100L; 23L; 7L; 7L; 263L; 96L; 72L; 335L; 164L; 396L; 465L; 71L; 41L; 82L; 33L; 210L; 43L; 124L; 340L; 71L; ]);
("y8_def_neg", [58; ], [28L; ]);
("RHA", [6; 7; 9; 12; 20; 21; 32; 34; 35; 37; 39; 41; 42; 44; 46; 48; 57; 59; 62; 64; ], [210L; 46L; 210L; 359L; 101L; 18L; 89L; 49L; 393L; 49L; 169L; 364L; 17L; 40L; 14L; 113L; 77L; 77L; 71L; 214L; ]);
("RHB", [0; 2; 60; ], [150L; 413L; 26L; ]);
("tau4", [0; 4; ], [12L; 60L; ]);
("tau6", [0; ], [1258L; ]);
("ineq107", [1; 3; 10; 11; 13; 14; 16; 17; 18; 19; 21; 22; 25; 29; 32; 34; 36; 38; 48; ], [46L; 150L; 259L; 192L; 150L; 77L; 72L; 72L; 104L; 176L; 188L; 275L; 20L; 244L; 197L; 110L; 196L; 97L; 118L; ]);
("ineq108", [9; 12; 20; 26; 28; 30; 37; 44; 46; 49; ], [46L; 18L; 71L; 93L; 185L; 71L; 46L; 18L; 18L; 71L; ]);
("ineq109", [4; 7; 14; 15; 18; 41; 42; 53; ], [176L; 176L; 14L; 14L; 14L; 196L; 112L; 196L; ]);
("ineq110", [0; 23; 24; 29; ], [46L; 71L; 21L; 21L; ]);
("ineq112", [1; 5; 8; 11; 12; 17; 20; 21; 28; 30; 35; 38; 40; 44; 46; 50; 51; ], [251L; 1108L; 1108L; 738L; 1108L; 1186L; 1082L; 639L; 541L; 286L; 1045L; 725L; 570L; 435L; 111L; 552L; 570L; ]);
("ineq113", [26; ], [182L; ]);
("ineq115", [2; 10; 22; 25; 29; 31; 32; 34; 36; 38; 41; 42; 45; 47; 50; 53; ], [647L; 161L; 255L; 663L; 304L; 582L; 27L; 64L; 22L; 152L; 538L; 673L; 851L; 147L; 342L; 538L; ]);
("ineq119", [2; 6; ], [101L; 224L; ]);
("ineq120", [0; 3; 4; 5; ], [509L; 277L; 704L; 121L; ]);
];;

(***************)
(* Variables   *)
(***************)
target_variables := [
("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; ], [2375L; 3125L; 3450L; 3450L; 2925L; 3450L; 2775L; 3125L; 3125L; 3900L; 3000L; 2850L; 3125L; 3125L; 3125L; ]);
];;

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

variable_bounds := [
("azim_hi", [0; 2; 5; 8; 12; 34; 35; 36; 37; 38; 39; 41; 44; 48; 52; 57; 58; 59; 60; 64; ], [400L; 692688L; 46000L; 247L; 22L; 1000L; 1038L; 726L; 1000L; 1000L; 304L; 332L; 64L; 152L; 298L; 1022L; 632L; 718L; 104L; 92L; ]);
("azim_lo", [6; 9; 20; 32; 42; 46; 51; 55; 67; ], [178L; 34L; 214L; 370L; 98L; 228L; 212L; 274L; 212L; ]);
("rhazim_hi", [5; 6; 9; 20; 21; 46; 48; 62; ], [314000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]);
("rhazim_lo", [5; 24; 57; 59; ], [1000L; 1000L; 1000L; 1000L; ]);
("rho_lo", [1; 2; 3; 5; 7; 8; 10; 11; 12; 13; 14; ], [2328L; 728L; 728L; 728L; 2328L; 2328L; 712L; 104L; 2328L; 2328L; 2328L; ]);
("rho_hi", [0; 4; 6; 9; ], [3380L; 980L; 2316L; 824L; ]);
("tau_hi", [12; 13; 17; 18; ], [1000L; 1000L; 1000L; 1000L; ]);
("tau_lo", [2; ], [1000L; ]);
("y1_lo", [14; 17; 20; 21; 25; 26; 34; 42; 45; 48; 51; 52; 54; 64; 67; ], [360L; 360L; 400L; 40L; 290L; 200L; 171L; 200L; 100L; 700L; 60L; 320L; 300L; 360L; 60L; ]);
("y1_hi", [10; 11; 15; 18; 22; 24; 27; 28; 29; 30; 31; 33; 36; 38; 39; 40; 46; 50; 56; 62; 63; 65; ], [54L; 220L; 560L; 560L; 560L; 510L; 320L; 310L; 400L; 740L; 180L; 279L; 500L; 120L; 429L; 20L; 400L; 400L; 20L; 200L; 500L; 400L; ]);
("y2_hi", [10; 11; 13; 14; 15; 17; 18; 19; 20; 21; 23; 24; 25; 26; 29; 30; 31; 32; 33; 35; 38; 44; 46; 47; 50; 51; 56; 63; 65; 67; ], [54L; 564L; 600L; 64L; 560L; 64L; 560L; 8L; 276L; 48L; 600L; 124L; 96L; 208L; 64L; 448L; 412L; 100L; 279L; 280L; 500L; 40L; 344L; 8L; 400L; 344L; 284L; 208L; 400L; 344L; ]);
("y2_lo", [22; 27; 28; 34; 36; 39; 40; 42; 45; 48; 52; 54; 62; 64; ], [176L; 272L; 48L; 171L; 136L; 355L; 272L; 292L; 100L; 192L; 232L; 36L; 48L; 360L; ]);
("y3_hi", [10; 11; 13; 14; 15; 17; 18; 19; 20; 21; 23; 24; 25; 26; 29; 30; 31; 32; 33; 35; 38; 44; 46; 47; 50; 51; 56; 63; 65; 67; ], [54L; 564L; 600L; 64L; 560L; 64L; 560L; 8L; 276L; 48L; 600L; 124L; 96L; 208L; 64L; 448L; 412L; 100L; 279L; 280L; 500L; 40L; 344L; 8L; 400L; 344L; 284L; 208L; 400L; 344L; ]);
("y3_lo", [22; 27; 28; 34; 36; 39; 40; 42; 45; 48; 52; 54; 62; 64; ], [176L; 272L; 48L; 171L; 136L; 355L; 272L; 292L; 100L; 192L; 232L; 36L; 48L; 360L; ]);
("y4_hi", [11; 13; 14; 15; 17; 18; 19; 21; 22; 23; 24; 25; 27; 28; 29; 30; 31; 33; 35; 40; 42; 45; 47; 54; 56; ], [115L; 250L; 440L; 500L; 440L; 500L; 558L; 230L; 414L; 250L; 665L; 410L; 430L; 170L; 440L; 633L; 345L; 4L; 300L; 133L; 55L; 375L; 558L; 539L; 39L; ]);
("y4_lo", [10; 20; 26; 32; 34; 36; 38; 39; 44; 46; 48; 50; 51; 52; 62; 63; 65; 67; ], [96L; 415L; 320L; 375L; 196L; 111L; 620L; 336L; 350L; 260L; 70L; 250L; 260L; 720L; 830L; 117L; 250L; 260L; ]);
("y5_hi", [11; 13; 14; 15; 17; 18; 19; 20; 23; 24; 25; 26; 29; 32; 33; 35; 38; 44; 45; 46; 47; 51; 56; 63; 67; ], [369L; 600L; 64L; 500L; 64L; 500L; 8L; 276L; 600L; 124L; 96L; 208L; 64L; 100L; 4L; 280L; 255L; 40L; 375L; 344L; 8L; 344L; 389L; 208L; 344L; ]);
("y5_lo", [10; 21; 22; 27; 28; 30; 31; 34; 36; 39; 40; 42; 48; 50; 52; 54; 62; 65; ], [96L; 362L; 236L; 42L; 48L; 42L; 443L; 196L; 136L; 380L; 542L; 292L; 317L; 250L; 232L; 111L; 48L; 250L; ]);
("y6_hi", [11; 14; 15; 17; 18; 19; 20; 22; 23; 24; 25; 29; 32; 33; 35; 38; 44; 45; 47; 51; 56; 63; 67; ], [369L; 64L; 500L; 64L; 500L; 8L; 276L; 764L; 600L; 124L; 96L; 64L; 100L; 4L; 280L; 255L; 40L; 375L; 8L; 344L; 389L; 208L; 344L; ]);
("y6_lo", [10; 13; 16; 17; 21; 22; 25; 26; 27; 28; 30; 31; 34; 36; 39; 40; 42; 44; 46; 47; 48; 49; 50; 52; 53; 54; 55; 56; 62; 63; 65; ], [96L; 20400L; 252000L; 75000L; 362L; 43000L; 203000L; 105792L; 42L; 140048L; 224042L; 443L; 196L; 277136L; 380L; 542L; 292L; 295000L; 92656L; 403000L; 317L; 465000L; 250L; 232L; 82000L; 111L; 33000L; 227000L; 48L; 135000L; 411250L; ]);
("y8_hi", [58; ], [28000L; ]);
("ye_lo", [14; 15; 18; 19; 22; 23; 24; 25; 31; 33; 40; 44; 55; ], [1000L; 1000L; 1000L; 185000L; 1000L; 1000L; 1000L; 1000L; 51000L; 214000L; 10000L; 1000L; 1000L; ]);
("ye_hi", [21; 33; 39; 42; 49; 54; 64; ], [1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]);
("yn_lo", [0; 1; 2; 3; 5; 6; 7; 8; 9; 10; 13; 14; ], [1116L; 872L; 412L; 2412L; 1412L; 307L; 872L; 872L; 408L; 1668L; 2872L; 872L; ]);
("yn_hi", [4; 11; 12; ], [236L; 78L; 128L; ]);
];;