hypermap_string := "21943083135 21 4 0 1 2 3 3 0 3 4 3 4 3 5 3 5 3 2 3 5 2 6 3 6 2 7 3 7 2 1 3 7 1 8 3 8 1 9 3 9 1 0 3 9 0 10 3 10 0 4 3 10 4 11 3 11 4 5 3 11 5 6 3 11 6 12 3 12 6 7 3 12 7 8 3 12 8 9 3 12 9 10 3 10 11 12 ";; precision := 4;; (***************) (* Constraints *) (***************) constraints := [ ("azim_sum", [1; 2; 3; 6; 10; 11; 12; ], [3597L; 3408L; 3597L; 776L; 776L; 1497L; 5524L; ]); ("azim_sum_neg", [4; 5; 8; ], [477L; 477L; 1021L; ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [8550L; 9227L; 8550L; 9227L; 8696L; 8696L; 8421L; 8421L; 8421L; 8421L; 8421L; 7863L; 8595L; ]); ("sol_sum3_neg", [5; 6; 7; 10; 11; 12; 13; 14; 15; 16; 17; 20; 21; ], [776L; 776L; 1335L; 1335L; 776L; 776L; 1715L; 997L; 1715L; 1334L; 427L; 427L; 1334L; ]); ("tau_sum3_neg", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; 19; 20; 21; ], [8550L; 8550L; 8550L; 8219L; 8550L; 8421L; 8421L; 8421L; 8421L; 8421L; 8421L; 8421L; 8421L; 6949L; 7863L; 6949L; 7863L; 8421L; 8421L; 8421L; 8421L; 7863L; ]); ("ln_def_neg", [1; 3; ], [174L; 174L; ]); ("ln_def", [0; 2; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [573L; 573L; 412L; 412L; 715L; 715L; 715L; 715L; 715L; 1331L; 523L; ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [53721L; 57977L; 53721L; 57977L; 54638L; 54638L; 52910L; 52910L; 52910L; 52910L; 52910L; 49404L; 54004L; ]); ("edge_sym_neg", [7; 8; 11; 14; 17; 19; 23; 32; 34; 38; 40; 48; 49; 50; 52; 53; 55; 58; 61; 63; ], [266L; 266L; 1254L; 266L; 197L; 167L; 464L; 464L; 78L; 197L; 769L; 202L; 373L; 202L; 21L; 945L; 447L; 447L; 21L; 202L; ]); ("edge_sym", [3; 6; 10; 13; 16; 22; 25; 28; 31; 44; 59; 62; ], [209L; 41L; 266L; 2902L; 78L; 770L; 480L; 464L; 770L; 385L; 388L; 373L; ]); ("y1_def", [8; 12; 15; 17; 18; 20; 21; 22; 26; 30; 33; 35; 37; 38; 40; 41; 43; 44; 46; 47; 50; 51; 53; 56; 58; 60; 61; 65; ], [166L; 166L; 149L; 295L; 295L; 48L; 667L; 507L; 511L; 1175L; 48L; 295L; 295L; 149L; 223L; 652L; 320L; 699L; 223L; 332L; 507L; 162L; 213L; 511L; 511L; 162L; 213L; 507L; ]); ("y1_def_neg", [1; 2; 5; 6; 9; 10; 14; 24; 25; 27; 28; 39; 42; 48; 52; 54; 57; 62; 64; ], [1016L; 167L; 1016L; 310L; 1479L; 199L; 310L; 536L; 77L; 25L; 77L; 319L; 118L; 38L; 82L; 100L; 164L; 82L; 38L; ]); ("y2_def", [1; 4; 5; 10; 17; 18; 22; 25; 28; 30; 35; 37; 39; 41; 42; 44; 47; 48; 50; 51; 52; 54; 57; 60; 62; 64; 65; ], [1099L; 208L; 1750L; 121L; 295L; 295L; 507L; 47L; 47L; 304L; 295L; 295L; 194L; 652L; 182L; 281L; 845L; 59L; 507L; 162L; 127L; 155L; 155L; 162L; 127L; 59L; 507L; ]); ("y2_def_neg", [6; 8; 9; 12; 14; 15; 20; 21; 24; 26; 27; 33; 38; 40; 43; 46; 53; 56; 58; 61; ], [310L; 50L; 1479L; 50L; 310L; 45L; 15L; 203L; 536L; 155L; 691L; 15L; 45L; 68L; 97L; 68L; 65L; 155L; 155L; 65L; ]); ("y3_def", [1; 2; 5; 10; 17; 18; 22; 25; 28; 30; 35; 37; 39; 41; 42; 44; 47; 48; 50; 51; 52; 54; 57; 60; 62; 64; 65; ], [1750L; 208L; 1099L; 121L; 295L; 295L; 507L; 47L; 47L; 304L; 295L; 295L; 194L; 652L; 182L; 281L; 845L; 59L; 507L; 162L; 127L; 155L; 155L; 162L; 127L; 59L; 507L; ]); ("y3_def_neg", [6; 8; 9; 12; 14; 15; 20; 21; 24; 26; 27; 33; 38; 40; 43; 46; 53; 56; 58; 61; ], [310L; 50L; 1479L; 50L; 310L; 45L; 15L; 203L; 536L; 155L; 691L; 15L; 45L; 68L; 97L; 68L; 65L; 155L; 155L; 65L; ]); ("y4_def_neg", [1; 6; 10; 14; 18; 22; 37; 39; 47; 48; 50; 51; 52; 54; 57; 60; 62; 64; 65; ], [209L; 215L; 227L; 215L; 152L; 262L; 152L; 365L; 317L; 112L; 261L; 84L; 239L; 292L; 292L; 84L; 239L; 112L; 261L; ]); ("y4_def", [5; 8; 9; 11; 12; 15; 17; 19; 20; 21; 23; 24; 25; 26; 27; 28; 30; 33; 34; 35; 36; 38; 40; 41; 42; 43; 44; 45; 46; 53; 56; 58; 61; 63; ], [209L; 256L; 145L; 1172L; 3118L; 230L; 311L; 188L; 74L; 1032L; 631L; 589L; 975L; 789L; 417L; 975L; 770L; 74L; 188L; 479L; 463L; 230L; 344L; 71L; 1644L; 495L; 684L; 407L; 344L; 330L; 789L; 789L; 330L; 404L; ]); ("y5_def_neg", [1; 5; 6; 8; 9; 12; 14; 15; 17; 18; 20; 21; 22; 24; 26; 27; 30; 33; 35; 37; 38; 40; 41; 43; 44; 46; 47; 50; 51; 53; 56; 58; 60; 61; 65; ], [41L; 978L; 215L; 50L; 1027L; 50L; 215L; 45L; 152L; 152L; 15L; 203L; 262L; 372L; 155L; 527L; 464L; 15L; 152L; 152L; 45L; 68L; 336L; 97L; 293L; 68L; 142L; 261L; 84L; 65L; 155L; 155L; 84L; 65L; 261L; ]); ("y5_def", [2; 10; 25; 28; 39; 42; 48; 52; 54; 57; 62; 64; ], [208L; 121L; 47L; 47L; 194L; 182L; 59L; 127L; 155L; 155L; 127L; 59L; ]); ("y6_def_neg", [1; 5; 6; 8; 9; 12; 14; 15; 17; 18; 20; 21; 22; 24; 26; 27; 30; 33; 35; 37; 38; 40; 41; 43; 44; 46; 47; 50; 51; 53; 56; 58; 60; 61; 65; ], [978L; 2902L; 215L; 50L; 1027L; 50L; 215L; 45L; 152L; 152L; 15L; 203L; 262L; 372L; 155L; 527L; 464L; 15L; 152L; 152L; 45L; 68L; 336L; 97L; 293L; 68L; 142L; 261L; 84L; 65L; 155L; 155L; 84L; 65L; 261L; ]); ("y6_def", [4; 10; 25; 28; 39; 42; 48; 52; 54; 57; 62; 64; ], [208L; 121L; 47L; 47L; 194L; 182L; 59L; 127L; 155L; 155L; 127L; 59L; ]); ("azim2c", [1; ], [2991L; ]); ("azim3c", [5; ], [2991L; ]); ("RHA", [1; 5; 6; 8; 9; 11; 12; 14; 15; 16; 19; 22; 23; 31; 32; 34; 37; 38; 39; 40; 41; 43; 44; 45; 46; 47; 49; 50; 51; 54; 60; 63; 65; ], [677L; 677L; 677L; 146L; 477L; 477L; 146L; 677L; 275L; 806L; 806L; 806L; 129L; 129L; 806L; 806L; 806L; 275L; 939L; 1747L; 914L; 833L; 833L; 914L; 1747L; 939L; 558L; 732L; 174L; 174L; 174L; 558L; 732L; ]); ("yy10", [53; 59; ], [557L; 557L; ]); ("crossdiag", [2; ], [418L; ]); ("ineq38", [1; ], [2991L; ]); ("ineq82", [1; 5; ], [4274L; 4274L; ]); ("ineq85", [1; 5; ], [8550L; 8550L; ]); ("ineq107", [10; 25; 28; 39; 47; 57; ], [331L; 129L; 129L; 532L; 532L; 174L; ]); ("ineq108", [8; 12; 15; 20; 21; 26; 27; 30; 33; 38; 40; 43; 44; 46; 53; 56; 58; 61; ], [331L; 331L; 298L; 96L; 1335L; 1021L; 1021L; 1335L; 96L; 298L; 446L; 641L; 641L; 446L; 427L; 1021L; 1021L; 427L; ]); ("ineq109", [42; 48; 52; 54; 57; 62; 64; ], [500L; 163L; 349L; 427L; 253L; 349L; 163L; ]); ("ineq111", [17; 18; 22; 30; 35; 37; 41; 44; 47; 50; 51; 60; 65; ], [776L; 776L; 1335L; 1335L; 776L; 776L; 1715L; 997L; 1715L; 1334L; 427L; 427L; 1334L; ]); ("ineq112", [6; 9; 14; 24; 27; ], [1722L; 8219L; 1722L; 2976L; 2976L; ]); ("ineq114", [15; 20; 33; 38; ], [2626L; 2626L; 2626L; 2626L; ]); ("ineq115", [6; 14; 16; 19; 22; 23; 25; 28; 31; 32; 34; 37; 41; 45; 50; 51; 54; 57; 60; 65; ], [6828L; 6828L; 5795L; 5795L; 4902L; 3519L; 5445L; 5445L; 3519L; 4902L; 5795L; 5795L; 1111L; 1111L; 7863L; 8421L; 8421L; 8421L; 8421L; 7863L; ]); ("ineq6", [5; ], [2991L; ]); ];; (***************) (* Variables *) (***************) target_variables := [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [43366L; 48342L; 43366L; 48342L; 44948L; 44948L; 45860L; 45860L; 45860L; 45860L; 45860L; 35384L; 46984L; ]); ];; (*************************) variable_bounds := [ ("azim_hi", [2; 4; 6; 14; 16; 19; 22; 23; 25; 28; 31; 32; 34; 37; 50; 51; 54; 57; 60; 65; ], [10000L; 10000L; 3280L; 3280L; 6700L; 6700L; 6520L; 8940L; 5700L; 5700L; 8940L; 6520L; 6700L; 6700L; 2380L; 5460L; 5460L; 5460L; 5460L; 2380L; ]); ("azim_lo", [15; 20; 33; 38; 40; 41; 45; 46; ], [1340L; 1340L; 1340L; 1340L; 10000L; 5140L; 5140L; 10000L; ]); ("rhazim_lo", [39; 47; ], [10000L; 10000L; ]); ("rho_lo", [1; 3; ], [19136L; 19136L; ]); ("rho_hi", [0; 2; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [3600L; 3600L; 7072L; 7072L; 8272L; 8272L; 8272L; 8272L; 8272L; 8016L; 1040L; ]); ("tau_lo", [13; 14; 15; ], [58380000L; 78630000L; 58380000L; ]); ("y1_hi", [1; 5; 6; 10; 14; 21; 22; 24; 42; 43; 44; 47; 51; 53; 57; 60; 61; ], [11592L; 11592L; 400L; 4000L; 400L; 5000L; 3000L; 3200L; 5000L; 5000L; 3600L; 5000L; 2600L; 5000L; 1450L; 2600L; 5000L; ]); ("y1_lo", [2; 8; 9; 12; 17; 18; 25; 26; 27; 28; 30; 35; 37; 39; 41; 48; 50; 52; 54; 56; 58; 62; 64; 65; ], [2000L; 5000L; 4200L; 5000L; 1200L; 1200L; 4000L; 5000L; 1800L; 4000L; 2000L; 1200L; 1200L; 2000L; 3000L; 3050L; 800L; 150L; 3450L; 5000L; 5000L; 150L; 3050L; 800L; ]); ("y2_hi", [1; 5; 6; 14; 20; 21; 22; 24; 27; 30; 33; 40; 44; 46; 47; 48; 51; 52; 53; 54; 57; 60; 61; 62; 64; ], [2869L; 10258L; 400L; 400L; 4080L; 800L; 3000L; 3200L; 1280L; 3800L; 4080L; 2080L; 4280L; 2080L; 2948L; 3157L; 2600L; 11L; 960L; 3853L; 3853L; 2600L; 960L; 11L; 3157L; ]); ("y2_lo", [4; 8; 9; 10; 12; 15; 17; 18; 25; 26; 28; 35; 37; 38; 39; 41; 42; 43; 50; 56; 58; 65; ], [2958L; 3120L; 4200L; 5491L; 3120L; 2960L; 1200L; 1200L; 569L; 1920L; 569L; 1200L; 1200L; 2960L; 4052L; 3000L; 500L; 4320L; 800L; 1920L; 1920L; 800L; ]); ("y3_hi", [1; 5; 6; 14; 20; 21; 22; 24; 27; 30; 33; 40; 44; 46; 47; 48; 51; 52; 53; 54; 57; 60; 61; 62; 64; ], [10258L; 2869L; 400L; 400L; 4080L; 800L; 3000L; 3200L; 1280L; 3800L; 4080L; 2080L; 4280L; 2080L; 2948L; 3157L; 2600L; 11L; 960L; 3853L; 3853L; 2600L; 960L; 11L; 3157L; ]); ("y3_lo", [2; 8; 9; 10; 12; 15; 17; 18; 25; 26; 28; 35; 37; 38; 39; 41; 42; 43; 50; 56; 58; 65; ], [2958L; 3120L; 4200L; 5491L; 3120L; 2960L; 1200L; 1200L; 569L; 1920L; 569L; 1200L; 1200L; 2960L; 4052L; 3000L; 500L; 4320L; 800L; 1920L; 1920L; 800L; ]); ("y4_hi", [1; 5; 10; 15; 20; 22; 26; 27; 30; 33; 38; 39; 40; 42; 43; 44; 46; 47; 48; 51; 53; 56; 58; 60; 61; 64; ], [7787L; 7787L; 2650L; 3540L; 2080L; 3400L; 2330L; 2330L; 2950L; 2080L; 3540L; 5800L; 7580L; 5000L; 4930L; 810L; 7580L; 4400L; 3450L; 3080L; 710L; 2330L; 2330L; 3080L; 710L; 3450L; ]); ("y4_lo", [6; 8; 9; 11; 12; 14; 17; 18; 19; 21; 23; 24; 25; 28; 34; 35; 36; 37; 41; 42; 44; 45; 47; 50; 52; 54; 57; 62; 63; 65; ], [2500L; 1370L; 11723750L; 11720000L; 28621370L; 2500L; 4630960L; 960L; 1880000L; 450L; 6310000L; 9610000L; 10633650L; 10633650L; 1880000L; 6310960L; 4630000L; 960L; 4071400L; 19870000L; 3840000L; 4070000L; 3840000L; 4640L; 650L; 4950L; 4950L; 650L; 4040000L; 4640L; ]); ("y5_lo", [1; 2; 6; 8; 9; 10; 12; 14; 15; 17; 18; 25; 26; 27; 28; 30; 35; 37; 38; 39; 41; 42; 43; 47; 50; 56; 58; 65; ], [28613777L; 2958L; 2500L; 3120L; 3750L; 5491L; 3120L; 2500L; 2960L; 960L; 960L; 569L; 1920L; 1920L; 569L; 5800L; 960L; 960L; 2960L; 4052L; 1400L; 500L; 4320L; 5452L; 4640L; 1920L; 1920L; 4640L; ]); ("y5_hi", [5; 20; 21; 22; 33; 40; 44; 46; 48; 51; 52; 53; 54; 57; 60; 61; 62; 64; ], [3308L; 4080L; 800L; 3400L; 4080L; 2080L; 1560L; 2080L; 3157L; 3080L; 11L; 960L; 3853L; 3853L; 3080L; 960L; 11L; 3157L; ]); ("y6_hi", [1; 20; 21; 22; 33; 40; 44; 46; 48; 51; 52; 53; 54; 57; 60; 61; 62; 64; ], [3308L; 4080L; 800L; 3400L; 4080L; 2080L; 1560L; 2080L; 3157L; 3080L; 11L; 960L; 3853L; 3853L; 3080L; 960L; 11L; 3157L; ]); ("y6_lo", [4; 5; 6; 8; 9; 10; 12; 14; 15; 17; 18; 25; 26; 27; 28; 30; 35; 37; 38; 39; 41; 42; 43; 47; 50; 56; 58; 65; ], [2958L; 3777L; 2500L; 3120L; 3750L; 5491L; 3120L; 2500L; 2960L; 960L; 960L; 569L; 1920L; 1920L; 569L; 5800L; 960L; 960L; 2960L; 4052L; 1400L; 500L; 4320L; 5452L; 4640L; 1920L; 1920L; 4640L; ]); ("ye_lo", [21; 23; 44; 52; 54; 59; 61; ], [10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; ]); ("ye_hi", [7; 8; 12; 13; 14; 25; 26; 29; ], [10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; 10000L; ]); ("yn_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 12; ], [1210L; 6194L; 11210L; 6194L; 17240L; 17240L; 550L; 550L; 10550L; 10550L; 10550L; 2710L; ]); ("yn_lo", [11; ], [5130L; ]); ];;