# Joint Capacity Placement AMPL Data File created on 5/12/2003
# For use with JCP.mod and MaintOrth-JCP.mod AMPL models
# This AMPL data file was generated by the program D:\temp\test\JCPDatFilePrepV2.exe,
#   written by John Doucette, July 2001.

# Command Line Used:
# D:\temp\test\JCPDatFilePrepV2.exe 9n17s1.top 9n17s1.dem JCP-9n17s1.dat 10

# Working and Restoration routes are generated by depth-first-search.
# The 10 shortest routes (by distance) for each demand or span failure
#   were chosen as the eligible routes.
#   In cases where the next longer route(s) is(are) of equal length as the
#   10th shortest, then all other routes of that length are also used.


set SPANS := S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12 S13 S14 S15 S16 S17;

set DEMANDS := D00 D01 D02 D03 D04 D05 D06 D07 D08 D09 D10 D11 D12 D13 D14 D15 D16 D17 D18 D19 D20 D21 D22 D23 D24 D25 D26 D27 D28 D29 D30 D31 D32 D33 D34 D35;

param Cost :=
S1	50.000
S2	50.000
S3	50.000
S4	50.000
S5	50.000
S6	50.000
S7	50.000
S8	50.000
S9	50.000
S10	50.000
S11	50.000
S12	50.000
S13	50.000
S14	50.000
S15	50.000
S16	50.000
S17	50.000;

param DemandUnits :=
D00	3.000000
D01	7.000000
D02	3.000000
D03	1.000000
D04	5.000000
D05	1.000000
D06	2.000000
D07	5.000000
D08	7.000000
D09	5.000000
D10	2.000000
D11	4.000000
D12	1.000000
D13	1.000000
D14	2.000000
D15	10.000000
D16	5.000000
D17	15.000000
D18	3.000000
D19	4.000000
D20	8.000000
D21	6.000000
D22	9.000000
D23	2.000000
D24	2.000000
D25	3.000000
D26	9.000000
D27	3.000000
D28	2.000000
D29	2.000000
D30	9.000000
D31	7.000000
D32	8.000000
D33	3.000000
D34	2.000000
D35	6.000000;

set REST_ROUTES[S1] := RR1 RR2 RR3 RR4 RR5 RR6 RR7 RR8 RR9 RR10 RR11 RR12 RR13 RR14 RR15;
set REST_ROUTES[S2] := RR16 RR17 RR18 RR19 RR20 RR21 RR22 RR23 RR24 RR25 RR26 RR27 RR28;
set REST_ROUTES[S3] := RR29 RR30 RR31 RR32 RR33 RR34 RR35 RR36 RR37 RR38 RR39 RR40 RR41 RR42 RR43 RR44 RR45 RR46;
set REST_ROUTES[S4] := RR47 RR48 RR49 RR50 RR51 RR52 RR53 RR54 RR55 RR56 RR57 RR58 RR59;
set REST_ROUTES[S5] := RR60 RR61 RR62 RR63 RR64 RR65 RR66 RR67 RR68 RR69 RR70 RR71 RR72 RR73 RR74 RR75 RR76 RR77;
set REST_ROUTES[S6] := RR78 RR79 RR80 RR81 RR82 RR83 RR84 RR85 RR86 RR87;
set REST_ROUTES[S7] := RR88 RR89 RR90 RR91 RR92 RR93 RR94 RR95 RR96 RR97 RR98 RR99;
set REST_ROUTES[S8] := RR100 RR101 RR102 RR103 RR104 RR105 RR106 RR107 RR108 RR109;
set REST_ROUTES[S9] := RR110 RR111 RR112 RR113 RR114 RR115 RR116 RR117 RR118 RR119 RR120 RR121 RR122 RR123 RR124 RR125 RR126;
set REST_ROUTES[S10] := RR127 RR128 RR129 RR130 RR131 RR132 RR133 RR134 RR135 RR136 RR137;
set REST_ROUTES[S11] := RR138 RR139 RR140 RR141 RR142 RR143 RR144 RR145 RR146 RR147 RR148 RR149 RR150;
set REST_ROUTES[S12] := RR151 RR152 RR153 RR154 RR155 RR156 RR157 RR158 RR159 RR160 RR161 RR162;
set REST_ROUTES[S13] := RR163 RR164 RR165 RR166 RR167 RR168 RR169 RR170 RR171 RR172;
set REST_ROUTES[S14] := RR173 RR174 RR175 RR176 RR177 RR178 RR179 RR180 RR181 RR182 RR183 RR184 RR185;
set REST_ROUTES[S15] := RR186 RR187 RR188 RR189 RR190 RR191 RR192 RR193 RR194 RR195 RR196;
set REST_ROUTES[S16] := RR197 RR198 RR199 RR200 RR201 RR202 RR203 RR204 RR205 RR206 RR207 RR208;
set REST_ROUTES[S17] := RR209 RR210 RR211 RR212 RR213 RR214 RR215 RR216 RR217 RR218 RR219 RR220 RR221 RR222 RR223 RR224 RR225;

