Version: 1.13 
 _ data/zoo_json_alt_waypoint4/RedBestel_3.json -f output/flip/data/zoo_json_alt_waypoint4/RedBestel_3.json.subpaths
Flip subpaths generated in 0.293 seconds!
real 5.34
user 1.36
sys 0.13
<logging.Logger object at 0x7fb84f39f7d0>
I1217 12:32:09.995 2331538 flip.py:564] node 297 adds BLACKHOLE: ALL ['270'] < ['297']
I1217 12:32:09.995 2331538 flip.py:564] node 282 adds BLACKHOLE: ALL ['270'] < ['282']
I1217 12:32:09.995 2331538 flip.py:564] node 259 adds BLACKHOLE: ALL ['270'] < ['259']
I1217 12:32:09.995 2331538 flip.py:564] node 281 adds BLACKHOLE: ALL ['270'] < ['281']
I1217 12:32:09.996 2331538 flip.py:564] node 327 adds BLACKHOLE: ALL ['270'] < ['327']
I1217 12:32:09.996 2331538 flip.py:564] node 265 adds BLACKHOLE: ALL ['270'] < ['265']
I1217 12:32:09.996 2331538 flip.py:564] node 307 adds BLACKHOLE: ALL ['270'] < ['307']
I1217 12:32:09.996 2331538 flip.py:564] node 263 adds BLACKHOLE: ALL ['270'] < ['263']
I1217 12:32:09.996 2331538 flip.py:564] node 312 adds BLACKHOLE: ALL ['270'] < ['312']
I1217 12:32:09.997 2331538 flip.py:564] node 304 adds BLACKHOLE: ALL ['270'] < ['304']
I1217 12:32:09.997 2331538 flip.py:564] node 257 adds BLACKHOLE: ALL ['270'] < ['257']
I1217 12:32:09.997 2331538 flip.py:564] node 279 adds BLACKHOLE: ALL ['270'] < ['279']
I1217 12:32:09.997 2331538 flip.py:564] node 278 adds BLACKHOLE: ALL ['270'] < ['278']
I1217 12:32:09.997 2331538 flip.py:564] node 280 adds BLACKHOLE: ALL ['270'] < ['280']
I1217 12:32:09.998 2331538 flip.py:564] node 276 adds BLACKHOLE: ALL ['270'] < ['276']
I1217 12:32:09.998 2331538 flip.py:564] node 283 adds BLACKHOLE: ALL ['270'] < ['283']
I1217 12:32:10.1 2331538 flip.py:839] node 270 (cyan-cyan) adds POLICY: ALL ['330'] < ['270'] with dependencies set([])
I1217 12:32:10.1 2331538 flip.py:564] node 268 adds BLACKHOLE: ALL ['330'] < ['268']
I1217 12:32:10.2 2331538 flip.py:564] node 315 adds BLACKHOLE: ALL ['330'] < ['315']
I1217 12:32:10.2 2331538 flip.py:564] node 314 adds BLACKHOLE: ALL ['330'] < ['314']
I1217 12:32:10.2 2331538 flip.py:564] node 302 adds BLACKHOLE: ALL ['330'] < ['302']
I1217 12:32:10.2 2331538 flip.py:564] node 322 adds BLACKHOLE: ALL ['330'] < ['322']
I1217 12:32:10.2 2331538 flip.py:564] node 320 adds BLACKHOLE: ALL ['330'] < ['320']
I1217 12:32:10.3 2331538 flip.py:564] node 319 adds BLACKHOLE: ALL ['330'] < ['319']
I1217 12:32:10.3 2331538 flip.py:564] node 303 adds BLACKHOLE: ALL ['330'] < ['303']
I1217 12:32:10.3 2331538 flip.py:564] node 324 adds BLACKHOLE: ALL ['330'] < ['324']
I1217 12:32:10.3 2331538 flip.py:564] node 301 adds BLACKHOLE: ALL ['330'] < ['301']
I1217 12:32:10.3 2331538 flip.py:564] node 269 adds BLACKHOLE: ALL ['330'] < ['269']
I1217 12:32:10.12 2331538 flip.py:839] node 330 (cyan-cyan) adds POLICY: ALL ['330'] < ['186'] with dependencies set([])
I1217 12:32:10.13 2331538 flip.py:564] node 213 adds BLACKHOLE: ALL ['186'] < ['213']
I1217 12:32:10.13 2331538 flip.py:564] node 198 adds BLACKHOLE: ALL ['186'] < ['198']
I1217 12:32:10.13 2331538 flip.py:564] node 175 adds BLACKHOLE: ALL ['186'] < ['175']
I1217 12:32:10.13 2331538 flip.py:564] node 197 adds BLACKHOLE: ALL ['186'] < ['197']
I1217 12:32:10.14 2331538 flip.py:564] node 243 adds BLACKHOLE: ALL ['186'] < ['243']
I1217 12:32:10.14 2331538 flip.py:564] node 181 adds BLACKHOLE: ALL ['186'] < ['181']
I1217 12:32:10.14 2331538 flip.py:564] node 223 adds BLACKHOLE: ALL ['186'] < ['223']
I1217 12:32:10.14 2331538 flip.py:564] node 179 adds BLACKHOLE: ALL ['186'] < ['179']
I1217 12:32:10.15 2331538 flip.py:564] node 228 adds BLACKHOLE: ALL ['186'] < ['228']
I1217 12:32:10.15 2331538 flip.py:564] node 220 adds BLACKHOLE: ALL ['186'] < ['220']
I1217 12:32:10.15 2331538 flip.py:564] node 173 adds BLACKHOLE: ALL ['186'] < ['173']
I1217 12:32:10.15 2331538 flip.py:564] node 195 adds BLACKHOLE: ALL ['186'] < ['195']
I1217 12:32:10.15 2331538 flip.py:564] node 194 adds BLACKHOLE: ALL ['186'] < ['194']
I1217 12:32:10.15 2331538 flip.py:564] node 196 adds BLACKHOLE: ALL ['186'] < ['196']
I1217 12:32:10.15 2331538 flip.py:564] node 192 adds BLACKHOLE: ALL ['186'] < ['192']
I1217 12:32:10.16 2331538 flip.py:564] node 199 adds BLACKHOLE: ALL ['186'] < ['199']
I1217 12:32:10.18 2331538 flip.py:839] node 186 (cyan-cyan) adds POLICY: ALL ['186'] < ['246'] with dependencies set([])
I1217 12:32:10.18 2331538 flip.py:839] node 186 (cyan-cyan) adds POLICY: ALL ['246'] < ['186'] with dependencies set([])
I1217 12:32:10.19 2331538 flip.py:564] node 184 adds BLACKHOLE: ALL ['246'] < ['184']
I1217 12:32:10.19 2331538 flip.py:564] node 231 adds BLACKHOLE: ALL ['246'] < ['231']
I1217 12:32:10.19 2331538 flip.py:564] node 230 adds BLACKHOLE: ALL ['246'] < ['230']
I1217 12:32:10.19 2331538 flip.py:564] node 218 adds BLACKHOLE: ALL ['246'] < ['218']
I1217 12:32:10.19 2331538 flip.py:564] node 238 adds BLACKHOLE: ALL ['246'] < ['238']
I1217 12:32:10.20 2331538 flip.py:564] node 236 adds BLACKHOLE: ALL ['246'] < ['236']
I1217 12:32:10.20 2331538 flip.py:564] node 235 adds BLACKHOLE: ALL ['246'] < ['235']
I1217 12:32:10.20 2331538 flip.py:564] node 219 adds BLACKHOLE: ALL ['246'] < ['219']
I1217 12:32:10.20 2331538 flip.py:564] node 240 adds BLACKHOLE: ALL ['246'] < ['240']
I1217 12:32:10.20 2331538 flip.py:564] node 217 adds BLACKHOLE: ALL ['246'] < ['217']
I1217 12:32:10.20 2331538 flip.py:564] node 185 adds BLACKHOLE: ALL ['246'] < ['185']
I1217 12:32:10.29 2331538 flip.py:839] node 246 (cyan-cyan) adds POLICY: ALL ['102'] < ['246'] with dependencies set([])
I1217 12:32:10.30 2331538 flip.py:839] node 246 (cyan-cyan) adds POLICY: ALL ['246'] < ['102'] with dependencies set([])
I1217 12:32:10.31 2331538 flip.py:564] node 129 adds BLACKHOLE: ALL ['102'] < ['129']
I1217 12:32:10.32 2331538 flip.py:564] node 114 adds BLACKHOLE: ALL ['102'] < ['114']
I1217 12:32:10.32 2331538 flip.py:564] node 91 adds BLACKHOLE: ALL ['102'] < ['91']
I1217 12:32:10.32 2331538 flip.py:564] node 113 adds BLACKHOLE: ALL ['102'] < ['113']
I1217 12:32:10.32 2331538 flip.py:564] node 159 adds BLACKHOLE: ALL ['102'] < ['159']
I1217 12:32:10.32 2331538 flip.py:564] node 97 adds BLACKHOLE: ALL ['102'] < ['97']
I1217 12:32:10.33 2331538 flip.py:564] node 139 adds BLACKHOLE: ALL ['102'] < ['139']
I1217 12:32:10.33 2331538 flip.py:564] node 95 adds BLACKHOLE: ALL ['102'] < ['95']
I1217 12:32:10.33 2331538 flip.py:564] node 144 adds BLACKHOLE: ALL ['102'] < ['144']
I1217 12:32:10.33 2331538 flip.py:564] node 136 adds BLACKHOLE: ALL ['102'] < ['136']
I1217 12:32:10.33 2331538 flip.py:564] node 89 adds BLACKHOLE: ALL ['102'] < ['89']
I1217 12:32:10.34 2331538 flip.py:564] node 111 adds BLACKHOLE: ALL ['102'] < ['111']
I1217 12:32:10.34 2331538 flip.py:564] node 110 adds BLACKHOLE: ALL ['102'] < ['110']
I1217 12:32:10.34 2331538 flip.py:564] node 112 adds BLACKHOLE: ALL ['102'] < ['112']
I1217 12:32:10.34 2331538 flip.py:564] node 108 adds BLACKHOLE: ALL ['102'] < ['108']
I1217 12:32:10.34 2331538 flip.py:564] node 115 adds BLACKHOLE: ALL ['102'] < ['115']
I1217 12:32:10.36 2331538 flip.py:839] node 102 (cyan-cyan) adds POLICY: ALL ['102'] < ['162'] with dependencies set([])
I1217 12:32:10.37 2331538 flip.py:839] node 102 (cyan-cyan) adds POLICY: ALL ['162'] < ['102'] with dependencies set([])
I1217 12:32:10.37 2331538 flip.py:564] node 100 adds BLACKHOLE: ALL ['162'] < ['100']
I1217 12:32:10.37 2331538 flip.py:564] node 147 adds BLACKHOLE: ALL ['162'] < ['147']
I1217 12:32:10.38 2331538 flip.py:564] node 146 adds BLACKHOLE: ALL ['162'] < ['146']
I1217 12:32:10.38 2331538 flip.py:564] node 134 adds BLACKHOLE: ALL ['162'] < ['134']
I1217 12:32:10.38 2331538 flip.py:564] node 154 adds BLACKHOLE: ALL ['162'] < ['154']
I1217 12:32:10.38 2331538 flip.py:564] node 152 adds BLACKHOLE: ALL ['162'] < ['152']
I1217 12:32:10.38 2331538 flip.py:564] node 151 adds BLACKHOLE: ALL ['162'] < ['151']
I1217 12:32:10.39 2331538 flip.py:564] node 135 adds BLACKHOLE: ALL ['162'] < ['135']
I1217 12:32:10.39 2331538 flip.py:564] node 156 adds BLACKHOLE: ALL ['162'] < ['156']
I1217 12:32:10.39 2331538 flip.py:564] node 133 adds BLACKHOLE: ALL ['162'] < ['133']
I1217 12:32:10.39 2331538 flip.py:564] node 101 adds BLACKHOLE: ALL ['162'] < ['101']
I1217 12:32:10.48 2331538 flip.py:839] node 162 (cyan-cyan) adds POLICY: ALL ['18'] < ['162'] with dependencies set([])
I1217 12:32:10.48 2331538 flip.py:839] node 162 (cyan-cyan) adds POLICY: ALL ['162'] < ['18'] with dependencies set([])
I1217 12:32:10.50 2331538 flip.py:564] node 45 adds BLACKHOLE: ALL ['18'] < ['45']
I1217 12:32:10.50 2331538 flip.py:564] node 30 adds BLACKHOLE: ALL ['18'] < ['30']
I1217 12:32:10.50 2331538 flip.py:564] node 7 adds BLACKHOLE: ALL ['18'] < ['7']
I1217 12:32:10.50 2331538 flip.py:564] node 29 adds BLACKHOLE: ALL ['18'] < ['29']
I1217 12:32:10.51 2331538 flip.py:564] node 75 adds BLACKHOLE: ALL ['18'] < ['75']
I1217 12:32:10.51 2331538 flip.py:564] node 13 adds BLACKHOLE: ALL ['18'] < ['13']
I1217 12:32:10.51 2331538 flip.py:564] node 55 adds BLACKHOLE: ALL ['18'] < ['55']
I1217 12:32:10.51 2331538 flip.py:564] node 11 adds BLACKHOLE: ALL ['18'] < ['11']
I1217 12:32:10.51 2331538 flip.py:564] node 60 adds BLACKHOLE: ALL ['18'] < ['60']
I1217 12:32:10.52 2331538 flip.py:564] node 52 adds BLACKHOLE: ALL ['18'] < ['52']
I1217 12:32:10.52 2331538 flip.py:564] node 5 adds BLACKHOLE: ALL ['18'] < ['5']
I1217 12:32:10.52 2331538 flip.py:564] node 27 adds BLACKHOLE: ALL ['18'] < ['27']
I1217 12:32:10.52 2331538 flip.py:564] node 26 adds BLACKHOLE: ALL ['18'] < ['26']
I1217 12:32:10.52 2331538 flip.py:564] node 28 adds BLACKHOLE: ALL ['18'] < ['28']
I1217 12:32:10.52 2331538 flip.py:564] node 24 adds BLACKHOLE: ALL ['18'] < ['24']
I1217 12:32:10.53 2331538 flip.py:564] node 31 adds BLACKHOLE: ALL ['18'] < ['31']
I1217 12:32:10.53 2331538 flip.py:564] node 16 adds BLACKHOLE: ALL ['78'] < ['16']
I1217 12:32:10.53 2331538 flip.py:564] node 63 adds BLACKHOLE: ALL ['78'] < ['63']
I1217 12:32:10.53 2331538 flip.py:564] node 62 adds BLACKHOLE: ALL ['78'] < ['62']
I1217 12:32:10.54 2331538 flip.py:564] node 50 adds BLACKHOLE: ALL ['78'] < ['50']
I1217 12:32:10.54 2331538 flip.py:564] node 70 adds BLACKHOLE: ALL ['78'] < ['70']
I1217 12:32:10.54 2331538 flip.py:564] node 68 adds BLACKHOLE: ALL ['78'] < ['68']
I1217 12:32:10.54 2331538 flip.py:564] node 67 adds BLACKHOLE: ALL ['78'] < ['67']
I1217 12:32:10.54 2331538 flip.py:564] node 51 adds BLACKHOLE: ALL ['78'] < ['51']
I1217 12:32:10.54 2331538 flip.py:564] node 72 adds BLACKHOLE: ALL ['78'] < ['72']
I1217 12:32:10.55 2331538 flip.py:564] node 49 adds BLACKHOLE: ALL ['78'] < ['49']
I1217 12:32:10.55 2331538 flip.py:564] node 17 adds BLACKHOLE: ALL ['78'] < ['17']
I1217 12:32:10.55 2331538 flip.py:564] node 21 adds BLACKHOLE: ALL ['21'] < ['78']
I1217 12:32:10.55 2331538 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['78']
I1217 12:32:10.55 2331538 flip.py:564] node 69 adds BLACKHOLE: ALL ['69'] < ['78']
I1217 12:32:10.55 2331538 flip.py:564] node 46 adds BLACKHOLE: ALL ['46'] < ['78']
I1217 12:32:10.55 2331538 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['78']
I1217 12:32:10.56 2331538 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['18']
I1217 12:32:10.56 2331538 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['18']
I1217 12:32:10.56 2331538 flip.py:564] node 54 adds BLACKHOLE: ALL ['54'] < ['18']
I1217 12:32:10.56 2331538 flip.py:564] node 48 adds BLACKHOLE: ALL ['48'] < ['18']
I1217 12:32:10.56 2331538 flip.py:564] node 20 adds BLACKHOLE: ALL ['20'] < ['18']
I1217 12:32:10.56 2331538 flip.py:564] node 22 adds BLACKHOLE: ALL ['22'] < ['18']
I1217 12:32:10.57 2331538 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['162']
I1217 12:32:10.57 2331538 flip.py:564] node 145 adds BLACKHOLE: ALL ['145'] < ['162']
I1217 12:32:10.57 2331538 flip.py:564] node 153 adds BLACKHOLE: ALL ['153'] < ['162']
I1217 12:32:10.57 2331538 flip.py:564] node 130 adds BLACKHOLE: ALL ['130'] < ['162']
I1217 12:32:10.57 2331538 flip.py:564] node 131 adds BLACKHOLE: ALL ['131'] < ['162']
I1217 12:32:10.57 2331538 flip.py:564] node 155 adds BLACKHOLE: ALL ['155'] < ['102']
I1217 12:32:10.58 2331538 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['102']
I1217 12:32:10.58 2331538 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['102']
I1217 12:32:10.58 2331538 flip.py:564] node 132 adds BLACKHOLE: ALL ['132'] < ['102']
I1217 12:32:10.58 2331538 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['102']
I1217 12:32:10.58 2331538 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['102']
I1217 12:32:10.58 2331538 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['246']
I1217 12:32:10.59 2331538 flip.py:564] node 229 adds BLACKHOLE: ALL ['229'] < ['246']
I1217 12:32:10.59 2331538 flip.py:564] node 237 adds BLACKHOLE: ALL ['237'] < ['246']
I1217 12:32:10.59 2331538 flip.py:564] node 214 adds BLACKHOLE: ALL ['214'] < ['246']
I1217 12:32:10.59 2331538 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['246']
I1217 12:32:10.59 2331538 flip.py:564] node 239 adds BLACKHOLE: ALL ['239'] < ['186']
I1217 12:32:10.59 2331538 flip.py:564] node 174 adds BLACKHOLE: ALL ['174'] < ['186']
I1217 12:32:10.59 2331538 flip.py:564] node 222 adds BLACKHOLE: ALL ['222'] < ['186']
I1217 12:32:10.59 2331538 flip.py:564] node 216 adds BLACKHOLE: ALL ['216'] < ['186']
I1217 12:32:10.60 2331538 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['186']
I1217 12:32:10.60 2331538 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['186']
I1217 12:32:10.60 2331538 flip.py:564] node 273 adds BLACKHOLE: ALL ['273'] < ['330']
I1217 12:32:10.60 2331538 flip.py:564] node 313 adds BLACKHOLE: ALL ['313'] < ['330']
I1217 12:32:10.60 2331538 flip.py:564] node 321 adds BLACKHOLE: ALL ['321'] < ['330']
I1217 12:32:10.60 2331538 flip.py:564] node 298 adds BLACKHOLE: ALL ['298'] < ['330']
I1217 12:32:10.60 2331538 flip.py:564] node 299 adds BLACKHOLE: ALL ['299'] < ['330']
I1217 12:32:10.61 2331538 flip.py:564] node 323 adds BLACKHOLE: ALL ['323'] < ['270']
I1217 12:32:10.61 2331538 flip.py:564] node 258 adds BLACKHOLE: ALL ['258'] < ['270']
I1217 12:32:10.61 2331538 flip.py:564] node 306 adds BLACKHOLE: ALL ['306'] < ['270']
I1217 12:32:10.61 2331538 flip.py:564] node 300 adds BLACKHOLE: ALL ['300'] < ['270']
I1217 12:32:10.61 2331538 flip.py:564] node 272 adds BLACKHOLE: ALL ['272'] < ['270']
I1217 12:32:10.61 2331538 flip.py:564] node 274 adds BLACKHOLE: ALL ['274'] < ['270']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:32:10.94 2331538 lplib.py:51] Restricted license - for non-production use only - expires 2022-01-13
/nfs/home/student.aau.dk/rtollu18/.local/lib/python2.7/site-packages/pulp/pulp.py:1313: UserWarning: Spaces are not permitted in the name. Converted to '_'
  warnings.warn("Spaces are not permitted in the name. Converted to '_'")
