Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Garr201007_4.json -f output/flip/data/zoo_json_alt_waypoint4/Garr201007_4.json.subpaths
Flip subpaths generated in 0.338 seconds!
real 1.13
user 0.95
sys 0.14
<logging.Logger object at 0x7f97f8ea77d0>
I1217 12:32:47.522 2332537 flip.py:564] node 366 adds BLACKHOLE: ALL ['362'] < ['366']
I1217 12:32:47.522 2332537 flip.py:564] node 393 adds BLACKHOLE: ALL ['362'] < ['393']
I1217 12:32:47.522 2332537 flip.py:564] node 316 adds BLACKHOLE: ALL ['312'] < ['316']
I1217 12:32:47.522 2332537 flip.py:564] node 343 adds BLACKHOLE: ALL ['312'] < ['343']
I1217 12:32:47.527 2332537 flip.py:839] node 312 (cyan-cyan) adds POLICY: ALL ['262'] < ['312'] with dependencies set([])
I1217 12:32:47.527 2332537 flip.py:564] node 266 adds BLACKHOLE: ALL ['262'] < ['266']
I1217 12:32:47.527 2332537 flip.py:564] node 293 adds BLACKHOLE: ALL ['262'] < ['293']
I1217 12:32:47.531 2332537 flip.py:839] node 262 (cyan-cyan) adds POLICY: ALL ['262'] < ['212'] with dependencies set([])
I1217 12:32:47.531 2332537 flip.py:839] node 262 (cyan-cyan) adds POLICY: ALL ['212'] < ['262'] with dependencies set([])
I1217 12:32:47.531 2332537 flip.py:564] node 216 adds BLACKHOLE: ALL ['212'] < ['216']
I1217 12:32:47.532 2332537 flip.py:564] node 243 adds BLACKHOLE: ALL ['212'] < ['243']
I1217 12:32:47.536 2332537 flip.py:839] node 212 (cyan-cyan) adds POLICY: ALL ['162'] < ['212'] with dependencies set([])
I1217 12:32:47.536 2332537 flip.py:564] node 166 adds BLACKHOLE: ALL ['162'] < ['166']
I1217 12:32:47.536 2332537 flip.py:564] node 193 adds BLACKHOLE: ALL ['162'] < ['193']
I1217 12:32:47.540 2332537 flip.py:839] node 162 (cyan-cyan) adds POLICY: ALL ['162'] < ['112'] with dependencies set([])
I1217 12:32:47.540 2332537 flip.py:839] node 162 (cyan-cyan) adds POLICY: ALL ['112'] < ['162'] with dependencies set([])
I1217 12:32:47.541 2332537 flip.py:564] node 116 adds BLACKHOLE: ALL ['112'] < ['116']
I1217 12:32:47.541 2332537 flip.py:564] node 143 adds BLACKHOLE: ALL ['112'] < ['143']
I1217 12:32:47.545 2332537 flip.py:839] node 112 (cyan-cyan) adds POLICY: ALL ['112'] < ['62'] with dependencies set([])
I1217 12:32:47.545 2332537 flip.py:839] node 112 (cyan-cyan) adds POLICY: ALL ['62'] < ['112'] with dependencies set([])
I1217 12:32:47.546 2332537 flip.py:564] node 66 adds BLACKHOLE: ALL ['62'] < ['66']
I1217 12:32:47.546 2332537 flip.py:564] node 93 adds BLACKHOLE: ALL ['62'] < ['93']
I1217 12:32:47.549 2332537 flip.py:839] node 62 (cyan-cyan) adds POLICY: ALL ['12'] < ['62'] with dependencies set([])
I1217 12:32:47.550 2332537 flip.py:839] node 62 (cyan-cyan) adds POLICY: ALL ['62'] < ['12'] with dependencies set([])
I1217 12:32:47.550 2332537 flip.py:564] node 16 adds BLACKHOLE: ALL ['12'] < ['16']
I1217 12:32:47.550 2332537 flip.py:564] node 43 adds BLACKHOLE: ALL ['12'] < ['43']
I1217 12:32:47.552 2332537 flip.py:839] node 12 (cyan-cyan) adds POLICY: ALL ['2'] < ['12'] with dependencies set([])
I1217 12:32:47.552 2332537 flip.py:839] node 12 (cyan-cyan) adds POLICY: ALL ['12'] < ['2'] with dependencies set([])
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:32:47.571 2332537 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 199, in create_migration_strategy
    MigrationStrategy.verify_current_configuration(net, label='final')
  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 final configuration: <class 'FLIP.verify.PolicyViolationError'> Packet<src: 2, dst: 360, path: ['2', '29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '349', '304', '308', '319', '318', '310', '352', '379', '362', '399', '354', '358', '369', '368', '360'], tags: {}> doesn't satisfy any of [['210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304'], ['210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304'], ['279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304', '308'], ['279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304', '308'], ['254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304', '308'], ['216', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304'], ['216', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '349', '304'], ['216', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316', '349', '304'], ['216', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '349', '304'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '43', '16', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '93', '66', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '143', '116', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '193', '166', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '243', '216', '249', '204', '208', '219', '218', '210', '252', '279'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '293', '266', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316'], ['29', '12', '49', '4', '8', '19', '18', '10', '52', '79', '62', '99', '54', '58', '69', '68', '60', '102', '129', '112', '149', '104', '108', '119', '118', '110', '152', '179', '162', '199', '154', '158', '169', '168', '160', '202', '229', '212', '249', '204', '208', '219', '218', '210', '252', '279', '262', '299', '254', '258', '269', '268', '260', '302', '329', '312', '343', '316']]