param DeltaRestRoute :=
[S1, *, RR1] S2 1 S4 1
[S1, *, RR2] S2 1 S5 1 S6 1
[S1, *, RR3] S3 1 S4 1 S8 1
[S1, *, RR4] S3 1 S4 1 S7 1 S15 1
[S1, *, RR5] S3 1 S5 1 S10 1 S15 1
[S1, *, RR6] S3 1 S5 1 S6 1 S8 1
[S1, *, RR7] S2 1 S5 1 S7 1 S10 1
[S1, *, RR8] S3 1 S5 1 S10 1 S14 1 S17 1
[S1, *, RR9] S3 1 S4 1 S7 1 S14 1 S17 1
[S1, *, RR10] S3 1 S5 1 S9 1 S11 1 S15 1
[S1, *, RR11] S3 1 S4 1 S6 1 S10 1 S15 1
[S1, *, RR12] S3 1 S5 1 S6 1 S7 1 S15 1
[S1, *, RR13] S2 1 S5 1 S8 1 S10 1 S15 1
[S1, *, RR14] S2 1 S5 1 S7 1 S9 1 S11 1
[S1, *, RR15] S3 1 S5 1 S7 1 S8 1 S10 1
[S2, *, RR16] S3 1 S8 1
[S2, *, RR17] S1 1 S4 1
[S2, *, RR18] S1 1 S5 1 S6 1
[S2, *, RR19] S3 1 S7 1 S15 1
[S2, *, RR20] S3 1 S6 1 S10 1 S15 1
[S2, *, RR21] S1 1 S5 1 S7 1 S10 1
[S2, *, RR22] S3 1 S7 1 S14 1 S17 1
[S2, *, RR23] S3 1 S6 1 S9 1 S11 1 S15 1
[S2, *, RR24] S3 1 S6 1 S10 1 S14 1 S17 1
[S2, *, RR25] S3 1 S7 1 S13 1 S16 1 S17 1
[S2, *, RR26] S3 1 S4 1 S5 1 S10 1 S15 1
[S2, *, RR27] S1 1 S5 1 S7 1 S9 1 S11 1
[S2, *, RR28] S1 1 S5 1 S8 1 S10 1 S15 1
[S3, *, RR29] S2 1 S8 1
[S3, *, RR30] S2 1 S7 1 S15 1
[S3, *, RR31] S1 1 S4 1 S8 1
[S3, *, RR32] S1 1 S5 1 S6 1 S8 1
[S3, *, RR33] S2 1 S6 1 S10 1 S15 1
[S3, *, RR34] S2 1 S7 1 S14 1 S17 1
[S3, *, RR35] S1 1 S4 1 S7 1 S15 1
[S3, *, RR36] S1 1 S5 1 S10 1 S15 1
[S3, *, RR37] S1 1 S5 1 S10 1 S14 1 S17 1
[S3, *, RR38] S1 1 S5 1 S7 1 S8 1 S10 1
[S3, *, RR39] S2 1 S4 1 S5 1 S10 1 S15 1
[S3, *, RR40] S2 1 S6 1 S9 1 S11 1 S15 1
[S3, *, RR41] S2 1 S6 1 S10 1 S14 1 S17 1
[S3, *, RR42] S1 1 S5 1 S9 1 S11 1 S15 1
[S3, *, RR43] S2 1 S7 1 S13 1 S16 1 S17 1
[S3, *, RR44] S1 1 S5 1 S6 1 S7 1 S15 1
[S3, *, RR45] S1 1 S4 1 S7 1 S14 1 S17 1
[S3, *, RR46] S1 1 S4 1 S6 1 S10 1 S15 1
[S4, *, RR47] S5 1 S6 1
[S4, *, RR48] S1 1 S2 1
[S4, *, RR49] S1 1 S3 1 S8 1
[S4, *, RR50] S5 1 S7 1 S10 1
[S4, *, RR51] S5 1 S8 1 S10 1 S15 1
[S4, *, RR52] S1 1 S3 1 S7 1 S15 1
[S4, *, RR53] S5 1 S7 1 S9 1 S11 1
[S4, *, RR54] S5 1 S8 1 S9 1 S11 1 S15 1
[S4, *, RR55] S5 1 S7 1 S9 1 S12 1 S13 1
[S4, *, RR56] S1 1 S3 1 S7 1 S14 1 S17 1
[S4, *, RR57] S5 1 S8 1 S10 1 S14 1 S17 1
[S4, *, RR58] S2 1 S3 1 S5 1 S10 1 S15 1
[S4, *, RR59] S1 1 S3 1 S6 1 S10 1 S15 1
[S5, *, RR60] S4 1 S6 1
[S5, *, RR61] S1 1 S2 1 S6 1
[S5, *, RR62] S4 1 S7 1 S10 1
[S5, *, RR63] S1 1 S3 1 S10 1 S15 1
[S5, *, RR64] S1 1 S3 1 S6 1 S8 1
[S5, *, RR65] S4 1 S8 1 S10 1 S15 1
[S5, *, RR66] S1 1 S2 1 S7 1 S10 1
[S5, *, RR67] S4 1 S7 1 S9 1 S11 1
[S5, *, RR68] S4 1 S8 1 S9 1 S11 1 S15 1
[S5, *, RR69] S4 1 S8 1 S10 1 S14 1 S17 1
[S5, *, RR70] S4 1 S7 1 S9 1 S12 1 S13 1
[S5, *, RR71] S2 1 S3 1 S4 1 S10 1 S15 1
[S5, *, RR72] S1 1 S3 1 S9 1 S11 1 S15 1
[S5, *, RR73] S1 1 S3 1 S6 1 S7 1 S15 1
[S5, *, RR74] S1 1 S3 1 S7 1 S8 1 S10 1
[S5, *, RR75] S1 1 S2 1 S8 1 S10 1 S15 1
[S5, *, RR76] S1 1 S2 1 S7 1 S9 1 S11 1
[S5, *, RR77] S1 1 S3 1 S10 1 S14 1 S17 1
[S6, *, RR78] S1 1 S2 1 S5 1
[S6, *, RR79] S2 1 S3 1 S10 1 S15 1
[S6, *, RR80] S4 1 S5 1
[S6, *, RR81] S7 1 S10 1
[S6, *, RR82] S7 1 S9 1 S11 1
[S6, *, RR83] S7 1 S9 1 S12 1 S13 1
[S6, *, RR84] S1 1 S3 1 S5 1 S8 1
[S6, *, RR85] S8 1 S10 1 S15 1
[S6, *, RR86] S8 1 S9 1 S11 1 S15 1
[S6, *, RR87] S8 1 S10 1 S14 1 S17 1
[S7, *, RR88] S6 1 S10 1
[S7, *, RR89] S8 1 S15 1
[S7, *, RR90] S2 1 S3 1 S15 1
[S7, *, RR91] S6 1 S9 1 S11 1
[S7, *, RR92] S8 1 S14 1 S17 1
[S7, *, RR93] S4 1 S5 1 S10 1
[S7, *, RR94] S8 1 S13 1 S16 1 S17 1
[S7, *, RR95] S6 1 S9 1 S12 1 S13 1
[S7, *, RR96] S4 1 S5 1 S9 1 S11 1
[S7, *, RR97] S1 1 S3 1 S4 1 S15 1
[S7, *, RR98] S2 1 S3 1 S14 1 S17 1
[S7, *, RR99] S1 1 S2 1 S5 1 S10 1
[S8, *, RR100] S2 1 S3 1
[S8, *, RR101] S1 1 S3 1 S4 1
[S8, *, RR102] S4 1 S5 1 S10 1 S15 1
[S8, *, RR103] S1 1 S3 1 S5 1 S6 1
[S8, *, RR104] S6 1 S9 1 S11 1 S15 1
[S8, *, RR105] S6 1 S10 1 S14 1 S17 1
[S8, *, RR106] S6 1 S10 1 S15 1
[S8, *, RR107] S7 1 S13 1 S16 1 S17 1
[S8, *, RR108] S7 1 S14 1 S17 1
[S8, *, RR109] S7 1 S15 1
[S9, *, RR110] S10 1 S11 1
[S9, *, RR111] S10 1 S12 1 S13 1
[S9, *, RR112] S6 1 S7 1 S11 1
[S9, *, RR113] S10 1 S12 1 S14 1 S16 1
[S9, *, RR114] S4 1 S5 1 S7 1 S11 1
[S9, *, RR115] S6 1 S7 1 S12 1 S13 1
[S9, *, RR116] S6 1 S8 1 S11 1 S15 1
[S9, *, RR117] S6 1 S8 1 S11 1 S14 1 S17 1
[S9, *, RR118] S6 1 S8 1 S12 1 S16 1 S17 1
[S9, *, RR119] S10 1 S12 1 S15 1 S16 1 S17 1
[S9, *, RR120] S6 1 S8 1 S12 1 S13 1 S15 1
[S9, *, RR121] S6 1 S7 1 S12 1 S14 1 S16 1
[S9, *, RR122] S2 1 S3 1 S6 1 S11 1 S15 1
[S9, *, RR123] S4 1 S5 1 S8 1 S11 1 S15 1
[S9, *, RR124] S4 1 S5 1 S7 1 S12 1 S13 1
[S9, *, RR125] S1 1 S3 1 S5 1 S11 1 S15 1
[S9, *, RR126] S1 1 S2 1 S5 1 S7 1 S11 1
[S10, *, RR127] S6 1 S7 1
[S10, *, RR128] S9 1 S11 1
[S10, *, RR129] S4 1 S5 1 S7 1
[S10, *, RR130] S9 1 S12 1 S13 1
[S10, *, RR131] S6 1 S8 1 S15 1
[S10, *, RR132] S9 1 S12 1 S14 1 S16 1
[S10, *, RR133] S6 1 S8 1 S14 1 S17 1
[S10, *, RR134] S2 1 S3 1 S6 1 S15 1
[S10, *, RR135] S4 1 S5 1 S8 1 S15 1
[S10, *, RR136] S1 1 S3 1 S5 1 S15 1
[S10, *, RR137] S1 1 S2 1 S5 1 S7 1
[S11, *, RR138] S12 1 S13 1
[S11, *, RR139] S9 1 S10 1
[S11, *, RR140] S6 1 S7 1 S9 1
[S11, *, RR141] S12 1 S14 1 S16 1
[S11, *, RR142] S6 1 S8 1 S9 1 S15 1
[S11, *, RR143] S4 1 S5 1 S7 1 S9 1
[S11, *, RR144] S12 1 S15 1 S16 1 S17 1
[S11, *, RR145] S6 1 S8 1 S9 1 S14 1 S17 1
[S11, *, RR146] S2 1 S3 1 S6 1 S9 1 S15 1
[S11, *, RR147] S4 1 S5 1 S8 1 S9 1 S15 1
[S11, *, RR148] S1 1 S3 1 S5 1 S9 1 S15 1
[S11, *, RR149] S7 1 S8 1 S12 1 S16 1 S17 1
[S11, *, RR150] S1 1 S2 1 S5 1 S7 1 S9 1
[S12, *, RR151] S11 1 S13 1
[S12, *, RR152] S9 1 S10 1 S13 1
[S12, *, RR153] S11 1 S14 1 S16 1
[S12, *, RR154] S9 1 S10 1 S14 1 S16 1
[S12, *, RR155] S6 1 S7 1 S9 1 S13 1
[S12, *, RR156] S11 1 S15 1 S16 1 S17 1
[S12, *, RR157] S6 1 S8 1 S9 1 S16 1 S17 1
[S12, *, RR158] S9 1 S10 1 S15 1 S16 1 S17 1
[S12, *, RR159] S7 1 S8 1 S11 1 S16 1 S17 1
[S12, *, RR160] S6 1 S8 1 S9 1 S13 1 S15 1
[S12, *, RR161] S6 1 S7 1 S9 1 S14 1 S16 1
[S12, *, RR162] S4 1 S5 1 S7 1 S9 1 S13 1
[S13, *, RR163] S2 1 S3 1 S7 1 S16 1 S17 1
[S13, *, RR164] S4 1 S5 1 S7 1 S9 1 S12 1
[S13, *, RR165] S6 1 S7 1 S9 1 S12 1
[S13, *, RR166] S7 1 S8 1 S16 1 S17 1
[S13, *, RR167] S6 1 S8 1 S10 1 S16 1 S17 1
[S13, *, RR168] S9 1 S10 1 S12 1
[S13, *, RR169] S11 1 S12 1
[S13, *, RR170] S14 1 S16 1
[S13, *, RR171] S6 1 S8 1 S9 1 S12 1 S15 1
[S13, *, RR172] S15 1 S16 1 S17 1
[S14, *, RR173] S15 1 S17 1
[S14, *, RR174] S13 1 S16 1
[S14, *, RR175] S11 1 S12 1 S16 1
[S14, *, RR176] S7 1 S8 1 S17 1
[S14, *, RR177] S6 1 S8 1 S10 1 S17 1
[S14, *, RR178] S9 1 S10 1 S12 1 S16 1
[S14, *, RR179] S2 1 S3 1 S7 1 S17 1
[S14, *, RR180] S4 1 S5 1 S8 1 S10 1 S17 1
[S14, *, RR181] S1 1 S3 1 S5 1 S10 1 S17 1
[S14, *, RR182] S6 1 S8 1 S9 1 S11 1 S17 1
[S14, *, RR183] S6 1 S7 1 S9 1 S12 1 S16 1
[S14, *, RR184] S1 1 S3 1 S4 1 S7 1 S17 1
[S14, *, RR185] S2 1 S3 1 S6 1 S10 1 S17 1
[S15, *, RR186] S14 1 S17 1
[S15, *, RR187] S7 1 S8 1
[S15, *, RR188] S6 1 S8 1 S10 1
[S15, *, RR189] S13 1 S16 1 S17 1
[S15, *, RR190] S2 1 S3 1 S7 1
[S15, *, RR191] S4 1 S5 1 S8 1 S10 1
[S15, *, RR192] S1 1 S3 1 S5 1 S10 1
[S15, *, RR193] S6 1 S8 1 S9 1 S11 1
[S15, *, RR194] S11 1 S12 1 S16 1 S17 1
[S15, *, RR195] S1 1 S3 1 S4 1 S7 1
[S15, *, RR196] S2 1 S3 1 S6 1 S10 1
[S16, *, RR197] S13 1 S14 1
[S16, *, RR198] S11 1 S12 1 S14 1
[S16, *, RR199] S13 1 S15 1 S17 1
[S16, *, RR200] S7 1 S8 1 S13 1 S17 1
[S16, *, RR201] S9 1 S10 1 S12 1 S14 1
[S16, *, RR202] S11 1 S12 1 S15 1 S17 1
[S16, *, RR203] S7 1 S8 1 S11 1 S12 1 S17 1
[S16, *, RR204] S2 1 S3 1 S7 1 S13 1 S17 1
[S16, *, RR205] S9 1 S10 1 S12 1 S15 1 S17 1
[S16, *, RR206] S6 1 S8 1 S10 1 S13 1 S17 1
[S16, *, RR207] S6 1 S8 1 S9 1 S12 1 S17 1
[S16, *, RR208] S6 1 S7 1 S9 1 S12 1 S14 1
[S17, *, RR209] S14 1 S15 1
[S17, *, RR210] S7 1 S8 1 S14 1
[S17, *, RR211] S13 1 S15 1 S16 1
[S17, *, RR212] S11 1 S12 1 S15 1 S16 1
[S17, *, RR213] S6 1 S8 1 S10 1 S14 1
[S17, *, RR214] S7 1 S8 1 S13 1 S16 1
[S17, *, RR215] S2 1 S3 1 S7 1 S14 1
[S17, *, RR216] S1 1 S3 1 S4 1 S7 1 S14 1
[S17, *, RR217] S6 1 S8 1 S9 1 S12 1 S16 1
[S17, *, RR218] S7 1 S8 1 S11 1 S12 1 S16 1
[S17, *, RR219] S2 1 S3 1 S7 1 S13 1 S16 1
[S17, *, RR220] S6 1 S8 1 S10 1 S13 1 S16 1
[S17, *, RR221] S9 1 S10 1 S12 1 S15 1 S16 1
[S17, *, RR222] S6 1 S8 1 S9 1 S11 1 S14 1
[S17, *, RR223] S2 1 S3 1 S6 1 S10 1 S14 1
[S17, *, RR224] S4 1 S5 1 S8 1 S10 1 S14 1
[S17, *, RR225] S1 1 S3 1 S5 1 S10 1 S14 1;

