From a16d853d5014f8127f0ff328b488f6ecc17521c9 Mon Sep 17 00:00:00 2001 From: Gleb Belov Date: Tue, 4 Jun 2024 12:18:31 +1000 Subject: [PATCH] MO Emulator: fix no-solution case #239 Don't recompute objectives when no solution available --- include/mp/backend-std.h | 2 +- include/mp/common.h | 4 + include/mp/flat/converter_multiobj.h | 19 +- solvers/highsmp/highsmpbackend.cc | 5 + src/solver.cc | 23 + .../fast/iis_feasrelax/airtrainee_base.mod | 59 + .../iis_feasrelax/airtrainee_infeas_200.dat | 6277 +++++++++++++++++ .../airtrainee_seniority_reverse_PBS.mod | 11 + .../fast/iis_feasrelax/modellist.json | 13 + 9 files changed, 6403 insertions(+), 10 deletions(-) create mode 100644 test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_base.mod create mode 100644 test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_infeas_200.dat create mode 100644 test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_seniority_reverse_PBS.mod diff --git a/include/mp/backend-std.h b/include/mp/backend-std.h index 831469f67..ae95aec05 100644 --- a/include/mp/backend-std.h +++ b/include/mp/backend-std.h @@ -474,7 +474,7 @@ class StdBackend : /// to AMPL via SOL file virtual void ReportSolution2AMPL() { double obj_value = std::numeric_limits::quiet_NaN(); - auto sol = GetSolution(); // even if just dual + auto sol = GetSolution(); // even if just dual or infeasible fmt::MemoryWriter writer; writer.write("{}: {}", MP_DISPATCH( long_name() ), SolveStatus()); if (IsProblemSolvedOrFeasible()) { diff --git a/include/mp/common.h b/include/mp/common.h index 5fdb52599..35ba33c79 100644 --- a/include/mp/common.h +++ b/include/mp/common.h @@ -300,6 +300,10 @@ enum Status { INTERRUPTED = SPECIFIC }; +/// Status string ("solved", ...). +/// Major status only. +const char* GetStatusName(sol::Status stt); + /** Following the taxonomy of the enum sol::Status, returns true if we have an optimal solution or a feasible solution for a satisfaction problem */ diff --git a/include/mp/flat/converter_multiobj.h b/include/mp/flat/converter_multiobj.h index 95c0cb55d..e23fc8014 100644 --- a/include/mp/flat/converter_multiobj.h +++ b/include/mp/flat/converter_multiobj.h @@ -92,13 +92,16 @@ class MOManager { void ProcessMOIterationUnpostsolvedSolution(pre::ModelValuesDbl& sol) { if (IsMOActive()) { auto& objs = sol.GetObjValues()(); - assert(1 == objs.size()); - objval_last_ = objs.front(); // 0. save emulated obj value + if (objs.size()) + objval_last_ = objs.front(); // 0. save emulated obj value // @todo 1. check if the solver correctly reports the current emulated obj // 2. Let's recompute the original objectives - objs.resize( MPCD(num_objs()) ); - for (int i=0; i<(int)objs.size(); ++i) - objs[i] = ComputeValue(MPCD(get_obj(i)), sol.GetVarValues()()); + const auto& xx = sol.GetVarValues()(); + if (xx.size()) { // This can be invoked w/o solution + objs.resize( MPCD(num_objs()) ); + for (int i=0; i<(int)objs.size(); ++i) + objs[i] = ComputeValue(MPCD(get_obj(i)), xx); + } } } @@ -187,11 +190,9 @@ class MOManager { if (!proc_sol.first) { if (MPD( GetEnv() ).verbose_mode()) MPD( GetEnv() ).Print( - "\n" - "MULTI-OBJECTIVE MODE: objective {} (out of {}):\n" - " ABORTING due to the previous iteration's solve result ({}).\n" + " ... ABORTING: previous iteration's solve result: {} (code {}.)\n" "==============================================================================\n\n" - , i_current_obj_+1, obj_new_.size(), proc_sol.second); + , sol::GetStatusName(proc_sol.second), proc_sol.second); return false; } RestrictLastObjVal(); diff --git a/solvers/highsmp/highsmpbackend.cc b/solvers/highsmp/highsmpbackend.cc index be660f163..1f57e31d1 100644 --- a/solvers/highsmp/highsmpbackend.cc +++ b/solvers/highsmp/highsmpbackend.cc @@ -346,6 +346,9 @@ std::pair HighsBackend::GetSolveResult() { auto obj = Highs_getObjectiveValue(lp()); auto inf = Highs_getInfinity(lp()); bool hasSol = (-inf < obj && obj < inf); + int primal_solution_status; + Highs_getIntInfoValue(lp(), + "primal_solution_status", &primal_solution_status); switch (optstatus) { case kHighsModelStatusOptimal: return { sol::SOLVED, "optimal solution" }; @@ -359,6 +362,8 @@ std::pair HighsBackend::GetSolveResult() { return { sol::LIMIT_INF_UNB, "unbounded or infeasible" }; case kHighsModelStatusModelError: case kHighsModelStatusLoadError: + if (kHighsSolutionStatusInfeasible == primal_solution_status) // HiGHS 7 + return { sol::INFEASIBLE, "infeasible problem" }; return { sol::FAILURE, "solver error" }; case kHighsModelStatusPresolveError: case kHighsModelStatusSolveError: diff --git a/src/solver.cc b/src/solver.cc index ae756623e..869c7d2ee 100644 --- a/src/solver.cc +++ b/src/solver.cc @@ -20,7 +20,9 @@ Authors: Victor Zverovich, Gleb Belov */ +#include #include +#include #include #include #include @@ -237,6 +239,27 @@ void RSTFormatter::HandleDirective(const char *type) { namespace mp { +namespace sol { + +const char* GetStatusName(sol::Status stt) { + static const std::map stt_map { + { INT_MIN, "wrong_status_code" }, + { NOT_SET, "not_set" }, + { UNKNOWN, "unknown" }, + { SOLVED, "solved" }, + { UNCERTAIN, "solved?" }, + { INFEASIBLE, "infeasible" }, + { UNBOUNDED, "unbounded" }, + { LIMIT, "limit" }, + { FAILURE, "failure" } + }; + auto it = stt_map.lower_bound(stt); + assert(stt_map.end() != it); + return it->second; +} + +} + namespace internal { void FormatRST(fmt::Writer &w, diff --git a/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_base.mod b/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_base.mod new file mode 100644 index 000000000..ee55eccc0 --- /dev/null +++ b/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_base.mod @@ -0,0 +1,59 @@ + +set I; # Trainees +set T; # Training sessions +set V{I} in T; # Valid sessions for each trainee +set Pos; # Positons +set PosPlus; # Meta-positions (e.g, All, Cockpit, Cabin) +set MAXPlusWhich{Pos} in PosPlus; + +param P{I} in Pos; # Trainee's position +param S{I}; # Seniority (smaller value <=> higher seniority) +param L{I}; # Language (0 - both, 1 or 2 - one only) +param E{I}; # Expiration: 0 - this month, 1 - next month, 2 - in 2 months +param Pr{I, T}; # Priority: 0 - not wanted, larger value <=> higher preference +param MAX{Pos}; # Position capacity +param MAXPlus{PosPlus}; # Aggregated capacities (All, CK, CB) + +var x{i in I, t in T} binary <= if t in V[i] then 1 else 0; +var y{i in I} binary <= if E[i]>0 then 1 else 0; # Trainee i unassigned +var u{T} binary; # 1 <=> language 1, 0 <=> language 2 +var w >=0; # Number of unassigned trainees + +s.t. Assign_E0 {i in I: E[i]==0}: + sum {t in V[i]} x[i, t] == 1; + +s.t. Unassigned_E12 {i in I: E[i]>0}: + sum {t in V[i]} x[i, t] + y[i] == 1; + +s.t. Sum_Unassigned: w == sum {i in I: E[i]>0} y[i]; + +s.t. Language_1 {t in T}: + u[t]<0.5 ==> sum {i in I: L[i]==1 and t in V[i]} x[i, t] <= 0; + +s.t. Language_2 {t in T}: + u[t]>=0.5 ==> sum {i in I: L[i]==2 and t in V[i]} x[i, t] <= 0; + +s.t. Capacity {p in Pos, t in T}: + sum {i in I: p==P[i] and t in V[i]} x[i, t] <= MAX[p]; + +s.t. Capacity_Meta {p in PosPlus, t in T}: + sum {i in I: p in MAXPlusWhich[P[i]] and t in V[i]} x[i, t] <= MAXPlus[p]; + +suffix objpriority; +param S_range := max {i in I} S[i] - min {i in I} S[i]; + +# The primary objective +minimize Total_Unassigned: w suffix objpriority 3*S_range + 1; +# let Total_Unassigned.objpriority := card(I) + 3; + +# Trainee preferences, ranked by seniority +set SenLevels := setof {i in I} S[i]; +param prefMax {i in I} := max {t in V[i]} Pr[i, t]; +minimize PrefViolRanked {s in SenLevels}: + sum {i in I: s==S[i]} + (1.0 # penalty 1 for non-assignment + - sum {t in V[i]: Pr[i, t]>0} + Pr[i, t] / prefMax[i] # normalize + * x[i, t] + + sum {t in V[i]: Pr[i, t]==0} x[i, t]) # penalty 2 for unwanted assignment + suffix objpriority max {j in I} S[j] + 2*S_range + 1 - s; diff --git a/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_infeas_200.dat b/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_infeas_200.dat new file mode 100644 index 000000000..b6ec8fe13 --- /dev/null +++ b/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_infeas_200.dat @@ -0,0 +1,6277 @@ +###snapshot-version: 0.1.4 +###current-problem/environment-start +problem Initial; +environ Initial; +###current-problem/environment-end + +###data-start +data; +set I := + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 + 13 + 14 + 15 + 16 + 17 + 18 + 19 + 20 + 21 + 22 + 23 + 24 + 25 + 26 + 27 + 28 + 29 + 30 + 31 + 32 + 33 + 34 + 35 + 36 + 37 + 38 + 39 + 40 + 41 + 42 + 43 + 44 + 45 + 46 + 47 + 48 + 49 + 50 + 51 + 52 + 53 + 54 + 55 + 56 + 57 + 58 + 59 + 60 + 61 + 62 + 63 + 64 + 65 + 66 + 67 + 68 + 69 + 70 + 71 + 72 + 73 + 74 + 75 + 76 + 77 + 78 + 79 + 80 + 81 + 82 + 83 + 84 + 85 + 86 + 87 + 88 + 89 + 90 + 91 + 92 + 93 + 94 + 95 + 96 + 97 + 98 + 99 + 100 + 101 + 102 + 103 + 104 + 105 + 106 + 107 + 108 + 109 + 110 + 111 + 112 + 113 + 114 + 115 + 116 + 117 + 118 + 119 + 120 + 121 + 122 + 123 + 124 + 125 + 126 + 127 + 128 + 129 + 130 + 131 + 132 + 133 + 134 + 135 + 136 + 137 + 138 + 139 + 140 + 141 + 142 + 143 + 144 + 145 + 146 + 147 + 148 + 149 + 150 + 151 + 152 + 153 + 154 + 155 + 156 + 157 + 158 + 159 + 160 + 161 + 162 + 163 + 164 + 165 + 166 + 167 + 168 + 169 + 170 + 171 + 172 + 173 + 174 + 175 + 176 + 177 + 178 + 179 + 180 + 181 + 182 + 183 + 184 + 185 + 186 + 187 + 188 + 189 + 190 + 191 + 192 + 193 + 194 + 195 + 196 + 197 + 198 + 199 + 200; +set T := + 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 10 + 11 + 12 + 13 + 14 + 15 + 16 + 17 + 18 + 19 + 20 + 21 + 22 + 23 + 24 + 25; + set V [1] := 5, 13, 10, 16, 21, 9, 20, 17, 18, 15, 24, 11; + set V [2] := 17, 7, 18, 4, 14, 2; + set V [3] := 11, 8, 14, 3, 20, 1, 10, 2, 4, 16, 7, 22; + set V [4] := 14, 7, 13, 10, 5, 23; + set V [5] := 13, 18, 16; + set V [6] := 15, 5, 9, 11, 13; + set V [7] := 1, 23, 15; + set V [8] := 8, 24, 25, 11, 12, 10, 16; + set V [9] := 2, 24, 22, 9, 6; + set V [10] := 7, 19, 10, 15, 2; + set V [11] := 11, 10, 20, 21, 17, 18, 8, 12, 9, 4, 3, 19; + set V [12] := 7, 11, 18, 9, 5, 21; + set V [13] := 20, 5, 9, 11, 3; + set V [14] := 18, 22, 8, 12, 6, 21, 9, 1, 14, 17; + set V [15] := 20, 1, 25, 24, 5, 9, 11, 15, 17, 14, 7, 13; + set V [16] := 8, 3, 1, 22, 2, 19, 17, 18, 9, 24, 10, 6; + set V [17] := 25, 15, 11; + set V [18] := 9, 6, 23, 15; + set V [19] := 4, 17, 23, 19, 15, 3, 18, 10; + set V [20] := 5, 7, 25, 11, 9, 24; + set V [21] := 3, 18, 11, 1, 14, 16, 8, 2, 17; + set V [22] := 19, 5, 9, 4, 12, 15, 6, 17; + set V [23] := 4; + set V [24] := 11; + set V [25] := 24, 16, 25, 14, 3, 9, 21, 19, 7; + set V [26] := 10, 4, 25, 17, 9; + set V [27] := 4, 25, 14, 6, 11, 2, 17, 8, 19, 5, 20, 18; + set V [28] := 8, 19, 15, 2, 14; + set V [29] := 7; + set V [30] := 15, 3, 18; + set V [31] := 2, 15, 9, 12, 22, 1, 10, 6, 7, 19; + set V [32] := 21, 24; + set V [33] := 5, 4, 14, 3, 15, 24; + set V [34] := 10, 25, 3, 20; + set V [35] := 10, 1, 20, 13, 9, 11, 2; + set V [36] := 25; + set V [37] := 18, 2, 9, 20; + set V [38] := 22, 8, 3, 11; + set V [39] := 10, 19, 17, 21, 15; + set V [40] := 7, 18, 8, 25, 10, 3, 5, 19, 14, 11; + set V [41] := 16, 17, 4, 9, 12, 2, 10, 25, 13, 7; + set V [42] := 21, 4, 3, 14, 1, 6, 22, 7, 18, 17, 25, 11; + set V [43] := 14; + set V [44] := 21, 5, 4, 3, 14, 22, 6, 9, 18; + set V [45] := 18, 23, 2, 24, 25, 22, 4, 13, 6, 21; + set V [46] := 18, 1, 13; + set V [47] := 19, 10, 21, 2, 11, 1, 7, 12, 15, 4, 8, 23; + set V [48] := 4, 21, 19, 15, 23, 6; + set V [49] := 20, 25, 5, 15, 21, 8, 14; + set V [50] := 16, 7, 14, 3, 2; + set V [51] := 25, 9, 20, 18, 8, 24, 13, 12, 16; + set V [52] := 7, 9, 23, 24; + set V [53] := 17, 24, 15, 16, 14, 25, 6; + set V [54] := 24; + set V [55] := 14, 19, 23, 15, 3, 20, 12, 1; + set V [56] := 15, 10, 9, 23, 1, 16, 3, 8, 5, 25, 14, 19; + set V [57] := 10, 2, 12, 20, 21, 17, 6, 19, 14, 23, 16; + set V [58] := 21, 9, 13, 6, 5; + set V [59] := 11; + set V [60] := 22, 8, 4, 10, 15, 19, 1, 9; + set V [61] := 4, 1, 6, 24; + set V [62] := 10, 23, 6, 4, 5, 19, 18, 22, 13, 11, 24; + set V [63] := 6, 25, 13, 12, 5; + set V [64] := 2, 9, 18, 11, 5; + set V [65] := 5, 22, 3, 11, 1, 10, 13, 18, 12, 14, 4; + set V [66] := 20, 3; + set V [67] := 9, 24, 14, 16, 21, 12, 17, 6, 3, 7, 11; + set V [68] := 5, 22, 10, 4, 11, 7; + set V [69] := 13, 6, 9, 18; + set V [70] := 23, 12, 3, 19; + set V [71] := 19, 20, 22; + set V [72] := 8; + set V [73] := 20, 2, 12, 15, 25, 19, 6, 17, 1, 8; + set V [74] := 16, 7, 9, 4, 3, 5, 11; + set V [75] := 19, 2, 9, 3; + set V [76] := 10, 3; + set V [77] := 4; + set V [78] := 7, 2; + set V [79] := 14, 23, 2, 22, 19; + set V [80] := 13; + set V [81] := 19, 8, 6, 7, 17, 14, 1, 10, 23, 16, 18, 15; + set V [82] := 12, 11, 3, 23, 9, 15, 24, 19, 2, 8, 4; + set V [83] := 24, 15, 22, 5, 1, 4, 20, 10, 18; + set V [84] := 8, 16, 23, 15, 20; + set V [85] := 14, 12, 16; + set V [86] := 20, 6, 22, 12, 10; + set V [87] := 8, 16, 9, 22, 15, 12, 10; + set V [88] := 12, 22, 15, 25, 18, 8, 4, 5, 21; + set V [89] := 7, 19, 18, 10, 20, 5, 6, 4, 23, 22; + set V [90] := 16, 9, 20, 1, 21; + set V [91] := 13; + set V [92] := 23, 9, 12, 1, 5, 15, 7; + set V [93] := 12; + set V [94] := 15, 1, 7, 13, 14, 2, 4; + set V [95] := 9, 6, 3, 18, 10, 8, 4, 16, 12, 7; + set V [96] := 4, 24, 16, 23, 22, 8; + set V [97] := 21, 2, 17; + set V [98] := 10, 24, 15, 16, 22, 25, 3, 14, 9, 12; + set V [99] := 11, 3, 2; + set V [100] := 4, 16, 24, 18, 15, 13, 22, 23, 12; + set V [101] := 4, 21, 18, 16, 24, 20, 2, 10; + set V [102] := 13, 15, 4, 22, 2, 21, 24, 10; + set V [103] := 3, 4; + set V [104] := 14; + set V [105] := 22, 17, 12, 7, 21, 25, 8, 9, 23; + set V [106] := 24, 15, 1, 23, 3; + set V [107] := 17, 13, 12, 16, 10; + set V [108] := 2, 1, 13, 22, 4, 11, 25, 17, 15, 9; + set V [109] := 17, 21; + set V [110] := 9, 13, 24, 17, 6, 10, 5, 8; + set V [111] := 16, 3, 13, 7, 18, 9, 15, 14; + set V [112] := 10, 18; + set V [113] := 18, 10, 13; + set V [114] := 14, 22, 16, 21; + set V [115] := 25, 14; + set V [116] := 16, 3, 20, 15, 13, 7, 10, 25, 2, 11, 8; + set V [117] := 25, 1, 12, 21, 13, 6, 7, 18; + set V [118] := 21, 19, 25; + set V [119] := 19, 4, 14, 25, 3, 24, 22, 11, 13, 15; + set V [120] := 6; + set V [121] := 5, 24, 11, 10, 23, 25, 16, 1; + set V [122] := 13, 10, 24, 2, 11, 5, 7, 19, 17, 20, 1, 6; + set V [123] := 3, 22, 7, 18, 1, 13, 8, 4, 14, 11; + set V [124] := 20, 11, 21, 24; + set V [125] := 7, 8, 6, 9, 11; + set V [126] := 2, 12, 15, 16, 10, 6, 9, 13; + set V [127] := 1, 9, 19, 20, 17, 15, 14, 21, 23; + set V [128] := 18, 3, 9, 4, 5, 14, 17, 23; + set V [129] := 9, 1, 3, 8, 5, 16, 14; + set V [130] := 1; + set V [131] := 23, 18, 12, 6, 1, 5, 4, 22, 20, 2, 19, 7; + set V [132] := 5, 3, 6; + set V [133] := 12, 18, 4; + set V [134] := 17, 7, 2, 1, 6, 16, 5, 22, 24, 23, 19, 25; + set V [135] := 22, 10, 25, 15; + set V [136] := 25, 5, 23, 4, 2, 15, 8, 20; + set V [137] := 21; + set V [138] := 19, 8, 14, 5, 7, 3, 18, 15, 16, 13, 1, 23; + set V [139] := 17, 18, 20, 14, 5, 8, 23; + set V [140] := 22, 15, 10, 11, 21, 3, 13; + set V [141] := 6, 3, 8, 18, 21, 4, 24, 22; + set V [142] := 8, 4, 3, 21, 17, 24; + set V [143] := 5; + set V [144] := 17, 21, 12, 19, 3, 9, 16, 6, 8, 2, 18, 14; + set V [145] := 20, 25, 11, 19, 2, 6, 16, 1, 4, 7; + set V [146] := 7, 17; + set V [147] := 9, 23, 12, 6, 10, 21; + set V [148] := 10, 12, 4, 21, 3, 24; + set V [149] := 3, 7, 15, 9, 24, 21, 23, 8, 5, 11, 14; + set V [150] := 16, 9; + set V [151] := 4, 17, 10, 24, 12, 18, 5, 22, 3; + set V [152] := 24, 25, 11; + set V [153] := 13, 7, 2, 23, 25, 12, 22, 14, 24, 19, 8, 4; + set V [154] := 25, 9, 1, 3, 15, 22, 12, 16, 10, 14; + set V [155] := 20, 7, 2; + set V [156] := 23, 5, 10, 16, 12; + set V [157] := 25, 19, 3; + set V [158] := 21, 16, 13, 5; + set V [159] := 1, 9, 2, 6, 20, 14, 13, 17, 24, 19, 22, 4; + set V [160] := 22, 14, 12, 1, 6; + set V [161] := 22, 14, 17; + set V [162] := 13, 22, 7, 8, 25, 5, 12, 3, 15, 21; + set V [163] := 9, 20, 2, 19, 11; + set V [164] := 4, 11, 3; + set V [165] := 21, 9, 7; + set V [166] := 10, 9, 21, 24, 4, 1; + set V [167] := 16; + set V [168] := 7, 18, 25, 1, 21; + set V [169] := 11, 2, 18, 20; + set V [170] := 6, 17, 9, 3, 15, 20, 5, 1; + set V [171] := 10, 18, 4, 8, 21, 6, 13, 22, 14, 24; + set V [172] := 1, 20, 12, 5; + set V [173] := 4; + set V [174] := 17, 7, 2; + set V [175] := 22, 20, 10, 9, 21, 13, 23, 15, 19, 25, 1; + set V [176] := 20, 10, 14, 19, 24, 12, 16; + set V [177] := 3, 24, 11; + set V [178] := 17, 22, 8, 25, 4, 14, 7, 21, 24; + set V [179] := 5, 21, 20, 3, 4, 6, 11, 2, 23, 19, 17; + set V [180] := 5; + set V [181] := 23, 13, 24, 1, 22, 18, 21, 25, 2; + set V [182] := 23, 6, 21, 2, 11, 24, 19, 7, 3, 15, 16, 22; + set V [183] := 25, 13, 4; + set V [184] := 17, 19, 20, 2, 14, 1, 21, 12, 16; + set V [185] := 7, 12, 19, 25, 22, 21, 6, 5, 20, 13, 18, 11; + set V [186] := 6, 19, 15, 14, 2, 25, 1, 5, 3; + set V [187] := 24, 14, 19, 17, 3, 25, 8; + set V [188] := 15, 18, 2, 1, 23, 6, 11, 22, 20, 12; + set V [189] := 4, 23, 11, 12; + set V [190] := 12, 25, 9, 13, 1, 4, 20; + set V [191] := 25, 18, 21, 10, 11; + set V [192] := 14, 2, 22, 3, 24, 20; + set V [193] := 10, 18, 2, 3, 22, 14, 17, 15, 8, 11, 13; + set V [194] := 5, 10, 23, 20, 6; + set V [195] := 10, 22, 20, 11, 16, 24, 2, 14, 13, 15, 17; + set V [196] := 18, 12, 10, 4, 23, 22, 25, 15, 9, 7; + set V [197] := 20, 5, 8, 23, 11, 17, 12, 19, 1, 18, 15; + set V [198] := 18, 7, 6, 2; + set V [199] := 24, 19, 16, 5; + set V [200] := 3, 9, 21, 17, 19, 18, 24, 20; +set Pos := + 1 + 2 + 3 + 4; +set PosPlus := + 1 + 2 + 3; + set MAXPlusWhich [1] := 1, 2; + set MAXPlusWhich [2] := 1, 2; + set MAXPlusWhich [3] := 1, 3; + set MAXPlusWhich [4] := 1, 3; +param P := + [1] 3 + [2] 3 + [3] 1 + [4] 1 + [5] 1 + [6] 4 + [7] 3 + [8] 2 + [9] 2 + [10] 3 + [11] 2 + [12] 4 + [13] 3 + [14] 4 + [15] 4 + [16] 4 + [17] 2 + [18] 1 + [19] 3 + [20] 4 + [21] 4 + [22] 3 + [23] 3 + [24] 3 + [25] 4 + [26] 3 + [27] 2 + [28] 1 + [29] 4 + [30] 4 + [31] 4 + [32] 3 + [33] 2 + [34] 3 + [35] 4 + [36] 1 + [37] 2 + [38] 4 + [39] 2 + [40] 4 + [41] 4 + [42] 1 + [43] 4 + [44] 4 + [45] 1 + [46] 1 + [47] 2 + [48] 3 + [49] 1 + [50] 3 + [51] 4 + [52] 2 + [53] 2 + [54] 1 + [55] 1 + [56] 1 + [57] 2 + [58] 4 + [59] 1 + [60] 2 + [61] 3 + [62] 3 + [63] 2 + [64] 2 + [65] 1 + [66] 1 + [67] 1 + [68] 2 + [69] 3 + [70] 3 + [71] 1 + [72] 3 + [73] 4 + [74] 1 + [75] 1 + [76] 1 + [77] 2 + [78] 4 + [79] 1 + [80] 2 + [81] 2 + [82] 2 + [83] 2 + [84] 1 + [85] 2 + [86] 3 + [87] 3 + [88] 1 + [89] 2 + [90] 2 + [91] 4 + [92] 4 + [93] 2 + [94] 2 + [95] 4 + [96] 2 + [97] 4 + [98] 4 + [99] 2 + [100] 1 + [101] 1 + [102] 4 + [103] 2 + [104] 2 + [105] 3 + [106] 1 + [107] 1 + [108] 1 + [109] 4 + [110] 4 + [111] 1 + [112] 3 + [113] 3 + [114] 2 + [115] 1 + [116] 1 + [117] 3 + [118] 1 + [119] 3 + [120] 3 + [121] 2 + [122] 3 + [123] 2 + [124] 2 + [125] 1 + [126] 4 + [127] 2 + [128] 2 + [129] 4 + [130] 3 + [131] 1 + [132] 2 + [133] 4 + [134] 1 + [135] 4 + [136] 1 + [137] 2 + [138] 3 + [139] 2 + [140] 3 + [141] 4 + [142] 2 + [143] 4 + [144] 3 + [145] 1 + [146] 1 + [147] 1 + [148] 1 + [149] 3 + [150] 2 + [151] 2 + [152] 4 + [153] 2 + [154] 3 + [155] 3 + [156] 3 + [157] 2 + [158] 1 + [159] 2 + [160] 3 + [161] 2 + [162] 1 + [163] 2 + [164] 1 + [165] 2 + [166] 2 + [167] 1 + [168] 3 + [169] 2 + [170] 1 + [171] 3 + [172] 1 + [173] 3 + [174] 2 + [175] 2 + [176] 3 + [177] 3 + [178] 1 + [179] 2 + [180] 4 + [181] 4 + [182] 4 + [183] 4 + [184] 4 + [185] 1 + [186] 2 + [187] 3 + [188] 1 + [189] 4 + [190] 4 + [191] 3 + [192] 4 + [193] 1 + [194] 4 + [195] 4 + [196] 1 + [197] 1 + [198] 2 + [199] 1 + [200] 4; +param S := + [1] 27 + [2] 72 + [3] 101 + [4] 150 + [5] 51 + [6] 9 + [7] 74 + [8] 159 + [9] 141 + [10] 13 + [11] 120 + [12] 42 + [13] 166 + [14] 184 + [15] 194 + [16] 3 + [17] 198 + [18] 154 + [19] 80 + [20] 65 + [21] 169 + [22] 174 + [23] 18 + [24] 110 + [25] 128 + [26] 160 + [27] 25 + [28] 83 + [29] 2 + [30] 139 + [31] 199 + [32] 125 + [33] 180 + [34] 5 + [35] 106 + [36] 121 + [37] 112 + [38] 129 + [39] 28 + [40] 145 + [41] 49 + [42] 39 + [43] 37 + [44] 164 + [45] 192 + [46] 146 + [47] 133 + [48] 153 + [49] 161 + [50] 34 + [51] 59 + [52] 175 + [53] 114 + [54] 191 + [55] 187 + [56] 4 + [57] 109 + [58] 167 + [59] 53 + [60] 10 + [61] 152 + [62] 58 + [63] 15 + [64] 35 + [65] 57 + [66] 90 + [67] 127 + [68] 70 + [69] 63 + [70] 108 + [71] 157 + [72] 178 + [73] 12 + [74] 91 + [75] 46 + [76] 41 + [77] 67 + [78] 151 + [79] 179 + [80] 73 + [81] 26 + [82] 100 + [83] 158 + [84] 149 + [85] 181 + [86] 119 + [87] 66 + [88] 171 + [89] 7 + [90] 148 + [91] 165 + [92] 170 + [93] 87 + [94] 24 + [95] 55 + [96] 123 + [97] 97 + [98] 126 + [99] 104 + [100] 118 + [101] 155 + [102] 111 + [103] 105 + [104] 177 + [105] 14 + [106] 62 + [107] 182 + [108] 107 + [109] 69 + [110] 122 + [111] 22 + [112] 32 + [113] 61 + [114] 134 + [115] 19 + [116] 147 + [117] 196 + [118] 85 + [119] 190 + [120] 131 + [121] 50 + [122] 40 + [123] 124 + [124] 6 + [125] 48 + [126] 47 + [127] 78 + [128] 60 + [129] 81 + [130] 8 + [131] 138 + [132] 88 + [133] 54 + [134] 21 + [135] 96 + [136] 45 + [137] 197 + [138] 137 + [139] 162 + [140] 92 + [141] 82 + [142] 132 + [143] 31 + [144] 43 + [145] 98 + [146] 188 + [147] 30 + [148] 115 + [149] 23 + [150] 36 + [151] 64 + [152] 33 + [153] 172 + [154] 136 + [155] 93 + [156] 116 + [157] 29 + [158] 52 + [159] 94 + [160] 130 + [161] 117 + [162] 71 + [163] 103 + [164] 0 + [165] 95 + [166] 79 + [167] 183 + [168] 195 + [169] 84 + [170] 173 + [171] 176 + [172] 163 + [173] 56 + [174] 102 + [175] 76 + [176] 77 + [177] 113 + [178] 16 + [179] 135 + [180] 142 + [181] 44 + [182] 99 + [183] 143 + [184] 11 + [185] 75 + [186] 186 + [187] 1 + [188] 168 + [189] 144 + [190] 86 + [191] 17 + [192] 68 + [193] 185 + [194] 89 + [195] 38 + [196] 193 + [197] 20 + [198] 156 + [199] 140 + [200] 189; +param L := + [1] 0 + [2] 0 + [3] 0 + [4] 0 + [5] 0 + [6] 0 + [7] 2 + [8] 1 + [9] 0 + [10] 2 + [11] 0 + [12] 0 + [13] 1 + [14] 2 + [15] 1 + [16] 1 + [17] 0 + [18] 2 + [19] 1 + [20] 2 + [21] 2 + [22] 1 + [23] 2 + [24] 2 + [25] 0 + [26] 2 + [27] 0 + [28] 0 + [29] 0 + [30] 0 + [31] 0 + [32] 0 + [33] 2 + [34] 0 + [35] 0 + [36] 1 + [37] 2 + [38] 0 + [39] 0 + [40] 1 + [41] 1 + [42] 0 + [43] 2 + [44] 2 + [45] 0 + [46] 2 + [47] 1 + [48] 0 + [49] 0 + [50] 1 + [51] 2 + [52] 2 + [53] 0 + [54] 0 + [55] 1 + [56] 0 + [57] 0 + [58] 0 + [59] 1 + [60] 2 + [61] 0 + [62] 1 + [63] 0 + [64] 0 + [65] 2 + [66] 2 + [67] 2 + [68] 0 + [69] 0 + [70] 0 + [71] 2 + [72] 0 + [73] 1 + [74] 1 + [75] 2 + [76] 0 + [77] 0 + [78] 0 + [79] 0 + [80] 0 + [81] 1 + [82] 1 + [83] 0 + [84] 0 + [85] 0 + [86] 2 + [87] 0 + [88] 0 + [89] 1 + [90] 0 + [91] 2 + [92] 0 + [93] 1 + [94] 0 + [95] 0 + [96] 0 + [97] 2 + [98] 2 + [99] 0 + [100] 0 + [101] 0 + [102] 0 + [103] 2 + [104] 0 + [105] 1 + [106] 2 + [107] 1 + [108] 0 + [109] 1 + [110] 2 + [111] 0 + [112] 0 + [113] 2 + [114] 0 + [115] 2 + [116] 0 + [117] 2 + [118] 1 + [119] 1 + [120] 0 + [121] 1 + [122] 0 + [123] 0 + [124] 2 + [125] 1 + [126] 0 + [127] 1 + [128] 2 + [129] 2 + [130] 0 + [131] 0 + [132] 0 + [133] 0 + [134] 2 + [135] 0 + [136] 0 + [137] 1 + [138] 2 + [139] 0 + [140] 0 + [141] 0 + [142] 0 + [143] 0 + [144] 0 + [145] 0 + [146] 0 + [147] 2 + [148] 2 + [149] 0 + [150] 1 + [151] 0 + [152] 0 + [153] 1 + [154] 2 + [155] 0 + [156] 2 + [157] 0 + [158] 1 + [159] 0 + [160] 2 + [161] 1 + [162] 0 + [163] 0 + [164] 1 + [165] 2 + [166] 1 + [167] 0 + [168] 0 + [169] 2 + [170] 1 + [171] 0 + [172] 0 + [173] 0 + [174] 2 + [175] 0 + [176] 0 + [177] 0 + [178] 0 + [179] 0 + [180] 1 + [181] 0 + [182] 0 + [183] 0 + [184] 1 + [185] 0 + [186] 1 + [187] 0 + [188] 0 + [189] 2 + [190] 2 + [191] 1 + [192] 0 + [193] 2 + [194] 0 + [195] 1 + [196] 0 + [197] 2 + [198] 2 + [199] 0 + [200] 0; +param E := + [1] 1 + [2] 0 + [3] 2 + [4] 0 + [5] 0 + [6] 0 + [7] 2 + [8] 2 + [9] 1 + [10] 0 + [11] 1 + [12] 2 + [13] 0 + [14] 0 + [15] 1 + [16] 1 + [17] 1 + [18] 0 + [19] 1 + [20] 0 + [21] 1 + [22] 1 + [23] 1 + [24] 0 + [25] 0 + [26] 2 + [27] 0 + [28] 2 + [29] 0 + [30] 0 + [31] 0 + [32] 0 + [33] 0 + [34] 1 + [35] 1 + [36] 2 + [37] 0 + [38] 1 + [39] 0 + [40] 1 + [41] 2 + [42] 1 + [43] 2 + [44] 1 + [45] 0 + [46] 0 + [47] 1 + [48] 1 + [49] 0 + [50] 1 + [51] 0 + [52] 0 + [53] 0 + [54] 0 + [55] 0 + [56] 2 + [57] 1 + [58] 1 + [59] 0 + [60] 2 + [61] 0 + [62] 0 + [63] 0 + [64] 1 + [65] 0 + [66] 0 + [67] 0 + [68] 0 + [69] 0 + [70] 0 + [71] 1 + [72] 1 + [73] 0 + [74] 1 + [75] 1 + [76] 0 + [77] 0 + [78] 0 + [79] 0 + [80] 2 + [81] 1 + [82] 0 + [83] 1 + [84] 1 + [85] 0 + [86] 0 + [87] 2 + [88] 0 + [89] 1 + [90] 1 + [91] 0 + [92] 0 + [93] 0 + [94] 2 + [95] 1 + [96] 0 + [97] 0 + [98] 2 + [99] 2 + [100] 2 + [101] 0 + [102] 0 + [103] 0 + [104] 0 + [105] 0 + [106] 0 + [107] 0 + [108] 0 + [109] 0 + [110] 0 + [111] 2 + [112] 0 + [113] 2 + [114] 0 + [115] 0 + [116] 1 + [117] 0 + [118] 0 + [119] 1 + [120] 0 + [121] 1 + [122] 2 + [123] 2 + [124] 0 + [125] 0 + [126] 2 + [127] 0 + [128] 0 + [129] 0 + [130] 2 + [131] 2 + [132] 0 + [133] 0 + [134] 0 + [135] 1 + [136] 0 + [137] 1 + [138] 2 + [139] 1 + [140] 0 + [141] 0 + [142] 1 + [143] 0 + [144] 0 + [145] 1 + [146] 1 + [147] 0 + [148] 0 + [149] 2 + [150] 2 + [151] 0 + [152] 1 + [153] 0 + [154] 0 + [155] 2 + [156] 1 + [157] 0 + [158] 0 + [159] 2 + [160] 0 + [161] 1 + [162] 0 + [163] 1 + [164] 2 + [165] 2 + [166] 1 + [167] 1 + [168] 2 + [169] 0 + [170] 1 + [171] 1 + [172] 0 + [173] 0 + [174] 2 + [175] 2 + [176] 0 + [177] 0 + [178] 2 + [179] 2 + [180] 0 + [181] 0 + [182] 2 + [183] 1 + [184] 0 + [185] 0 + [186] 0 + [187] 2 + [188] 1 + [189] 2 + [190] 2 + [191] 0 + [192] 2 + [193] 0 + [194] 0 + [195] 0 + [196] 0 + [197] 0 + [198] 0 + [199] 2 + [200] 0; +param Pr := + [1,1] 0 + [1,2] 0 + [1,3] 0 + [1,4] 0 + [1,5] 0 + [1,6] 0 + [1,7] 0 + [1,8] 0 + [1,9] 6 + [1,10] 2 + [1,11] 3 + [1,12] 0 + [1,13] 4 + [1,14] 0 + [1,15] 0 + [1,16] 0 + [1,17] 0 + [1,18] 5 + [1,19] 0 + [1,20] 0 + [1,21] 0 + [1,22] 0 + [1,23] 0 + [1,24] 1 + [1,25] 0 + [2,1] 0 + [2,2] 2 + [2,3] 0 + [2,4] 3 + [2,5] 0 + [2,6] 0 + [2,7] 0 + [2,8] 0 + [2,9] 0 + [2,10] 0 + [2,11] 0 + [2,12] 0 + [2,13] 0 + [2,14] 0 + [2,15] 0 + [2,16] 0 + [2,17] 0 + [2,18] 1 + [2,19] 0 + [2,20] 0 + [2,21] 0 + [2,22] 0 + [2,23] 0 + [2,24] 0 + [2,25] 0 + [3,1] 5 + [3,2] 0 + [3,3] 2 + [3,4] 0 + [3,5] 0 + [3,6] 0 + [3,7] 0 + [3,8] 3 + [3,9] 0 + [3,10] 0 + [3,11] 1 + [3,12] 0 + [3,13] 0 + [3,14] 0 + [3,15] 0 + [3,16] 4 + [3,17] 0 + [3,18] 0 + [3,19] 0 + [3,20] 0 + [3,21] 0 + [3,22] 0 + [3,23] 0 + [3,24] 0 + [3,25] 0 + [4,1] 0 + [4,2] 0 + [4,3] 0 + [4,4] 0 + [4,5] 4 + [4,6] 0 + [4,7] 1 + [4,8] 0 + [4,9] 0 + [4,10] 0 + [4,11] 0 + [4,12] 0 + [4,13] 0 + [4,14] 3 + [4,15] 0 + [4,16] 0 + [4,17] 0 + [4,18] 0 + [4,19] 0 + [4,20] 0 + [4,21] 0 + [4,22] 0 + [4,23] 2 + [4,24] 0 + [4,25] 0 + [5,1] 0 + [5,2] 0 + [5,3] 0 + [5,4] 0 + [5,5] 0 + [5,6] 0 + [5,7] 0 + [5,8] 0 + [5,9] 0 + [5,10] 0 + [5,11] 0 + [5,12] 0 + [5,13] 0 + [5,14] 0 + [5,15] 0 + [5,16] 2 + [5,17] 0 + [5,18] 1 + [5,19] 0 + [5,20] 0 + [5,21] 0 + [5,22] 0 + [5,23] 0 + [5,24] 0 + [5,25] 0 + [6,1] 0 + [6,2] 0 + [6,3] 0 + [6,4] 0 + [6,5] 0 + [6,6] 0 + [6,7] 0 + [6,8] 0 + [6,9] 0 + [6,10] 0 + [6,11] 0 + [6,12] 0 + [6,13] 1 + [6,14] 0 + [6,15] 0 + [6,16] 0 + [6,17] 0 + [6,18] 0 + [6,19] 0 + [6,20] 0 + [6,21] 0 + [6,22] 0 + [6,23] 0 + [6,24] 0 + [6,25] 0 + [7,1] 1 + [7,2] 0 + [7,3] 0 + [7,4] 0 + [7,5] 0 + [7,6] 0 + [7,7] 0 + [7,8] 0 + [7,9] 0 + [7,10] 0 + [7,11] 0 + [7,12] 0 + [7,13] 0 + [7,14] 0 + [7,15] 0 + [7,16] 0 + [7,17] 0 + [7,18] 0 + [7,19] 0 + [7,20] 0 + [7,21] 0 + [7,22] 0 + [7,23] 0 + [7,24] 0 + [7,25] 0 + [8,1] 0 + [8,2] 0 + [8,3] 0 + [8,4] 0 + [8,5] 0 + [8,6] 0 + [8,7] 0 + [8,8] 1 + [8,9] 0 + [8,10] 0 + [8,11] 0 + [8,12] 0 + [8,13] 0 + [8,14] 0 + [8,15] 0 + [8,16] 3 + [8,17] 0 + [8,18] 0 + [8,19] 0 + [8,20] 0 + [8,21] 0 + [8,22] 0 + [8,23] 0 + [8,24] 0 + [8,25] 2 + [9,1] 0 + [9,2] 1 + [9,3] 0 + [9,4] 0 + [9,5] 0 + [9,6] 0 + [9,7] 0 + [9,8] 0 + [9,9] 0 + [9,10] 0 + [9,11] 0 + [9,12] 0 + [9,13] 0 + [9,14] 0 + [9,15] 0 + [9,16] 0 + [9,17] 0 + [9,18] 0 + [9,19] 0 + [9,20] 0 + [9,21] 0 + [9,22] 0 + [9,23] 0 + [9,24] 0 + [9,25] 0 + [10,1] 0 + [10,2] 1 + [10,3] 0 + [10,4] 0 + [10,5] 0 + [10,6] 0 + [10,7] 3 + [10,8] 0 + [10,9] 0 + [10,10] 2 + [10,11] 0 + [10,12] 0 + [10,13] 0 + [10,14] 0 + [10,15] 0 + [10,16] 0 + [10,17] 0 + [10,18] 0 + [10,19] 0 + [10,20] 0 + [10,21] 0 + [10,22] 0 + [10,23] 0 + [10,24] 0 + [10,25] 0 + [11,1] 0 + [11,2] 0 + [11,3] 3 + [11,4] 1 + [11,5] 0 + [11,6] 0 + [11,7] 0 + [11,8] 0 + [11,9] 0 + [11,10] 0 + [11,11] 0 + [11,12] 0 + [11,13] 0 + [11,14] 0 + [11,15] 0 + [11,16] 0 + [11,17] 0 + [11,18] 2 + [11,19] 0 + [11,20] 4 + [11,21] 5 + [11,22] 0 + [11,23] 0 + [11,24] 0 + [11,25] 0 + [12,1] 0 + [12,2] 0 + [12,3] 0 + [12,4] 0 + [12,5] 0 + [12,6] 0 + [12,7] 1 + [12,8] 0 + [12,9] 2 + [12,10] 0 + [12,11] 0 + [12,12] 0 + [12,13] 0 + [12,14] 0 + [12,15] 0 + [12,16] 0 + [12,17] 0 + [12,18] 0 + [12,19] 0 + [12,20] 0 + [12,21] 3 + [12,22] 0 + [12,23] 0 + [12,24] 0 + [12,25] 0 + [13,1] 0 + [13,2] 0 + [13,3] 1 + [13,4] 0 + [13,5] 0 + [13,6] 0 + [13,7] 0 + [13,8] 0 + [13,9] 2 + [13,10] 0 + [13,11] 0 + [13,12] 0 + [13,13] 0 + [13,14] 0 + [13,15] 0 + [13,16] 0 + [13,17] 0 + [13,18] 0 + [13,19] 0 + [13,20] 0 + [13,21] 0 + [13,22] 0 + [13,23] 0 + [13,24] 0 + [13,25] 0 + [14,1] 0 + [14,2] 0 + [14,3] 0 + [14,4] 0 + [14,5] 0 + [14,6] 5 + [14,7] 0 + [14,8] 0 + [14,9] 4 + [14,10] 0 + [14,11] 0 + [14,12] 0 + [14,13] 0 + [14,14] 2 + [14,15] 0 + [14,16] 0 + [14,17] 3 + [14,18] 0 + [14,19] 0 + [14,20] 0 + [14,21] 1 + [14,22] 0 + [14,23] 0 + [14,24] 0 + [14,25] 0 + [15,1] 7 + [15,2] 0 + [15,3] 0 + [15,4] 0 + [15,5] 0 + [15,6] 0 + [15,7] 5 + [15,8] 0 + [15,9] 9 + [15,10] 0 + [15,11] 3 + [15,12] 0 + [15,13] 4 + [15,14] 6 + [15,15] 0 + [15,16] 0 + [15,17] 8 + [15,18] 0 + [15,19] 0 + [15,20] 2 + [15,21] 0 + [15,22] 0 + [15,23] 0 + [15,24] 1 + [15,25] 0 + [16,1] 1 + [16,2] 5 + [16,3] 0 + [16,4] 0 + [16,5] 0 + [16,6] 3 + [16,7] 0 + [16,8] 0 + [16,9] 7 + [16,10] 0 + [16,11] 0 + [16,12] 0 + [16,13] 0 + [16,14] 0 + [16,15] 0 + [16,16] 0 + [16,17] 0 + [16,18] 0 + [16,19] 4 + [16,20] 0 + [16,21] 0 + [16,22] 2 + [16,23] 0 + [16,24] 6 + [16,25] 0 + [17,1] 0 + [17,2] 0 + [17,3] 0 + [17,4] 0 + [17,5] 0 + [17,6] 0 + [17,7] 0 + [17,8] 0 + [17,9] 0 + [17,10] 0 + [17,11] 0 + [17,12] 0 + [17,13] 0 + [17,14] 0 + [17,15] 0 + [17,16] 0 + [17,17] 0 + [17,18] 0 + [17,19] 0 + [17,20] 0 + [17,21] 0 + [17,22] 0 + [17,23] 0 + [17,24] 0 + [17,25] 0 + [18,1] 0 + [18,2] 0 + [18,3] 0 + [18,4] 0 + [18,5] 0 + [18,6] 2 + [18,7] 0 + [18,8] 0 + [18,9] 1 + [18,10] 0 + [18,11] 0 + [18,12] 0 + [18,13] 0 + [18,14] 0 + [18,15] 0 + [18,16] 0 + [18,17] 0 + [18,18] 0 + [18,19] 0 + [18,20] 0 + [18,21] 0 + [18,22] 0 + [18,23] 0 + [18,24] 0 + [18,25] 0 + [19,1] 0 + [19,2] 0 + [19,3] 0 + [19,4] 0 + [19,5] 0 + [19,6] 0 + [19,7] 0 + [19,8] 0 + [19,9] 0 + [19,10] 3 + [19,11] 0 + [19,12] 0 + [19,13] 0 + [19,14] 0 + [19,15] 1 + [19,16] 0 + [19,17] 0 + [19,18] 2 + [19,19] 5 + [19,20] 0 + [19,21] 0 + [19,22] 0 + [19,23] 4 + [19,24] 0 + [19,25] 0 + [20,1] 0 + [20,2] 0 + [20,3] 0 + [20,4] 0 + [20,5] 1 + [20,6] 0 + [20,7] 0 + [20,8] 0 + [20,9] 5 + [20,10] 0 + [20,11] 2 + [20,12] 0 + [20,13] 0 + [20,14] 0 + [20,15] 0 + [20,16] 0 + [20,17] 0 + [20,18] 0 + [20,19] 0 + [20,20] 0 + [20,21] 0 + [20,22] 0 + [20,23] 0 + [20,24] 4 + [20,25] 3 + [21,1] 0 + [21,2] 2 + [21,3] 3 + [21,4] 0 + [21,5] 0 + [21,6] 0 + [21,7] 0 + [21,8] 0 + [21,9] 0 + [21,10] 0 + [21,11] 0 + [21,12] 0 + [21,13] 0 + [21,14] 1 + [21,15] 0 + [21,16] 0 + [21,17] 0 + [21,18] 0 + [21,19] 0 + [21,20] 0 + [21,21] 0 + [21,22] 0 + [21,23] 0 + [21,24] 0 + [21,25] 0 + [22,1] 0 + [22,2] 0 + [22,3] 0 + [22,4] 0 + [22,5] 3 + [22,6] 0 + [22,7] 0 + [22,8] 0 + [22,9] 0 + [22,10] 0 + [22,11] 0 + [22,12] 0 + [22,13] 0 + [22,14] 0 + [22,15] 2 + [22,16] 0 + [22,17] 0 + [22,18] 0 + [22,19] 1 + [22,20] 0 + [22,21] 0 + [22,22] 0 + [22,23] 0 + [22,24] 0 + [22,25] 0 + [23,1] 0 + [23,2] 0 + [23,3] 0 + [23,4] 1 + [23,5] 0 + [23,6] 0 + [23,7] 0 + [23,8] 0 + [23,9] 0 + [23,10] 0 + [23,11] 0 + [23,12] 0 + [23,13] 0 + [23,14] 0 + [23,15] 0 + [23,16] 0 + [23,17] 0 + [23,18] 0 + [23,19] 0 + [23,20] 0 + [23,21] 0 + [23,22] 0 + [23,23] 0 + [23,24] 0 + [23,25] 0 + [24,1] 0 + [24,2] 0 + [24,3] 0 + [24,4] 0 + [24,5] 0 + [24,6] 0 + [24,7] 0 + [24,8] 0 + [24,9] 0 + [24,10] 0 + [24,11] 1 + [24,12] 0 + [24,13] 0 + [24,14] 0 + [24,15] 0 + [24,16] 0 + [24,17] 0 + [24,18] 0 + [24,19] 0 + [24,20] 0 + [24,21] 0 + [24,22] 0 + [24,23] 0 + [24,24] 0 + [24,25] 0 + [25,1] 0 + [25,2] 0 + [25,3] 0 + [25,4] 0 + [25,5] 0 + [25,6] 0 + [25,7] 0 + [25,8] 0 + [25,9] 1 + [25,10] 0 + [25,11] 0 + [25,12] 0 + [25,13] 0 + [25,14] 0 + [25,15] 0 + [25,16] 0 + [25,17] 0 + [25,18] 0 + [25,19] 0 + [25,20] 0 + [25,21] 0 + [25,22] 0 + [25,23] 0 + [25,24] 0 + [25,25] 2 + [26,1] 0 + [26,2] 0 + [26,3] 0 + [26,4] 0 + [26,5] 0 + [26,6] 0 + [26,7] 0 + [26,8] 0 + [26,9] 0 + [26,10] 1 + [26,11] 0 + [26,12] 0 + [26,13] 0 + [26,14] 0 + [26,15] 0 + [26,16] 0 + [26,17] 2 + [26,18] 0 + [26,19] 0 + [26,20] 0 + [26,21] 0 + [26,22] 0 + [26,23] 0 + [26,24] 0 + [26,25] 0 + [27,1] 0 + [27,2] 8 + [27,3] 0 + [27,4] 6 + [27,5] 5 + [27,6] 11 + [27,7] 0 + [27,8] 7 + [27,9] 0 + [27,10] 0 + [27,11] 10 + [27,12] 0 + [27,13] 0 + [27,14] 1 + [27,15] 0 + [27,16] 0 + [27,17] 2 + [27,18] 3 + [27,19] 4 + [27,20] 0 + [27,21] 0 + [27,22] 0 + [27,23] 0 + [27,24] 0 + [27,25] 9 + [28,1] 0 + [28,2] 4 + [28,3] 0 + [28,4] 0 + [28,5] 0 + [28,6] 0 + [28,7] 0 + [28,8] 1 + [28,9] 0 + [28,10] 0 + [28,11] 0 + [28,12] 0 + [28,13] 0 + [28,14] 2 + [28,15] 0 + [28,16] 0 + [28,17] 0 + [28,18] 0 + [28,19] 3 + [28,20] 0 + [28,21] 0 + [28,22] 0 + [28,23] 0 + [28,24] 0 + [28,25] 0 + [29,1] 0 + [29,2] 0 + [29,3] 0 + [29,4] 0 + [29,5] 0 + [29,6] 0 + [29,7] 0 + [29,8] 0 + [29,9] 0 + [29,10] 0 + [29,11] 0 + [29,12] 0 + [29,13] 0 + [29,14] 0 + [29,15] 0 + [29,16] 0 + [29,17] 0 + [29,18] 0 + [29,19] 0 + [29,20] 0 + [29,21] 0 + [29,22] 0 + [29,23] 0 + [29,24] 0 + [29,25] 0 + [30,1] 0 + [30,2] 0 + [30,3] 0 + [30,4] 0 + [30,5] 0 + [30,6] 0 + [30,7] 0 + [30,8] 0 + [30,9] 0 + [30,10] 0 + [30,11] 0 + [30,12] 0 + [30,13] 0 + [30,14] 0 + [30,15] 0 + [30,16] 0 + [30,17] 0 + [30,18] 1 + [30,19] 0 + [30,20] 0 + [30,21] 0 + [30,22] 0 + [30,23] 0 + [30,24] 0 + [30,25] 0 + [31,1] 1 + [31,2] 0 + [31,3] 0 + [31,4] 0 + [31,5] 0 + [31,6] 0 + [31,7] 0 + [31,8] 0 + [31,9] 2 + [31,10] 0 + [31,11] 0 + [31,12] 0 + [31,13] 0 + [31,14] 0 + [31,15] 3 + [31,16] 0 + [31,17] 0 + [31,18] 0 + [31,19] 0 + [31,20] 0 + [31,21] 0 + [31,22] 0 + [31,23] 0 + [31,24] 0 + [31,25] 0 + [32,1] 0 + [32,2] 0 + [32,3] 0 + [32,4] 0 + [32,5] 0 + [32,6] 0 + [32,7] 0 + [32,8] 0 + [32,9] 0 + [32,10] 0 + [32,11] 0 + [32,12] 0 + [32,13] 0 + [32,14] 0 + [32,15] 0 + [32,16] 0 + [32,17] 0 + [32,18] 0 + [32,19] 0 + [32,20] 0 + [32,21] 2 + [32,22] 0 + [32,23] 0 + [32,24] 1 + [32,25] 0 + [33,1] 0 + [33,2] 0 + [33,3] 3 + [33,4] 2 + [33,5] 0 + [33,6] 0 + [33,7] 0 + [33,8] 0 + [33,9] 0 + [33,10] 0 + [33,11] 0 + [33,12] 0 + [33,13] 0 + [33,14] 4 + [33,15] 0 + [33,16] 0 + [33,17] 0 + [33,18] 0 + [33,19] 0 + [33,20] 0 + [33,21] 0 + [33,22] 0 + [33,23] 0 + [33,24] 1 + [33,25] 0 + [34,1] 0 + [34,2] 0 + [34,3] 0 + [34,4] 0 + [34,5] 0 + [34,6] 0 + [34,7] 0 + [34,8] 0 + [34,9] 0 + [34,10] 0 + [34,11] 0 + [34,12] 0 + [34,13] 0 + [34,14] 0 + [34,15] 0 + [34,16] 0 + [34,17] 0 + [34,18] 0 + [34,19] 0 + [34,20] 2 + [34,21] 0 + [34,22] 0 + [34,23] 0 + [34,24] 0 + [34,25] 1 + [35,1] 3 + [35,2] 0 + [35,3] 0 + [35,4] 0 + [35,5] 0 + [35,6] 0 + [35,7] 0 + [35,8] 0 + [35,9] 6 + [35,10] 2 + [35,11] 1 + [35,12] 0 + [35,13] 4 + [35,14] 0 + [35,15] 0 + [35,16] 0 + [35,17] 0 + [35,18] 0 + [35,19] 0 + [35,20] 5 + [35,21] 0 + [35,22] 0 + [35,23] 0 + [35,24] 0 + [35,25] 0 + [36,1] 0 + [36,2] 0 + [36,3] 0 + [36,4] 0 + [36,5] 0 + [36,6] 0 + [36,7] 0 + [36,8] 0 + [36,9] 0 + [36,10] 0 + [36,11] 0 + [36,12] 0 + [36,13] 0 + [36,14] 0 + [36,15] 0 + [36,16] 0 + [36,17] 0 + [36,18] 0 + [36,19] 0 + [36,20] 0 + [36,21] 0 + [36,22] 0 + [36,23] 0 + [36,24] 0 + [36,25] 1 + [37,1] 0 + [37,2] 0 + [37,3] 0 + [37,4] 0 + [37,5] 0 + [37,6] 0 + [37,7] 0 + [37,8] 0 + [37,9] 1 + [37,10] 0 + [37,11] 0 + [37,12] 0 + [37,13] 0 + [37,14] 0 + [37,15] 0 + [37,16] 0 + [37,17] 0 + [37,18] 2 + [37,19] 0 + [37,20] 3 + [37,21] 0 + [37,22] 0 + [37,23] 0 + [37,24] 0 + [37,25] 0 + [38,1] 0 + [38,2] 0 + [38,3] 3 + [38,4] 0 + [38,5] 0 + [38,6] 0 + [38,7] 0 + [38,8] 0 + [38,9] 0 + [38,10] 0 + [38,11] 2 + [38,12] 0 + [38,13] 0 + [38,14] 0 + [38,15] 0 + [38,16] 0 + [38,17] 0 + [38,18] 0 + [38,19] 0 + [38,20] 0 + [38,21] 0 + [38,22] 1 + [38,23] 0 + [38,24] 0 + [38,25] 0 + [39,1] 0 + [39,2] 0 + [39,3] 0 + [39,4] 0 + [39,5] 0 + [39,6] 0 + [39,7] 0 + [39,8] 0 + [39,9] 0 + [39,10] 0 + [39,11] 0 + [39,12] 0 + [39,13] 0 + [39,14] 0 + [39,15] 0 + [39,16] 0 + [39,17] 0 + [39,18] 0 + [39,19] 1 + [39,20] 0 + [39,21] 0 + [39,22] 0 + [39,23] 0 + [39,24] 0 + [39,25] 0 + [40,1] 0 + [40,2] 0 + [40,3] 0 + [40,4] 0 + [40,5] 0 + [40,6] 0 + [40,7] 2 + [40,8] 0 + [40,9] 0 + [40,10] 1 + [40,11] 3 + [40,12] 0 + [40,13] 0 + [40,14] 4 + [40,15] 0 + [40,16] 0 + [40,17] 0 + [40,18] 0 + [40,19] 0 + [40,20] 0 + [40,21] 0 + [40,22] 0 + [40,23] 0 + [40,24] 0 + [40,25] 5 + [41,1] 0 + [41,2] 4 + [41,3] 0 + [41,4] 1 + [41,5] 0 + [41,6] 0 + [41,7] 8 + [41,8] 0 + [41,9] 7 + [41,10] 6 + [41,11] 0 + [41,12] 0 + [41,13] 2 + [41,14] 0 + [41,15] 0 + [41,16] 0 + [41,17] 3 + [41,18] 0 + [41,19] 0 + [41,20] 0 + [41,21] 0 + [41,22] 0 + [41,23] 0 + [41,24] 0 + [41,25] 5 + [42,1] 1 + [42,2] 0 + [42,3] 0 + [42,4] 2 + [42,5] 0 + [42,6] 0 + [42,7] 0 + [42,8] 0 + [42,9] 0 + [42,10] 0 + [42,11] 0 + [42,12] 0 + [42,13] 0 + [42,14] 4 + [42,15] 0 + [42,16] 0 + [42,17] 0 + [42,18] 0 + [42,19] 0 + [42,20] 0 + [42,21] 3 + [42,22] 0 + [42,23] 0 + [42,24] 0 + [42,25] 0 + [43,1] 0 + [43,2] 0 + [43,3] 0 + [43,4] 0 + [43,5] 0 + [43,6] 0 + [43,7] 0 + [43,8] 0 + [43,9] 0 + [43,10] 0 + [43,11] 0 + [43,12] 0 + [43,13] 0 + [43,14] 1 + [43,15] 0 + [43,16] 0 + [43,17] 0 + [43,18] 0 + [43,19] 0 + [43,20] 0 + [43,21] 0 + [43,22] 0 + [43,23] 0 + [43,24] 0 + [43,25] 0 + [44,1] 0 + [44,2] 0 + [44,3] 0 + [44,4] 0 + [44,5] 0 + [44,6] 0 + [44,7] 0 + [44,8] 0 + [44,9] 2 + [44,10] 0 + [44,11] 0 + [44,12] 0 + [44,13] 0 + [44,14] 1 + [44,15] 0 + [44,16] 0 + [44,17] 0 + [44,18] 0 + [44,19] 0 + [44,20] 0 + [44,21] 3 + [44,22] 0 + [44,23] 0 + [44,24] 0 + [44,25] 0 + [45,1] 0 + [45,2] 4 + [45,3] 0 + [45,4] 0 + [45,5] 0 + [45,6] 3 + [45,7] 0 + [45,8] 0 + [45,9] 0 + [45,10] 0 + [45,11] 0 + [45,12] 0 + [45,13] 7 + [45,14] 0 + [45,15] 0 + [45,16] 0 + [45,17] 0 + [45,18] 0 + [45,19] 0 + [45,20] 0 + [45,21] 2 + [45,22] 0 + [45,23] 1 + [45,24] 6 + [45,25] 5 + [46,1] 1 + [46,2] 0 + [46,3] 0 + [46,4] 0 + [46,5] 0 + [46,6] 0 + [46,7] 0 + [46,8] 0 + [46,9] 0 + [46,10] 0 + [46,11] 0 + [46,12] 0 + [46,13] 3 + [46,14] 0 + [46,15] 0 + [46,16] 0 + [46,17] 0 + [46,18] 2 + [46,19] 0 + [46,20] 0 + [46,21] 0 + [46,22] 0 + [46,23] 0 + [46,24] 0 + [46,25] 0 + [47,1] 0 + [47,2] 0 + [47,3] 0 + [47,4] 0 + [47,5] 0 + [47,6] 0 + [47,7] 3 + [47,8] 0 + [47,9] 0 + [47,10] 0 + [47,11] 1 + [47,12] 4 + [47,13] 0 + [47,14] 0 + [47,15] 2 + [47,16] 0 + [47,17] 0 + [47,18] 0 + [47,19] 0 + [47,20] 0 + [47,21] 0 + [47,22] 0 + [47,23] 5 + [47,24] 0 + [47,25] 0 + [48,1] 0 + [48,2] 0 + [48,3] 0 + [48,4] 0 + [48,5] 0 + [48,6] 0 + [48,7] 0 + [48,8] 0 + [48,9] 0 + [48,10] 0 + [48,11] 0 + [48,12] 0 + [48,13] 0 + [48,14] 0 + [48,15] 2 + [48,16] 0 + [48,17] 0 + [48,18] 0 + [48,19] 0 + [48,20] 0 + [48,21] 0 + [48,22] 0 + [48,23] 1 + [48,24] 0 + [48,25] 0 + [49,1] 0 + [49,2] 0 + [49,3] 0 + [49,4] 0 + [49,5] 1 + [49,6] 0 + [49,7] 0 + [49,8] 5 + [49,9] 0 + [49,10] 0 + [49,11] 0 + [49,12] 0 + [49,13] 0 + [49,14] 2 + [49,15] 3 + [49,16] 0 + [49,17] 0 + [49,18] 0 + [49,19] 0 + [49,20] 0 + [49,21] 0 + [49,22] 0 + [49,23] 0 + [49,24] 0 + [49,25] 4 + [50,1] 0 + [50,2] 0 + [50,3] 0 + [50,4] 0 + [50,5] 0 + [50,6] 0 + [50,7] 1 + [50,8] 0 + [50,9] 0 + [50,10] 0 + [50,11] 0 + [50,12] 0 + [50,13] 0 + [50,14] 0 + [50,15] 0 + [50,16] 0 + [50,17] 0 + [50,18] 0 + [50,19] 0 + [50,20] 0 + [50,21] 0 + [50,22] 0 + [50,23] 0 + [50,24] 0 + [50,25] 0 + [51,1] 0 + [51,2] 0 + [51,3] 0 + [51,4] 0 + [51,5] 0 + [51,6] 0 + [51,7] 0 + [51,8] 0 + [51,9] 0 + [51,10] 0 + [51,11] 0 + [51,12] 4 + [51,13] 0 + [51,14] 0 + [51,15] 0 + [51,16] 2 + [51,17] 0 + [51,18] 0 + [51,19] 0 + [51,20] 5 + [51,21] 0 + [51,22] 0 + [51,23] 0 + [51,24] 3 + [51,25] 1 + [52,1] 0 + [52,2] 0 + [52,3] 0 + [52,4] 0 + [52,5] 0 + [52,6] 0 + [52,7] 4 + [52,8] 0 + [52,9] 2 + [52,10] 0 + [52,11] 0 + [52,12] 0 + [52,13] 0 + [52,14] 0 + [52,15] 0 + [52,16] 0 + [52,17] 0 + [52,18] 0 + [52,19] 0 + [52,20] 0 + [52,21] 0 + [52,22] 0 + [52,23] 1 + [52,24] 3 + [52,25] 0 + [53,1] 0 + [53,2] 0 + [53,3] 0 + [53,4] 0 + [53,5] 0 + [53,6] 1 + [53,7] 0 + [53,8] 0 + [53,9] 0 + [53,10] 0 + [53,11] 0 + [53,12] 0 + [53,13] 0 + [53,14] 0 + [53,15] 2 + [53,16] 0 + [53,17] 3 + [53,18] 0 + [53,19] 0 + [53,20] 0 + [53,21] 0 + [53,22] 0 + [53,23] 0 + [53,24] 0 + [53,25] 0 + [54,1] 0 + [54,2] 0 + [54,3] 0 + [54,4] 0 + [54,5] 0 + [54,6] 0 + [54,7] 0 + [54,8] 0 + [54,9] 0 + [54,10] 0 + [54,11] 0 + [54,12] 0 + [54,13] 0 + [54,14] 0 + [54,15] 0 + [54,16] 0 + [54,17] 0 + [54,18] 0 + [54,19] 0 + [54,20] 0 + [54,21] 0 + [54,22] 0 + [54,23] 0 + [54,24] 0 + [54,25] 0 + [55,1] 0 + [55,2] 0 + [55,3] 0 + [55,4] 0 + [55,5] 0 + [55,6] 0 + [55,7] 0 + [55,8] 0 + [55,9] 0 + [55,10] 0 + [55,11] 0 + [55,12] 0 + [55,13] 0 + [55,14] 3 + [55,15] 1 + [55,16] 0 + [55,17] 0 + [55,18] 0 + [55,19] 2 + [55,20] 0 + [55,21] 0 + [55,22] 0 + [55,23] 0 + [55,24] 0 + [55,25] 0 + [56,1] 1 + [56,2] 0 + [56,3] 4 + [56,4] 0 + [56,5] 0 + [56,6] 0 + [56,7] 0 + [56,8] 0 + [56,9] 0 + [56,10] 0 + [56,11] 0 + [56,12] 0 + [56,13] 0 + [56,14] 0 + [56,15] 2 + [56,16] 3 + [56,17] 0 + [56,18] 0 + [56,19] 0 + [56,20] 0 + [56,21] 0 + [56,22] 0 + [56,23] 5 + [56,24] 0 + [56,25] 0 + [57,1] 0 + [57,2] 4 + [57,3] 0 + [57,4] 0 + [57,5] 0 + [57,6] 1 + [57,7] 0 + [57,8] 0 + [57,9] 0 + [57,10] 3 + [57,11] 0 + [57,12] 0 + [57,13] 0 + [57,14] 0 + [57,15] 0 + [57,16] 0 + [57,17] 5 + [57,18] 0 + [57,19] 0 + [57,20] 0 + [57,21] 0 + [57,22] 0 + [57,23] 2 + [57,24] 0 + [57,25] 0 + [58,1] 0 + [58,2] 0 + [58,3] 0 + [58,4] 0 + [58,5] 0 + [58,6] 4 + [58,7] 0 + [58,8] 0 + [58,9] 3 + [58,10] 0 + [58,11] 0 + [58,12] 0 + [58,13] 1 + [58,14] 0 + [58,15] 0 + [58,16] 0 + [58,17] 0 + [58,18] 0 + [58,19] 0 + [58,20] 0 + [58,21] 2 + [58,22] 0 + [58,23] 0 + [58,24] 0 + [58,25] 0 + [59,1] 0 + [59,2] 0 + [59,3] 0 + [59,4] 0 + [59,5] 0 + [59,6] 0 + [59,7] 0 + [59,8] 0 + [59,9] 0 + [59,10] 0 + [59,11] 0 + [59,12] 0 + [59,13] 0 + [59,14] 0 + [59,15] 0 + [59,16] 0 + [59,17] 0 + [59,18] 0 + [59,19] 0 + [59,20] 0 + [59,21] 0 + [59,22] 0 + [59,23] 0 + [59,24] 0 + [59,25] 0 + [60,1] 4 + [60,2] 0 + [60,3] 0 + [60,4] 0 + [60,5] 0 + [60,6] 0 + [60,7] 0 + [60,8] 0 + [60,9] 2 + [60,10] 1 + [60,11] 0 + [60,12] 0 + [60,13] 0 + [60,14] 0 + [60,15] 0 + [60,16] 0 + [60,17] 0 + [60,18] 0 + [60,19] 3 + [60,20] 0 + [60,21] 0 + [60,22] 0 + [60,23] 0 + [60,24] 0 + [60,25] 0 + [61,1] 0 + [61,2] 0 + [61,3] 0 + [61,4] 1 + [61,5] 0 + [61,6] 0 + [61,7] 0 + [61,8] 0 + [61,9] 0 + [61,10] 0 + [61,11] 0 + [61,12] 0 + [61,13] 0 + [61,14] 0 + [61,15] 0 + [61,16] 0 + [61,17] 0 + [61,18] 0 + [61,19] 0 + [61,20] 0 + [61,21] 0 + [61,22] 0 + [61,23] 0 + [61,24] 0 + [61,25] 0 + [62,1] 0 + [62,2] 0 + [62,3] 0 + [62,4] 0 + [62,5] 0 + [62,6] 0 + [62,7] 0 + [62,8] 0 + [62,9] 0 + [62,10] 0 + [62,11] 0 + [62,12] 0 + [62,13] 2 + [62,14] 0 + [62,15] 0 + [62,16] 0 + [62,17] 0 + [62,18] 0 + [62,19] 0 + [62,20] 0 + [62,21] 0 + [62,22] 1 + [62,23] 0 + [62,24] 3 + [62,25] 0 + [63,1] 0 + [63,2] 0 + [63,3] 0 + [63,4] 0 + [63,5] 0 + [63,6] 2 + [63,7] 0 + [63,8] 0 + [63,9] 0 + [63,10] 0 + [63,11] 0 + [63,12] 0 + [63,13] 1 + [63,14] 0 + [63,15] 0 + [63,16] 0 + [63,17] 0 + [63,18] 0 + [63,19] 0 + [63,20] 0 + [63,21] 0 + [63,22] 0 + [63,23] 0 + [63,24] 0 + [63,25] 0 + [64,1] 0 + [64,2] 0 + [64,3] 0 + [64,4] 0 + [64,5] 3 + [64,6] 0 + [64,7] 0 + [64,8] 0 + [64,9] 2 + [64,10] 0 + [64,11] 0 + [64,12] 0 + [64,13] 0 + [64,14] 0 + [64,15] 0 + [64,16] 0 + [64,17] 0 + [64,18] 1 + [64,19] 0 + [64,20] 0 + [64,21] 0 + [64,22] 0 + [64,23] 0 + [64,24] 0 + [64,25] 0 + [65,1] 3 + [65,2] 0 + [65,3] 5 + [65,4] 4 + [65,5] 0 + [65,6] 0 + [65,7] 0 + [65,8] 0 + [65,9] 0 + [65,10] 0 + [65,11] 0 + [65,12] 1 + [65,13] 0 + [65,14] 6 + [65,15] 0 + [65,16] 0 + [65,17] 0 + [65,18] 2 + [65,19] 0 + [65,20] 0 + [65,21] 0 + [65,22] 0 + [65,23] 0 + [65,24] 0 + [65,25] 0 + [66,1] 0 + [66,2] 0 + [66,3] 0 + [66,4] 0 + [66,5] 0 + [66,6] 0 + [66,7] 0 + [66,8] 0 + [66,9] 0 + [66,10] 0 + [66,11] 0 + [66,12] 0 + [66,13] 0 + [66,14] 0 + [66,15] 0 + [66,16] 0 + [66,17] 0 + [66,18] 0 + [66,19] 0 + [66,20] 1 + [66,21] 0 + [66,22] 0 + [66,23] 0 + [66,24] 0 + [66,25] 0 + [67,1] 0 + [67,2] 0 + [67,3] 0 + [67,4] 0 + [67,5] 0 + [67,6] 0 + [67,7] 0 + [67,8] 0 + [67,9] 0 + [67,10] 0 + [67,11] 0 + [67,12] 0 + [67,13] 0 + [67,14] 1 + [67,15] 0 + [67,16] 2 + [67,17] 0 + [67,18] 0 + [67,19] 0 + [67,20] 0 + [67,21] 0 + [67,22] 0 + [67,23] 0 + [67,24] 0 + [67,25] 0 + [68,1] 0 + [68,2] 0 + [68,3] 0 + [68,4] 1 + [68,5] 0 + [68,6] 0 + [68,7] 0 + [68,8] 0 + [68,9] 0 + [68,10] 0 + [68,11] 0 + [68,12] 0 + [68,13] 0 + [68,14] 0 + [68,15] 0 + [68,16] 0 + [68,17] 0 + [68,18] 0 + [68,19] 0 + [68,20] 0 + [68,21] 0 + [68,22] 0 + [68,23] 0 + [68,24] 0 + [68,25] 0 + [69,1] 0 + [69,2] 0 + [69,3] 0 + [69,4] 0 + [69,5] 0 + [69,6] 0 + [69,7] 0 + [69,8] 0 + [69,9] 3 + [69,10] 0 + [69,11] 0 + [69,12] 0 + [69,13] 1 + [69,14] 0 + [69,15] 0 + [69,16] 0 + [69,17] 0 + [69,18] 2 + [69,19] 0 + [69,20] 0 + [69,21] 0 + [69,22] 0 + [69,23] 0 + [69,24] 0 + [69,25] 0 + [70,1] 0 + [70,2] 0 + [70,3] 1 + [70,4] 0 + [70,5] 0 + [70,6] 0 + [70,7] 0 + [70,8] 0 + [70,9] 0 + [70,10] 0 + [70,11] 0 + [70,12] 2 + [70,13] 0 + [70,14] 0 + [70,15] 0 + [70,16] 0 + [70,17] 0 + [70,18] 0 + [70,19] 0 + [70,20] 0 + [70,21] 0 + [70,22] 0 + [70,23] 0 + [70,24] 0 + [70,25] 0 + [71,1] 0 + [71,2] 0 + [71,3] 0 + [71,4] 0 + [71,5] 0 + [71,6] 0 + [71,7] 0 + [71,8] 0 + [71,9] 0 + [71,10] 0 + [71,11] 0 + [71,12] 0 + [71,13] 0 + [71,14] 0 + [71,15] 0 + [71,16] 0 + [71,17] 0 + [71,18] 0 + [71,19] 1 + [71,20] 0 + [71,21] 0 + [71,22] 0 + [71,23] 0 + [71,24] 0 + [71,25] 0 + [72,1] 0 + [72,2] 0 + [72,3] 0 + [72,4] 0 + [72,5] 0 + [72,6] 0 + [72,7] 0 + [72,8] 1 + [72,9] 0 + [72,10] 0 + [72,11] 0 + [72,12] 0 + [72,13] 0 + [72,14] 0 + [72,15] 0 + [72,16] 0 + [72,17] 0 + [72,18] 0 + [72,19] 0 + [72,20] 0 + [72,21] 0 + [72,22] 0 + [72,23] 0 + [72,24] 0 + [72,25] 0 + [73,1] 0 + [73,2] 2 + [73,3] 0 + [73,4] 0 + [73,5] 0 + [73,6] 1 + [73,7] 0 + [73,8] 3 + [73,9] 0 + [73,10] 0 + [73,11] 0 + [73,12] 0 + [73,13] 0 + [73,14] 0 + [73,15] 5 + [73,16] 0 + [73,17] 0 + [73,18] 0 + [73,19] 4 + [73,20] 0 + [73,21] 0 + [73,22] 0 + [73,23] 0 + [73,24] 0 + [73,25] 0 + [74,1] 0 + [74,2] 0 + [74,3] 3 + [74,4] 4 + [74,5] 0 + [74,6] 0 + [74,7] 1 + [74,8] 0 + [74,9] 0 + [74,10] 0 + [74,11] 0 + [74,12] 0 + [74,13] 0 + [74,14] 0 + [74,15] 0 + [74,16] 2 + [74,17] 0 + [74,18] 0 + [74,19] 0 + [74,20] 0 + [74,21] 0 + [74,22] 0 + [74,23] 0 + [74,24] 0 + [74,25] 0 + [75,1] 0 + [75,2] 1 + [75,3] 0 + [75,4] 0 + [75,5] 0 + [75,6] 0 + [75,7] 0 + [75,8] 0 + [75,9] 2 + [75,10] 0 + [75,11] 0 + [75,12] 0 + [75,13] 0 + [75,14] 0 + [75,15] 0 + [75,16] 0 + [75,17] 0 + [75,18] 0 + [75,19] 0 + [75,20] 0 + [75,21] 0 + [75,22] 0 + [75,23] 0 + [75,24] 0 + [75,25] 0 + [76,1] 0 + [76,2] 0 + [76,3] 0 + [76,4] 0 + [76,5] 0 + [76,6] 0 + [76,7] 0 + [76,8] 0 + [76,9] 0 + [76,10] 1 + [76,11] 0 + [76,12] 0 + [76,13] 0 + [76,14] 0 + [76,15] 0 + [76,16] 0 + [76,17] 0 + [76,18] 0 + [76,19] 0 + [76,20] 0 + [76,21] 0 + [76,22] 0 + [76,23] 0 + [76,24] 0 + [76,25] 0 + [77,1] 0 + [77,2] 0 + [77,3] 0 + [77,4] 0 + [77,5] 0 + [77,6] 0 + [77,7] 0 + [77,8] 0 + [77,9] 0 + [77,10] 0 + [77,11] 0 + [77,12] 0 + [77,13] 0 + [77,14] 0 + [77,15] 0 + [77,16] 0 + [77,17] 0 + [77,18] 0 + [77,19] 0 + [77,20] 0 + [77,21] 0 + [77,22] 0 + [77,23] 0 + [77,24] 0 + [77,25] 0 + [78,1] 0 + [78,2] 0 + [78,3] 0 + [78,4] 0 + [78,5] 0 + [78,6] 0 + [78,7] 1 + [78,8] 0 + [78,9] 0 + [78,10] 0 + [78,11] 0 + [78,12] 0 + [78,13] 0 + [78,14] 0 + [78,15] 0 + [78,16] 0 + [78,17] 0 + [78,18] 0 + [78,19] 0 + [78,20] 0 + [78,21] 0 + [78,22] 0 + [78,23] 0 + [78,24] 0 + [78,25] 0 + [79,1] 0 + [79,2] 1 + [79,3] 0 + [79,4] 0 + [79,5] 0 + [79,6] 0 + [79,7] 0 + [79,8] 0 + [79,9] 0 + [79,10] 0 + [79,11] 0 + [79,12] 0 + [79,13] 0 + [79,14] 2 + [79,15] 0 + [79,16] 0 + [79,17] 0 + [79,18] 0 + [79,19] 0 + [79,20] 0 + [79,21] 0 + [79,22] 4 + [79,23] 3 + [79,24] 0 + [79,25] 0 + [80,1] 0 + [80,2] 0 + [80,3] 0 + [80,4] 0 + [80,5] 0 + [80,6] 0 + [80,7] 0 + [80,8] 0 + [80,9] 0 + [80,10] 0 + [80,11] 0 + [80,12] 0 + [80,13] 0 + [80,14] 0 + [80,15] 0 + [80,16] 0 + [80,17] 0 + [80,18] 0 + [80,19] 0 + [80,20] 0 + [80,21] 0 + [80,22] 0 + [80,23] 0 + [80,24] 0 + [80,25] 0 + [81,1] 5 + [81,2] 0 + [81,3] 0 + [81,4] 0 + [81,5] 0 + [81,6] 6 + [81,7] 0 + [81,8] 0 + [81,9] 0 + [81,10] 3 + [81,11] 0 + [81,12] 0 + [81,13] 0 + [81,14] 0 + [81,15] 0 + [81,16] 2 + [81,17] 4 + [81,18] 7 + [81,19] 1 + [81,20] 0 + [81,21] 0 + [81,22] 0 + [81,23] 0 + [81,24] 0 + [81,25] 0 + [82,1] 0 + [82,2] 4 + [82,3] 0 + [82,4] 7 + [82,5] 0 + [82,6] 0 + [82,7] 0 + [82,8] 3 + [82,9] 0 + [82,10] 0 + [82,11] 1 + [82,12] 0 + [82,13] 0 + [82,14] 0 + [82,15] 5 + [82,16] 0 + [82,17] 0 + [82,18] 0 + [82,19] 2 + [82,20] 0 + [82,21] 0 + [82,22] 0 + [82,23] 6 + [82,24] 0 + [82,25] 0 + [83,1] 5 + [83,2] 0 + [83,3] 0 + [83,4] 3 + [83,5] 1 + [83,6] 0 + [83,7] 0 + [83,8] 0 + [83,9] 0 + [83,10] 0 + [83,11] 0 + [83,12] 0 + [83,13] 0 + [83,14] 0 + [83,15] 0 + [83,16] 0 + [83,17] 0 + [83,18] 2 + [83,19] 0 + [83,20] 4 + [83,21] 0 + [83,22] 0 + [83,23] 0 + [83,24] 0 + [83,25] 0 + [84,1] 0 + [84,2] 0 + [84,3] 0 + [84,4] 0 + [84,5] 0 + [84,6] 0 + [84,7] 0 + [84,8] 0 + [84,9] 0 + [84,10] 0 + [84,11] 0 + [84,12] 0 + [84,13] 0 + [84,14] 0 + [84,15] 3 + [84,16] 2 + [84,17] 0 + [84,18] 0 + [84,19] 0 + [84,20] 0 + [84,21] 0 + [84,22] 0 + [84,23] 1 + [84,24] 0 + [84,25] 0 + [85,1] 0 + [85,2] 0 + [85,3] 0 + [85,4] 0 + [85,5] 0 + [85,6] 0 + [85,7] 0 + [85,8] 0 + [85,9] 0 + [85,10] 0 + [85,11] 0 + [85,12] 2 + [85,13] 0 + [85,14] 1 + [85,15] 0 + [85,16] 0 + [85,17] 0 + [85,18] 0 + [85,19] 0 + [85,20] 0 + [85,21] 0 + [85,22] 0 + [85,23] 0 + [85,24] 0 + [85,25] 0 + [86,1] 0 + [86,2] 0 + [86,3] 0 + [86,4] 0 + [86,5] 0 + [86,6] 2 + [86,7] 0 + [86,8] 0 + [86,9] 0 + [86,10] 0 + [86,11] 0 + [86,12] 0 + [86,13] 0 + [86,14] 0 + [86,15] 0 + [86,16] 0 + [86,17] 0 + [86,18] 0 + [86,19] 0 + [86,20] 0 + [86,21] 0 + [86,22] 1 + [86,23] 0 + [86,24] 0 + [86,25] 0 + [87,1] 0 + [87,2] 0 + [87,3] 0 + [87,4] 0 + [87,5] 0 + [87,6] 0 + [87,7] 0 + [87,8] 0 + [87,9] 0 + [87,10] 0 + [87,11] 0 + [87,12] 3 + [87,13] 0 + [87,14] 0 + [87,15] 2 + [87,16] 4 + [87,17] 0 + [87,18] 0 + [87,19] 0 + [87,20] 0 + [87,21] 0 + [87,22] 1 + [87,23] 0 + [87,24] 0 + [87,25] 0 + [88,1] 0 + [88,2] 0 + [88,3] 0 + [88,4] 0 + [88,5] 0 + [88,6] 0 + [88,7] 0 + [88,8] 1 + [88,9] 0 + [88,10] 0 + [88,11] 0 + [88,12] 2 + [88,13] 0 + [88,14] 0 + [88,15] 0 + [88,16] 0 + [88,17] 0 + [88,18] 0 + [88,19] 0 + [88,20] 0 + [88,21] 0 + [88,22] 0 + [88,23] 0 + [88,24] 0 + [88,25] 0 + [89,1] 0 + [89,2] 0 + [89,3] 0 + [89,4] 6 + [89,5] 0 + [89,6] 5 + [89,7] 0 + [89,8] 0 + [89,9] 0 + [89,10] 2 + [89,11] 0 + [89,12] 0 + [89,13] 0 + [89,14] 0 + [89,15] 0 + [89,16] 0 + [89,17] 0 + [89,18] 0 + [89,19] 1 + [89,20] 4 + [89,21] 0 + [89,22] 0 + [89,23] 3 + [89,24] 0 + [89,25] 0 + [90,1] 3 + [90,2] 0 + [90,3] 0 + [90,4] 0 + [90,5] 0 + [90,6] 0 + [90,7] 0 + [90,8] 0 + [90,9] 0 + [90,10] 0 + [90,11] 0 + [90,12] 0 + [90,13] 0 + [90,14] 0 + [90,15] 0 + [90,16] 2 + [90,17] 0 + [90,18] 0 + [90,19] 0 + [90,20] 0 + [90,21] 1 + [90,22] 0 + [90,23] 0 + [90,24] 0 + [90,25] 0 + [91,1] 0 + [91,2] 0 + [91,3] 0 + [91,4] 0 + [91,5] 0 + [91,6] 0 + [91,7] 0 + [91,8] 0 + [91,9] 0 + [91,10] 0 + [91,11] 0 + [91,12] 0 + [91,13] 0 + [91,14] 0 + [91,15] 0 + [91,16] 0 + [91,17] 0 + [91,18] 0 + [91,19] 0 + [91,20] 0 + [91,21] 0 + [91,22] 0 + [91,23] 0 + [91,24] 0 + [91,25] 0 + [92,1] 3 + [92,2] 0 + [92,3] 0 + [92,4] 0 + [92,5] 0 + [92,6] 0 + [92,7] 0 + [92,8] 0 + [92,9] 5 + [92,10] 0 + [92,11] 0 + [92,12] 4 + [92,13] 0 + [92,14] 0 + [92,15] 1 + [92,16] 0 + [92,17] 0 + [92,18] 0 + [92,19] 0 + [92,20] 0 + [92,21] 0 + [92,22] 0 + [92,23] 2 + [92,24] 0 + [92,25] 0 + [93,1] 0 + [93,2] 0 + [93,3] 0 + [93,4] 0 + [93,5] 0 + [93,6] 0 + [93,7] 0 + [93,8] 0 + [93,9] 0 + [93,10] 0 + [93,11] 0 + [93,12] 0 + [93,13] 0 + [93,14] 0 + [93,15] 0 + [93,16] 0 + [93,17] 0 + [93,18] 0 + [93,19] 0 + [93,20] 0 + [93,21] 0 + [93,22] 0 + [93,23] 0 + [93,24] 0 + [93,25] 0 + [94,1] 0 + [94,2] 2 + [94,3] 0 + [94,4] 0 + [94,5] 0 + [94,6] 0 + [94,7] 0 + [94,8] 0 + [94,9] 0 + [94,10] 0 + [94,11] 0 + [94,12] 0 + [94,13] 1 + [94,14] 3 + [94,15] 0 + [94,16] 0 + [94,17] 0 + [94,18] 0 + [94,19] 0 + [94,20] 0 + [94,21] 0 + [94,22] 0 + [94,23] 0 + [94,24] 0 + [94,25] 0 + [95,1] 0 + [95,2] 0 + [95,3] 0 + [95,4] 0 + [95,5] 0 + [95,6] 0 + [95,7] 4 + [95,8] 2 + [95,9] 0 + [95,10] 1 + [95,11] 0 + [95,12] 3 + [95,13] 0 + [95,14] 0 + [95,15] 0 + [95,16] 0 + [95,17] 0 + [95,18] 0 + [95,19] 0 + [95,20] 0 + [95,21] 0 + [95,22] 0 + [95,23] 0 + [95,24] 0 + [95,25] 0 + [96,1] 0 + [96,2] 0 + [96,3] 0 + [96,4] 0 + [96,5] 0 + [96,6] 0 + [96,7] 0 + [96,8] 0 + [96,9] 0 + [96,10] 0 + [96,11] 0 + [96,12] 0 + [96,13] 0 + [96,14] 0 + [96,15] 0 + [96,16] 0 + [96,17] 0 + [96,18] 0 + [96,19] 0 + [96,20] 0 + [96,21] 0 + [96,22] 1 + [96,23] 3 + [96,24] 2 + [96,25] 0 + [97,1] 0 + [97,2] 3 + [97,3] 0 + [97,4] 0 + [97,5] 0 + [97,6] 0 + [97,7] 0 + [97,8] 0 + [97,9] 0 + [97,10] 0 + [97,11] 0 + [97,12] 0 + [97,13] 0 + [97,14] 0 + [97,15] 0 + [97,16] 0 + [97,17] 2 + [97,18] 0 + [97,19] 0 + [97,20] 0 + [97,21] 1 + [97,22] 0 + [97,23] 0 + [97,24] 0 + [97,25] 0 + [98,1] 0 + [98,2] 0 + [98,3] 3 + [98,4] 0 + [98,5] 0 + [98,6] 0 + [98,7] 0 + [98,8] 0 + [98,9] 4 + [98,10] 0 + [98,11] 0 + [98,12] 0 + [98,13] 0 + [98,14] 2 + [98,15] 0 + [98,16] 0 + [98,17] 0 + [98,18] 0 + [98,19] 0 + [98,20] 0 + [98,21] 0 + [98,22] 0 + [98,23] 0 + [98,24] 1 + [98,25] 0 + [99,1] 0 + [99,2] 0 + [99,3] 1 + [99,4] 0 + [99,5] 0 + [99,6] 0 + [99,7] 0 + [99,8] 0 + [99,9] 0 + [99,10] 0 + [99,11] 0 + [99,12] 0 + [99,13] 0 + [99,14] 0 + [99,15] 0 + [99,16] 0 + [99,17] 0 + [99,18] 0 + [99,19] 0 + [99,20] 0 + [99,21] 0 + [99,22] 0 + [99,23] 0 + [99,24] 0 + [99,25] 0 + [100,1] 0 + [100,2] 0 + [100,3] 0 + [100,4] 1 + [100,5] 0 + [100,6] 0 + [100,7] 0 + [100,8] 0 + [100,9] 0 + [100,10] 0 + [100,11] 0 + [100,12] 0 + [100,13] 0 + [100,14] 0 + [100,15] 0 + [100,16] 0 + [100,17] 0 + [100,18] 4 + [100,19] 0 + [100,20] 0 + [100,21] 0 + [100,22] 3 + [100,23] 2 + [100,24] 0 + [100,25] 0 + [101,1] 0 + [101,2] 0 + [101,3] 0 + [101,4] 0 + [101,5] 0 + [101,6] 0 + [101,7] 0 + [101,8] 0 + [101,9] 0 + [101,10] 0 + [101,11] 0 + [101,12] 0 + [101,13] 0 + [101,14] 0 + [101,15] 0 + [101,16] 0 + [101,17] 0 + [101,18] 0 + [101,19] 0 + [101,20] 1 + [101,21] 0 + [101,22] 0 + [101,23] 0 + [101,24] 0 + [101,25] 0 + [102,1] 0 + [102,2] 0 + [102,3] 0 + [102,4] 0 + [102,5] 0 + [102,6] 0 + [102,7] 0 + [102,8] 0 + [102,9] 0 + [102,10] 2 + [102,11] 0 + [102,12] 0 + [102,13] 0 + [102,14] 0 + [102,15] 1 + [102,16] 0 + [102,17] 0 + [102,18] 0 + [102,19] 0 + [102,20] 0 + [102,21] 4 + [102,22] 0 + [102,23] 0 + [102,24] 3 + [102,25] 0 + [103,1] 0 + [103,2] 0 + [103,3] 2 + [103,4] 1 + [103,5] 0 + [103,6] 0 + [103,7] 0 + [103,8] 0 + [103,9] 0 + [103,10] 0 + [103,11] 0 + [103,12] 0 + [103,13] 0 + [103,14] 0 + [103,15] 0 + [103,16] 0 + [103,17] 0 + [103,18] 0 + [103,19] 0 + [103,20] 0 + [103,21] 0 + [103,22] 0 + [103,23] 0 + [103,24] 0 + [103,25] 0 + [104,1] 0 + [104,2] 0 + [104,3] 0 + [104,4] 0 + [104,5] 0 + [104,6] 0 + [104,7] 0 + [104,8] 0 + [104,9] 0 + [104,10] 0 + [104,11] 0 + [104,12] 0 + [104,13] 0 + [104,14] 0 + [104,15] 0 + [104,16] 0 + [104,17] 0 + [104,18] 0 + [104,19] 0 + [104,20] 0 + [104,21] 0 + [104,22] 0 + [104,23] 0 + [104,24] 0 + [104,25] 0 + [105,1] 0 + [105,2] 0 + [105,3] 0 + [105,4] 0 + [105,5] 0 + [105,6] 0 + [105,7] 0 + [105,8] 0 + [105,9] 0 + [105,10] 0 + [105,11] 0 + [105,12] 1 + [105,13] 0 + [105,14] 0 + [105,15] 0 + [105,16] 0 + [105,17] 2 + [105,18] 0 + [105,19] 0 + [105,20] 0 + [105,21] 0 + [105,22] 0 + [105,23] 0 + [105,24] 0 + [105,25] 3 + [106,1] 0 + [106,2] 0 + [106,3] 2 + [106,4] 0 + [106,5] 0 + [106,6] 0 + [106,7] 0 + [106,8] 0 + [106,9] 0 + [106,10] 0 + [106,11] 0 + [106,12] 0 + [106,13] 0 + [106,14] 0 + [106,15] 0 + [106,16] 0 + [106,17] 0 + [106,18] 0 + [106,19] 0 + [106,20] 0 + [106,21] 0 + [106,22] 0 + [106,23] 1 + [106,24] 0 + [106,25] 0 + [107,1] 0 + [107,2] 0 + [107,3] 0 + [107,4] 0 + [107,5] 0 + [107,6] 0 + [107,7] 0 + [107,8] 0 + [107,9] 0 + [107,10] 2 + [107,11] 0 + [107,12] 0 + [107,13] 0 + [107,14] 0 + [107,15] 0 + [107,16] 1 + [107,17] 3 + [107,18] 0 + [107,19] 0 + [107,20] 0 + [107,21] 0 + [107,22] 0 + [107,23] 0 + [107,24] 0 + [107,25] 0 + [108,1] 5 + [108,2] 0 + [108,3] 0 + [108,4] 3 + [108,5] 0 + [108,6] 0 + [108,7] 0 + [108,8] 0 + [108,9] 0 + [108,10] 0 + [108,11] 2 + [108,12] 0 + [108,13] 0 + [108,14] 0 + [108,15] 0 + [108,16] 0 + [108,17] 4 + [108,18] 0 + [108,19] 0 + [108,20] 0 + [108,21] 0 + [108,22] 0 + [108,23] 0 + [108,24] 0 + [108,25] 1 + [109,1] 0 + [109,2] 0 + [109,3] 0 + [109,4] 0 + [109,5] 0 + [109,6] 0 + [109,7] 0 + [109,8] 0 + [109,9] 0 + [109,10] 0 + [109,11] 0 + [109,12] 0 + [109,13] 0 + [109,14] 0 + [109,15] 0 + [109,16] 0 + [109,17] 1 + [109,18] 0 + [109,19] 0 + [109,20] 0 + [109,21] 2 + [109,22] 0 + [109,23] 0 + [109,24] 0 + [109,25] 0 + [110,1] 0 + [110,2] 0 + [110,3] 0 + [110,4] 0 + [110,5] 3 + [110,6] 0 + [110,7] 0 + [110,8] 2 + [110,9] 0 + [110,10] 0 + [110,11] 0 + [110,12] 0 + [110,13] 1 + [110,14] 0 + [110,15] 0 + [110,16] 0 + [110,17] 4 + [110,18] 0 + [110,19] 0 + [110,20] 0 + [110,21] 0 + [110,22] 0 + [110,23] 0 + [110,24] 0 + [110,25] 0 + [111,1] 0 + [111,2] 0 + [111,3] 0 + [111,4] 0 + [111,5] 0 + [111,6] 0 + [111,7] 0 + [111,8] 0 + [111,9] 0 + [111,10] 0 + [111,11] 0 + [111,12] 0 + [111,13] 1 + [111,14] 0 + [111,15] 0 + [111,16] 0 + [111,17] 0 + [111,18] 0 + [111,19] 0 + [111,20] 0 + [111,21] 0 + [111,22] 0 + [111,23] 0 + [111,24] 0 + [111,25] 0 + [112,1] 0 + [112,2] 0 + [112,3] 0 + [112,4] 0 + [112,5] 0 + [112,6] 0 + [112,7] 0 + [112,8] 0 + [112,9] 0 + [112,10] 2 + [112,11] 0 + [112,12] 0 + [112,13] 0 + [112,14] 0 + [112,15] 0 + [112,16] 0 + [112,17] 0 + [112,18] 1 + [112,19] 0 + [112,20] 0 + [112,21] 0 + [112,22] 0 + [112,23] 0 + [112,24] 0 + [112,25] 0 + [113,1] 0 + [113,2] 0 + [113,3] 0 + [113,4] 0 + [113,5] 0 + [113,6] 0 + [113,7] 0 + [113,8] 0 + [113,9] 0 + [113,10] 0 + [113,11] 0 + [113,12] 0 + [113,13] 2 + [113,14] 0 + [113,15] 0 + [113,16] 0 + [113,17] 0 + [113,18] 1 + [113,19] 0 + [113,20] 0 + [113,21] 0 + [113,22] 0 + [113,23] 0 + [113,24] 0 + [113,25] 0 + [114,1] 0 + [114,2] 0 + [114,3] 0 + [114,4] 0 + [114,5] 0 + [114,6] 0 + [114,7] 0 + [114,8] 0 + [114,9] 0 + [114,10] 0 + [114,11] 0 + [114,12] 0 + [114,13] 0 + [114,14] 1 + [114,15] 0 + [114,16] 2 + [114,17] 0 + [114,18] 0 + [114,19] 0 + [114,20] 0 + [114,21] 0 + [114,22] 0 + [114,23] 0 + [114,24] 0 + [114,25] 0 + [115,1] 0 + [115,2] 0 + [115,3] 0 + [115,4] 0 + [115,5] 0 + [115,6] 0 + [115,7] 0 + [115,8] 0 + [115,9] 0 + [115,10] 0 + [115,11] 0 + [115,12] 0 + [115,13] 0 + [115,14] 1 + [115,15] 0 + [115,16] 0 + [115,17] 0 + [115,18] 0 + [115,19] 0 + [115,20] 0 + [115,21] 0 + [115,22] 0 + [115,23] 0 + [115,24] 0 + [115,25] 0 + [116,1] 0 + [116,2] 5 + [116,3] 0 + [116,4] 0 + [116,5] 0 + [116,6] 0 + [116,7] 1 + [116,8] 0 + [116,9] 0 + [116,10] 4 + [116,11] 7 + [116,12] 0 + [116,13] 6 + [116,14] 0 + [116,15] 3 + [116,16] 0 + [116,17] 0 + [116,18] 0 + [116,19] 0 + [116,20] 0 + [116,21] 0 + [116,22] 0 + [116,23] 0 + [116,24] 0 + [116,25] 2 + [117,1] 0 + [117,2] 0 + [117,3] 0 + [117,4] 0 + [117,5] 0 + [117,6] 0 + [117,7] 1 + [117,8] 0 + [117,9] 0 + [117,10] 0 + [117,11] 0 + [117,12] 0 + [117,13] 3 + [117,14] 0 + [117,15] 0 + [117,16] 0 + [117,17] 0 + [117,18] 4 + [117,19] 0 + [117,20] 0 + [117,21] 2 + [117,22] 0 + [117,23] 0 + [117,24] 0 + [117,25] 0 + [118,1] 0 + [118,2] 0 + [118,3] 0 + [118,4] 0 + [118,5] 0 + [118,6] 0 + [118,7] 0 + [118,8] 0 + [118,9] 0 + [118,10] 0 + [118,11] 0 + [118,12] 0 + [118,13] 0 + [118,14] 0 + [118,15] 0 + [118,16] 0 + [118,17] 0 + [118,18] 0 + [118,19] 1 + [118,20] 0 + [118,21] 2 + [118,22] 0 + [118,23] 0 + [118,24] 0 + [118,25] 3 + [119,1] 0 + [119,2] 0 + [119,3] 0 + [119,4] 0 + [119,5] 0 + [119,6] 0 + [119,7] 0 + [119,8] 0 + [119,9] 0 + [119,10] 0 + [119,11] 0 + [119,12] 0 + [119,13] 0 + [119,14] 4 + [119,15] 2 + [119,16] 0 + [119,17] 0 + [119,18] 0 + [119,19] 0 + [119,20] 0 + [119,21] 0 + [119,22] 3 + [119,23] 0 + [119,24] 1 + [119,25] 0 + [120,1] 0 + [120,2] 0 + [120,3] 0 + [120,4] 0 + [120,5] 0 + [120,6] 0 + [120,7] 0 + [120,8] 0 + [120,9] 0 + [120,10] 0 + [120,11] 0 + [120,12] 0 + [120,13] 0 + [120,14] 0 + [120,15] 0 + [120,16] 0 + [120,17] 0 + [120,18] 0 + [120,19] 0 + [120,20] 0 + [120,21] 0 + [120,22] 0 + [120,23] 0 + [120,24] 0 + [120,25] 0 + [121,1] 0 + [121,2] 0 + [121,3] 0 + [121,4] 0 + [121,5] 0 + [121,6] 0 + [121,7] 0 + [121,8] 0 + [121,9] 0 + [121,10] 1 + [121,11] 0 + [121,12] 0 + [121,13] 0 + [121,14] 0 + [121,15] 0 + [121,16] 5 + [121,17] 0 + [121,18] 0 + [121,19] 0 + [121,20] 0 + [121,21] 0 + [121,22] 0 + [121,23] 4 + [121,24] 2 + [121,25] 3 + [122,1] 0 + [122,2] 0 + [122,3] 0 + [122,4] 0 + [122,5] 1 + [122,6] 0 + [122,7] 0 + [122,8] 0 + [122,9] 0 + [122,10] 0 + [122,11] 3 + [122,12] 0 + [122,13] 0 + [122,14] 0 + [122,15] 0 + [122,16] 0 + [122,17] 4 + [122,18] 0 + [122,19] 0 + [122,20] 0 + [122,21] 0 + [122,22] 0 + [122,23] 0 + [122,24] 2 + [122,25] 0 + [123,1] 2 + [123,2] 0 + [123,3] 5 + [123,4] 3 + [123,5] 0 + [123,6] 0 + [123,7] 4 + [123,8] 0 + [123,9] 0 + [123,10] 0 + [123,11] 0 + [123,12] 0 + [123,13] 0 + [123,14] 1 + [123,15] 0 + [123,16] 0 + [123,17] 0 + [123,18] 0 + [123,19] 0 + [123,20] 0 + [123,21] 0 + [123,22] 0 + [123,23] 0 + [123,24] 0 + [123,25] 0 + [124,1] 0 + [124,2] 0 + [124,3] 0 + [124,4] 0 + [124,5] 0 + [124,6] 0 + [124,7] 0 + [124,8] 0 + [124,9] 0 + [124,10] 0 + [124,11] 0 + [124,12] 0 + [124,13] 0 + [124,14] 0 + [124,15] 0 + [124,16] 0 + [124,17] 0 + [124,18] 0 + [124,19] 0 + [124,20] 1 + [124,21] 0 + [124,22] 0 + [124,23] 0 + [124,24] 0 + [124,25] 0 + [125,1] 0 + [125,2] 0 + [125,3] 0 + [125,4] 0 + [125,5] 0 + [125,6] 2 + [125,7] 0 + [125,8] 0 + [125,9] 1 + [125,10] 0 + [125,11] 0 + [125,12] 0 + [125,13] 0 + [125,14] 0 + [125,15] 0 + [125,16] 0 + [125,17] 0 + [125,18] 0 + [125,19] 0 + [125,20] 0 + [125,21] 0 + [125,22] 0 + [125,23] 0 + [125,24] 0 + [125,25] 0 + [126,1] 0 + [126,2] 5 + [126,3] 0 + [126,4] 0 + [126,5] 0 + [126,6] 3 + [126,7] 0 + [126,8] 0 + [126,9] 1 + [126,10] 2 + [126,11] 0 + [126,12] 0 + [126,13] 4 + [126,14] 0 + [126,15] 6 + [126,16] 0 + [126,17] 0 + [126,18] 0 + [126,19] 0 + [126,20] 0 + [126,21] 0 + [126,22] 0 + [126,23] 0 + [126,24] 0 + [126,25] 0 + [127,1] 5 + [127,2] 0 + [127,3] 0 + [127,4] 0 + [127,5] 0 + [127,6] 0 + [127,7] 0 + [127,8] 0 + [127,9] 3 + [127,10] 0 + [127,11] 0 + [127,12] 0 + [127,13] 0 + [127,14] 1 + [127,15] 4 + [127,16] 0 + [127,17] 0 + [127,18] 0 + [127,19] 2 + [127,20] 0 + [127,21] 6 + [127,22] 0 + [127,23] 0 + [127,24] 0 + [127,25] 0 + [128,1] 0 + [128,2] 0 + [128,3] 4 + [128,4] 5 + [128,5] 0 + [128,6] 0 + [128,7] 0 + [128,8] 0 + [128,9] 1 + [128,10] 0 + [128,11] 0 + [128,12] 0 + [128,13] 0 + [128,14] 2 + [128,15] 0 + [128,16] 0 + [128,17] 0 + [128,18] 3 + [128,19] 0 + [128,20] 0 + [128,21] 0 + [128,22] 0 + [128,23] 0 + [128,24] 0 + [128,25] 0 + [129,1] 1 + [129,2] 0 + [129,3] 0 + [129,4] 0 + [129,5] 0 + [129,6] 0 + [129,7] 0 + [129,8] 0 + [129,9] 0 + [129,10] 0 + [129,11] 0 + [129,12] 0 + [129,13] 0 + [129,14] 0 + [129,15] 0 + [129,16] 0 + [129,17] 0 + [129,18] 0 + [129,19] 0 + [129,20] 0 + [129,21] 0 + [129,22] 0 + [129,23] 0 + [129,24] 0 + [129,25] 0 + [130,1] 0 + [130,2] 0 + [130,3] 0 + [130,4] 0 + [130,5] 0 + [130,6] 0 + [130,7] 0 + [130,8] 0 + [130,9] 0 + [130,10] 0 + [130,11] 0 + [130,12] 0 + [130,13] 0 + [130,14] 0 + [130,15] 0 + [130,16] 0 + [130,17] 0 + [130,18] 0 + [130,19] 0 + [130,20] 0 + [130,21] 0 + [130,22] 0 + [130,23] 0 + [130,24] 0 + [130,25] 0 + [131,1] 0 + [131,2] 0 + [131,3] 0 + [131,4] 5 + [131,5] 1 + [131,6] 3 + [131,7] 0 + [131,8] 0 + [131,9] 0 + [131,10] 0 + [131,11] 0 + [131,12] 0 + [131,13] 0 + [131,14] 0 + [131,15] 0 + [131,16] 0 + [131,17] 0 + [131,18] 2 + [131,19] 4 + [131,20] 0 + [131,21] 0 + [131,22] 0 + [131,23] 0 + [131,24] 0 + [131,25] 0 + [132,1] 0 + [132,2] 0 + [132,3] 2 + [132,4] 0 + [132,5] 0 + [132,6] 1 + [132,7] 0 + [132,8] 0 + [132,9] 0 + [132,10] 0 + [132,11] 0 + [132,12] 0 + [132,13] 0 + [132,14] 0 + [132,15] 0 + [132,16] 0 + [132,17] 0 + [132,18] 0 + [132,19] 0 + [132,20] 0 + [132,21] 0 + [132,22] 0 + [132,23] 0 + [132,24] 0 + [132,25] 0 + [133,1] 0 + [133,2] 0 + [133,3] 0 + [133,4] 2 + [133,5] 0 + [133,6] 0 + [133,7] 0 + [133,8] 0 + [133,9] 0 + [133,10] 0 + [133,11] 0 + [133,12] 3 + [133,13] 0 + [133,14] 0 + [133,15] 0 + [133,16] 0 + [133,17] 0 + [133,18] 1 + [133,19] 0 + [133,20] 0 + [133,21] 0 + [133,22] 0 + [133,23] 0 + [133,24] 0 + [133,25] 0 + [134,1] 0 + [134,2] 0 + [134,3] 0 + [134,4] 0 + [134,5] 2 + [134,6] 3 + [134,7] 1 + [134,8] 0 + [134,9] 0 + [134,10] 0 + [134,11] 0 + [134,12] 0 + [134,13] 0 + [134,14] 0 + [134,15] 0 + [134,16] 0 + [134,17] 0 + [134,18] 0 + [134,19] 0 + [134,20] 0 + [134,21] 0 + [134,22] 5 + [134,23] 0 + [134,24] 0 + [134,25] 4 + [135,1] 0 + [135,2] 0 + [135,3] 0 + [135,4] 0 + [135,5] 0 + [135,6] 0 + [135,7] 0 + [135,8] 0 + [135,9] 0 + [135,10] 3 + [135,11] 0 + [135,12] 0 + [135,13] 0 + [135,14] 0 + [135,15] 0 + [135,16] 0 + [135,17] 0 + [135,18] 0 + [135,19] 0 + [135,20] 0 + [135,21] 0 + [135,22] 2 + [135,23] 0 + [135,24] 0 + [135,25] 1 + [136,1] 0 + [136,2] 2 + [136,3] 0 + [136,4] 4 + [136,5] 3 + [136,6] 0 + [136,7] 0 + [136,8] 0 + [136,9] 0 + [136,10] 0 + [136,11] 0 + [136,12] 0 + [136,13] 0 + [136,14] 0 + [136,15] 0 + [136,16] 0 + [136,17] 0 + [136,18] 0 + [136,19] 0 + [136,20] 1 + [136,21] 0 + [136,22] 0 + [136,23] 0 + [136,24] 0 + [136,25] 0 + [137,1] 0 + [137,2] 0 + [137,3] 0 + [137,4] 0 + [137,5] 0 + [137,6] 0 + [137,7] 0 + [137,8] 0 + [137,9] 0 + [137,10] 0 + [137,11] 0 + [137,12] 0 + [137,13] 0 + [137,14] 0 + [137,15] 0 + [137,16] 0 + [137,17] 0 + [137,18] 0 + [137,19] 0 + [137,20] 0 + [137,21] 1 + [137,22] 0 + [137,23] 0 + [137,24] 0 + [137,25] 0 + [138,1] 6 + [138,2] 0 + [138,3] 4 + [138,4] 0 + [138,5] 5 + [138,6] 0 + [138,7] 0 + [138,8] 1 + [138,9] 0 + [138,10] 0 + [138,11] 0 + [138,12] 0 + [138,13] 0 + [138,14] 0 + [138,15] 2 + [138,16] 7 + [138,17] 0 + [138,18] 8 + [138,19] 0 + [138,20] 0 + [138,21] 0 + [138,22] 0 + [138,23] 3 + [138,24] 0 + [138,25] 0 + [139,1] 0 + [139,2] 0 + [139,3] 0 + [139,4] 0 + [139,5] 0 + [139,6] 0 + [139,7] 0 + [139,8] 0 + [139,9] 0 + [139,10] 0 + [139,11] 0 + [139,12] 0 + [139,13] 0 + [139,14] 0 + [139,15] 0 + [139,16] 0 + [139,17] 2 + [139,18] 0 + [139,19] 0 + [139,20] 0 + [139,21] 0 + [139,22] 0 + [139,23] 1 + [139,24] 0 + [139,25] 0 + [140,1] 0 + [140,2] 0 + [140,3] 1 + [140,4] 0 + [140,5] 0 + [140,6] 0 + [140,7] 0 + [140,8] 0 + [140,9] 0 + [140,10] 5 + [140,11] 0 + [140,12] 0 + [140,13] 2 + [140,14] 0 + [140,15] 6 + [140,16] 0 + [140,17] 0 + [140,18] 0 + [140,19] 0 + [140,20] 0 + [140,21] 3 + [140,22] 4 + [140,23] 0 + [140,24] 0 + [140,25] 0 + [141,1] 0 + [141,2] 0 + [141,3] 5 + [141,4] 6 + [141,5] 0 + [141,6] 1 + [141,7] 0 + [141,8] 0 + [141,9] 0 + [141,10] 0 + [141,11] 0 + [141,12] 0 + [141,13] 0 + [141,14] 0 + [141,15] 0 + [141,16] 0 + [141,17] 0 + [141,18] 4 + [141,19] 0 + [141,20] 0 + [141,21] 3 + [141,22] 7 + [141,23] 0 + [141,24] 2 + [141,25] 0 + [142,1] 0 + [142,2] 0 + [142,3] 0 + [142,4] 2 + [142,5] 0 + [142,6] 0 + [142,7] 0 + [142,8] 0 + [142,9] 0 + [142,10] 0 + [142,11] 0 + [142,12] 0 + [142,13] 0 + [142,14] 0 + [142,15] 0 + [142,16] 0 + [142,17] 3 + [142,18] 0 + [142,19] 0 + [142,20] 0 + [142,21] 1 + [142,22] 0 + [142,23] 0 + [142,24] 0 + [142,25] 0 + [143,1] 0 + [143,2] 0 + [143,3] 0 + [143,4] 0 + [143,5] 0 + [143,6] 0 + [143,7] 0 + [143,8] 0 + [143,9] 0 + [143,10] 0 + [143,11] 0 + [143,12] 0 + [143,13] 0 + [143,14] 0 + [143,15] 0 + [143,16] 0 + [143,17] 0 + [143,18] 0 + [143,19] 0 + [143,20] 0 + [143,21] 0 + [143,22] 0 + [143,23] 0 + [143,24] 0 + [143,25] 0 + [144,1] 0 + [144,2] 4 + [144,3] 5 + [144,4] 0 + [144,5] 0 + [144,6] 0 + [144,7] 0 + [144,8] 2 + [144,9] 6 + [144,10] 0 + [144,11] 0 + [144,12] 8 + [144,13] 0 + [144,14] 0 + [144,15] 0 + [144,16] 3 + [144,17] 0 + [144,18] 7 + [144,19] 0 + [144,20] 0 + [144,21] 1 + [144,22] 0 + [144,23] 0 + [144,24] 0 + [144,25] 0 + [145,1] 0 + [145,2] 4 + [145,3] 0 + [145,4] 0 + [145,5] 0 + [145,6] 1 + [145,7] 6 + [145,8] 0 + [145,9] 0 + [145,10] 0 + [145,11] 5 + [145,12] 0 + [145,13] 0 + [145,14] 0 + [145,15] 0 + [145,16] 0 + [145,17] 0 + [145,18] 0 + [145,19] 2 + [145,20] 3 + [145,21] 0 + [145,22] 0 + [145,23] 0 + [145,24] 0 + [145,25] 0 + [146,1] 0 + [146,2] 0 + [146,3] 0 + [146,4] 0 + [146,5] 0 + [146,6] 0 + [146,7] 0 + [146,8] 0 + [146,9] 0 + [146,10] 0 + [146,11] 0 + [146,12] 0 + [146,13] 0 + [146,14] 0 + [146,15] 0 + [146,16] 0 + [146,17] 1 + [146,18] 0 + [146,19] 0 + [146,20] 0 + [146,21] 0 + [146,22] 0 + [146,23] 0 + [146,24] 0 + [146,25] 0 + [147,1] 0 + [147,2] 0 + [147,3] 0 + [147,4] 0 + [147,5] 0 + [147,6] 3 + [147,7] 0 + [147,8] 0 + [147,9] 0 + [147,10] 1 + [147,11] 0 + [147,12] 0 + [147,13] 0 + [147,14] 0 + [147,15] 0 + [147,16] 0 + [147,17] 0 + [147,18] 0 + [147,19] 0 + [147,20] 0 + [147,21] 2 + [147,22] 0 + [147,23] 0 + [147,24] 0 + [147,25] 0 + [148,1] 0 + [148,2] 0 + [148,3] 1 + [148,4] 0 + [148,5] 0 + [148,6] 0 + [148,7] 0 + [148,8] 0 + [148,9] 0 + [148,10] 0 + [148,11] 0 + [148,12] 2 + [148,13] 0 + [148,14] 0 + [148,15] 0 + [148,16] 0 + [148,17] 0 + [148,18] 0 + [148,19] 0 + [148,20] 0 + [148,21] 3 + [148,22] 0 + [148,23] 0 + [148,24] 4 + [148,25] 0 + [149,1] 0 + [149,2] 0 + [149,3] 1 + [149,4] 0 + [149,5] 0 + [149,6] 0 + [149,7] 5 + [149,8] 0 + [149,9] 2 + [149,10] 0 + [149,11] 6 + [149,12] 0 + [149,13] 0 + [149,14] 4 + [149,15] 0 + [149,16] 0 + [149,17] 0 + [149,18] 0 + [149,19] 0 + [149,20] 0 + [149,21] 0 + [149,22] 0 + [149,23] 3 + [149,24] 0 + [149,25] 0 + [150,1] 0 + [150,2] 0 + [150,3] 0 + [150,4] 0 + [150,5] 0 + [150,6] 0 + [150,7] 0 + [150,8] 0 + [150,9] 0 + [150,10] 0 + [150,11] 0 + [150,12] 0 + [150,13] 0 + [150,14] 0 + [150,15] 0 + [150,16] 1 + [150,17] 0 + [150,18] 0 + [150,19] 0 + [150,20] 0 + [150,21] 0 + [150,22] 0 + [150,23] 0 + [150,24] 0 + [150,25] 0 + [151,1] 0 + [151,2] 0 + [151,3] 3 + [151,4] 4 + [151,5] 7 + [151,6] 0 + [151,7] 0 + [151,8] 0 + [151,9] 0 + [151,10] 8 + [151,11] 0 + [151,12] 6 + [151,13] 0 + [151,14] 0 + [151,15] 0 + [151,16] 0 + [151,17] 1 + [151,18] 5 + [151,19] 0 + [151,20] 0 + [151,21] 0 + [151,22] 0 + [151,23] 0 + [151,24] 2 + [151,25] 0 + [152,1] 0 + [152,2] 0 + [152,3] 0 + [152,4] 0 + [152,5] 0 + [152,6] 0 + [152,7] 0 + [152,8] 0 + [152,9] 0 + [152,10] 0 + [152,11] 2 + [152,12] 0 + [152,13] 0 + [152,14] 0 + [152,15] 0 + [152,16] 0 + [152,17] 0 + [152,18] 0 + [152,19] 0 + [152,20] 0 + [152,21] 0 + [152,22] 0 + [152,23] 0 + [152,24] 0 + [152,25] 1 + [153,1] 0 + [153,2] 1 + [153,3] 0 + [153,4] 3 + [153,5] 0 + [153,6] 0 + [153,7] 6 + [153,8] 0 + [153,9] 0 + [153,10] 0 + [153,11] 0 + [153,12] 7 + [153,13] 0 + [153,14] 4 + [153,15] 0 + [153,16] 0 + [153,17] 0 + [153,18] 0 + [153,19] 0 + [153,20] 0 + [153,21] 0 + [153,22] 0 + [153,23] 2 + [153,24] 5 + [153,25] 0 + [154,1] 5 + [154,2] 0 + [154,3] 0 + [154,4] 0 + [154,5] 0 + [154,6] 0 + [154,7] 0 + [154,8] 0 + [154,9] 3 + [154,10] 1 + [154,11] 0 + [154,12] 0 + [154,13] 0 + [154,14] 6 + [154,15] 2 + [154,16] 0 + [154,17] 0 + [154,18] 0 + [154,19] 0 + [154,20] 0 + [154,21] 0 + [154,22] 0 + [154,23] 0 + [154,24] 0 + [154,25] 4 + [155,1] 0 + [155,2] 1 + [155,3] 0 + [155,4] 0 + [155,5] 0 + [155,6] 0 + [155,7] 0 + [155,8] 0 + [155,9] 0 + [155,10] 0 + [155,11] 0 + [155,12] 0 + [155,13] 0 + [155,14] 0 + [155,15] 0 + [155,16] 0 + [155,17] 0 + [155,18] 0 + [155,19] 0 + [155,20] 0 + [155,21] 0 + [155,22] 0 + [155,23] 0 + [155,24] 0 + [155,25] 0 + [156,1] 0 + [156,2] 0 + [156,3] 0 + [156,4] 0 + [156,5] 4 + [156,6] 0 + [156,7] 0 + [156,8] 0 + [156,9] 0 + [156,10] 1 + [156,11] 0 + [156,12] 0 + [156,13] 0 + [156,14] 0 + [156,15] 0 + [156,16] 3 + [156,17] 0 + [156,18] 0 + [156,19] 0 + [156,20] 0 + [156,21] 0 + [156,22] 0 + [156,23] 2 + [156,24] 0 + [156,25] 0 + [157,1] 0 + [157,2] 0 + [157,3] 0 + [157,4] 0 + [157,5] 0 + [157,6] 0 + [157,7] 0 + [157,8] 0 + [157,9] 0 + [157,10] 0 + [157,11] 0 + [157,12] 0 + [157,13] 0 + [157,14] 0 + [157,15] 0 + [157,16] 0 + [157,17] 0 + [157,18] 0 + [157,19] 0 + [157,20] 0 + [157,21] 0 + [157,22] 0 + [157,23] 0 + [157,24] 0 + [157,25] 0 + [158,1] 0 + [158,2] 0 + [158,3] 0 + [158,4] 0 + [158,5] 0 + [158,6] 0 + [158,7] 0 + [158,8] 0 + [158,9] 0 + [158,10] 0 + [158,11] 0 + [158,12] 0 + [158,13] 0 + [158,14] 0 + [158,15] 0 + [158,16] 1 + [158,17] 0 + [158,18] 0 + [158,19] 0 + [158,20] 0 + [158,21] 0 + [158,22] 0 + [158,23] 0 + [158,24] 0 + [158,25] 0 + [159,1] 0 + [159,2] 0 + [159,3] 0 + [159,4] 4 + [159,5] 0 + [159,6] 3 + [159,7] 0 + [159,8] 0 + [159,9] 1 + [159,10] 0 + [159,11] 0 + [159,12] 0 + [159,13] 5 + [159,14] 2 + [159,15] 0 + [159,16] 0 + [159,17] 0 + [159,18] 0 + [159,19] 0 + [159,20] 0 + [159,21] 0 + [159,22] 0 + [159,23] 0 + [159,24] 0 + [159,25] 0 + [160,1] 0 + [160,2] 0 + [160,3] 0 + [160,4] 0 + [160,5] 0 + [160,6] 0 + [160,7] 0 + [160,8] 0 + [160,9] 0 + [160,10] 0 + [160,11] 0 + [160,12] 2 + [160,13] 0 + [160,14] 1 + [160,15] 0 + [160,16] 0 + [160,17] 0 + [160,18] 0 + [160,19] 0 + [160,20] 0 + [160,21] 0 + [160,22] 0 + [160,23] 0 + [160,24] 0 + [160,25] 0 + [161,1] 0 + [161,2] 0 + [161,3] 0 + [161,4] 0 + [161,5] 0 + [161,6] 0 + [161,7] 0 + [161,8] 0 + [161,9] 0 + [161,10] 0 + [161,11] 0 + [161,12] 0 + [161,13] 0 + [161,14] 0 + [161,15] 0 + [161,16] 0 + [161,17] 1 + [161,18] 0 + [161,19] 0 + [161,20] 0 + [161,21] 0 + [161,22] 0 + [161,23] 0 + [161,24] 0 + [161,25] 0 + [162,1] 0 + [162,2] 0 + [162,3] 0 + [162,4] 0 + [162,5] 1 + [162,6] 0 + [162,7] 0 + [162,8] 0 + [162,9] 0 + [162,10] 0 + [162,11] 0 + [162,12] 2 + [162,13] 0 + [162,14] 0 + [162,15] 0 + [162,16] 0 + [162,17] 0 + [162,18] 0 + [162,19] 0 + [162,20] 0 + [162,21] 3 + [162,22] 0 + [162,23] 0 + [162,24] 0 + [162,25] 4 + [163,1] 0 + [163,2] 3 + [163,3] 0 + [163,4] 0 + [163,5] 0 + [163,6] 0 + [163,7] 0 + [163,8] 0 + [163,9] 0 + [163,10] 0 + [163,11] 4 + [163,12] 0 + [163,13] 0 + [163,14] 0 + [163,15] 0 + [163,16] 0 + [163,17] 0 + [163,18] 0 + [163,19] 2 + [163,20] 1 + [163,21] 0 + [163,22] 0 + [163,23] 0 + [163,24] 0 + [163,25] 0 + [164,1] 0 + [164,2] 0 + [164,3] 0 + [164,4] 0 + [164,5] 0 + [164,6] 0 + [164,7] 0 + [164,8] 0 + [164,9] 0 + [164,10] 0 + [164,11] 1 + [164,12] 0 + [164,13] 0 + [164,14] 0 + [164,15] 0 + [164,16] 0 + [164,17] 0 + [164,18] 0 + [164,19] 0 + [164,20] 0 + [164,21] 0 + [164,22] 0 + [164,23] 0 + [164,24] 0 + [164,25] 0 + [165,1] 0 + [165,2] 0 + [165,3] 0 + [165,4] 0 + [165,5] 0 + [165,6] 0 + [165,7] 1 + [165,8] 0 + [165,9] 2 + [165,10] 0 + [165,11] 0 + [165,12] 0 + [165,13] 0 + [165,14] 0 + [165,15] 0 + [165,16] 0 + [165,17] 0 + [165,18] 0 + [165,19] 0 + [165,20] 0 + [165,21] 3 + [165,22] 0 + [165,23] 0 + [165,24] 0 + [165,25] 0 + [166,1] 2 + [166,2] 0 + [166,3] 0 + [166,4] 0 + [166,5] 0 + [166,6] 0 + [166,7] 0 + [166,8] 0 + [166,9] 0 + [166,10] 1 + [166,11] 0 + [166,12] 0 + [166,13] 0 + [166,14] 0 + [166,15] 0 + [166,16] 0 + [166,17] 0 + [166,18] 0 + [166,19] 0 + [166,20] 0 + [166,21] 3 + [166,22] 0 + [166,23] 0 + [166,24] 0 + [166,25] 0 + [167,1] 0 + [167,2] 0 + [167,3] 0 + [167,4] 0 + [167,5] 0 + [167,6] 0 + [167,7] 0 + [167,8] 0 + [167,9] 0 + [167,10] 0 + [167,11] 0 + [167,12] 0 + [167,13] 0 + [167,14] 0 + [167,15] 0 + [167,16] 0 + [167,17] 0 + [167,18] 0 + [167,19] 0 + [167,20] 0 + [167,21] 0 + [167,22] 0 + [167,23] 0 + [167,24] 0 + [167,25] 0 + [168,1] 3 + [168,2] 0 + [168,3] 0 + [168,4] 0 + [168,5] 0 + [168,6] 0 + [168,7] 0 + [168,8] 0 + [168,9] 0 + [168,10] 0 + [168,11] 0 + [168,12] 0 + [168,13] 0 + [168,14] 0 + [168,15] 0 + [168,16] 0 + [168,17] 0 + [168,18] 1 + [168,19] 0 + [168,20] 0 + [168,21] 2 + [168,22] 0 + [168,23] 0 + [168,24] 0 + [168,25] 0 + [169,1] 0 + [169,2] 3 + [169,3] 0 + [169,4] 0 + [169,5] 0 + [169,6] 0 + [169,7] 0 + [169,8] 0 + [169,9] 0 + [169,10] 0 + [169,11] 1 + [169,12] 0 + [169,13] 0 + [169,14] 0 + [169,15] 0 + [169,16] 0 + [169,17] 0 + [169,18] 0 + [169,19] 0 + [169,20] 2 + [169,21] 0 + [169,22] 0 + [169,23] 0 + [169,24] 0 + [169,25] 0 + [170,1] 0 + [170,2] 0 + [170,3] 0 + [170,4] 0 + [170,5] 1 + [170,6] 0 + [170,7] 0 + [170,8] 0 + [170,9] 0 + [170,10] 0 + [170,11] 0 + [170,12] 0 + [170,13] 0 + [170,14] 0 + [170,15] 0 + [170,16] 0 + [170,17] 2 + [170,18] 0 + [170,19] 0 + [170,20] 0 + [170,21] 0 + [170,22] 0 + [170,23] 0 + [170,24] 0 + [170,25] 0 + [171,1] 0 + [171,2] 0 + [171,3] 0 + [171,4] 0 + [171,5] 0 + [171,6] 0 + [171,7] 0 + [171,8] 2 + [171,9] 0 + [171,10] 0 + [171,11] 0 + [171,12] 0 + [171,13] 4 + [171,14] 3 + [171,15] 0 + [171,16] 0 + [171,17] 0 + [171,18] 1 + [171,19] 0 + [171,20] 0 + [171,21] 6 + [171,22] 0 + [171,23] 0 + [171,24] 5 + [171,25] 0 + [172,1] 3 + [172,2] 0 + [172,3] 0 + [172,4] 0 + [172,5] 0 + [172,6] 0 + [172,7] 0 + [172,8] 0 + [172,9] 0 + [172,10] 0 + [172,11] 0 + [172,12] 2 + [172,13] 0 + [172,14] 0 + [172,15] 0 + [172,16] 0 + [172,17] 0 + [172,18] 0 + [172,19] 0 + [172,20] 1 + [172,21] 0 + [172,22] 0 + [172,23] 0 + [172,24] 0 + [172,25] 0 + [173,1] 0 + [173,2] 0 + [173,3] 0 + [173,4] 0 + [173,5] 0 + [173,6] 0 + [173,7] 0 + [173,8] 0 + [173,9] 0 + [173,10] 0 + [173,11] 0 + [173,12] 0 + [173,13] 0 + [173,14] 0 + [173,15] 0 + [173,16] 0 + [173,17] 0 + [173,18] 0 + [173,19] 0 + [173,20] 0 + [173,21] 0 + [173,22] 0 + [173,23] 0 + [173,24] 0 + [173,25] 0 + [174,1] 0 + [174,2] 0 + [174,3] 0 + [174,4] 0 + [174,5] 0 + [174,6] 0 + [174,7] 0 + [174,8] 0 + [174,9] 0 + [174,10] 0 + [174,11] 0 + [174,12] 0 + [174,13] 0 + [174,14] 0 + [174,15] 0 + [174,16] 0 + [174,17] 1 + [174,18] 0 + [174,19] 0 + [174,20] 0 + [174,21] 0 + [174,22] 0 + [174,23] 0 + [174,24] 0 + [174,25] 0 + [175,1] 4 + [175,2] 0 + [175,3] 0 + [175,4] 0 + [175,5] 0 + [175,6] 0 + [175,7] 0 + [175,8] 0 + [175,9] 5 + [175,10] 1 + [175,11] 0 + [175,12] 0 + [175,13] 6 + [175,14] 0 + [175,15] 0 + [175,16] 0 + [175,17] 0 + [175,18] 0 + [175,19] 0 + [175,20] 0 + [175,21] 0 + [175,22] 0 + [175,23] 2 + [175,24] 0 + [175,25] 3 + [176,1] 0 + [176,2] 0 + [176,3] 0 + [176,4] 0 + [176,5] 0 + [176,6] 0 + [176,7] 0 + [176,8] 0 + [176,9] 0 + [176,10] 0 + [176,11] 0 + [176,12] 3 + [176,13] 0 + [176,14] 0 + [176,15] 0 + [176,16] 1 + [176,17] 0 + [176,18] 0 + [176,19] 2 + [176,20] 0 + [176,21] 0 + [176,22] 0 + [176,23] 0 + [176,24] 0 + [176,25] 0 + [177,1] 0 + [177,2] 0 + [177,3] 0 + [177,4] 0 + [177,5] 0 + [177,6] 0 + [177,7] 0 + [177,8] 0 + [177,9] 0 + [177,10] 0 + [177,11] 0 + [177,12] 0 + [177,13] 0 + [177,14] 0 + [177,15] 0 + [177,16] 0 + [177,17] 0 + [177,18] 0 + [177,19] 0 + [177,20] 0 + [177,21] 0 + [177,22] 0 + [177,23] 0 + [177,24] 0 + [177,25] 0 + [178,1] 0 + [178,2] 0 + [178,3] 0 + [178,4] 0 + [178,5] 0 + [178,6] 0 + [178,7] 2 + [178,8] 0 + [178,9] 0 + [178,10] 0 + [178,11] 0 + [178,12] 0 + [178,13] 0 + [178,14] 4 + [178,15] 0 + [178,16] 0 + [178,17] 3 + [178,18] 0 + [178,19] 0 + [178,20] 0 + [178,21] 0 + [178,22] 0 + [178,23] 0 + [178,24] 0 + [178,25] 1 + [179,1] 0 + [179,2] 2 + [179,3] 0 + [179,4] 4 + [179,5] 0 + [179,6] 5 + [179,7] 0 + [179,8] 0 + [179,9] 0 + [179,10] 0 + [179,11] 0 + [179,12] 0 + [179,13] 0 + [179,14] 0 + [179,15] 0 + [179,16] 0 + [179,17] 0 + [179,18] 0 + [179,19] 1 + [179,20] 3 + [179,21] 0 + [179,22] 0 + [179,23] 0 + [179,24] 0 + [179,25] 0 + [180,1] 0 + [180,2] 0 + [180,3] 0 + [180,4] 0 + [180,5] 0 + [180,6] 0 + [180,7] 0 + [180,8] 0 + [180,9] 0 + [180,10] 0 + [180,11] 0 + [180,12] 0 + [180,13] 0 + [180,14] 0 + [180,15] 0 + [180,16] 0 + [180,17] 0 + [180,18] 0 + [180,19] 0 + [180,20] 0 + [180,21] 0 + [180,22] 0 + [180,23] 0 + [180,24] 0 + [180,25] 0 + [181,1] 0 + [181,2] 2 + [181,3] 0 + [181,4] 0 + [181,5] 0 + [181,6] 0 + [181,7] 0 + [181,8] 0 + [181,9] 0 + [181,10] 0 + [181,11] 0 + [181,12] 0 + [181,13] 3 + [181,14] 0 + [181,15] 0 + [181,16] 0 + [181,17] 0 + [181,18] 4 + [181,19] 0 + [181,20] 0 + [181,21] 1 + [181,22] 0 + [181,23] 0 + [181,24] 5 + [181,25] 6 + [182,1] 0 + [182,2] 5 + [182,3] 0 + [182,4] 0 + [182,5] 0 + [182,6] 0 + [182,7] 0 + [182,8] 0 + [182,9] 0 + [182,10] 0 + [182,11] 1 + [182,12] 0 + [182,13] 0 + [182,14] 0 + [182,15] 3 + [182,16] 0 + [182,17] 0 + [182,18] 0 + [182,19] 4 + [182,20] 0 + [182,21] 2 + [182,22] 0 + [182,23] 0 + [182,24] 0 + [182,25] 0 + [183,1] 0 + [183,2] 0 + [183,3] 0 + [183,4] 2 + [183,5] 0 + [183,6] 0 + [183,7] 0 + [183,8] 0 + [183,9] 0 + [183,10] 0 + [183,11] 0 + [183,12] 0 + [183,13] 1 + [183,14] 0 + [183,15] 0 + [183,16] 0 + [183,17] 0 + [183,18] 0 + [183,19] 0 + [183,20] 0 + [183,21] 0 + [183,22] 0 + [183,23] 0 + [183,24] 0 + [183,25] 3 + [184,1] 4 + [184,2] 0 + [184,3] 0 + [184,4] 0 + [184,5] 0 + [184,6] 0 + [184,7] 0 + [184,8] 0 + [184,9] 0 + [184,10] 0 + [184,11] 0 + [184,12] 3 + [184,13] 0 + [184,14] 2 + [184,15] 0 + [184,16] 0 + [184,17] 5 + [184,18] 0 + [184,19] 0 + [184,20] 0 + [184,21] 1 + [184,22] 0 + [184,23] 0 + [184,24] 0 + [184,25] 0 + [185,1] 0 + [185,2] 0 + [185,3] 0 + [185,4] 0 + [185,5] 3 + [185,6] 5 + [185,7] 2 + [185,8] 0 + [185,9] 0 + [185,10] 0 + [185,11] 0 + [185,12] 4 + [185,13] 1 + [185,14] 0 + [185,15] 0 + [185,16] 0 + [185,17] 0 + [185,18] 0 + [185,19] 0 + [185,20] 6 + [185,21] 0 + [185,22] 0 + [185,23] 0 + [185,24] 0 + [185,25] 0 + [186,1] 4 + [186,2] 2 + [186,3] 0 + [186,4] 0 + [186,5] 0 + [186,6] 3 + [186,7] 0 + [186,8] 0 + [186,9] 0 + [186,10] 0 + [186,11] 0 + [186,12] 0 + [186,13] 0 + [186,14] 0 + [186,15] 1 + [186,16] 0 + [186,17] 0 + [186,18] 0 + [186,19] 0 + [186,20] 0 + [186,21] 0 + [186,22] 0 + [186,23] 0 + [186,24] 0 + [186,25] 0 + [187,1] 0 + [187,2] 0 + [187,3] 5 + [187,4] 0 + [187,5] 0 + [187,6] 0 + [187,7] 0 + [187,8] 1 + [187,9] 0 + [187,10] 0 + [187,11] 0 + [187,12] 0 + [187,13] 0 + [187,14] 0 + [187,15] 0 + [187,16] 0 + [187,17] 2 + [187,18] 0 + [187,19] 0 + [187,20] 0 + [187,21] 0 + [187,22] 0 + [187,23] 0 + [187,24] 4 + [187,25] 3 + [188,1] 4 + [188,2] 0 + [188,3] 0 + [188,4] 0 + [188,5] 0 + [188,6] 0 + [188,7] 0 + [188,8] 0 + [188,9] 0 + [188,10] 0 + [188,11] 0 + [188,12] 5 + [188,13] 0 + [188,14] 0 + [188,15] 3 + [188,16] 0 + [188,17] 0 + [188,18] 2 + [188,19] 0 + [188,20] 0 + [188,21] 0 + [188,22] 1 + [188,23] 0 + [188,24] 0 + [188,25] 0 + [189,1] 0 + [189,2] 0 + [189,3] 0 + [189,4] 0 + [189,5] 0 + [189,6] 0 + [189,7] 0 + [189,8] 0 + [189,9] 0 + [189,10] 0 + [189,11] 1 + [189,12] 0 + [189,13] 0 + [189,14] 0 + [189,15] 0 + [189,16] 0 + [189,17] 0 + [189,18] 0 + [189,19] 0 + [189,20] 0 + [189,21] 0 + [189,22] 0 + [189,23] 2 + [189,24] 0 + [189,25] 0 + [190,1] 0 + [190,2] 0 + [190,3] 0 + [190,4] 1 + [190,5] 0 + [190,6] 0 + [190,7] 0 + [190,8] 0 + [190,9] 4 + [190,10] 0 + [190,11] 0 + [190,12] 5 + [190,13] 2 + [190,14] 0 + [190,15] 0 + [190,16] 0 + [190,17] 0 + [190,18] 0 + [190,19] 0 + [190,20] 3 + [190,21] 0 + [190,22] 0 + [190,23] 0 + [190,24] 0 + [190,25] 0 + [191,1] 0 + [191,2] 0 + [191,3] 0 + [191,4] 0 + [191,5] 0 + [191,6] 0 + [191,7] 0 + [191,8] 0 + [191,9] 0 + [191,10] 0 + [191,11] 3 + [191,12] 0 + [191,13] 0 + [191,14] 0 + [191,15] 0 + [191,16] 0 + [191,17] 0 + [191,18] 2 + [191,19] 0 + [191,20] 0 + [191,21] 4 + [191,22] 0 + [191,23] 0 + [191,24] 0 + [191,25] 1 + [192,1] 0 + [192,2] 0 + [192,3] 0 + [192,4] 0 + [192,5] 0 + [192,6] 0 + [192,7] 0 + [192,8] 0 + [192,9] 0 + [192,10] 0 + [192,11] 0 + [192,12] 0 + [192,13] 0 + [192,14] 1 + [192,15] 0 + [192,16] 0 + [192,17] 0 + [192,18] 0 + [192,19] 0 + [192,20] 0 + [192,21] 0 + [192,22] 0 + [192,23] 0 + [192,24] 0 + [192,25] 0 + [193,1] 0 + [193,2] 6 + [193,3] 3 + [193,4] 0 + [193,5] 0 + [193,6] 0 + [193,7] 0 + [193,8] 5 + [193,9] 0 + [193,10] 2 + [193,11] 8 + [193,12] 0 + [193,13] 7 + [193,14] 4 + [193,15] 0 + [193,16] 0 + [193,17] 0 + [193,18] 1 + [193,19] 0 + [193,20] 0 + [193,21] 0 + [193,22] 0 + [193,23] 0 + [193,24] 0 + [193,25] 0 + [194,1] 0 + [194,2] 0 + [194,3] 0 + [194,4] 0 + [194,5] 1 + [194,6] 0 + [194,7] 0 + [194,8] 0 + [194,9] 0 + [194,10] 0 + [194,11] 0 + [194,12] 0 + [194,13] 0 + [194,14] 0 + [194,15] 0 + [194,16] 0 + [194,17] 0 + [194,18] 0 + [194,19] 0 + [194,20] 0 + [194,21] 0 + [194,22] 0 + [194,23] 0 + [194,24] 0 + [194,25] 0 + [195,1] 0 + [195,2] 0 + [195,3] 0 + [195,4] 0 + [195,5] 0 + [195,6] 0 + [195,7] 0 + [195,8] 0 + [195,9] 0 + [195,10] 2 + [195,11] 0 + [195,12] 0 + [195,13] 1 + [195,14] 4 + [195,15] 0 + [195,16] 0 + [195,17] 6 + [195,18] 0 + [195,19] 0 + [195,20] 3 + [195,21] 0 + [195,22] 0 + [195,23] 0 + [195,24] 5 + [195,25] 0 + [196,1] 0 + [196,2] 0 + [196,3] 0 + [196,4] 6 + [196,5] 0 + [196,6] 0 + [196,7] 4 + [196,8] 0 + [196,9] 0 + [196,10] 0 + [196,11] 0 + [196,12] 3 + [196,13] 0 + [196,14] 0 + [196,15] 0 + [196,16] 0 + [196,17] 0 + [196,18] 5 + [196,19] 0 + [196,20] 0 + [196,21] 0 + [196,22] 0 + [196,23] 2 + [196,24] 0 + [196,25] 1 + [197,1] 0 + [197,2] 0 + [197,3] 0 + [197,4] 0 + [197,5] 0 + [197,6] 0 + [197,7] 0 + [197,8] 0 + [197,9] 0 + [197,10] 0 + [197,11] 3 + [197,12] 0 + [197,13] 0 + [197,14] 0 + [197,15] 0 + [197,16] 0 + [197,17] 0 + [197,18] 0 + [197,19] 1 + [197,20] 2 + [197,21] 0 + [197,22] 0 + [197,23] 0 + [197,24] 0 + [197,25] 0 + [198,1] 0 + [198,2] 3 + [198,3] 0 + [198,4] 0 + [198,5] 0 + [198,6] 0 + [198,7] 1 + [198,8] 0 + [198,9] 0 + [198,10] 0 + [198,11] 0 + [198,12] 0 + [198,13] 0 + [198,14] 0 + [198,15] 0 + [198,16] 0 + [198,17] 0 + [198,18] 2 + [198,19] 0 + [198,20] 0 + [198,21] 0 + [198,22] 0 + [198,23] 0 + [198,24] 0 + [198,25] 0 + [199,1] 0 + [199,2] 0 + [199,3] 0 + [199,4] 0 + [199,5] 1 + [199,6] 0 + [199,7] 0 + [199,8] 0 + [199,9] 0 + [199,10] 0 + [199,11] 0 + [199,12] 0 + [199,13] 0 + [199,14] 0 + [199,15] 0 + [199,16] 0 + [199,17] 0 + [199,18] 0 + [199,19] 0 + [199,20] 0 + [199,21] 0 + [199,22] 0 + [199,23] 0 + [199,24] 0 + [199,25] 0 + [200,1] 0 + [200,2] 0 + [200,3] 0 + [200,4] 0 + [200,5] 0 + [200,6] 0 + [200,7] 0 + [200,8] 0 + [200,9] 0 + [200,10] 0 + [200,11] 0 + [200,12] 0 + [200,13] 0 + [200,14] 0 + [200,15] 0 + [200,16] 0 + [200,17] 3 + [200,18] 0 + [200,19] 2 + [200,20] 1 + [200,21] 0 + [200,22] 0 + [200,23] 0 + [200,24] 0 + [200,25] 0; +param MAX := + [1] 4 + [2] 4 + [3] 4 + [4] 4; +param MAXPlus := + [1] 10 + [2] 6 + [3] 6; +model; +###data-end + +###objectives-start +restore Total_Unassigned; +restore PrefViolRanked; +restore ReverseSeniority; +###objectives-end + +###fixes-start +###fixes-end + +###drop-restore-start +###drop-restore-end + diff --git a/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_seniority_reverse_PBS.mod b/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_seniority_reverse_PBS.mod new file mode 100644 index 000000000..afa39c745 --- /dev/null +++ b/test/end2end/cases/categorized/fast/iis_feasrelax/airtrainee_seniority_reverse_PBS.mod @@ -0,0 +1,11 @@ + +# Reverse seniority constraints, +# sublimated as post-processing objectives. +# Optimize for all trainees with E[i]==1, ranked by reverse seniority, +# then for all with E[i]==2. +# In this special case the objectives can be aggregated for each value of e +# (see Solve with aggregated preferences.) +maximize ReverseSeniority {e in 1..2, i in I: E[i]==e}: + sum {t in V[i]: Pr[i, t]==0} + S[i] * x[i, t] + suffix objpriority (2-e)*S_range + 1 + S[i] - min {j in I} S[j]; diff --git a/test/end2end/cases/categorized/fast/iis_feasrelax/modellist.json b/test/end2end/cases/categorized/fast/iis_feasrelax/modellist.json index 01e5f6df4..0c026e0b4 100644 --- a/test/end2end/cases/categorized/fast/iis_feasrelax/modellist.json +++ b/test/end2end/cases/categorized/fast/iis_feasrelax/modellist.json @@ -1,4 +1,17 @@ [ + { + "name": "airtrainee_infeas multiobj=1", + "files": ["airtrainee_base.mod", + "airtrainee_seniority_reverse_PBS.mod", + "airtrainee_infeas_200.dat"], + "tags": [ "linear", "multiobj"], + "options": { + "ANYSOLVER_options": "multiobj=1" + }, + "values": { + "solve_result": "infeasible" + } + }, { "name": "infeas_int_01 iisfind=1", "tags": [ "linear", "iis"],