Version: 1.13 
 _ data/zoo_json_alt_waypoint4/UsSignal_4.json -f output/flip/data/zoo_json_alt_waypoint4/UsSignal_4.json.subpaths
Flip subpaths generated in 0.327 seconds!
real 0.74
user 1.62
sys 0.14
<logging.Logger object at 0x7f50b582f7d0>
W1217 12:30:51.56 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.56 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.56 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.56 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.56 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.56 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.57 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.58 3237069 flip.py:156] subpath ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.59 3237069 flip.py:156] subpath ['202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.59 3237069 flip.py:156] subpath ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.59 3237069 flip.py:156] subpath ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.59 3237069 flip.py:156] subpath ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
W1217 12:30:51.59 3237069 flip.py:156] subpath ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'] is superfluous, discarding it
I1217 12:30:51.341 3237069 flip.py:564] node 495 adds BLACKHOLE: ALL ['472'] < ['495']
I1217 12:30:51.341 3237069 flip.py:564] node 494 adds BLACKHOLE: ALL ['472'] < ['494']
I1217 12:30:51.342 3237069 flip.py:564] node 503 adds BLACKHOLE: ALL ['472'] < ['503']
I1217 12:30:51.342 3237069 flip.py:564] node 475 adds BLACKHOLE: ALL ['472'] < ['475']
I1217 12:30:51.342 3237069 flip.py:564] node 501 adds BLACKHOLE: ALL ['472'] < ['501']
I1217 12:30:51.342 3237069 flip.py:564] node 500 adds BLACKHOLE: ALL ['472'] < ['500']
I1217 12:30:51.342 3237069 flip.py:564] node 499 adds BLACKHOLE: ALL ['472'] < ['499']
I1217 12:30:51.342 3237069 flip.py:564] node 498 adds BLACKHOLE: ALL ['472'] < ['498']
I1217 12:30:51.343 3237069 flip.py:564] node 497 adds BLACKHOLE: ALL ['472'] < ['497']
I1217 12:30:51.343 3237069 flip.py:564] node 496 adds BLACKHOLE: ALL ['472'] < ['496']
I1217 12:30:51.343 3237069 flip.py:564] node 474 adds BLACKHOLE: ALL ['472'] < ['474']
I1217 12:30:51.343 3237069 flip.py:564] node 432 adds BLACKHOLE: ALL ['409'] < ['432']
I1217 12:30:51.343 3237069 flip.py:564] node 431 adds BLACKHOLE: ALL ['409'] < ['431']
I1217 12:30:51.343 3237069 flip.py:564] node 440 adds BLACKHOLE: ALL ['409'] < ['440']
I1217 12:30:51.344 3237069 flip.py:564] node 412 adds BLACKHOLE: ALL ['409'] < ['412']
I1217 12:30:51.344 3237069 flip.py:564] node 438 adds BLACKHOLE: ALL ['409'] < ['438']
I1217 12:30:51.344 3237069 flip.py:564] node 437 adds BLACKHOLE: ALL ['409'] < ['437']
I1217 12:30:51.344 3237069 flip.py:564] node 436 adds BLACKHOLE: ALL ['409'] < ['436']
I1217 12:30:51.344 3237069 flip.py:564] node 435 adds BLACKHOLE: ALL ['409'] < ['435']
I1217 12:30:51.344 3237069 flip.py:564] node 434 adds BLACKHOLE: ALL ['409'] < ['434']
I1217 12:30:51.345 3237069 flip.py:564] node 433 adds BLACKHOLE: ALL ['409'] < ['433']
I1217 12:30:51.345 3237069 flip.py:564] node 411 adds BLACKHOLE: ALL ['409'] < ['411']
I1217 12:30:51.345 3237069 flip.py:839] node 409 (white-cyan) adds POLICY: ALL ['409'] < ['346'] with dependencies []
I1217 12:30:51.346 3237069 flip.py:564] node 369 adds BLACKHOLE: ALL ['346'] < ['369']
I1217 12:30:51.346 3237069 flip.py:564] node 368 adds BLACKHOLE: ALL ['346'] < ['368']
I1217 12:30:51.346 3237069 flip.py:564] node 377 adds BLACKHOLE: ALL ['346'] < ['377']
I1217 12:30:51.346 3237069 flip.py:564] node 349 adds BLACKHOLE: ALL ['346'] < ['349']
I1217 12:30:51.346 3237069 flip.py:564] node 375 adds BLACKHOLE: ALL ['346'] < ['375']
I1217 12:30:51.347 3237069 flip.py:564] node 374 adds BLACKHOLE: ALL ['346'] < ['374']
I1217 12:30:51.347 3237069 flip.py:564] node 373 adds BLACKHOLE: ALL ['346'] < ['373']
I1217 12:30:51.347 3237069 flip.py:564] node 372 adds BLACKHOLE: ALL ['346'] < ['372']
I1217 12:30:51.347 3237069 flip.py:564] node 371 adds BLACKHOLE: ALL ['346'] < ['371']
I1217 12:30:51.347 3237069 flip.py:564] node 370 adds BLACKHOLE: ALL ['346'] < ['370']
I1217 12:30:51.347 3237069 flip.py:564] node 348 adds BLACKHOLE: ALL ['346'] < ['348']
I1217 12:30:51.358 3237069 flip.py:839] node 346 (cyan-cyan) adds POLICY: ALL ['283'] < ['346'] with dependencies set([])
I1217 12:30:51.358 3237069 flip.py:839] node 346 (cyan-cyan) adds POLICY: ALL ['346'] < ['283'] with dependencies set([])
I1217 12:30:51.359 3237069 flip.py:564] node 306 adds BLACKHOLE: ALL ['283'] < ['306']
I1217 12:30:51.359 3237069 flip.py:564] node 305 adds BLACKHOLE: ALL ['283'] < ['305']
I1217 12:30:51.359 3237069 flip.py:564] node 314 adds BLACKHOLE: ALL ['283'] < ['314']
I1217 12:30:51.359 3237069 flip.py:564] node 286 adds BLACKHOLE: ALL ['283'] < ['286']
I1217 12:30:51.359 3237069 flip.py:564] node 312 adds BLACKHOLE: ALL ['283'] < ['312']
I1217 12:30:51.359 3237069 flip.py:564] node 311 adds BLACKHOLE: ALL ['283'] < ['311']
I1217 12:30:51.360 3237069 flip.py:564] node 310 adds BLACKHOLE: ALL ['283'] < ['310']
I1217 12:30:51.360 3237069 flip.py:564] node 309 adds BLACKHOLE: ALL ['283'] < ['309']
I1217 12:30:51.360 3237069 flip.py:564] node 308 adds BLACKHOLE: ALL ['283'] < ['308']
I1217 12:30:51.360 3237069 flip.py:564] node 307 adds BLACKHOLE: ALL ['283'] < ['307']
I1217 12:30:51.360 3237069 flip.py:564] node 285 adds BLACKHOLE: ALL ['283'] < ['285']
I1217 12:30:51.370 3237069 flip.py:839] node 283 (cyan-cyan) adds POLICY: ALL ['220'] < ['283'] with dependencies set([])
I1217 12:30:51.371 3237069 flip.py:839] node 283 (cyan-cyan) adds POLICY: ALL ['283'] < ['220'] with dependencies set([])
I1217 12:30:51.371 3237069 flip.py:564] node 243 adds BLACKHOLE: ALL ['220'] < ['243']
I1217 12:30:51.372 3237069 flip.py:564] node 242 adds BLACKHOLE: ALL ['220'] < ['242']
I1217 12:30:51.372 3237069 flip.py:564] node 251 adds BLACKHOLE: ALL ['220'] < ['251']
I1217 12:30:51.372 3237069 flip.py:564] node 223 adds BLACKHOLE: ALL ['220'] < ['223']
I1217 12:30:51.372 3237069 flip.py:564] node 249 adds BLACKHOLE: ALL ['220'] < ['249']
I1217 12:30:51.372 3237069 flip.py:564] node 248 adds BLACKHOLE: ALL ['220'] < ['248']
I1217 12:30:51.373 3237069 flip.py:564] node 247 adds BLACKHOLE: ALL ['220'] < ['247']
I1217 12:30:51.373 3237069 flip.py:564] node 246 adds BLACKHOLE: ALL ['220'] < ['246']
I1217 12:30:51.373 3237069 flip.py:564] node 245 adds BLACKHOLE: ALL ['220'] < ['245']
I1217 12:30:51.373 3237069 flip.py:564] node 244 adds BLACKHOLE: ALL ['220'] < ['244']
I1217 12:30:51.373 3237069 flip.py:564] node 222 adds BLACKHOLE: ALL ['220'] < ['222']
I1217 12:30:51.383 3237069 flip.py:839] node 220 (cyan-cyan) adds POLICY: ALL ['220'] < ['157'] with dependencies set([])
I1217 12:30:51.384 3237069 flip.py:839] node 220 (cyan-cyan) adds POLICY: ALL ['157'] < ['220'] with dependencies set([])
I1217 12:30:51.384 3237069 flip.py:564] node 180 adds BLACKHOLE: ALL ['157'] < ['180']
I1217 12:30:51.384 3237069 flip.py:564] node 179 adds BLACKHOLE: ALL ['157'] < ['179']
I1217 12:30:51.385 3237069 flip.py:564] node 188 adds BLACKHOLE: ALL ['157'] < ['188']
I1217 12:30:51.385 3237069 flip.py:564] node 160 adds BLACKHOLE: ALL ['157'] < ['160']
I1217 12:30:51.385 3237069 flip.py:564] node 186 adds BLACKHOLE: ALL ['157'] < ['186']
I1217 12:30:51.385 3237069 flip.py:564] node 185 adds BLACKHOLE: ALL ['157'] < ['185']
I1217 12:30:51.386 3237069 flip.py:564] node 184 adds BLACKHOLE: ALL ['157'] < ['184']
I1217 12:30:51.386 3237069 flip.py:564] node 183 adds BLACKHOLE: ALL ['157'] < ['183']
I1217 12:30:51.386 3237069 flip.py:564] node 182 adds BLACKHOLE: ALL ['157'] < ['182']
I1217 12:30:51.386 3237069 flip.py:564] node 181 adds BLACKHOLE: ALL ['157'] < ['181']
I1217 12:30:51.386 3237069 flip.py:564] node 159 adds BLACKHOLE: ALL ['157'] < ['159']
I1217 12:30:51.396 3237069 flip.py:839] node 157 (cyan-cyan) adds POLICY: ALL ['94'] < ['157'] with dependencies set([])
I1217 12:30:51.397 3237069 flip.py:839] node 157 (cyan-cyan) adds POLICY: ALL ['157'] < ['94'] with dependencies set([])
I1217 12:30:51.397 3237069 flip.py:564] node 117 adds BLACKHOLE: ALL ['94'] < ['117']
I1217 12:30:51.398 3237069 flip.py:564] node 116 adds BLACKHOLE: ALL ['94'] < ['116']
I1217 12:30:51.398 3237069 flip.py:564] node 125 adds BLACKHOLE: ALL ['94'] < ['125']
I1217 12:30:51.398 3237069 flip.py:564] node 97 adds BLACKHOLE: ALL ['94'] < ['97']
I1217 12:30:51.398 3237069 flip.py:564] node 123 adds BLACKHOLE: ALL ['94'] < ['123']
I1217 12:30:51.398 3237069 flip.py:564] node 122 adds BLACKHOLE: ALL ['94'] < ['122']
I1217 12:30:51.398 3237069 flip.py:564] node 121 adds BLACKHOLE: ALL ['94'] < ['121']
I1217 12:30:51.399 3237069 flip.py:564] node 120 adds BLACKHOLE: ALL ['94'] < ['120']
I1217 12:30:51.399 3237069 flip.py:564] node 119 adds BLACKHOLE: ALL ['94'] < ['119']
I1217 12:30:51.399 3237069 flip.py:564] node 118 adds BLACKHOLE: ALL ['94'] < ['118']
I1217 12:30:51.399 3237069 flip.py:564] node 96 adds BLACKHOLE: ALL ['94'] < ['96']
I1217 12:30:51.409 3237069 flip.py:839] node 94 (cyan-cyan) adds POLICY: ALL ['31'] < ['94'] with dependencies set([])
I1217 12:30:51.409 3237069 flip.py:839] node 94 (cyan-cyan) adds POLICY: ALL ['94'] < ['31'] with dependencies set([])
I1217 12:30:51.410 3237069 flip.py:564] node 54 adds BLACKHOLE: ALL ['31'] < ['54']
I1217 12:30:51.410 3237069 flip.py:564] node 53 adds BLACKHOLE: ALL ['31'] < ['53']
I1217 12:30:51.410 3237069 flip.py:564] node 62 adds BLACKHOLE: ALL ['31'] < ['62']
I1217 12:30:51.411 3237069 flip.py:564] node 34 adds BLACKHOLE: ALL ['31'] < ['34']
I1217 12:30:51.411 3237069 flip.py:564] node 60 adds BLACKHOLE: ALL ['31'] < ['60']
I1217 12:30:51.411 3237069 flip.py:564] node 59 adds BLACKHOLE: ALL ['31'] < ['59']
I1217 12:30:51.411 3237069 flip.py:564] node 58 adds BLACKHOLE: ALL ['31'] < ['58']
I1217 12:30:51.411 3237069 flip.py:564] node 57 adds BLACKHOLE: ALL ['31'] < ['57']
I1217 12:30:51.411 3237069 flip.py:564] node 56 adds BLACKHOLE: ALL ['31'] < ['56']
I1217 12:30:51.412 3237069 flip.py:564] node 55 adds BLACKHOLE: ALL ['31'] < ['55']
I1217 12:30:51.412 3237069 flip.py:564] node 33 adds BLACKHOLE: ALL ['31'] < ['33']
I1217 12:30:51.412 3237069 flip.py:564] node 0 adds BLACKHOLE: ALL ['0'] < ['31']
I1217 12:30:51.412 3237069 flip.py:564] node 19 adds BLACKHOLE: ALL ['19'] < ['31']
I1217 12:30:51.412 3237069 flip.py:564] node 18 adds BLACKHOLE: ALL ['18'] < ['31']
I1217 12:30:51.413 3237069 flip.py:564] node 47 adds BLACKHOLE: ALL ['47'] < ['31']
I1217 12:30:51.413 3237069 flip.py:564] node 44 adds BLACKHOLE: ALL ['44'] < ['31']
I1217 12:30:51.413 3237069 flip.py:564] node 49 adds BLACKHOLE: ALL ['49'] < ['31']
I1217 12:30:51.413 3237069 flip.py:564] node 50 adds BLACKHOLE: ALL ['50'] < ['31']
I1217 12:30:51.413 3237069 flip.py:564] node 51 adds BLACKHOLE: ALL ['51'] < ['31']
I1217 12:30:51.413 3237069 flip.py:564] node 12 adds BLACKHOLE: ALL ['12'] < ['31']
I1217 12:30:51.414 3237069 flip.py:564] node 13 adds BLACKHOLE: ALL ['13'] < ['31']
I1217 12:30:51.414 3237069 flip.py:564] node 28 adds BLACKHOLE: ALL ['28'] < ['31']
I1217 12:30:51.414 3237069 flip.py:564] node 63 adds BLACKHOLE: ALL ['63'] < ['94']
I1217 12:30:51.414 3237069 flip.py:564] node 82 adds BLACKHOLE: ALL ['82'] < ['94']
I1217 12:30:51.414 3237069 flip.py:564] node 81 adds BLACKHOLE: ALL ['81'] < ['94']
I1217 12:30:51.414 3237069 flip.py:564] node 110 adds BLACKHOLE: ALL ['110'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 107 adds BLACKHOLE: ALL ['107'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 112 adds BLACKHOLE: ALL ['112'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 113 adds BLACKHOLE: ALL ['113'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 114 adds BLACKHOLE: ALL ['114'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 75 adds BLACKHOLE: ALL ['75'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 76 adds BLACKHOLE: ALL ['76'] < ['94']
I1217 12:30:51.415 3237069 flip.py:564] node 91 adds BLACKHOLE: ALL ['91'] < ['94']
I1217 12:30:51.416 3237069 flip.py:564] node 126 adds BLACKHOLE: ALL ['126'] < ['157']
I1217 12:30:51.416 3237069 flip.py:564] node 145 adds BLACKHOLE: ALL ['145'] < ['157']
I1217 12:30:51.416 3237069 flip.py:564] node 144 adds BLACKHOLE: ALL ['144'] < ['157']
I1217 12:30:51.416 3237069 flip.py:564] node 173 adds BLACKHOLE: ALL ['173'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 170 adds BLACKHOLE: ALL ['170'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 175 adds BLACKHOLE: ALL ['175'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 176 adds BLACKHOLE: ALL ['176'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 177 adds BLACKHOLE: ALL ['177'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 138 adds BLACKHOLE: ALL ['138'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 139 adds BLACKHOLE: ALL ['139'] < ['157']
I1217 12:30:51.417 3237069 flip.py:564] node 154 adds BLACKHOLE: ALL ['154'] < ['157']
I1217 12:30:51.418 3237069 flip.py:564] node 189 adds BLACKHOLE: ALL ['189'] < ['220']
I1217 12:30:51.418 3237069 flip.py:564] node 208 adds BLACKHOLE: ALL ['208'] < ['220']
I1217 12:30:51.418 3237069 flip.py:564] node 207 adds BLACKHOLE: ALL ['207'] < ['220']
I1217 12:30:51.418 3237069 flip.py:564] node 236 adds BLACKHOLE: ALL ['236'] < ['220']
I1217 12:30:51.418 3237069 flip.py:564] node 233 adds BLACKHOLE: ALL ['233'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 238 adds BLACKHOLE: ALL ['238'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 239 adds BLACKHOLE: ALL ['239'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 240 adds BLACKHOLE: ALL ['240'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 201 adds BLACKHOLE: ALL ['201'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 202 adds BLACKHOLE: ALL ['202'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 217 adds BLACKHOLE: ALL ['217'] < ['220']
I1217 12:30:51.419 3237069 flip.py:564] node 252 adds BLACKHOLE: ALL ['252'] < ['283']
I1217 12:30:51.420 3237069 flip.py:564] node 271 adds BLACKHOLE: ALL ['271'] < ['283']
I1217 12:30:51.420 3237069 flip.py:564] node 270 adds BLACKHOLE: ALL ['270'] < ['283']
I1217 12:30:51.420 3237069 flip.py:564] node 299 adds BLACKHOLE: ALL ['299'] < ['283']
I1217 12:30:51.420 3237069 flip.py:564] node 296 adds BLACKHOLE: ALL ['296'] < ['283']
I1217 12:30:51.420 3237069 flip.py:564] node 301 adds BLACKHOLE: ALL ['301'] < ['283']
I1217 12:30:51.421 3237069 flip.py:564] node 302 adds BLACKHOLE: ALL ['302'] < ['283']
I1217 12:30:51.421 3237069 flip.py:564] node 303 adds BLACKHOLE: ALL ['303'] < ['283']
I1217 12:30:51.421 3237069 flip.py:564] node 264 adds BLACKHOLE: ALL ['264'] < ['283']
I1217 12:30:51.421 3237069 flip.py:564] node 265 adds BLACKHOLE: ALL ['265'] < ['283']
I1217 12:30:51.421 3237069 flip.py:564] node 280 adds BLACKHOLE: ALL ['280'] < ['283']
I1217 12:30:51.422 3237069 flip.py:564] node 315 adds BLACKHOLE: ALL ['315'] < ['346']
I1217 12:30:51.422 3237069 flip.py:564] node 334 adds BLACKHOLE: ALL ['334'] < ['346']
I1217 12:30:51.422 3237069 flip.py:564] node 333 adds BLACKHOLE: ALL ['333'] < ['346']
I1217 12:30:51.422 3237069 flip.py:564] node 362 adds BLACKHOLE: ALL ['362'] < ['346']
I1217 12:30:51.422 3237069 flip.py:564] node 359 adds BLACKHOLE: ALL ['359'] < ['346']
I1217 12:30:51.422 3237069 flip.py:564] node 364 adds BLACKHOLE: ALL ['364'] < ['346']
I1217 12:30:51.423 3237069 flip.py:564] node 365 adds BLACKHOLE: ALL ['365'] < ['346']
I1217 12:30:51.423 3237069 flip.py:564] node 366 adds BLACKHOLE: ALL ['366'] < ['346']
I1217 12:30:51.423 3237069 flip.py:564] node 327 adds BLACKHOLE: ALL ['327'] < ['346']
I1217 12:30:51.423 3237069 flip.py:564] node 328 adds BLACKHOLE: ALL ['328'] < ['346']
I1217 12:30:51.423 3237069 flip.py:564] node 343 adds BLACKHOLE: ALL ['343'] < ['346']
I1217 12:30:51.423 3237069 flip.py:564] node 378 adds BLACKHOLE: ALL ['378'] < ['409']
I1217 12:30:51.423 3237069 flip.py:564] node 397 adds BLACKHOLE: ALL ['397'] < ['409']
I1217 12:30:51.424 3237069 flip.py:564] node 396 adds BLACKHOLE: ALL ['396'] < ['409']
I1217 12:30:51.424 3237069 flip.py:564] node 425 adds BLACKHOLE: ALL ['425'] < ['409']
I1217 12:30:51.424 3237069 flip.py:564] node 422 adds BLACKHOLE: ALL ['422'] < ['409']
I1217 12:30:51.424 3237069 flip.py:564] node 427 adds BLACKHOLE: ALL ['427'] < ['409']
I1217 12:30:51.424 3237069 flip.py:564] node 428 adds BLACKHOLE: ALL ['428'] < ['409']
I1217 12:30:51.425 3237069 flip.py:564] node 429 adds BLACKHOLE: ALL ['429'] < ['409']
I1217 12:30:51.425 3237069 flip.py:564] node 390 adds BLACKHOLE: ALL ['390'] < ['409']
I1217 12:30:51.425 3237069 flip.py:564] node 391 adds BLACKHOLE: ALL ['391'] < ['409']
I1217 12:30:51.425 3237069 flip.py:564] node 406 adds BLACKHOLE: ALL ['406'] < ['409']
I1217 12:30:51.425 3237069 flip.py:564] node 441 adds BLACKHOLE: ALL ['441'] < ['472']
I1217 12:30:51.426 3237069 flip.py:564] node 460 adds BLACKHOLE: ALL ['460'] < ['472']
I1217 12:30:51.426 3237069 flip.py:564] node 459 adds BLACKHOLE: ALL ['459'] < ['472']
I1217 12:30:51.426 3237069 flip.py:564] node 488 adds BLACKHOLE: ALL ['488'] < ['472']
I1217 12:30:51.426 3237069 flip.py:564] node 485 adds BLACKHOLE: ALL ['485'] < ['472']
I1217 12:30:51.426 3237069 flip.py:564] node 490 adds BLACKHOLE: ALL ['490'] < ['472']
I1217 12:30:51.426 3237069 flip.py:564] node 491 adds BLACKHOLE: ALL ['491'] < ['472']
I1217 12:30:51.427 3237069 flip.py:564] node 492 adds BLACKHOLE: ALL ['492'] < ['472']
I1217 12:30:51.427 3237069 flip.py:564] node 453 adds BLACKHOLE: ALL ['453'] < ['472']
I1217 12:30:51.427 3237069 flip.py:564] node 454 adds BLACKHOLE: ALL ['454'] < ['472']
I1217 12:30:51.427 3237069 flip.py:564] node 469 adds BLACKHOLE: ALL ['469'] < ['472']
Restricted license - for non-production use only - expires 2022-01-13
I1217 12:30:51.453 3237069 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: 31, dst: 448, path: ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '411', '433', '434', '435', '436', '437', '438', '412', '440', '431', '432', '380', '384', '385', '472', '474', '496', '497', '498', '499', '500', '501', '475', '503', '494', '495', '443', '447', '448'], tags: {}> doesn't satisfy any of [['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '33', '55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '222', '244', '245', '246', '247', '248', '249', '223', '251', '242', '243', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '348', '370', '371', '372', '373'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '348', '370', '371', '372', '373', '374', '375', '349', '377', '368', '369', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['31', '28', '13', '12', '51', '50', '49', '44', '47', '18', '19', '0', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252'], ['202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '96', '118', '119', '120', '121', '122', '123', '97', '125', '116', '117', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '159', '181', '182', '183', '184', '185', '186', '160', '188', '179', '180', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '285', '307', '308', '309', '310', '311', '312', '286', '314', '305', '306', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362', '333', '334', '315', '317', '321', '322', '409', '406', '391', '390', '429', '428', '427', '422'], ['55', '56', '57', '58', '59', '60', '34', '62', '53', '54', '2', '6', '7', '94', '91', '76', '75', '114', '113', '112', '107', '110', '81', '82', '63', '65', '69', '70', '157', '154', '139', '138', '177', '176', '175', '170', '173', '144', '145', '126', '128', '132', '133', '220', '217', '202', '201', '240', '239', '238', '233', '236', '207', '208', '189', '191', '195', '196', '283', '280', '265', '264', '303', '302', '301', '296', '299', '270', '271', '252', '254', '258', '259', '346', '343', '328', '327', '366', '365', '364', '359', '362']]