set WORK_ROUTES[D00] := WR1 WR2 WR3 WR4 WR5 WR6 WR7 WR8 WR9 WR10 WR11 WR12 WR13 WR14 WR15 WR16;
set WORK_ROUTES[D01] := WR17 WR18 WR19 WR20 WR21 WR22 WR23 WR24 WR25 WR26 WR27 WR28 WR29 WR30;
set WORK_ROUTES[D02] := WR31 WR32 WR33 WR34 WR35 WR36 WR37 WR38 WR39 WR40 WR41 WR42 WR43 WR44 WR45;
set WORK_ROUTES[D03] := WR46 WR47 WR48 WR49 WR50 WR51 WR52 WR53 WR54 WR55 WR56 WR57 WR58 WR59 WR60 WR61 WR62 WR63;
set WORK_ROUTES[D04] := WR64 WR65 WR66 WR67 WR68 WR69 WR70 WR71 WR72 WR73 WR74 WR75 WR76 WR77 WR78 WR79 WR80;
set WORK_ROUTES[D05] := WR81 WR82 WR83 WR84 WR85 WR86 WR87 WR88 WR89 WR90 WR91 WR92 WR93 WR94 WR95 WR96;
set WORK_ROUTES[D06] := WR97 WR98 WR99 WR100 WR101 WR102 WR103 WR104 WR105 WR106 WR107 WR108 WR109;
set WORK_ROUTES[D07] := WR110 WR111 WR112 WR113 WR114 WR115 WR116 WR117 WR118 WR119 WR120 WR121 WR122 WR123 WR124 WR125 WR126 WR127 WR128;
set WORK_ROUTES[D08] := WR129 WR130 WR131 WR132 WR133 WR134 WR135 WR136 WR137 WR138 WR139 WR140 WR141 WR142;
set WORK_ROUTES[D09] := WR143 WR144 WR145 WR146 WR147 WR148 WR149 WR150 WR151 WR152 WR153 WR154 WR155 WR156 WR157 WR158 WR159 WR160 WR161;
set WORK_ROUTES[D10] := WR162 WR163 WR164 WR165 WR166 WR167 WR168 WR169 WR170 WR171 WR172 WR173 WR174;
set WORK_ROUTES[D11] := WR175 WR176 WR177 WR178 WR179 WR180 WR181 WR182 WR183 WR184 WR185 WR186 WR187 WR188 WR189 WR190 WR191;
set WORK_ROUTES[D12] := WR192 WR193 WR194 WR195 WR196 WR197 WR198 WR199 WR200 WR201 WR202 WR203 WR204 WR205 WR206 WR207;
set WORK_ROUTES[D13] := WR208 WR209 WR210 WR211 WR212 WR213 WR214 WR215 WR216 WR217 WR218 WR219 WR220 WR221 WR222 WR223 WR224 WR225;
set WORK_ROUTES[D14] := WR226 WR227 WR228 WR229 WR230 WR231 WR232 WR233 WR234 WR235 WR236 WR237 WR238 WR239 WR240;
set WORK_ROUTES[D15] := WR241 WR242 WR243 WR244 WR245 WR246 WR247 WR248 WR249 WR250 WR251;
set WORK_ROUTES[D16] := WR252 WR253 WR254 WR255 WR256 WR257 WR258 WR259 WR260 WR261 WR262 WR263 WR264 WR265 WR266 WR267;
set WORK_ROUTES[D17] := WR268 WR269 WR270 WR271 WR272 WR273 WR274 WR275 WR276 WR277 WR278 WR279 WR280;
set WORK_ROUTES[D18] := WR281 WR282 WR283 WR284 WR285 WR286 WR287 WR288 WR289 WR290 WR291 WR292 WR293 WR294 WR295 WR296 WR297 WR298 WR299;
set WORK_ROUTES[D19] := WR300 WR301 WR302 WR303 WR304 WR305 WR306 WR307 WR308 WR309 WR310 WR311 WR312 WR313 WR314 WR315;
set WORK_ROUTES[D20] := WR316 WR317 WR318 WR319 WR320 WR321 WR322 WR323 WR324 WR325 WR326;
set WORK_ROUTES[D21] := WR327 WR328 WR329 WR330 WR331 WR332 WR333 WR334 WR335 WR336 WR337 WR338 WR339 WR340 WR341 WR342 WR343 WR344;
set WORK_ROUTES[D22] := WR345 WR346 WR347 WR348 WR349 WR350 WR351 WR352 WR353 WR354 WR355 WR356;
set WORK_ROUTES[D23] := WR357 WR358 WR359 WR360 WR361 WR362 WR363 WR364 WR365 WR366 WR367 WR368 WR369;
set WORK_ROUTES[D24] := WR370 WR371 WR372 WR373 WR374 WR375 WR376 WR377 WR378 WR379 WR380 WR381 WR382 WR383 WR384 WR385 WR386 WR387 WR388;
set WORK_ROUTES[D25] := WR389 WR390 WR391 WR392 WR393 WR394 WR395 WR396 WR397 WR398 WR399 WR400 WR401 WR402 WR403 WR404 WR405 WR406 WR407 WR408;
set WORK_ROUTES[D26] := WR409 WR410 WR411 WR412 WR413 WR414 WR415 WR416 WR417 WR418 WR419 WR420 WR421 WR422;
set WORK_ROUTES[D27] := WR423 WR424 WR425 WR426 WR427 WR428 WR429 WR430 WR431 WR432 WR433 WR434 WR435;
set WORK_ROUTES[D28] := WR436 WR437 WR438 WR439 WR440 WR441 WR442 WR443 WR444 WR445 WR446 WR447;
set WORK_ROUTES[D29] := WR448 WR449 WR450 WR451 WR452 WR453 WR454 WR455 WR456 WR457 WR458 WR459 WR460 WR461 WR462 WR463 WR464 WR465 WR466;
set WORK_ROUTES[D30] := WR467 WR468 WR469 WR470 WR471 WR472 WR473 WR474 WR475 WR476 WR477;
set WORK_ROUTES[D31] := WR478 WR479 WR480 WR481 WR482 WR483 WR484 WR485 WR486 WR487 WR488 WR489 WR490 WR491;
set WORK_ROUTES[D32] := WR492 WR493 WR494 WR495 WR496 WR497 WR498 WR499 WR500 WR501 WR502 WR503;
set WORK_ROUTES[D33] := WR504 WR505 WR506 WR507 WR508 WR509 WR510 WR511 WR512 WR513 WR514 WR515 WR516;
set WORK_ROUTES[D34] := WR517 WR518 WR519 WR520 WR521 WR522 WR523 WR524 WR525 WR526 WR527 WR528 WR529;
set WORK_ROUTES[D35] := WR530 WR531 WR532 WR533 WR534 WR535 WR536 WR537 WR538 WR539 WR540 WR541 WR542 WR543 WR544 WR545 WR546 WR547;

