Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Renater2010_4.json -f output/flip/data/zoo_json_alt_waypoint4/Renater2010_4.json.subpaths
Flip subpaths generated in 0.383 seconds!
real 3.82
user 1.21
sys 0.11
<logging.Logger object at 0x7fa6d68af7d0>
W1217 12:33:46.998 2302231 flip.py:156] subpath ['189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246', '242', '240', '269', '276', '275', '274', '291', '258'] is superfluous, discarding it
W1217 12:33:46.998 2302231 flip.py:156] subpath ['189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221', '222', '242', '240', '269', '276', '275', '274', '291', '258'] is superfluous, discarding it
W1217 12:33:46.998 2302231 flip.py:156] subpath ['147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246', '242', '240', '269', '276', '275', '274', '291', '258'] is superfluous, discarding it
W1217 12:33:46.998 2302231 flip.py:156] subpath ['147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221', '222', '242', '240', '269', '276', '275', '274', '291', '258'] is superfluous, discarding it
I1217 12:33:47.109 2302231 flip.py:564] node 332 adds BLACKHOLE: ALL ['312'] < ['332']
I1217 12:33:47.109 2302231 flip.py:564] node 333 adds BLACKHOLE: ALL ['312'] < ['333']
I1217 12:33:47.109 2302231 flip.py:564] node 341 adds BLACKHOLE: ALL ['312'] < ['341']
I1217 12:33:47.109 2302231 flip.py:564] node 342 adds BLACKHOLE: ALL ['312'] < ['342']
I1217 12:33:47.110 2302231 flip.py:564] node 343 adds BLACKHOLE: ALL ['312'] < ['343']
I1217 12:33:47.110 2302231 flip.py:564] node 320 adds BLACKHOLE: ALL ['312'] < ['320']
I1217 12:33:47.110 2302231 flip.py:564] node 311 adds BLACKHOLE: ALL ['312'] < ['311']
I1217 12:33:47.110 2302231 flip.py:564] node 289 adds BLACKHOLE: ALL ['269'] < ['289']
I1217 12:33:47.110 2302231 flip.py:564] node 290 adds BLACKHOLE: ALL ['269'] < ['290']
I1217 12:33:47.110 2302231 flip.py:564] node 298 adds BLACKHOLE: ALL ['269'] < ['298']
I1217 12:33:47.111 2302231 flip.py:564] node 299 adds BLACKHOLE: ALL ['269'] < ['299']
I1217 12:33:47.111 2302231 flip.py:564] node 300 adds BLACKHOLE: ALL ['269'] < ['300']
I1217 12:33:47.111 2302231 flip.py:564] node 277 adds BLACKHOLE: ALL ['269'] < ['277']
I1217 12:33:47.111 2302231 flip.py:564] node 268 adds BLACKHOLE: ALL ['269'] < ['268']
I1217 12:33:47.111 2302231 flip.py:839] node 269 (white-cyan) adds POLICY: ALL ['269'] < ['226'] with dependencies []
I1217 12:33:47.111 2302231 flip.py:564] node 246 adds BLACKHOLE: ALL ['226'] < ['246']
I1217 12:33:47.112 2302231 flip.py:564] node 247 adds BLACKHOLE: ALL ['226'] < ['247']
I1217 12:33:47.112 2302231 flip.py:564] node 255 adds BLACKHOLE: ALL ['226'] < ['255']
I1217 12:33:47.112 2302231 flip.py:564] node 256 adds BLACKHOLE: ALL ['226'] < ['256']
I1217 12:33:47.112 2302231 flip.py:564] node 257 adds BLACKHOLE: ALL ['226'] < ['257']
I1217 12:33:47.112 2302231 flip.py:564] node 234 adds BLACKHOLE: ALL ['226'] < ['234']
I1217 12:33:47.112 2302231 flip.py:564] node 225 adds BLACKHOLE: ALL ['226'] < ['225']
I1217 12:33:47.115 2302231 flip.py:839] node 226 (cyan-cyan) adds POLICY: ALL ['226'] < ['183'] with dependencies set([])
I1217 12:33:47.115 2302231 flip.py:839] node 226 (cyan-cyan) adds POLICY: ALL ['183'] < ['226'] with dependencies set([])
I1217 12:33:47.115 2302231 flip.py:564] node 203 adds BLACKHOLE: ALL ['183'] < ['203']
I1217 12:33:47.116 2302231 flip.py:564] node 204 adds BLACKHOLE: ALL ['183'] < ['204']
I1217 12:33:47.116 2302231 flip.py:564] node 212 adds BLACKHOLE: ALL ['183'] < ['212']
I1217 12:33:47.116 2302231 flip.py:564] node 213 adds BLACKHOLE: ALL ['183'] < ['213']
I1217 12:33:47.116 2302231 flip.py:564] node 214 adds BLACKHOLE: ALL ['183'] < ['214']
I1217 12:33:47.116 2302231 flip.py:564] node 191 adds BLACKHOLE: ALL ['183'] < ['191']
I1217 12:33:47.116 2302231 flip.py:564] node 182 adds BLACKHOLE: ALL ['183'] < ['182']
I1217 12:33:47.119 2302231 flip.py:839] node 183 (cyan-cyan) adds POLICY: ALL ['183'] < ['140'] with dependencies set([])
I1217 12:33:47.119 2302231 flip.py:564] node 160 adds BLACKHOLE: ALL ['140'] < ['160']
I1217 12:33:47.119 2302231 flip.py:564] node 161 adds BLACKHOLE: ALL ['140'] < ['161']
I1217 12:33:47.119 2302231 flip.py:564] node 169 adds BLACKHOLE: ALL ['140'] < ['169']
I1217 12:33:47.120 2302231 flip.py:564] node 170 adds BLACKHOLE: ALL ['140'] < ['170']
I1217 12:33:47.120 2302231 flip.py:564] node 171 adds BLACKHOLE: ALL ['140'] < ['171']
I1217 12:33:47.120 2302231 flip.py:564] node 148 adds BLACKHOLE: ALL ['140'] < ['148']
I1217 12:33:47.120 2302231 flip.py:564] node 139 adds BLACKHOLE: ALL ['140'] < ['139']
I1217 12:33:47.123 2302231 flip.py:839] node 140 (cyan-cyan) adds POLICY: ALL ['140'] < ['97'] with dependencies set([])
I1217 12:33:47.123 2302231 flip.py:564] node 117 adds BLACKHOLE: ALL ['97'] < ['117']
I1217 12:33:47.123 2302231 flip.py:564] node 118 adds BLACKHOLE: ALL ['97'] < ['118']
I1217 12:33:47.123 2302231 flip.py:564] node 126 adds BLACKHOLE: ALL ['97'] < ['126']
I1217 12:33:47.123 2302231 flip.py:564] node 127 adds BLACKHOLE: ALL ['97'] < ['127']
I1217 12:33:47.124 2302231 flip.py:564] node 128 adds BLACKHOLE: ALL ['97'] < ['128']
I1217 12:33:47.124 2302231 flip.py:564] node 105 adds BLACKHOLE: ALL ['97'] < ['105']
I1217 12:33:47.124 2302231 flip.py:564] node 96 adds BLACKHOLE: ALL ['97'] < ['96']
I1217 12:33:47.126 2302231 flip.py:839] node 97 (cyan-cyan) adds POLICY: ALL ['97'] < ['54'] with dependencies set([])
I1217 12:33:47.126 2302231 flip.py:839] node 97 (cyan-cyan) adds POLICY: ALL ['54'] < ['97'] with dependencies set([])
I1217 12:33:47.127 2302231 flip.py:564] node 74 adds BLACKHOLE: ALL ['54'] < ['74']
I1217 12:33:47.127 2302231 flip.py:564] node 75 adds BLACKHOLE: ALL ['54'] < ['75']
I1217 12:33:47.127 2302231 flip.py:564] node 83 adds BLACKHOLE: ALL ['54'] < ['83']
I1217 12:33:47.127 2302231 flip.py:564] node 84 adds BLACKHOLE: ALL ['54'] < ['84']
I1217 12:33:47.127 2302231 flip.py:564] node 85 adds BLACKHOLE: ALL ['54'] < ['85']
I1217 12:33:47.128 2302231 flip.py:564] node 62 adds BLACKHOLE: ALL ['54'] < ['62']
I1217 12:33:47.128 2302231 flip.py:564] node 53 adds BLACKHOLE: ALL ['54'] < ['53']
I1217 12:33:47.130 2302231 flip.py:839] node 54 (cyan-cyan) adds POLICY: ALL ['11'] < ['54'] with dependencies set([])
I1217 12:33:47.130 2302231 flip.py:839] node 54 (cyan-cyan) adds POLICY: ALL ['54'] < ['11'] with dependencies set([])
I1217 12:33:47.131 2302231 flip.py:564] node 31 adds BLACKHOLE: ALL ['11'] < ['31']
I1217 12:33:47.131 2302231 flip.py:564] node 32 adds BLACKHOLE: ALL ['11'] < ['32']
I1217 12:33:47.131 2302231 flip.py:564] node 40 adds BLACKHOLE: ALL ['11'] < ['40']
I1217 12:33:47.131 2302231 flip.py:564] node 41 adds BLACKHOLE: ALL ['11'] < ['41']
I1217 12:33:47.132 2302231 flip.py:564] node 42 adds BLACKHOLE: ALL ['11'] < ['42']
I1217 12:33:47.132 2302231 flip.py:564] node 19 adds BLACKHOLE: ALL ['11'] < ['19']
I1217 12:33:47.132 2302231 flip.py:564] node 10 adds BLACKHOLE: ALL ['11'] < ['10']
I1217 12:33:47.132 2302231 flip.py:564] node 7 adds BLACKHOLE: ALL ['7'] < ['11']
I1217 12:33:47.132 2302231 flip.py:564] node 6 adds BLACKHOLE: ALL ['6'] < ['11']
I1217 12:33:47.133 2302231 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['11']
I1217 12:33:47.133 2302231 flip.py:564] node 33 adds BLACKHOLE: ALL ['33'] < ['11']
I1217 12:33:47.133 2302231 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['11']
I1217 12:33:47.133 2302231 flip.py:564] node 17 adds BLACKHOLE: ALL ['17'] < ['11']
I1217 12:33:47.133 2302231 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['11']
I1217 12:33:47.133 2302231 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['54']
I1217 12:33:47.134 2302231 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['54']
I1217 12:33:47.134 2302231 flip.py:564] node 43 adds BLACKHOLE: ALL ['43'] < ['54']
I1217 12:33:47.134 2302231 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['54']
I1217 12:33:47.134 2302231 flip.py:564] node 59 adds BLACKHOLE: ALL ['59'] < ['54']
I1217 12:33:47.134 2302231 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['54']
I1217 12:33:47.134 2302231 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['54']
I1217 12:33:47.135 2302231 flip.py:564] node 93 adds BLACKHOLE: ALL ['93'] < ['97']
I1217 12:33:47.135 2302231 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['97']
I1217 12:33:47.135 2302231 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['97']
I1217 12:33:47.135 2302231 flip.py:564] node 119 adds BLACKHOLE: ALL ['119'] < ['97']
I1217 12:33:47.135 2302231 flip.py:564] node 102 adds BLACKHOLE: ALL ['102'] < ['97']
I1217 12:33:47.135 2302231 flip.py:564] node 103 adds BLACKHOLE: ALL ['103'] < ['97']
I1217 12:33:47.135 2302231 flip.py:564] node 104 adds BLACKHOLE: ALL ['104'] < ['97']
I1217 12:33:47.136 2302231 flip.py:564] node 136 adds BLACKHOLE: ALL ['136'] < ['140']
I1217 12:33:47.136 2302231 flip.py:564] node 135 adds BLACKHOLE: ALL ['135'] < ['140']
I1217 12:33:47.136 2302231 flip.py:564] node 129 adds BLACKHOLE: ALL ['129'] < ['140']
I1217 12:33:47.136 2302231 flip.py:564] node 162 adds BLACKHOLE: ALL ['162'] < ['140']
I1217 12:33:47.136 2302231 flip.py:564] node 145 adds BLACKHOLE: ALL ['145'] < ['140']
I1217 12:33:47.136 2302231 flip.py:564] node 146 adds BLACKHOLE: ALL ['146'] < ['140']
I1217 12:33:47.137 2302231 flip.py:564] node 147 adds BLACKHOLE: ALL ['147'] < ['140']
I1217 12:33:47.137 2302231 flip.py:564] node 179 adds BLACKHOLE: ALL ['179'] < ['183']
I1217 12:33:47.137 2302231 flip.py:564] node 178 adds BLACKHOLE: ALL ['178'] < ['183']
I1217 12:33:47.137 2302231 flip.py:564] node 172 adds BLACKHOLE: ALL ['172'] < ['183']
I1217 12:33:47.137 2302231 flip.py:564] node 205 adds BLACKHOLE: ALL ['205'] < ['183']
I1217 12:33:47.137 2302231 flip.py:564] node 188 adds BLACKHOLE: ALL ['188'] < ['183']
I1217 12:33:47.138 2302231 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['183']
I1217 12:33:47.138 2302231 flip.py:564] node 190 adds BLACKHOLE: ALL ['190'] < ['183']
I1217 12:33:47.138 2302231 flip.py:564] node 222 adds BLACKHOLE: ALL ['222'] < ['226']
I1217 12:33:47.138 2302231 flip.py:564] node 221 adds BLACKHOLE: ALL ['221'] < ['226']
I1217 12:33:47.138 2302231 flip.py:564] node 215 adds BLACKHOLE: ALL ['215'] < ['226']
I1217 12:33:47.138 2302231 flip.py:564] node 248 adds BLACKHOLE: ALL ['248'] < ['226']
I1217 12:33:47.139 2302231 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['226']
I1217 12:33:47.139 2302231 flip.py:564] node 232 adds BLACKHOLE: ALL ['232'] < ['226']
I1217 12:33:47.139 2302231 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['226']
I1217 12:33:47.139 2302231 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['269']
I1217 12:33:47.139 2302231 flip.py:564] node 264 adds BLACKHOLE: ALL ['264'] < ['269']
I1217 12:33:47.139 2302231 flip.py:564] node 258 adds BLACKHOLE: ALL ['258'] < ['269']
I1217 12:33:47.140 2302231 flip.py:564] node 291 adds BLACKHOLE: ALL ['291'] < ['269']
I1217 12:33:47.140 2302231 flip.py:564] node 274 adds BLACKHOLE: ALL ['274'] < ['269']
I1217 12:33:47.140 2302231 flip.py:564] node 275 adds BLACKHOLE: ALL ['275'] < ['269']
I1217 12:33:47.140 2302231 flip.py:564] node 276 adds BLACKHOLE: ALL ['276'] < ['269']
I1217 12:33:47.140 2302231 flip.py:564] node 308 adds BLACKHOLE: ALL ['308'] < ['312']
I1217 12:33:47.140 2302231 flip.py:564] node 307 adds BLACKHOLE: ALL ['307'] < ['312']
I1217 12:33:47.141 2302231 flip.py:564] node 301 adds BLACKHOLE: ALL ['301'] < ['312']
I1217 12:33:47.141 2302231 flip.py:564] node 334 adds BLACKHOLE: ALL ['334'] < ['312']
I1217 12:33:47.141 2302231 flip.py:564] node 317 adds BLACKHOLE: ALL ['317'] < ['312']
I1217 12:33:47.141 2302231 flip.py:564] node 318 adds BLACKHOLE: ALL ['318'] < ['312']
I1217 12:33:47.141 2302231 flip.py:564] node 319 adds BLACKHOLE: ALL ['319'] < ['312']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:33:47.158 2302231 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: 11, dst: 326, path: ['11', '10', '19', '42', '41', '40', '32', '31', '27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246', '242', '240', '269', '268', '277', '300', '299', '298', '290', '289', '285', '283', '312', '311', '320', '343', '342', '341', '333', '332', '328', '326'], tags: {}> doesn't satisfy any of [['70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '53', '62', '85', '84', '83', '75', '74', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '96', '105', '128', '127', '126', '118', '117', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '139', '148', '171', '170', '169', '161', '160', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '182', '191', '214', '213', '212', '204', '203', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246'], ['27', '25', '54', '61', '60', '59', '76', '43', '49', '50', '70', '68', '97', '104', '103', '102', '119', '86', '92', '93', '113', '111', '140', '147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221'], ['189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246', '242', '240', '269', '276', '275', '274', '291', '258'], ['189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221', '222', '242', '240', '269', '276', '275', '274', '291', '258'], ['147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '225', '234', '257', '256', '255', '247', '246', '242', '240', '269', '276', '275', '274', '291', '258'], ['147', '146', '145', '162', '129', '135', '136', '156', '154', '183', '190', '189', '188', '205', '172', '178', '179', '199', '197', '226', '233', '232', '231', '248', '215', '221', '222', '242', '240', '269', '276', '275', '274', '291', '258']]
