Version: 1.13 
 _ data/zoo_json_alt_waypoint4/Bics_3.json -f output/flip/data/zoo_json_alt_waypoint4/Bics_3.json.subpaths
Flip subpaths generated in 0.52 seconds!
real 3.41
user 1.06
sys 0.07
<logging.Logger object at 0x7f631345f7d0>
I1217 12:32:38.803 2378051 flip.py:638] node 19 (19->1->19) adds LOOP: ANY ['1'] < ['19']
I1217 12:32:38.808 2378051 flip.py:638] node 32 (32->50->32) adds LOOP: ANY ['32'] < ['50']
I1217 12:32:38.812 2378051 flip.py:638] node 63 (63->81->63) adds LOOP: ANY ['63'] < ['81']
I1217 12:32:38.814 2378051 flip.py:638] node 94 (94->112->94) adds LOOP: ANY ['94'] < ['112']
I1217 12:32:38.814 2378051 flip.py:564] node 115 adds BLACKHOLE: ALL ['112'] < ['115']
I1217 12:32:38.814 2378051 flip.py:564] node 107 adds BLACKHOLE: ALL ['112'] < ['107']
I1217 12:32:38.838 2378051 flip.py:839] node 112 (cyan-cyan) adds POLICY: ALL ['112'] < ['110'] with dependencies set([])
I1217 12:32:38.838 2378051 flip.py:839] node 112 (cyan-cyan) adds POLICY: ALL ['94'] < ['112'] with dependencies set([])
I1217 12:32:38.861 2378051 flip.py:839] node 94 (cyan-cyan) adds POLICY: ALL ['110'] < ['94'] with dependencies set([])
I1217 12:32:38.861 2378051 flip.py:839] node 94 (cyan-cyan) adds POLICY: ALL ['94'] < ['112'] with dependencies set([])
I1217 12:32:38.861 2378051 flip.py:564] node 93 adds BLACKHOLE: ALL ['110'] < ['93']
I1217 12:32:38.861 2378051 flip.py:564] node 98 adds BLACKHOLE: ALL ['110'] < ['98']
I1217 12:32:38.861 2378051 flip.py:564] node 111 adds BLACKHOLE: ALL ['110'] < ['111']
I1217 12:32:38.902 2378051 flip.py:839] node 110 (cyan-cyan) adds POLICY: ALL ['110'] < ['63'] with dependencies set([])
I1217 12:32:38.903 2378051 flip.py:839] node 110 (cyan-cyan) adds POLICY: ALL ['81'] < ['110'] with dependencies set([])
I1217 12:32:38.903 2378051 flip.py:564] node 84 adds BLACKHOLE: ALL ['81'] < ['84']
I1217 12:32:38.903 2378051 flip.py:564] node 76 adds BLACKHOLE: ALL ['81'] < ['76']
I1217 12:32:38.931 2378051 flip.py:839] node 81 (cyan-cyan) adds POLICY: ALL ['63'] < ['81'] with dependencies set([])
I1217 12:32:38.931 2378051 flip.py:839] node 81 (cyan-cyan) adds POLICY: ALL ['81'] < ['79'] with dependencies set([])
I1217 12:32:38.950 2378051 flip.py:839] node 63 (cyan-cyan) adds POLICY: ALL ['63'] < ['81'] with dependencies set([])
I1217 12:32:38.950 2378051 flip.py:839] node 63 (cyan-cyan) adds POLICY: ALL ['79'] < ['63'] with dependencies set([])
I1217 12:32:38.950 2378051 flip.py:564] node 62 adds BLACKHOLE: ALL ['79'] < ['62']
I1217 12:32:38.950 2378051 flip.py:564] node 67 adds BLACKHOLE: ALL ['79'] < ['67']
I1217 12:32:38.950 2378051 flip.py:564] node 80 adds BLACKHOLE: ALL ['79'] < ['80']
I1217 12:32:38.988 2378051 flip.py:839] node 79 (cyan-cyan) adds POLICY: ALL ['50'] < ['79'] with dependencies set([])
I1217 12:32:38.988 2378051 flip.py:839] node 79 (cyan-cyan) adds POLICY: ALL ['79'] < ['32'] with dependencies set([])
I1217 12:32:38.989 2378051 flip.py:564] node 53 adds BLACKHOLE: ALL ['50'] < ['53']
I1217 12:32:38.989 2378051 flip.py:564] node 45 adds BLACKHOLE: ALL ['50'] < ['45']
I1217 12:32:39.8 2378051 flip.py:839] node 50 (cyan-cyan) adds POLICY: ALL ['50'] < ['48'] with dependencies set([])
I1217 12:32:39.8 2378051 flip.py:839] node 50 (cyan-cyan) adds POLICY: ALL ['32'] < ['50'] with dependencies set([])
I1217 12:32:39.29 2378051 flip.py:839] node 32 (cyan-cyan) adds POLICY: ALL ['32'] < ['50'] with dependencies set([])
I1217 12:32:39.29 2378051 flip.py:839] node 32 (cyan-cyan) adds POLICY: ALL ['48'] < ['32'] with dependencies set([])
I1217 12:32:39.30 2378051 flip.py:564] node 31 adds BLACKHOLE: ALL ['48'] < ['31']
I1217 12:32:39.30 2378051 flip.py:564] node 36 adds BLACKHOLE: ALL ['48'] < ['36']
I1217 12:32:39.30 2378051 flip.py:564] node 49 adds BLACKHOLE: ALL ['48'] < ['49']
I1217 12:32:39.69 2378051 flip.py:839] node 48 (cyan-cyan) adds POLICY: ALL ['19'] < ['48'] with dependencies set([])
I1217 12:32:39.69 2378051 flip.py:839] node 48 (cyan-cyan) adds POLICY: ALL ['48'] < ['1'] with dependencies set([])
I1217 12:32:39.69 2378051 flip.py:564] node 22 adds BLACKHOLE: ALL ['19'] < ['22']
I1217 12:32:39.69 2378051 flip.py:564] node 14 adds BLACKHOLE: ALL ['19'] < ['14']
I1217 12:32:39.90 2378051 flip.py:839] node 19 (cyan-cyan) adds POLICY: ALL ['1'] < ['19'] with dependencies set([])
I1217 12:32:39.90 2378051 flip.py:839] node 19 (cyan-cyan) adds POLICY: ALL ['19'] < ['17'] with dependencies set([])
I1217 12:32:39.108 2378051 flip.py:839] node 1 (cyan-cyan) adds POLICY: ALL ['17'] < ['1'] with dependencies set([])
I1217 12:32:39.108 2378051 flip.py:839] node 1 (cyan-cyan) adds POLICY: ALL ['1'] < ['19'] with dependencies set([])
I1217 12:32:39.109 2378051 flip.py:564] node 0 adds BLACKHOLE: ALL ['17'] < ['0']
I1217 12:32:39.109 2378051 flip.py:564] node 5 adds BLACKHOLE: ALL ['17'] < ['5']
I1217 12:32:39.109 2378051 flip.py:564] node 18 adds BLACKHOLE: ALL ['17'] < ['18']
I1217 12:32:39.109 2378051 flip.py:564] node 24 adds BLACKHOLE: ALL ['24'] < ['17']
I1217 12:32:39.109 2378051 flip.py:564] node 25 adds BLACKHOLE: ALL ['25'] < ['17']
I1217 12:32:39.109 2378051 flip.py:564] node 8 adds BLACKHOLE: ALL ['8'] < ['17']
I1217 12:32:39.109 2378051 flip.py:564] node 9 adds BLACKHOLE: ALL ['9'] < ['17']
I1217 12:32:39.110 2378051 flip.py:564] node 29 adds BLACKHOLE: ALL ['29'] < ['1']
I1217 12:32:39.110 2378051 flip.py:564] node 30 adds BLACKHOLE: ALL ['30'] < ['1']
I1217 12:32:39.110 2378051 flip.py:564] node 16 adds BLACKHOLE: ALL ['16'] < ['1']
I1217 12:32:39.110 2378051 flip.py:564] node 55 adds BLACKHOLE: ALL ['55'] < ['48']
I1217 12:32:39.110 2378051 flip.py:564] node 56 adds BLACKHOLE: ALL ['56'] < ['48']
I1217 12:32:39.110 2378051 flip.py:564] node 39 adds BLACKHOLE: ALL ['39'] < ['48']
I1217 12:32:39.111 2378051 flip.py:564] node 40 adds BLACKHOLE: ALL ['40'] < ['48']
I1217 12:32:39.111 2378051 flip.py:564] node 60 adds BLACKHOLE: ALL ['60'] < ['32']
I1217 12:32:39.111 2378051 flip.py:564] node 61 adds BLACKHOLE: ALL ['61'] < ['32']
I1217 12:32:39.111 2378051 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['32']
I1217 12:32:39.111 2378051 flip.py:564] node 86 adds BLACKHOLE: ALL ['86'] < ['79']
I1217 12:32:39.111 2378051 flip.py:564] node 87 adds BLACKHOLE: ALL ['87'] < ['79']
I1217 12:32:39.111 2378051 flip.py:564] node 70 adds BLACKHOLE: ALL ['70'] < ['79']
I1217 12:32:39.111 2378051 flip.py:564] node 71 adds BLACKHOLE: ALL ['71'] < ['79']
I1217 12:32:39.112 2378051 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['63']
I1217 12:32:39.112 2378051 flip.py:564] node 92 adds BLACKHOLE: ALL ['92'] < ['63']
I1217 12:32:39.112 2378051 flip.py:564] node 78 adds BLACKHOLE: ALL ['78'] < ['63']
I1217 12:32:39.112 2378051 flip.py:564] node 117 adds BLACKHOLE: ALL ['117'] < ['110']
I1217 12:32:39.112 2378051 flip.py:564] node 118 adds BLACKHOLE: ALL ['118'] < ['110']
I1217 12:32:39.112 2378051 flip.py:564] node 101 adds BLACKHOLE: ALL ['101'] < ['110']
I1217 12:32:39.112 2378051 flip.py:564] node 102 adds BLACKHOLE: ALL ['102'] < ['110']
I1217 12:32:39.112 2378051 flip.py:564] node 122 adds BLACKHOLE: ALL ['122'] < ['94']
I1217 12:32:39.112 2378051 flip.py:564] node 123 adds BLACKHOLE: ALL ['123'] < ['94']
I1217 12:32:39.113 2378051 flip.py:564] node 109 adds BLACKHOLE: ALL ['109'] < ['94']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:32:39.294 2378051 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: 17, dst: 121, path: ['17', '9', '8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], tags: {}> doesn't satisfy any of [['8', '25', '24', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67'], ['8', '25', '24', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['8', '25', '24', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['8', '25', '24', '19', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '19', '14', '22', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '49', '36', '31', '32', '47', '61', '60', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['0', '1', '16', '30', '29', '28', '48', '40', '39', '56', '55', '50', '45', '53', '59', '79', '71', '70', '87', '86', '81', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['36', '31', '32', '50', '45', '53', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '81', '76', '84', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '112', '107', '115', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '111', '98', '93', '94', '109', '123', '122', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '107', '115', '121'], ['36', '31', '32', '47', '61', '60', '59', '79', '80', '67', '62', '63', '78', '92', '91', '90', '110', '102', '101', '118', '117', '112', '94', '109', '123', '122', '121']]