Traceback (most recent call last):
  File "runflipwithdfa.py", line 39, in <module>
    main(jsonPath, subpathsPath)
  File "runflipwithdfa.py", line 30, in main
    order = flip.compute_sequence(graph)
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/flip.py", line 1382, in compute_sequence
    new_storage.get_variables()))
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/verify.py", line 202, in create_migration_strategy
    MigrationStrategy.verify_current_configuration(net, label='initial')
  File "/nfs/home/student.aau.dk/rtollu18/dat7/FLIP/verify.py", line 178, in verify_current_configuration
    'in %s configuration: %s %s' %(label, type(e), e))
FLIP.verify.InvalidNetworkConfigurationError: in initial configuration: <class 'FLIP.verify.PolicyViolationError'> Packet<src: 81, dst: 335, path: ['81', '34', '79', '77', '78', '17', '49', '72', '51', '67', '68', '70', '50', '62', '63', '16', '18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270', '283', '276', '280', '278', '279', '257', '304', '312', '263', '307', '265', '327', '281', '259', '282', '297', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], tags: {}> doesn't satisfy any of [['87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '283', '276', '280', '278', '279', '257', '304', '312', '263', '307', '265', '327', '281', '259', '282', '297', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '274', '272', '300', '306', '258', '323', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '283', '276', '280', '278', '279', '257', '304', '312', '263', '307', '265', '327', '281', '259', '282', '297', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '274', '272', '300', '306', '258', '323', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '283', '276', '280', '278', '279', '257', '304', '312', '263', '307', '265', '327', '281', '259', '282', '297', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '274', '272', '300', '306', '258', '323', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '283', '276', '280', '278', '279', '257', '304', '312', '263', '307', '265', '327', '281', '259', '282', '297', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '274', '272', '300', '306', '258', '323', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '283', '276', '280', '278', '279', '257', '304', '312', '263', '307', '265', '327', '281', '259', '282', '297', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270', '274', '272', '300', '306', '258', '323', '253', '296', '252', '295', '293', '292', '287', '305', '255', '254', '308', '335'], ['84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '31', '24', '28', '26', '27', '5', '52', '60', '11', '55', '13', '75', '29', '7', '30', '45', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298'], ['18', '22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87'], ['18', '22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87'], ['18', '22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87'], ['18', '22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '101', '133', '156', '135', '151', '152', '154', '134', '146', '147', '100', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '115', '108', '112', '110', '111', '89', '136', '144', '95', '139', '97', '159', '113', '91', '114', '129', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '185', '217', '240', '219', '235', '236', '238', '218', '230', '231', '184', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '199', '192', '196', '194', '195', '173', '220', '228', '179', '223', '181', '243', '197', '175', '198', '213', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '269', '301', '324', '303', '319', '320', '322', '302', '314', '315', '268', '270'], ['22', '20', '48', '54', '6', '71', '1', '44', '0', '43', '41', '40', '35', '53', '3', '2', '56', '83', '165', '118', '163', '161', '162', '131', '130', '153', '145', '105', '102', '106', '104', '132', '138', '90', '155', '85', '128', '84', '127', '125', '124', '119', '137', '87', '86', '140', '167', '249', '202', '247', '245', '246', '215', '214', '237', '229', '189', '186', '190', '188', '216', '222', '174', '239', '169', '212', '168', '211', '209', '208', '203', '221', '171', '170', '224', '251', '333', '286', '331', '329', '330', '299', '298', '321', '313', '273', '270']]
