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 := 3;; (***************) (* Constraints *) (***************) constraints := [ ("azim_sum", [1; 2; 3; 6; 10; 11; 12; ], [196L; 366L; 198L; 26L; 31L; 83L; 479L; ]); ("azim_sum_neg", [4; 5; 7; 8; 9; ], [56L; 65L; 39L; 83L; 35L; ]); ("rhazim_sum", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [631L; 937L; 937L; 937L; 738L; 747L; 836L; 870L; 830L; 866L; 833L; 801L; 906L; ]); ("sol_sum3_neg", [5; 6; 7; 10; 11; 12; 13; 15; 16; 17; 19; 20; 21; ], [302L; 56L; 55L; 62L; 61L; 200L; 278L; 120L; 83L; 26L; 1L; 31L; 83L; ]); ("sol_sum3", [8; 9; ], [24L; 23L; ]); ("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; ], [937L; 631L; 631L; 631L; 631L; 560L; 806L; 870L; 830L; 830L; 866L; 803L; 664L; 422L; 682L; 554L; 801L; 836L; 830L; 830L; 833L; 801L; ]); ("ln_def_neg", [1; 2; 3; ], [33L; 33L; 33L; ]); ("ln_def", [0; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [304L; 186L; 176L; 78L; 41L; 85L; 45L; 81L; 117L; 1L; ]); ("rho_def", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [3966L; 5886L; 5886L; 5886L; 4637L; 4696L; 5253L; 5464L; 5215L; 5440L; 5235L; 5032L; 5695L; ]); ("edge_sym_neg", [2; 7; 11; 17; 23; 32; 34; 38; 40; 48; 49; 52; 53; 55; 58; 61; 63; ], [494L; 109L; 59L; 28L; 54L; 12L; 55L; 2L; 74L; 20L; 20L; 10L; 10L; 37L; 37L; 11L; 19L; ]); ("edge_sym", [6; 8; 10; 13; 14; 16; 19; 22; 25; 28; 31; 44; 50; 59; 62; ], [297L; 58L; 239L; 343L; 82L; 55L; 10L; 78L; 2L; 54L; 77L; 74L; 1L; 11L; 19L; ]); ("y1_def", [5; 15; 16; 19; 21; 26; 27; 30; 36; 38; 40; 41; 46; 49; 50; 52; 53; 56; 58; 61; 63; 65; ], [347L; 74L; 115L; 19L; 68L; 30L; 30L; 72L; 76L; 61L; 9L; 106L; 44L; 11L; 32L; 10L; 16L; 42L; 42L; 28L; 10L; 32L; ]); ("y1_def_neg", [1; 2; 3; 6; 9; 12; 14; 20; 22; 25; 28; 32; 33; 39; 42; 47; 54; 57; ], [279L; 79L; 79L; 95L; 84L; 43L; 183L; 37L; 25L; 4L; 3L; 24L; 15L; 98L; 91L; 80L; 21L; 21L; ]); ("y2_def_neg", [5; 9; 12; 15; 25; 26; 27; 28; 38; 40; 49; 53; 56; 58; 63; ], [93L; 84L; 43L; 22L; 4L; 9L; 9L; 3L; 19L; 3L; 3L; 5L; 13L; 13L; 3L; ]); ("y2_def", [0; 1; 4; 6; 14; 16; 19; 20; 21; 22; 30; 32; 33; 36; 39; 41; 42; 46; 47; 50; 52; 54; 57; 61; 65; ], [98L; 116L; 98L; 58L; 111L; 115L; 19L; 22L; 7L; 15L; 9L; 15L; 46L; 76L; 60L; 106L; 74L; 48L; 48L; 32L; 10L; 13L; 13L; 7L; 32L; ]); ("y3_def_neg", [9; 12; 15; 25; 26; 27; 28; 38; 40; 49; 53; 56; 58; 63; ], [84L; 43L; 22L; 4L; 9L; 9L; 3L; 19L; 3L; 3L; 5L; 13L; 13L; 3L; ]); ("y3_def", [1; 2; 3; 5; 6; 14; 16; 19; 20; 21; 22; 30; 32; 33; 36; 39; 41; 42; 46; 47; 50; 52; 54; 57; 61; 65; ], [116L; 98L; 98L; 10L; 58L; 111L; 115L; 19L; 22L; 7L; 15L; 9L; 15L; 46L; 76L; 60L; 106L; 74L; 48L; 48L; 32L; 10L; 13L; 13L; 7L; 32L; ]); ("y4_def", [5; 8; 9; 11; 12; 15; 21; 24; 25; 26; 27; 28; 30; 35; 37; 38; 40; 42; 49; 53; 56; 58; 61; 63; ], [494L; 240L; 239L; 167L; 232L; 114L; 62L; 3L; 8L; 46L; 47L; 46L; 62L; 1L; 55L; 94L; 14L; 59L; 17L; 25L; 64L; 65L; 19L; 16L; ]); ("y4_def_neg", [1; 6; 14; 16; 19; 20; 22; 32; 33; 36; 39; 41; 46; 47; 50; 52; 54; 57; 65; ], [494L; 109L; 209L; 5L; 12L; 42L; 29L; 27L; 55L; 39L; 16L; 54L; 29L; 53L; 16L; 5L; 25L; 24L; 16L; ]); ("y5_def_neg", [1; 5; 9; 12; 15; 16; 19; 21; 26; 27; 30; 36; 38; 40; 41; 46; 49; 50; 52; 53; 56; 58; 61; 63; 65; ], [175L; 441L; 59L; 30L; 22L; 59L; 12L; 25L; 9L; 9L; 27L; 39L; 19L; 3L; 54L; 21L; 3L; 16L; 5L; 5L; 13L; 13L; 11L; 3L; 16L; ]); ("y5_def", [2; 3; 6; 14; 20; 22; 25; 28; 32; 33; 39; 42; 47; 54; 57; ], [98L; 98L; 58L; 111L; 22L; 15L; 8L; 7L; 15L; 11L; 60L; 74L; 48L; 13L; 13L; ]); ("y6_def_neg", [1; 5; 9; 12; 15; 16; 19; 21; 27; 30; 36; 38; 40; 41; 46; 49; 50; 52; 53; 56; 58; 61; 63; 65; ], [175L; 395L; 59L; 30L; 22L; 59L; 12L; 25L; 9L; 27L; 39L; 19L; 3L; 54L; 21L; 3L; 16L; 5L; 5L; 13L; 13L; 11L; 3L; 16L; ]); ("y6_def", [0; 4; 6; 14; 20; 22; 25; 26; 28; 32; 33; 39; 42; 47; 54; 57; ], [98L; 98L; 58L; 111L; 22L; 15L; 8L; 30L; 7L; 15L; 11L; 60L; 74L; 48L; 13L; 13L; ]); ("azim2c", [5; ], [306L; ]); ("azim3c", [5; ], [306L; ]); ("RHA", [3; 4; 6; 8; 9; 11; 12; 15; 16; 17; 18; 19; 20; 22; 23; 24; 25; 28; 29; 31; 32; 34; 35; 36; 37; 38; 39; 40; 41; 43; 44; 45; 46; 47; 49; 50; 51; 53; 54; 55; 57; 59; 60; 61; 63; 65; ], [306L; 306L; 147L; 107L; 107L; 116L; 116L; 188L; 377L; 276L; 30L; 131L; 2L; 25L; 67L; 39L; 107L; 107L; 36L; 71L; 31L; 134L; 31L; 169L; 273L; 74L; 247L; 316L; 379L; 56L; 65L; 246L; 193L; 149L; 35L; 106L; 70L; 33L; 41L; 39L; 42L; 36L; 73L; 33L; 32L; 106L; ]); ("yy10", [54; 59; ], [68L; 67L; ]); ("crossdiag", [2; 3; ], [196L; 198L; ]); ("ineq82", [1; ], [366L; ]); ("ineq84", [5; ], [306L; ]); ("ineq85", [1; 5; ], [937L; 631L; ]); ("ineq107", [6; 14; 20; 22; 32; 33; 39; 42; 47; 54; 57; ], [159L; 306L; 62L; 42L; 40L; 63L; 164L; 119L; 133L; 36L; 35L; ]); ("ineq108", [15; 21; 26; 27; 30; 38; 40; 49; 53; 56; 58; 61; 63; ], [147L; 95L; 60L; 60L; 96L; 122L; 18L; 22L; 32L; 83L; 84L; 33L; 20L; ]); ("ineq109", [42; 46; ], [83L; 8L; ]); ("ineq110", [25; 28; ], [24L; 23L; ]); ("ineq111", [16; 19; 21; 30; 33; 36; 41; 46; 50; 52; 59; 61; 65; ], [302L; 56L; 55L; 62L; 61L; 200L; 278L; 120L; 83L; 26L; 1L; 31L; 83L; ]); ("ineq112", [9; 12; 19; ], [469L; 236L; 12L; ]); ("ineq114", [15; 20; 33; 38; ], [127L; 362L; 371L; 232L; ]); ("ineq115", [6; 8; 9; 11; 12; 14; 16; 19; 22; 23; 24; 25; 28; 29; 31; 32; 34; 37; 41; 45; 47; 50; 51; 54; 57; 60; 65; ], [550L; 81L; 81L; 81L; 81L; 314L; 433L; 433L; 266L; 604L; 38L; 792L; 792L; 38L; 599L; 267L; 432L; 432L; 294L; 335L; 88L; 801L; 836L; 830L; 830L; 833L; 801L; ]); ("ineq6", [5; ], [306L; ]); ];; (***************) (* Variables *) (***************) target_variables := [ ("ln_hi", [0; 1; 2; 3; 4; 5; 6; 7; 8; 9; 10; 11; 12; ], [1950L; 2950L; 2950L; 2950L; 2525L; 2200L; 2725L; 2800L; 2375L; 3000L; 2875L; 2400L; 2375L; ]); ];; (*************************) variable_bounds := [ ("azim_lo", [6; 8; 9; 11; 12; 15; 20; 21; 24; 25; 26; 28; 29; 31; 33; 34; 35; 37; 38; 50; 54; 57; 65; ], [700L; 294L; 294L; 294L; 294L; 893L; 758L; 1000L; 212L; 1208L; 1000L; 208L; 212L; 26L; 89L; 568L; 1000L; 568L; 88L; 574L; 420L; 420L; 574L; ]); ("azim_hi", [14; 16; 19; 22; 23; 30; 32; 41; 45; 47; 51; 60; ], [564L; 58L; 58L; 516L; 104L; 1000L; 142L; 44L; 710L; 88L; 336L; 458L; ]); ("rhazim_hi", [15; 35; 50; 54; 57; 65; ], [1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]); ("rhazim_lo", [24; 45; 53; 55; ], [1000L; 1000L; 1000L; 1000L; ]); ("rho_hi", [1; 2; 3; 4; 6; 7; 8; 9; 11; ], [2108L; 2108L; 2108L; 592L; 424L; 3080L; 720L; 1944L; 1484L; ]); ("rho_lo", [0; 5; 10; 12; ], [796L; 1852L; 428L; 1696L; ]); ("tau_lo", [13; 14; 15; ], [128000L; 682000L; 132000L; ]); ("tau_hi", [6; 15; ], [1000L; 1000L; ]); ("y1_lo", [3; 6; 9; 14; 15; 16; 20; 22; 28; 30; 39; 41; 46; 50; 52; 54; 56; 65; ], [200L; 400L; 420L; 600L; 500L; 240L; 200L; 200L; 473L; 440L; 400L; 360L; 280L; 460L; 120L; 600L; 500L; 460L; ]); ("y1_hi", [1; 2; 5; 12; 19; 21; 25; 33; 42; 47; 59; 61; ], [483L; 600L; 1303L; 520L; 120L; 400L; 376L; 380L; 95L; 200L; 380L; 280L; ]); ("y2_hi", [0; 1; 5; 12; 14; 19; 20; 22; 25; 33; 38; 40; 46; 47; 53; 54; 56; 58; 59; ], [406L; 312L; 788L; 520L; 384L; 120L; 568L; 288L; 376L; 112L; 456L; 264L; 512L; 412L; 136L; 104L; 384L; 232L; 380L; ]); ("y2_lo", [4; 6; 9; 15; 16; 21; 26; 27; 28; 30; 32; 39; 41; 42; 49; 50; 52; 57; 61; 63; 65; ], [588L; 124L; 420L; 344L; 240L; 540L; 120L; 120L; 473L; 32L; 440L; 304L; 360L; 472L; 344L; 460L; 120L; 260L; 236L; 40L; 460L; ]); ("y3_hi", [1; 3; 5; 12; 14; 19; 20; 22; 25; 33; 38; 40; 46; 47; 53; 54; 56; 58; 59; ], [312L; 406L; 910L; 520L; 384L; 120L; 568L; 288L; 376L; 112L; 456L; 264L; 512L; 412L; 136L; 104L; 384L; 232L; 380L; ]); ("y3_lo", [2; 6; 9; 15; 16; 21; 26; 27; 28; 30; 32; 39; 41; 42; 49; 50; 52; 57; 61; 63; 65; ], [588L; 124L; 420L; 344L; 240L; 540L; 120L; 120L; 473L; 32L; 440L; 304L; 360L; 472L; 344L; 460L; 120L; 260L; 236L; 40L; 460L; ]); ("y4_hi", [1; 5; 6; 9; 21; 22; 26; 28; 30; 38; 49; 54; 56; 57; 61; ], [401L; 335L; 85L; 375L; 655L; 230L; 380L; 452L; 56L; 306L; 6L; 340L; 159L; 25L; 433L; ]); ("y4_lo", [8; 9; 11; 12; 14; 15; 16; 19; 20; 24; 25; 27; 28; 32; 33; 35; 36; 37; 39; 40; 41; 42; 47; 50; 52; 53; 58; 59; 63; 65; ], [240000L; 298000L; 167000L; 261500L; 610L; 369L; 54192L; 476L; 470L; 3000L; 224L; 620L; 39000L; 400L; 111L; 1000L; 200L; 55000L; 96340L; 86L; 488L; 197370L; 38105L; 268L; 96L; 264L; 68L; 196L; 540L; 268L; ]); ("y5_hi", [3; 5; 9; 12; 14; 20; 22; 28; 30; 38; 40; 46; 47; 53; 54; 56; 58; ], [406L; 465L; 375L; 500L; 384L; 568L; 288L; 452L; 256L; 456L; 264L; 392L; 412L; 136L; 104L; 384L; 232L; ]); ("y5_lo", [1; 2; 6; 15; 16; 19; 21; 25; 26; 27; 32; 33; 36; 39; 41; 42; 49; 50; 52; 57; 59; 61; 63; 65; ], [95L; 588L; 124L; 344L; 192L; 476L; 220L; 224L; 120L; 120L; 440L; 24L; 200L; 304L; 488L; 472L; 344L; 268L; 96L; 260L; 196L; 92L; 40L; 268L; ]); ("y6_hi", [0; 9; 12; 14; 20; 22; 28; 30; 38; 40; 46; 47; 53; 54; 56; 58; ], [406L; 375L; 500L; 384L; 568L; 288L; 452L; 256L; 456L; 264L; 392L; 412L; 136L; 104L; 384L; 232L; ]); ("y6_lo", [1; 4; 5; 6; 15; 16; 19; 21; 25; 26; 27; 32; 33; 36; 39; 41; 42; 49; 50; 52; 57; 59; 61; 63; 65; ], [95L; 588L; 247L; 124L; 344L; 192L; 476L; 220L; 224L; 39120L; 120L; 440L; 24L; 200L; 304L; 488L; 472L; 344L; 268L; 96L; 260L; 196L; 92L; 40L; 268L; ]); ("ye_hi", [1; 6; 15; 17; 18; 26; 39; 40; 41; 48; 49; 64; ], [1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]); ("ye_lo", [9; 14; 22; 38; 46; 47; 54; 55; ], [1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; 1000L; ]); ("yn_hi", [0; 1; 2; 3; 4; 5; 6; 9; 10; 11; 12; ], [408L; 492L; 1492L; 492L; 2322L; 552L; 6L; 1465L; 1237L; 1009L; 77L; ]); ("yn_lo", [7; 8; ], [843L; 455L; ]); ];;