Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Cwix_4.json -f output/flip/data/zoo_json_alt_waypoint4/Cwix_4.json.subpaths
Flip subpaths generated in 0.29 seconds!
real 1.35
user 1.19
sys 0.15
<logging.Logger object at 0x7f2b21f5f7d0>
W1217 12:31:28.442 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '104', '103'] is superfluous, discarding it
W1217 12:31:28.442 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '71', '70', '73', '72', '91'] is superfluous, discarding it
W1217 12:31:28.442 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.442 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.442 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.442 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'] is superfluous, discarding it
W1217 12:31:28.443 3237585 flip.py:156] subpath ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'] is superfluous, discarding it
I1217 12:31:28.553 3237585 flip.py:564] node 263 adds BLACKHOLE: ALL ['251'] < ['263']
I1217 12:31:28.553 3237585 flip.py:564] node 269 adds BLACKHOLE: ALL ['251'] < ['269']
I1217 12:31:28.553 3237585 flip.py:564] node 254 adds BLACKHOLE: ALL ['251'] < ['254']
I1217 12:31:28.554 3237585 flip.py:564] node 250 adds BLACKHOLE: ALL ['251'] < ['250']
I1217 12:31:28.554 3237585 flip.py:564] node 278 adds BLACKHOLE: ALL ['251'] < ['278']
I1217 12:31:28.554 3237585 flip.py:564] node 279 adds BLACKHOLE: ALL ['251'] < ['279']
I1217 12:31:28.554 3237585 flip.py:564] node 228 adds BLACKHOLE: ALL ['216'] < ['228']
I1217 12:31:28.554 3237585 flip.py:564] node 234 adds BLACKHOLE: ALL ['216'] < ['234']
I1217 12:31:28.554 3237585 flip.py:564] node 219 adds BLACKHOLE: ALL ['216'] < ['219']
I1217 12:31:28.554 3237585 flip.py:564] node 215 adds BLACKHOLE: ALL ['216'] < ['215']
I1217 12:31:28.555 3237585 flip.py:564] node 243 adds BLACKHOLE: ALL ['216'] < ['243']
I1217 12:31:28.555 3237585 flip.py:564] node 244 adds BLACKHOLE: ALL ['216'] < ['244']
I1217 12:31:28.555 3237585 flip.py:564] node 193 adds BLACKHOLE: ALL ['181'] < ['193']
I1217 12:31:28.555 3237585 flip.py:564] node 199 adds BLACKHOLE: ALL ['181'] < ['199']
I1217 12:31:28.555 3237585 flip.py:564] node 184 adds BLACKHOLE: ALL ['181'] < ['184']
I1217 12:31:28.555 3237585 flip.py:564] node 180 adds BLACKHOLE: ALL ['181'] < ['180']
I1217 12:31:28.556 3237585 flip.py:564] node 208 adds BLACKHOLE: ALL ['181'] < ['208']
I1217 12:31:28.556 3237585 flip.py:564] node 209 adds BLACKHOLE: ALL ['181'] < ['209']
I1217 12:31:28.558 3237585 flip.py:839] node 181 (cyan-cyan) adds POLICY: ALL ['181'] < ['146'] with dependencies set([])
I1217 12:31:28.558 3237585 flip.py:839] node 181 (cyan-cyan) adds POLICY: ALL ['146'] < ['181'] with dependencies set([])
I1217 12:31:28.558 3237585 flip.py:564] node 158 adds BLACKHOLE: ALL ['146'] < ['158']
I1217 12:31:28.559 3237585 flip.py:564] node 164 adds BLACKHOLE: ALL ['146'] < ['164']
I1217 12:31:28.559 3237585 flip.py:564] node 149 adds BLACKHOLE: ALL ['146'] < ['149']
I1217 12:31:28.559 3237585 flip.py:564] node 145 adds BLACKHOLE: ALL ['146'] < ['145']
I1217 12:31:28.559 3237585 flip.py:564] node 173 adds BLACKHOLE: ALL ['146'] < ['173']
I1217 12:31:28.559 3237585 flip.py:564] node 174 adds BLACKHOLE: ALL ['146'] < ['174']
I1217 12:31:28.561 3237585 flip.py:839] node 146 (cyan-cyan) adds POLICY: ALL ['146'] < ['111'] with dependencies set([])
I1217 12:31:28.562 3237585 flip.py:564] node 123 adds BLACKHOLE: ALL ['111'] < ['123']
I1217 12:31:28.562 3237585 flip.py:564] node 129 adds BLACKHOLE: ALL ['111'] < ['129']
I1217 12:31:28.562 3237585 flip.py:564] node 114 adds BLACKHOLE: ALL ['111'] < ['114']
I1217 12:31:28.562 3237585 flip.py:564] node 110 adds BLACKHOLE: ALL ['111'] < ['110']
I1217 12:31:28.562 3237585 flip.py:564] node 138 adds BLACKHOLE: ALL ['111'] < ['138']
I1217 12:31:28.562 3237585 flip.py:564] node 139 adds BLACKHOLE: ALL ['111'] < ['139']
I1217 12:31:28.564 3237585 flip.py:839] node 111 (cyan-cyan) adds POLICY: ALL ['76'] < ['111'] with dependencies set([])
I1217 12:31:28.564 3237585 flip.py:839] node 111 (cyan-cyan) adds POLICY: ALL ['111'] < ['76'] with dependencies set([])
I1217 12:31:28.565 3237585 flip.py:564] node 88 adds BLACKHOLE: ALL ['76'] < ['88']
I1217 12:31:28.565 3237585 flip.py:564] node 94 adds BLACKHOLE: ALL ['76'] < ['94']
I1217 12:31:28.565 3237585 flip.py:564] node 79 adds BLACKHOLE: ALL ['76'] < ['79']
I1217 12:31:28.565 3237585 flip.py:564] node 75 adds BLACKHOLE: ALL ['76'] < ['75']
I1217 12:31:28.565 3237585 flip.py:564] node 103 adds BLACKHOLE: ALL ['76'] < ['103']
I1217 12:31:28.565 3237585 flip.py:564] node 104 adds BLACKHOLE: ALL ['76'] < ['104']
I1217 12:31:28.567 3237585 flip.py:839] node 76 (cyan-cyan) adds POLICY: ALL ['76'] < ['41'] with dependencies set([])
I1217 12:31:28.568 3237585 flip.py:839] node 76 (cyan-cyan) adds POLICY: ALL ['41'] < ['76'] with dependencies set([])
I1217 12:31:28.568 3237585 flip.py:564] node 53 adds BLACKHOLE: ALL ['41'] < ['53']
I1217 12:31:28.568 3237585 flip.py:564] node 59 adds BLACKHOLE: ALL ['41'] < ['59']
I1217 12:31:28.568 3237585 flip.py:564] node 44 adds BLACKHOLE: ALL ['41'] < ['44']
I1217 12:31:28.569 3237585 flip.py:564] node 40 adds BLACKHOLE: ALL ['41'] < ['40']
I1217 12:31:28.569 3237585 flip.py:564] node 68 adds BLACKHOLE: ALL ['41'] < ['68']
I1217 12:31:28.569 3237585 flip.py:564] node 69 adds BLACKHOLE: ALL ['41'] < ['69']
I1217 12:31:28.571 3237585 flip.py:839] node 41 (cyan-cyan) adds POLICY: ALL ['41'] < ['6'] with dependencies set([])
I1217 12:31:28.571 3237585 flip.py:839] node 41 (cyan-cyan) adds POLICY: ALL ['6'] < ['41'] with dependencies set([])
I1217 12:31:28.571 3237585 flip.py:564] node 18 adds BLACKHOLE: ALL ['6'] < ['18']
I1217 12:31:28.572 3237585 flip.py:564] node 24 adds BLACKHOLE: ALL ['6'] < ['24']
I1217 12:31:28.572 3237585 flip.py:564] node 9 adds BLACKHOLE: ALL ['6'] < ['9']
I1217 12:31:28.572 3237585 flip.py:564] node 5 adds BLACKHOLE: ALL ['6'] < ['5']
I1217 12:31:28.572 3237585 flip.py:564] node 33 adds BLACKHOLE: ALL ['6'] < ['33']
I1217 12:31:28.572 3237585 flip.py:564] node 34 adds BLACKHOLE: ALL ['6'] < ['34']
I1217 12:31:28.572 3237585 flip.py:564] node 20 adds BLACKHOLE: ALL ['20'] < ['6']
I1217 12:31:28.573 3237585 flip.py:564] node 21 adds BLACKHOLE: ALL ['21'] < ['6']
I1217 12:31:28.573 3237585 flip.py:564] node 2 adds BLACKHOLE: ALL ['2'] < ['6']
I1217 12:31:28.573 3237585 flip.py:564] node 3 adds BLACKHOLE: ALL ['3'] < ['6']
I1217 12:31:28.573 3237585 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['6']
I1217 12:31:28.573 3237585 flip.py:564] node 1 adds BLACKHOLE: ALL ['1'] < ['6']
I1217 12:31:28.573 3237585 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['41']
I1217 12:31:28.573 3237585 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['41']
I1217 12:31:28.574 3237585 flip.py:564] node 37 adds BLACKHOLE: ALL ['37'] < ['41']
I1217 12:31:28.574 3237585 flip.py:564] node 38 adds BLACKHOLE: ALL ['38'] < ['41']
I1217 12:31:28.574 3237585 flip.py:564] node 35 adds BLACKHOLE: ALL ['35'] < ['41']
I1217 12:31:28.574 3237585 flip.py:564] node 36 adds BLACKHOLE: ALL ['36'] < ['41']
I1217 12:31:28.574 3237585 flip.py:564] node 90 adds BLACKHOLE: ALL ['90'] < ['76']
I1217 12:31:28.574 3237585 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['76']
I1217 12:31:28.574 3237585 flip.py:564] node 72 adds BLACKHOLE: ALL ['72'] < ['76']
I1217 12:31:28.574 3237585 flip.py:564] node 73 adds BLACKHOLE: ALL ['73'] < ['76']
I1217 12:31:28.575 3237585 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['76']
I1217 12:31:28.575 3237585 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['76']
I1217 12:31:28.575 3237585 flip.py:564] node 125 adds BLACKHOLE: ALL ['125'] < ['111']
I1217 12:31:28.575 3237585 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['111']
I1217 12:31:28.575 3237585 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['111']
I1217 12:31:28.575 3237585 flip.py:564] node 108 adds BLACKHOLE: ALL ['108'] < ['111']
I1217 12:31:28.575 3237585 flip.py:564] node 105 adds BLACKHOLE: ALL ['105'] < ['111']
I1217 12:31:28.576 3237585 flip.py:564] node 106 adds BLACKHOLE: ALL ['106'] < ['111']
I1217 12:31:28.576 3237585 flip.py:564] node 160 adds BLACKHOLE: ALL ['160'] < ['146']
I1217 12:31:28.576 3237585 flip.py:564] node 161 adds BLACKHOLE: ALL ['161'] < ['146']
I1217 12:31:28.576 3237585 flip.py:564] node 142 adds BLACKHOLE: ALL ['142'] < ['146']
I1217 12:31:28.576 3237585 flip.py:564] node 143 adds BLACKHOLE: ALL ['143'] < ['146']
I1217 12:31:28.576 3237585 flip.py:564] node 140 adds BLACKHOLE: ALL ['140'] < ['146']
I1217 12:31:28.576 3237585 flip.py:564] node 141 adds BLACKHOLE: ALL ['141'] < ['146']
I1217 12:31:28.577 3237585 flip.py:564] node 195 adds BLACKHOLE: ALL ['195'] < ['181']
I1217 12:31:28.577 3237585 flip.py:564] node 196 adds BLACKHOLE: ALL ['196'] < ['181']
I1217 12:31:28.577 3237585 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['181']
I1217 12:31:28.577 3237585 flip.py:564] node 178 adds BLACKHOLE: ALL ['178'] < ['181']
I1217 12:31:28.577 3237585 flip.py:564] node 175 adds BLACKHOLE: ALL ['175'] < ['181']
I1217 12:31:28.577 3237585 flip.py:564] node 176 adds BLACKHOLE: ALL ['176'] < ['181']
I1217 12:31:28.577 3237585 flip.py:564] node 230 adds BLACKHOLE: ALL ['230'] < ['216']
I1217 12:31:28.578 3237585 flip.py:564] node 231 adds BLACKHOLE: ALL ['231'] < ['216']
I1217 12:31:28.578 3237585 flip.py:564] node 212 adds BLACKHOLE: ALL ['212'] < ['216']
I1217 12:31:28.578 3237585 flip.py:564] node 213 adds BLACKHOLE: ALL ['213'] < ['216']
I1217 12:31:28.578 3237585 flip.py:564] node 210 adds BLACKHOLE: ALL ['210'] < ['216']
I1217 12:31:28.578 3237585 flip.py:564] node 211 adds BLACKHOLE: ALL ['211'] < ['216']
I1217 12:31:28.578 3237585 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['251']
I1217 12:31:28.579 3237585 flip.py:564] node 266 adds BLACKHOLE: ALL ['266'] < ['251']
I1217 12:31:28.579 3237585 flip.py:564] node 247 adds BLACKHOLE: ALL ['247'] < ['251']
I1217 12:31:28.579 3237585 flip.py:564] node 248 adds BLACKHOLE: ALL ['248'] < ['251']
I1217 12:31:28.579 3237585 flip.py:564] node 245 adds BLACKHOLE: ALL ['245'] < ['251']
I1217 12:31:28.579 3237585 flip.py:564] node 246 adds BLACKHOLE: ALL ['246'] < ['251']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:31:28.596 3237585 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: 22, dst: 264, path: ['22', '6', '34', '33', '5', '9', '24', '18', '19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232', '216', '244', '243', '215', '219', '234', '228', '229', '267', '251', '279', '278', '250', '254', '269', '263', '264'], tags: {}> doesn't satisfy any of [['59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194'], ['59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194'], ['59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194'], ['59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194'], ['59', '53', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194'], ['59', '53', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194'], ['59', '53', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194'], ['59', '53', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194'], ['91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141'], ['19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141'], ['19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141'], ['19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '104', '103'], ['0', '3', '2', '21', '20', '19', '57', '41', '69', '68', '40', '44', '59', '53', '54', '92', '76', '71', '70', '73', '72', '91'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '104', '103', '75', '79', '94', '88', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '139', '138', '110', '114', '129', '123', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '174', '173', '145', '149', '164', '158', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '209', '208', '180', '184', '199', '193', '194', '232'], ['0', '3', '2', '21', '20', '19', '57', '41', '36', '35', '38', '37', '56', '55', '54', '92', '76', '71', '70', '73', '72', '91', '90', '89', '127', '111', '106', '105', '108', '107', '126', '125', '124', '162', '146', '141', '140', '143', '142', '161', '160', '159', '197', '181', '176', '175', '178', '177', '196', '195', '194', '232']]