param ZetaWorkRoute :=
[*,D00,WR1] S1 1
[*,D00,WR2] S2 1 S4 1
[*,D00,WR3] S2 1 S5 1 S6 1
[*,D00,WR4] S3 1 S4 1 S8 1
[*,D00,WR5] S3 1 S5 1 S10 1 S15 1
[*,D00,WR6] S3 1 S4 1 S7 1 S15 1
[*,D00,WR7] S2 1 S5 1 S7 1 S10 1
[*,D00,WR8] S3 1 S5 1 S6 1 S8 1
[*,D00,WR9] S3 1 S5 1 S10 1 S14 1 S17 1
[*,D00,WR10] S3 1 S4 1 S7 1 S14 1 S17 1
[*,D00,WR11] S3 1 S5 1 S9 1 S11 1 S15 1
[*,D00,WR12] S3 1 S4 1 S6 1 S10 1 S15 1
[*,D00,WR13] S3 1 S5 1 S6 1 S7 1 S15 1
[*,D00,WR14] S2 1 S5 1 S8 1 S10 1 S15 1
[*,D00,WR15] S2 1 S5 1 S7 1 S9 1 S11 1
[*,D00,WR16] S3 1 S5 1 S7 1 S8 1 S10 1
[*,D01,WR17] S2 1
[*,D01,WR18] S3 1 S8 1
[*,D01,WR19] S1 1 S4 1
[*,D01,WR20] S1 1 S5 1 S6 1
[*,D01,WR21] S3 1 S7 1 S15 1
[*,D01,WR22] S3 1 S6 1 S10 1 S15 1
[*,D01,WR23] S1 1 S5 1 S7 1 S10 1
[*,D01,WR24] S3 1 S7 1 S14 1 S17 1
[*,D01,WR25] S3 1 S6 1 S9 1 S11 1 S15 1
[*,D01,WR26] S3 1 S6 1 S10 1 S14 1 S17 1
[*,D01,WR27] S3 1 S7 1 S13 1 S16 1 S17 1
[*,D01,WR28] S3 1 S4 1 S5 1 S10 1 S15 1
[*,D01,WR29] S1 1 S5 1 S7 1 S9 1 S11 1
[*,D01,WR30] S1 1 S5 1 S8 1 S10 1 S15 1
[*,D02,WR31] S2 1 S6 1
[*,D02,WR32] S1 1 S5 1
[*,D02,WR33] S2 1 S7 1 S10 1
[*,D02,WR34] S3 1 S6 1 S8 1
[*,D02,WR35] S2 1 S4 1 S5 1
[*,D02,WR36] S3 1 S10 1 S15 1
[*,D02,WR37] S1 1 S4 1 S6 1
[*,D02,WR38] S3 1 S10 1 S14 1 S17 1
[*,D02,WR39] S3 1 S9 1 S11 1 S15 1
[*,D02,WR40] S3 1 S6 1 S7 1 S15 1
[*,D02,WR41] S3 1 S7 1 S8 1 S10 1
[*,D02,WR42] S3 1 S4 1 S5 1 S8 1
[*,D02,WR43] S2 1 S7 1 S9 1 S11 1
[*,D02,WR44] S1 1 S4 1 S7 1 S10 1
[*,D02,WR45] S2 1 S8 1 S10 1 S15 1
[*,D03,WR46] S2 1 S6 1 S9 1
[*,D03,WR47] S1 1 S5 1 S9 1
[*,D03,WR48] S2 1 S7 1 S11 1
[*,D03,WR49] S3 1 S11 1 S15 1
[*,D03,WR50] S2 1 S6 1 S10 1 S11 1
[*,D03,WR51] S2 1 S7 1 S9 1 S10 1
[*,D03,WR52] S2 1 S7 1 S12 1 S13 1
[*,D03,WR53] S2 1 S8 1 S11 1 S15 1
[*,D03,WR54] S3 1 S6 1 S8 1 S9 1
[*,D03,WR55] S3 1 S7 1 S8 1 S11 1
[*,D03,WR56] S3 1 S9 1 S10 1 S15 1
[*,D03,WR57] S3 1 S12 1 S13 1 S15 1
[*,D03,WR58] S3 1 S11 1 S14 1 S17 1
[*,D03,WR59] S3 1 S12 1 S16 1 S17 1
[*,D03,WR60] S2 1 S4 1 S5 1 S9 1
[*,D03,WR61] S1 1 S5 1 S10 1 S11 1
[*,D03,WR62] S1 1 S4 1 S7 1 S11 1
[*,D03,WR63] S1 1 S4 1 S6 1 S9 1
[*,D04,WR64] S3 1 S15 1
[*,D04,WR65] S2 1 S7 1
[*,D04,WR66] S3 1 S7 1 S8 1
[*,D04,WR67] S1 1 S4 1 S7 1
[*,D04,WR68] S2 1 S8 1 S15 1
[*,D04,WR69] S1 1 S5 1 S10 1
[*,D04,WR70] S3 1 S14 1 S17 1
[*,D04,WR71] S2 1 S6 1 S10 1
[*,D04,WR72] S3 1 S13 1 S16 1 S17 1
[*,D04,WR73] S3 1 S6 1 S8 1 S10 1
[*,D04,WR74] S2 1 S8 1 S14 1 S17 1
[*,D04,WR75] S2 1 S6 1 S9 1 S11 1
[*,D04,WR76] S2 1 S4 1 S5 1 S10 1
[*,D04,WR77] S1 1 S5 1 S9 1 S11 1
[*,D04,WR78] S1 1 S5 1 S6 1 S7 1
[*,D04,WR79] S1 1 S4 1 S8 1 S15 1
[*,D04,WR80] S1 1 S4 1 S6 1 S10 1
[*,D05,WR81] S2 1 S7 1 S13 1
[*,D05,WR82] S3 1 S13 1 S15 1
[*,D05,WR83] S3 1 S16 1 S17 1
[*,D05,WR84] S2 1 S6 1 S9 1 S12 1
[*,D05,WR85] S2 1 S6 1 S10 1 S13 1
[*,D05,WR86] S2 1 S7 1 S11 1 S12 1
[*,D05,WR87] S2 1 S7 1 S14 1 S16 1
[*,D05,WR88] S2 1 S8 1 S16 1 S17 1
[*,D05,WR89] S3 1 S7 1 S8 1 S13 1
[*,D05,WR90] S3 1 S11 1 S12 1 S15 1
[*,D05,WR91] S3 1 S14 1 S15 1 S16 1
[*,D05,WR92] S3 1 S13 1 S14 1 S17 1
[*,D05,WR93] S2 1 S8 1 S13 1 S15 1
[*,D05,WR94] S1 1 S5 1 S10 1 S13 1
[*,D05,WR95] S1 1 S5 1 S9 1 S12 1
[*,D05,WR96] S1 1 S4 1 S7 1 S13 1
[*,D06,WR97] S3 1 S17 1
[*,D06,WR98] S3 1 S14 1 S15 1
[*,D06,WR99] S2 1 S7 1 S14 1
[*,D06,WR100] S2 1 S8 1 S17 1
[*,D06,WR101] S2 1 S7 1 S13 1 S16 1
[*,D06,WR102] S2 1 S8 1 S14 1 S15 1
[*,D06,WR103] S3 1 S7 1 S8 1 S14 1
[*,D06,WR104] S3 1 S13 1 S15 1 S16 1
[*,D06,WR105] S2 1 S7 1 S15 1 S17 1
[*,D06,WR106] S2 1 S6 1 S10 1 S14 1
[*,D06,WR107] S1 1 S5 1 S10 1 S14 1
[*,D06,WR108] S1 1 S4 1 S8 1 S17 1
[*,D06,WR109] S1 1 S4 1 S7 1 S14 1
[*,D07,WR110] S3 1
[*,D07,WR111] S2 1 S8 1
[*,D07,WR112] S2 1 S7 1 S15 1
[*,D07,WR113] S1 1 S4 1 S8 1
[*,D07,WR114] S2 1 S6 1 S10 1 S15 1
[*,D07,WR115] S2 1 S7 1 S14 1 S17 1
[*,D07,WR116] S1 1 S5 1 S6 1 S8 1
[*,D07,WR117] S1 1 S4 1 S7 1 S15 1
[*,D07,WR118] S1 1 S5 1 S10 1 S15 1
[*,D07,WR119] S1 1 S5 1 S10 1 S14 1 S17 1
[*,D07,WR120] S2 1 S4 1 S5 1 S10 1 S15 1
[*,D07,WR121] S2 1 S6 1 S9 1 S11 1 S15 1
[*,D07,WR122] S2 1 S6 1 S10 1 S14 1 S17 1
[*,D07,WR123] S1 1 S5 1 S7 1 S8 1 S10 1
[*,D07,WR124] S2 1 S7 1 S13 1 S16 1 S17 1
[*,D07,WR125] S1 1 S5 1 S9 1 S11 1 S15 1
[*,D07,WR126] S1 1 S5 1 S6 1 S7 1 S15 1
[*,D07,WR127] S1 1 S4 1 S7 1 S14 1 S17 1
[*,D07,WR128] S1 1 S4 1 S6 1 S10 1 S15 1
[*,D08,WR129] S4 1
[*,D08,WR130] S5 1 S6 1
[*,D08,WR131] S1 1 S2 1
[*,D08,WR132] S1 1 S3 1 S8 1
[*,D08,WR133] S5 1 S7 1 S10 1
[*,D08,WR134] S5 1 S8 1 S10 1 S15 1
[*,D08,WR135] S1 1 S3 1 S7 1 S15 1
[*,D08,WR136] S5 1 S7 1 S9 1 S11 1
[*,D08,WR137] S5 1 S8 1 S9 1 S11 1 S15 1
[*,D08,WR138] S5 1 S7 1 S9 1 S12 1 S13 1
[*,D08,WR139] S1 1 S3 1 S7 1 S14 1 S17 1
[*,D08,WR140] S5 1 S8 1 S10 1 S14 1 S17 1
[*,D08,WR141] S2 1 S3 1 S5 1 S10 1 S15 1
[*,D08,WR142] S1 1 S3 1 S6 1 S10 1 S15 1
[*,D09,WR143] S5 1
[*,D09,WR144] S4 1 S6 1
[*,D09,WR145] S4 1 S7 1 S10 1
[*,D09,WR146] S1 1 S2 1 S6 1
[*,D09,WR147] S4 1 S7 1 S9 1 S11 1
[*,D09,WR148] S1 1 S2 1 S7 1 S10 1
[*,D09,WR149] S1 1 S3 1 S6 1 S8 1
[*,D09,WR150] S4 1 S8 1 S10 1 S15 1
[*,D09,WR151] S1 1 S3 1 S10 1 S15 1
[*,D09,WR152] S2 1 S3 1 S4 1 S10 1 S15 1
[*,D09,WR153] S4 1 S7 1 S9 1 S12 1 S13 1
[*,D09,WR154] S4 1 S8 1 S9 1 S11 1 S15 1
[*,D09,WR155] S4 1 S8 1 S10 1 S14 1 S17 1
[*,D09,WR156] S1 1 S3 1 S10 1 S14 1 S17 1
[*,D09,WR157] S1 1 S2 1 S8 1 S10 1 S15 1
[*,D09,WR158] S1 1 S3 1 S9 1 S11 1 S15 1
[*,D09,WR159] S1 1 S3 1 S6 1 S7 1 S15 1
[*,D09,WR160] S1 1 S3 1 S7 1 S8 1 S10 1
[*,D09,WR161] S1 1 S2 1 S7 1 S9 1 S11 1
[*,D10,WR162] S5 1 S9 1
[*,D10,WR163] S5 1 S10 1 S11 1
[*,D10,WR164] S4 1 S6 1 S9 1
[*,D10,WR165] S4 1 S7 1 S11 1
[*,D10,WR166] S4 1 S7 1 S9 1 S10 1
[*,D10,WR167] S4 1 S7 1 S12 1 S13 1
[*,D10,WR168] S4 1 S8 1 S11 1 S15 1
[*,D10,WR169] S5 1 S6 1 S7 1 S11 1
[*,D10,WR170] S5 1 S10 1 S12 1 S13 1
[*,D10,WR171] S4 1 S6 1 S10 1 S11 1
[*,D10,WR172] S1 1 S3 1 S11 1 S15 1
[*,D10,WR173] S1 1 S2 1 S7 1 S11 1
[*,D10,WR174] S1 1 S2 1 S6 1 S9 1
[*,D11,WR175] S5 1 S10 1
[*,D11,WR176] S4 1 S7 1
[*,D11,WR177] S5 1 S9 1 S11 1
[*,D11,WR178] S5 1 S6 1 S7 1
[*,D11,WR179] S1 1 S3 1 S15 1
[*,D11,WR180] S4 1 S8 1 S15 1
[*,D11,WR181] S1 1 S2 1 S7 1
[*,D11,WR182] S4 1 S6 1 S10 1
[*,D11,WR183] S4 1 S6 1 S9 1 S11 1
[*,D11,WR184] S2 1 S3 1 S4 1 S15 1
[*,D11,WR185] S1 1 S3 1 S14 1 S17 1
[*,D11,WR186] S4 1 S8 1 S14 1 S17 1
[*,D11,WR187] S1 1 S3 1 S7 1 S8 1
[*,D11,WR188] S5 1 S6 1 S8 1 S15 1
[*,D11,WR189] S1 1 S2 1 S8 1 S15 1
[*,D11,WR190] S5 1 S9 1 S12 1 S13 1
[*,D11,WR191] S1 1 S2 1 S6 1 S10 1
[*,D12,WR192] S5 1 S10 1 S13 1
[*,D12,WR193] S5 1 S9 1 S12 1
[*,D12,WR194] S4 1 S7 1 S13 1
[*,D12,WR195] S4 1 S6 1 S9 1 S12 1
[*,D12,WR196] S4 1 S6 1 S10 1 S13 1
[*,D12,WR197] S4 1 S7 1 S11 1 S12 1
[*,D12,WR198] S4 1 S7 1 S14 1 S16 1
[*,D12,WR199] S4 1 S8 1 S13 1 S15 1
[*,D12,WR200] S4 1 S8 1 S16 1 S17 1
[*,D12,WR201] S5 1 S6 1 S7 1 S13 1
[*,D12,WR202] S5 1 S9 1 S11 1 S13 1
[*,D12,WR203] S5 1 S10 1 S11 1 S12 1
[*,D12,WR204] S5 1 S10 1 S14 1 S16 1
[*,D12,WR205] S1 1 S3 1 S16 1 S17 1
[*,D12,WR206] S1 1 S3 1 S13 1 S15 1
[*,D12,WR207] S1 1 S2 1 S7 1 S13 1
[*,D13,WR208] S4 1 S8 1 S17 1
[*,D13,WR209] S5 1 S10 1 S14 1
[*,D13,WR210] S4 1 S7 1 S14 1
[*,D13,WR211] S1 1 S3 1 S17 1
[*,D13,WR212] S4 1 S6 1 S10 1 S14 1
[*,D13,WR213] S4 1 S7 1 S13 1 S16 1
[*,D13,WR214] S4 1 S7 1 S15 1 S17 1
[*,D13,WR215] S4 1 S8 1 S14 1 S15 1
[*,D13,WR216] S5 1 S6 1 S7 1 S14 1
[*,D13,WR217] S5 1 S6 1 S8 1 S17 1
[*,D13,WR218] S5 1 S9 1 S11 1 S14 1
[*,D13,WR219] S5 1 S9 1 S12 1 S16 1
[*,D13,WR220] S5 1 S10 1 S13 1 S16 1
[*,D13,WR221] S5 1 S10 1 S15 1 S17 1
[*,D13,WR222] S2 1 S3 1 S4 1 S17 1
[*,D13,WR223] S1 1 S3 1 S14 1 S15 1
[*,D13,WR224] S1 1 S2 1 S8 1 S17 1
[*,D13,WR225] S1 1 S2 1 S7 1 S14 1
[*,D14,WR226] S4 1 S8 1
[*,D14,WR227] S1 1 S3 1
[*,D14,WR228] S4 1 S7 1 S15 1
[*,D14,WR229] S5 1 S6 1 S8 1
[*,D14,WR230] S2 1 S3 1 S4 1
[*,D14,WR231] S1 1 S2 1 S8 1
[*,D14,WR232] S5 1 S10 1 S15 1
[*,D14,WR233] S4 1 S7 1 S14 1 S17 1
[*,D14,WR234] S2 1 S3 1 S5 1 S6 1
[*,D14,WR235] S5 1 S6 1 S7 1 S15 1
[*,D14,WR236] S4 1 S6 1 S10 1 S15 1
[*,D14,WR237] S5 1 S9 1 S11 1 S15 1
[*,D14,WR238] S5 1 S7 1 S8 1 S10 1
[*,D14,WR239] S5 1 S10 1 S14 1 S17 1
[*,D14,WR240] S1 1 S2 1 S7 1 S15 1
[*,D15,WR241] S6 1
[*,D15,WR242] S4 1 S5 1
[*,D15,WR243] S7 1 S10 1
[*,D15,WR244] S7 1 S9 1 S11 1
[*,D15,WR245] S8 1 S10 1 S15 1
[*,D15,WR246] S1 1 S2 1 S5 1
[*,D15,WR247] S7 1 S9 1 S12 1 S13 1
[*,D15,WR248] S1 1 S3 1 S5 1 S8 1
[*,D15,WR249] S2 1 S3 1 S10 1 S15 1
[*,D15,WR250] S8 1 S9 1 S11 1 S15 1
[*,D15,WR251] S8 1 S10 1 S14 1 S17 1
[*,D16,WR252] S7 1 S11 1
[*,D16,WR253] S6 1 S9 1
[*,D16,WR254] S4 1 S5 1 S9 1
[*,D16,WR255] S6 1 S10 1 S11 1
[*,D16,WR256] S7 1 S12 1 S13 1
[*,D16,WR257] S7 1 S9 1 S10 1
[*,D16,WR258] S8 1 S11 1 S15 1
[*,D16,WR259] S8 1 S11 1 S14 1 S17 1
[*,D16,WR260] S8 1 S12 1 S16 1 S17 1
[*,D16,WR261] S8 1 S12 1 S13 1 S15 1
[*,D16,WR262] S8 1 S9 1 S10 1 S15 1
[*,D16,WR263] S7 1 S12 1 S14 1 S16 1
[*,D16,WR264] S6 1 S10 1 S12 1 S13 1
[*,D16,WR265] S4 1 S5 1 S10 1 S11 1
[*,D16,WR266] S2 1 S3 1 S11 1 S15 1
[*,D16,WR267] S1 1 S2 1 S5 1 S9 1
[*,D17,WR268] S7 1
[*,D17,WR269] S8 1 S15 1
[*,D17,WR270] S6 1 S10 1
[*,D17,WR271] S6 1 S9 1 S11 1
[*,D17,WR272] S2 1 S3 1 S15 1
[*,D17,WR273] S8 1 S14 1 S17 1
[*,D17,WR274] S4 1 S5 1 S10 1
[*,D17,WR275] S8 1 S13 1 S16 1 S17 1
[*,D17,WR276] S6 1 S9 1 S12 1 S13 1
[*,D17,WR277] S4 1 S5 1 S9 1 S11 1
[*,D17,WR278] S1 1 S3 1 S4 1 S15 1
[*,D17,WR279] S2 1 S3 1 S14 1 S17 1
[*,D17,WR280] S1 1 S2 1 S5 1 S10 1
[*,D18,WR281] S7 1 S13 1
[*,D18,WR282] S7 1 S11 1 S12 1
[*,D18,WR283] S8 1 S16 1 S17 1
[*,D18,WR284] S6 1 S9 1 S12 1
[*,D18,WR285] S6 1 S10 1 S13 1
[*,D18,WR286] S7 1 S14 1 S16 1
[*,D18,WR287] S8 1 S13 1 S15 1
[*,D18,WR288] S7 1 S15 1 S16 1 S17 1
[*,D18,WR289] S8 1 S11 1 S12 1 S15 1
[*,D18,WR290] S8 1 S14 1 S15 1 S16 1
[*,D18,WR291] S8 1 S13 1 S14 1 S17 1
[*,D18,WR292] S7 1 S9 1 S10 1 S12 1
[*,D18,WR293] S6 1 S10 1 S14 1 S16 1
[*,D18,WR294] S6 1 S10 1 S11 1 S12 1
[*,D18,WR295] S6 1 S9 1 S11 1 S13 1
[*,D18,WR296] S4 1 S5 1 S10 1 S13 1
[*,D18,WR297] S4 1 S5 1 S9 1 S12 1
[*,D18,WR298] S2 1 S3 1 S16 1 S17 1
[*,D18,WR299] S2 1 S3 1 S13 1 S15 1
[*,D19,WR300] S7 1 S14 1
[*,D19,WR301] S8 1 S17 1
[*,D19,WR302] S6 1 S10 1 S14 1
[*,D19,WR303] S7 1 S13 1 S16 1
[*,D19,WR304] S2 1 S3 1 S17 1
[*,D19,WR305] S8 1 S14 1 S15 1
[*,D19,WR306] S7 1 S15 1 S17 1
[*,D19,WR307] S8 1 S13 1 S15 1 S16 1
[*,D19,WR308] S6 1 S10 1 S15 1 S17 1
[*,D19,WR309] S7 1 S11 1 S12 1 S16 1
[*,D19,WR310] S6 1 S10 1 S13 1 S16 1
[*,D19,WR311] S6 1 S9 1 S12 1 S16 1
[*,D19,WR312] S6 1 S9 1 S11 1 S14 1
[*,D19,WR313] S4 1 S5 1 S10 1 S14 1
[*,D19,WR314] S1 1 S3 1 S4 1 S17 1
[*,D19,WR315] S2 1 S3 1 S14 1 S15 1
[*,D20,WR316] S8 1
[*,D20,WR317] S7 1 S15 1
[*,D20,WR318] S2 1 S3 1
[*,D20,WR319] S1 1 S3 1 S4 1
[*,D20,WR320] S6 1 S10 1 S15 1
[*,D20,WR321] S7 1 S14 1 S17 1
[*,D20,WR322] S7 1 S13 1 S16 1 S17 1
[*,D20,WR323] S6 1 S10 1 S14 1 S17 1
[*,D20,WR324] S4 1 S5 1 S10 1 S15 1
[*,D20,WR325] S6 1 S9 1 S11 1 S15 1
[*,D20,WR326] S1 1 S3 1 S5 1 S6 1
[*,D21,WR327] S9 1
[*,D21,WR328] S10 1 S11 1
[*,D21,WR329] S10 1 S12 1 S13 1
[*,D21,WR330] S6 1 S7 1 S11 1
[*,D21,WR331] S10 1 S12 1 S14 1 S16 1
[*,D21,WR332] S4 1 S5 1 S7 1 S11 1
[*,D21,WR333] S6 1 S7 1 S12 1 S13 1
[*,D21,WR334] S6 1 S8 1 S11 1 S15 1
[*,D21,WR335] S6 1 S8 1 S12 1 S16 1 S17 1
[*,D21,WR336] S10 1 S12 1 S15 1 S16 1 S17 1
[*,D21,WR337] S6 1 S8 1 S11 1 S14 1 S17 1
[*,D21,WR338] S6 1 S8 1 S12 1 S13 1 S15 1
[*,D21,WR339] S6 1 S7 1 S12 1 S14 1 S16 1
[*,D21,WR340] S2 1 S3 1 S6 1 S11 1 S15 1
[*,D21,WR341] S4 1 S5 1 S8 1 S11 1 S15 1
[*,D21,WR342] S4 1 S5 1 S7 1 S12 1 S13 1
[*,D21,WR343] S1 1 S3 1 S5 1 S11 1 S15 1
[*,D21,WR344] S1 1 S2 1 S5 1 S7 1 S11 1
[*,D22,WR345] S10 1
[*,D22,WR346] S6 1 S7 1
[*,D22,WR347] S9 1 S11 1
[*,D22,WR348] S4 1 S5 1 S7 1
[*,D22,WR349] S9 1 S12 1 S13 1
[*,D22,WR350] S6 1 S8 1 S15 1
[*,D22,WR351] S2 1 S3 1 S6 1 S15 1
[*,D22,WR352] S6 1 S8 1 S14 1 S17 1
[*,D22,WR353] S4 1 S5 1 S8 1 S15 1
[*,D22,WR354] S1 1 S3 1 S5 1 S15 1
[*,D22,WR355] S9 1 S12 1 S14 1 S16 1
[*,D22,WR356] S1 1 S2 1 S5 1 S7 1
[*,D23,WR357] S10 1 S13 1
[*,D23,WR358] S9 1 S12 1
[*,D23,WR359] S10 1 S11 1 S12 1
[*,D23,WR360] S6 1 S7 1 S13 1
[*,D23,WR361] S10 1 S14 1 S16 1
[*,D23,WR362] S9 1 S11 1 S13 1
[*,D23,WR363] S10 1 S15 1 S16 1 S17 1
[*,D23,WR364] S9 1 S11 1 S14 1 S16 1
[*,D23,WR365] S6 1 S8 1 S16 1 S17 1
[*,D23,WR366] S6 1 S8 1 S13 1 S15 1
[*,D23,WR367] S6 1 S7 1 S14 1 S16 1
[*,D23,WR368] S6 1 S7 1 S11 1 S12 1
[*,D23,WR369] S4 1 S5 1 S7 1 S13 1
[*,D24,WR370] S10 1 S14 1
[*,D24,WR371] S10 1 S13 1 S16 1
[*,D24,WR372] S9 1 S11 1 S14 1
[*,D24,WR373] S10 1 S15 1 S17 1
[*,D24,WR374] S9 1 S12 1 S16 1
[*,D24,WR375] S6 1 S8 1 S17 1
[*,D24,WR376] S6 1 S7 1 S14 1
[*,D24,WR377] S9 1 S11 1 S15 1 S17 1
[*,D24,WR378] S9 1 S12 1 S13 1 S14 1
[*,D24,WR379] S7 1 S8 1 S10 1 S17 1
[*,D24,WR380] S10 1 S11 1 S12 1 S16 1
[*,D24,WR381] S9 1 S11 1 S13 1 S16 1
[*,D24,WR382] S6 1 S8 1 S14 1 S15 1
[*,D24,WR383] S6 1 S7 1 S15 1 S17 1
[*,D24,WR384] S6 1 S7 1 S13 1 S16 1
[*,D24,WR385] S2 1 S3 1 S6 1 S17 1
[*,D24,WR386] S4 1 S5 1 S8 1 S17 1
[*,D24,WR387] S4 1 S5 1 S7 1 S14 1
[*,D24,WR388] S1 1 S3 1 S5 1 S17 1
[*,D25,WR389] S10 1 S15 1
[*,D25,WR390] S6 1 S8 1
[*,D25,WR391] S7 1 S8 1 S10 1
[*,D25,WR392] S4 1 S5 1 S8 1
[*,D25,WR393] S1 1 S3 1 S5 1
[*,D25,WR394] S9 1 S11 1 S15 1
[*,D25,WR395] S2 1 S3 1 S6 1
[*,D25,WR396] S10 1 S14 1 S17 1
[*,D25,WR397] S6 1 S7 1 S15 1
[*,D25,WR398] S10 1 S13 1 S16 1 S17 1
[*,D25,WR399] S7 1 S8 1 S9 1 S11 1
[*,D25,WR400] S2 1 S3 1 S7 1 S10 1
[*,D25,WR401] S9 1 S12 1 S16 1 S17 1
[*,D25,WR402] S9 1 S12 1 S13 1 S15 1
[*,D25,WR403] S9 1 S11 1 S14 1 S17 1
[*,D25,WR404] S6 1 S7 1 S14 1 S17 1
[*,D25,WR405] S1 1 S3 1 S4 1 S6 1
[*,D25,WR406] S4 1 S5 1 S7 1 S15 1
[*,D25,WR407] S2 1 S3 1 S4 1 S5 1
[*,D25,WR408] S1 1 S2 1 S5 1 S8 1
[*,D26,WR409] S11 1
[*,D26,WR410] S12 1 S13 1
[*,D26,WR411] S9 1 S10 1
[*,D26,WR412] S12 1 S14 1 S16 1
[*,D26,WR413] S6 1 S7 1 S9 1
[*,D26,WR414] S6 1 S8 1 S9 1 S15 1
[*,D26,WR415] S4 1 S5 1 S7 1 S9 1
[*,D26,WR416] S12 1 S15 1 S16 1 S17 1
[*,D26,WR417] S6 1 S8 1 S9 1 S14 1 S17 1
[*,D26,WR418] S7 1 S8 1 S12 1 S16 1 S17 1
[*,D26,WR419] S2 1 S3 1 S6 1 S9 1 S15 1
[*,D26,WR420] S4 1 S5 1 S8 1 S9 1 S15 1
[*,D26,WR421] S1 1 S3 1 S5 1 S9 1 S15 1
[*,D26,WR422] S1 1 S2 1 S5 1 S7 1 S9 1
[*,D27,WR423] S12 1
[*,D27,WR424] S11 1 S13 1
[*,D27,WR425] S9 1 S10 1 S13 1
[*,D27,WR426] S11 1 S14 1 S16 1
[*,D27,WR427] S11 1 S15 1 S16 1 S17 1
[*,D27,WR428] S6 1 S7 1 S9 1 S13 1
[*,D27,WR429] S9 1 S10 1 S14 1 S16 1
[*,D27,WR430] S9 1 S10 1 S15 1 S16 1 S17 1
[*,D27,WR431] S7 1 S8 1 S11 1 S16 1 S17 1
[*,D27,WR432] S6 1 S8 1 S9 1 S16 1 S17 1
[*,D27,WR433] S6 1 S8 1 S9 1 S13 1 S15 1
[*,D27,WR434] S6 1 S7 1 S9 1 S14 1 S16 1
[*,D27,WR435] S4 1 S5 1 S7 1 S9 1 S13 1
[*,D28,WR436] S12 1 S16 1
[*,D28,WR437] S11 1 S14 1
[*,D28,WR438] S11 1 S15 1 S17 1
[*,D28,WR439] S9 1 S10 1 S14 1
[*,D28,WR440] S12 1 S13 1 S14 1
[*,D28,WR441] S11 1 S13 1 S16 1
[*,D28,WR442] S7 1 S8 1 S11 1 S17 1
[*,D28,WR443] S9 1 S10 1 S15 1 S17 1
[*,D28,WR444] S9 1 S10 1 S13 1 S16 1
[*,D28,WR445] S6 1 S8 1 S9 1 S17 1
[*,D28,WR446] S12 1 S13 1 S15 1 S17 1
[*,D28,WR447] S6 1 S7 1 S9 1 S14 1
[*,D29,WR448] S11 1 S15 1
[*,D29,WR449] S12 1 S13 1 S15 1
[*,D29,WR450] S11 1 S14 1 S17 1
[*,D29,WR451] S6 1 S8 1 S9 1
[*,D29,WR452] S7 1 S8 1 S11 1
[*,D29,WR453] S9 1 S10 1 S15 1
[*,D29,WR454] S12 1 S16 1 S17 1
[*,D29,WR455] S9 1 S10 1 S14 1 S17 1
[*,D29,WR456] S2 1 S3 1 S7 1 S11 1
[*,D29,WR457] S7 1 S8 1 S9 1 S10 1
[*,D29,WR458] S6 1 S8 1 S10 1 S11 1
[*,D29,WR459] S11 1 S13 1 S16 1 S17 1
[*,D29,WR460] S6 1 S7 1 S9 1 S15 1
[*,D29,WR461] S2 1 S3 1 S6 1 S9 1
[*,D29,WR462] S7 1 S8 1 S12 1 S13 1
[*,D29,WR463] S12 1 S13 1 S14 1 S17 1
[*,D29,WR464] S4 1 S5 1 S8 1 S9 1
[*,D29,WR465] S12 1 S14 1 S15 1 S16 1
[*,D29,WR466] S1 1 S3 1 S5 1 S9 1
[*,D30,WR467] S13 1
[*,D30,WR468] S14 1 S16 1
[*,D30,WR469] S11 1 S12 1
[*,D30,WR470] S9 1 S10 1 S12 1
[*,D30,WR471] S15 1 S16 1 S17 1
[*,D30,WR472] S7 1 S8 1 S16 1 S17 1
[*,D30,WR473] S6 1 S7 1 S9 1 S12 1
[*,D30,WR474] S6 1 S8 1 S9 1 S12 1 S15 1
[*,D30,WR475] S2 1 S3 1 S7 1 S16 1 S17 1
[*,D30,WR476] S4 1 S5 1 S7 1 S9 1 S12 1
[*,D30,WR477] S6 1 S8 1 S10 1 S16 1 S17 1
[*,D31,WR478] S14 1
[*,D31,WR479] S13 1 S16 1
[*,D31,WR480] S15 1 S17 1
[*,D31,WR481] S7 1 S8 1 S17 1
[*,D31,WR482] S11 1 S12 1 S16 1
[*,D31,WR483] S9 1 S10 1 S12 1 S16 1
[*,D31,WR484] S6 1 S8 1 S10 1 S17 1
[*,D31,WR485] S2 1 S3 1 S7 1 S17 1
[*,D31,WR486] S2 1 S3 1 S6 1 S10 1 S17 1
[*,D31,WR487] S6 1 S8 1 S9 1 S11 1 S17 1
[*,D31,WR488] S4 1 S5 1 S8 1 S10 1 S17 1
[*,D31,WR489] S1 1 S3 1 S5 1 S10 1 S17 1
[*,D31,WR490] S6 1 S7 1 S9 1 S12 1 S16 1
[*,D31,WR491] S1 1 S3 1 S4 1 S7 1 S17 1
[*,D32,WR492] S15 1
[*,D32,WR493] S7 1 S8 1
[*,D32,WR494] S14 1 S17 1
[*,D32,WR495] S13 1 S16 1 S17 1
[*,D32,WR496] S6 1 S8 1 S10 1
[*,D32,WR497] S2 1 S3 1 S7 1
[*,D32,WR498] S2 1 S3 1 S6 1 S10 1
[*,D32,WR499] S6 1 S8 1 S9 1 S11 1
[*,D32,WR500] S11 1 S12 1 S16 1 S17 1
[*,D32,WR501] S4 1 S5 1 S8 1 S10 1
[*,D32,WR502] S1 1 S3 1 S5 1 S10 1
[*,D32,WR503] S1 1 S3 1 S4 1 S7 1
[*,D33,WR504] S16 1
[*,D33,WR505] S13 1 S14 1
[*,D33,WR506] S11 1 S12 1 S14 1
[*,D33,WR507] S13 1 S15 1 S17 1
[*,D33,WR508] S7 1 S8 1 S13 1 S17 1
[*,D33,WR509] S9 1 S10 1 S12 1 S14 1
[*,D33,WR510] S11 1 S12 1 S15 1 S17 1
[*,D33,WR511] S2 1 S3 1 S7 1 S13 1 S17 1
[*,D33,WR512] S7 1 S8 1 S11 1 S12 1 S17 1
[*,D33,WR513] S6 1 S8 1 S10 1 S13 1 S17 1
[*,D33,WR514] S9 1 S10 1 S12 1 S15 1 S17 1
[*,D33,WR515] S6 1 S8 1 S9 1 S12 1 S17 1
[*,D33,WR516] S6 1 S7 1 S9 1 S12 1 S14 1
[*,D34,WR517] S16 1 S17 1
[*,D34,WR518] S13 1 S15 1
[*,D34,WR519] S13 1 S14 1 S17 1
[*,D34,WR520] S11 1 S12 1 S15 1
[*,D34,WR521] S14 1 S15 1 S16 1
[*,D34,WR522] S7 1 S8 1 S13 1
[*,D34,WR523] S2 1 S3 1 S7 1 S13 1
[*,D34,WR524] S6 1 S8 1 S10 1 S13 1
[*,D34,WR525] S11 1 S12 1 S14 1 S17 1
[*,D34,WR526] S7 1 S8 1 S11 1 S12 1
[*,D34,WR527] S7 1 S8 1 S14 1 S16 1
[*,D34,WR528] S9 1 S10 1 S12 1 S15 1
[*,D34,WR529] S6 1 S8 1 S9 1 S12 1
[*,D35,WR530] S17 1
[*,D35,WR531] S14 1 S15 1
[*,D35,WR532] S13 1 S15 1 S16 1
[*,D35,WR533] S7 1 S8 1 S14 1
[*,D35,WR534] S6 1 S8 1 S10 1 S14 1
[*,D35,WR535] S11 1 S12 1 S15 1 S16 1
[*,D35,WR536] S7 1 S8 1 S13 1 S16 1
[*,D35,WR537] S2 1 S3 1 S7 1 S14 1
[*,D35,WR538] S6 1 S8 1 S9 1 S11 1 S14 1
[*,D35,WR539] S2 1 S3 1 S6 1 S10 1 S14 1
[*,D35,WR540] S9 1 S10 1 S12 1 S15 1 S16 1
[*,D35,WR541] S7 1 S8 1 S11 1 S12 1 S16 1
[*,D35,WR542] S4 1 S5 1 S8 1 S10 1 S14 1
[*,D35,WR543] S2 1 S3 1 S7 1 S13 1 S16 1
[*,D35,WR544] S1 1 S3 1 S5 1 S10 1 S14 1
[*,D35,WR545] S6 1 S8 1 S10 1 S13 1 S16 1
[*,D35,WR546] S1 1 S3 1 S4 1 S7 1 S14 1
[*,D35,WR547] S6 1 S8 1 S9 1 S12 1 S16 1;