Merge pull request #2 from spicywei/main

Add files via upload
YangletLiu · Nov 16, 2023 · 9249d6f · 9249d6f
2 parents 5ae2165 + 3b85237
commit 9249d6f
Show file tree

Hide file tree

Showing 6 changed files with 43 additions and 0 deletions.
diff --git a/contract/splitting_ordering/N53M12.txt b/contract/splitting_ordering/N53M12.txt
@@ -0,0 +1 @@
+[(20, 1), (62, 42), (1, 42), (84, 63), (1, 63), (1, 21), (1, 4), (43, 64), (43, 85), (43, 22), (44, 65), (44, 23), (22, 23), (22, 86), (1, 22), (1, 2), (19, 0), (1, 0), (0, 3), (128, 170), (128, 148), (105, 131), (128, 105), (0, 105), (147, 130), (130, 104), (0, 104), (0, 108), (106, 149), (106, 132), (0, 106), (190, 189), (0, 189), (0, 172), (0, 151), (0, 135), (171, 150), (150, 129), (134, 107), (129, 107), (0, 107), (0, 191), (0, 173), (0, 154), (192, 174), (0, 174), (0, 155), (157, 176), (0, 157), (0, 194), (0, 195), (0, 177), (0, 158), (109, 152), (109, 136), (178, 159), (109, 159), (109, 117), (109, 196), (0, 109), (185, 204), (0, 185), (0, 182), (0, 200), (0, 199), (0, 181), (0, 203), (0, 184), (0, 198), (0, 113), (163, 140), (140, 121), (0, 121), (0, 112), (0, 89), (0, 69), (0, 207), (50, 73), (51, 93), (50, 51), (50, 31), (8, 27), (31, 8), (0, 8), (0, 92), (0, 116), (143, 166), (143, 124), (0, 124), (97, 77), (77, 55), (0, 55), (0, 12), (80, 58), (58, 100), (0, 58), (0, 96), (0, 47), (0, 68), (0, 88), (0, 111), (0, 139), (0, 162), (0, 187), (0, 120), (145, 168), (145, 126), (0, 126), (0, 209), (0, 72), (0, 91), (0, 115), (0, 142), (0, 165), (188, 210), (0, 188), (0, 99), (0, 123), (146, 169), (146, 127), (0, 127), (0, 35), (0, 26), (0, 7), (0, 15), (0, 30), (0, 38), (0, 102), (0, 60), (0, 11), (0, 17), (0, 40), (0, 18), (41, 61), (41, 83), (41, 103), (0, 41), (0, 46), (0, 25), (0, 6), (0, 14), (54, 34), (0, 34), (0, 76), (0, 95), (0, 57), (0, 37), (0, 16), (81, 59), (59, 39), (101, 82), (39, 82), (0, 39), (0, 67), (0, 87), (0, 49), (0, 29), (0, 10), (45, 24), (24, 66), (0, 24), (0, 53), (0, 33), (13, 5), (0, 5), (0, 79), (0, 56), (0, 36), (0, 71), (0, 48), (28, 9), (0, 9), (0, 75), (32, 74), (32, 52), (0, 32), (0, 78), (0, 98), (0, 119), (125, 144), (125, 167), (0, 125), (0, 206), (208, 186), (0, 186), (193, 153), (138, 110), (153, 110), (180, 161), (110, 161), (0, 110), (70, 90), (0, 70), (0, 94), (0, 202), (133, 175), (133, 156), (133, 114), (164, 141), (141, 122), (114, 122), (114, 183), (0, 114), (0, 205), (137, 160), (137, 179), (137, 118), (118, 201), (0, 118), (0, 197)]
diff --git a/contract/splitting_ordering/N53M14.txt b/contract/splitting_ordering/N53M14.txt
@@ -0,0 +1 @@
+[(142, 165), (184, 157), (142, 157), (142, 123), (123, 188), (146, 169), (146, 127), (40, 18), (127, 18), (123, 18), (39, 59), (81, 101), (39, 81), (102, 82), (82, 60), (39, 60), (18, 39), (103, 61), (61, 83), (41, 16), (61, 16), (18, 16), (16, 17), (210, 167), (125, 144), (167, 125), (16, 125), (145, 168), (145, 126), (16, 126), (205, 241), (205, 222), (205, 242), (206, 223), (205, 206), (205, 243), (207, 187), (205, 187), (244, 224), (224, 208), (208, 245), (208, 209), (208, 186), (187, 186), (16, 186), (16, 162), (16, 161), (124, 143), (124, 166), (16, 124), (16, 185), (164, 141), (141, 122), (16, 122), (16, 158), (16, 183), (240, 204), (204, 221), (204, 239), (220, 203), (204, 203), (238, 237), (237, 219), (219, 201), (203, 201), (201, 202), (16, 201), (16, 180), (16, 181), (110, 153), (110, 138), (16, 110), (16, 119), (16, 98), (80, 100), (80, 58), (38, 57), (58, 38), (99, 79), (38, 79), (16, 38), (16, 37), (78, 36), (36, 56), (16, 36), (160, 118), (118, 137), (118, 179), (16, 118), (16, 15), (15, 13), (13, 120), (13, 14), (32, 74), (32, 52), (94, 75), (32, 75), (32, 9), (13, 9), (9, 114), (9, 90), (70, 28), (28, 48), (28, 5), (9, 5), (133, 175), (133, 156), (5, 133), (5, 95), (5, 33), (5, 53), (5, 76), (5, 34), (5, 54), (5, 35), (5, 96), (97, 77), (77, 55), (5, 55), (163, 140), (140, 121), (5, 121), (5, 182), (197, 233), (197, 216), (197, 234), (198, 217), (197, 198), (236, 218), (218, 235), (218, 200), (197, 200), (197, 199), (5, 197), (5, 12), (5, 139), (5, 10), (5, 115), (5, 29), (5, 116), (5, 71), (5, 49), (5, 91), (5, 72), (5, 92), (5, 111), (5, 11), (5, 30), (5, 155), (20, 42), (20, 62), (3, 0), (20, 0), (0, 25), (1, 6), (0, 1), (129, 107), (107, 87), (45, 66), (87, 45), (46, 67), (45, 46), (0, 45), (4, 21), (4, 26), (2, 7), (4, 2), (2, 22), (44, 65), (44, 23), (2, 23), (43, 64), (43, 85), (2, 43), (0, 2), (0, 19), (0, 63), (0, 84), (0, 86), (0, 105), (147, 130), (130, 104), (0, 104), (128, 170), (128, 148), (0, 128), (0, 108), (135, 151), (0, 135), (0, 172), (226, 225), (225, 211), (211, 190), (190, 189), (0, 189), (106, 149), (106, 132), (0, 106), (0, 88), (0, 171), (0, 150), (0, 131), (0, 24), (228, 192), (192, 212), (192, 227), (192, 191), (0, 191), (0, 173), (0, 154), (0, 174), (69, 47), (47, 27), (89, 68), (27, 68), (0, 27), (0, 8), (0, 112), (109, 152), (109, 136), (178, 159), (109, 159), (109, 117), (0, 109), (229, 193), (193, 213), (193, 230), (194, 214), (193, 194), (196, 232), (196, 215), (196, 231), (193, 196), (193, 195), (0, 193), (0, 113), (93, 73), (73, 51), (0, 51), (0, 31), (0, 176), (0, 177), (0, 134), (5, 0), (0, 50)]
diff --git a/contract/splitting_ordering/N53M16.txt b/contract/splitting_ordering/N53M16.txt
@@ -0,0 +1 @@
+[(212, 191), (191, 233), (254, 232), (191, 232), (190, 170), (191, 170), (275, 189), (170, 189), (274, 278), (170, 274), (256, 276), (170, 256), (262, 282), (170, 262), (242, 261), (281, 258), (242, 258), (170, 242), (259, 239), (238, 217), (239, 217), (170, 217), (263, 243), (170, 243), (170, 220), (170, 221), (237, 216), (170, 216), (170, 196), (213, 234), (213, 255), (170, 213), (193, 235), (193, 214), (170, 193), (170, 192), (170, 197), (200, 219), (170, 200), (170, 172), (170, 241), (170, 277), (170, 201), (170, 177), (170, 178), (170, 151), (151, 147), (147, 279), (147, 284), (147, 130), (195, 215), (130, 195), (130, 173), (130, 257), (130, 286), (130, 148), (130, 128), (128, 104), (104, 285), (104, 19), (225, 267), (225, 247), (225, 224), (246, 265), (246, 266), (224, 246), (19, 224), (19, 290), (19, 236), (19, 152), (19, 159), (154, 131), (19, 131), (19, 181), (19, 174), (19, 205), (19, 182), (19, 155), (106, 149), (106, 132), (19, 106), (19, 105), (19, 136), (19, 109), (19, 289), (19, 204), (19, 223), (19, 245), (21, 42), (21, 63), (84, 62), (21, 62), (21, 20), (20, 0), (19, 0), (171, 150), (150, 129), (0, 129), (0, 176), (0, 199), (0, 218), (280, 260), (0, 260), (0, 240), (0, 283), (287, 264), (0, 264), (0, 288), (0, 2), (135, 108), (0, 108), (0, 86), (0, 65), (43, 64), (43, 85), (22, 44), (43, 22), (22, 1), (0, 1), (0, 23), (0, 4), (0, 158), (0, 185), (0, 194), (0, 198), (0, 175), (0, 107), (0, 134), (0, 157), (0, 184), (0, 113), (268, 291), (0, 268), (0, 248), (228, 270), (228, 250), (227, 208), (228, 208), (249, 269), (208, 249), (226, 207), (208, 207), (207, 293), (0, 207), (0, 163), (0, 140), (0, 112), (0, 89), (0, 69), (0, 3), (0, 206), (47, 26), (68, 46), (26, 46), (0, 26), (0, 88), (0, 67), (0, 87), (0, 25), (0, 45), (0, 66), (0, 133), (0, 156), (0, 183), (0, 203), (222, 244), (0, 222), (0, 180), (138, 153), (138, 110), (0, 110), (0, 111), (0, 139), (0, 161), (0, 186), (0, 162), (0, 187), (0, 292), (209, 251), (209, 229), (209, 271), (252, 272), (252, 230), (209, 230), (209, 210), (209, 294), (209, 295), (0, 209), (0, 121), (0, 166), (0, 143), (0, 116), (0, 92), (0, 117), (0, 27), (93, 73), (73, 51), (0, 51), (0, 6), (0, 164), (0, 7), (31, 8), (0, 8), (97, 77), (77, 55), (0, 55), (0, 12), (0, 96), (0, 35), (0, 54), (0, 76), (50, 30), (0, 30), (11, 34), (0, 11), (0, 53), (72, 91), (0, 72), (0, 115), (0, 95), (0, 141), (103, 83), (83, 61), (41, 18), (61, 18), (40, 17), (18, 17), (146, 169), (146, 127), (17, 127), (102, 82), (82, 60), (123, 101), (60, 101), (81, 39), (39, 59), (60, 39), (17, 39), (125, 144), (125, 167), (17, 125), (188, 211), (17, 188), (145, 168), (145, 126), (17, 126), (17, 231), (17, 253), (120, 99), (17, 99), (38, 57), (38, 79), (17, 38), (17, 165), (17, 80), (17, 142), (17, 273), (17, 296), (17, 58), (17, 15), (15, 100), (15, 124), (15, 16), (98, 122), (15, 98), (15, 37), (15, 119), (15, 14), (0, 14), (52, 74), (32, 9), (52, 9), (94, 75), (9, 75), (9, 202), (137, 160), (137, 179), (137, 118), (9, 118), (48, 28), (28, 70), (9, 28), (36, 56), (36, 78), (9, 36), (13, 5), (9, 5), (5, 33), (10, 24), (5, 10), (5, 29), (90, 114), (5, 90), (5, 71), (0, 5), (0, 49)]
diff --git a/contract/splitting_ordering/N53M18.txt b/contract/splitting_ordering/N53M18.txt
@@ -0,0 +1 @@
+[(103, 83), (83, 61), (61, 41), (18, 127), (41, 18), (40, 17), (18, 17), (37, 16), (16, 14), (17, 14), (81, 59), (59, 39), (14, 39), (10, 33), (10, 13), (14, 10), (29, 6), (10, 6), (36, 56), (36, 78), (6, 36), (28, 9), (9, 5), (6, 5), (5, 48), (57, 79), (5, 57), (5, 98), (101, 82), (5, 82), (5, 125), (32, 52), (5, 32), (75, 53), (5, 53), (95, 119), (5, 95), (5, 76), (5, 70), (66, 24), (24, 45), (5, 24), (5, 25), (5, 60), (5, 74), (5, 94), (114, 133), (5, 114), (5, 90), (5, 71), (5, 38), (5, 34), (5, 144), (5, 118), (5, 102), (5, 122), (138, 110), (5, 110), (5, 87), (5, 15), (5, 167), (5, 141), (5, 137), (5, 153), (5, 49), (5, 11), (5, 30), (5, 161), (5, 180), (5, 156), (5, 175), (5, 186), (5, 160), (5, 3), (3, 164), (3, 183), (3, 203), (3, 179), (222, 244), (222, 202), (3, 202), (3, 54), (3, 35), (3, 67), (3, 46), (3, 7), (3, 26), (3, 126), (4, 12), (3, 4), (3, 58), (3, 80), (3, 99), (3, 123), (3, 146), (240, 218), (218, 198), (3, 198), (3, 199), (287, 264), (3, 264), (226, 206), (206, 248), (3, 206), (3, 207), (3, 245), (3, 223), (165, 184), (142, 157), (165, 142), (3, 142), (3, 115), (3, 91), (3, 72), (3, 50), (3, 31), (3, 176), (3, 134), (3, 150), (3, 204), (3, 107), (3, 129), (20, 42), (20, 62), (20, 0), (21, 63), (0, 21), (0, 84), (0, 1), (3, 0), (0, 2), (0, 22), (43, 64), (43, 85), (0, 43), (0, 44), (0, 105), (0, 23), (0, 8), (0, 55), (0, 77), (0, 96), (0, 120), (0, 145), (154, 139), (111, 131), (139, 111), (162, 181), (111, 162), (0, 111), (0, 209), (0, 19), (0, 128), (0, 148), (0, 173), (0, 195), (236, 215), (215, 194), (0, 194), (0, 169), (0, 188), (0, 168), (0, 187), (0, 210), (0, 229), (0, 251), (321, 328), (321, 306), (306, 283), (283, 291), (0, 283), (0, 268), (0, 249), (0, 227), (0, 88), (0, 65), (0, 86), (0, 108), (0, 104), (0, 130), (0, 260), (0, 241), (0, 219), (0, 200), (0, 208), (0, 100), (143, 166), (143, 124), (124, 185), (135, 158), (124, 135), (124, 116), (177, 151), (116, 151), (0, 116), (0, 92), (93, 73), (73, 51), (0, 51), (69, 47), (47, 27), (89, 68), (27, 68), (0, 27), (0, 109), (0, 97), (0, 112), (163, 140), (140, 121), (0, 121), (159, 117), (117, 136), (0, 117), (106, 149), (106, 132), (0, 106), (0, 152), (0, 178), (0, 155), (0, 174), (0, 196), (0, 113), (239, 197), (197, 217), (0, 197), (0, 182), (221, 263), (221, 243), (220, 201), (221, 201), (0, 201), (0, 205), (0, 224), (0, 246), (0, 265), (0, 288), (0, 216), (0, 237), (0, 257), (303, 318), (303, 280), (0, 280), (0, 230), (0, 252), (0, 271), (331, 325), (325, 309), (309, 294), (0, 294), (253, 273), (253, 231), (231, 211), (0, 211), (250, 228), (0, 228), (242, 261), (0, 242), (292, 269), (0, 269), (284, 307), (0, 284), (333, 296), (296, 311), (296, 329), (0, 296), (322, 315), (315, 300), (300, 277), (0, 277), (212, 232), (212, 190), (254, 233), (190, 233), (190, 191), (312, 297), (297, 274), (274, 189), (147, 172), (189, 147), (190, 147), (298, 275), (275, 313), (275, 319), (304, 281), (275, 281), (147, 275), (278, 258), (147, 258), (213, 234), (213, 255), (192, 214), (213, 192), (147, 192), (147, 256), (147, 235), (147, 326), (147, 316), (147, 301), (147, 193), (320, 327), (320, 305), (305, 290), (314, 299), (299, 276), (290, 276), (276, 282), (147, 276), (317, 324), (317, 302), (302, 279), (279, 286), (279, 267), (147, 267), (147, 259), (289, 310), (147, 289), (147, 332), (147, 170), (147, 323), (266, 285), (147, 266), (147, 308), (147, 238), (147, 330), (147, 293), (147, 247), (147, 270), (147, 225), (147, 295), (147, 171), (147, 262), (147, 272), (0, 147)]
diff --git a/contract/splitting_ordering/N53M20.txt b/contract/splitting_ordering/N53M20.txt
@@ -0,0 +1 @@
+[(256, 276), (256, 278), (255, 234), (256, 234), (274, 300), (274, 317), (321, 342), (274, 321), (234, 274), (360, 359), (359, 319), (319, 340), (234, 319), (298, 275), (275, 189), (234, 189), (212, 191), (191, 233), (254, 232), (191, 232), (189, 191), (320, 304), (299, 277), (304, 277), (361, 341), (277, 341), (189, 277), (147, 172), (189, 147), (347, 365), (362, 344), (347, 344), (147, 344), (147, 302), (147, 325), (147, 213), (147, 192), (147, 214), (147, 235), (322, 306), (306, 279), (348, 329), (279, 329), (147, 279), (147, 369), (147, 370), (147, 352), (147, 305), (147, 366), (147, 328), (147, 374), (147, 355), (147, 283), (259, 239), (147, 239), (147, 282), (147, 310), (147, 333), (147, 377), (147, 318), (147, 343), (147, 364), (147, 301), (147, 324), (147, 351), (147, 346), (147, 327), (147, 373), (147, 354), (147, 376), (147, 287), (221, 243), (221, 263), (147, 221), (147, 262), (147, 286), (147, 313), (147, 336), (147, 312), (147, 335), (379, 358), (147, 358), (147, 357), (147, 332), (315, 338), (147, 315), (147, 380), (147, 309), (147, 193), (147, 285), (147, 290), (147, 291), (147, 266), (247, 225), (225, 267), (147, 225), (147, 368), (147, 281), (147, 261), (147, 242), (147, 220), (147, 201), (331, 356), (314, 337), (331, 314), (314, 378), (147, 314), (147, 350), (308, 323), (308, 280), (280, 363), (147, 280), (147, 289), (147, 265), (147, 246), (147, 224), (147, 205), (147, 257), (147, 258), (147, 237), (147, 238), (147, 216), (147, 217), (147, 196), (147, 174), (147, 182), (147, 155), (106, 149), (106, 132), (147, 106), (106, 197), (106, 178), (106, 159), (109, 152), (109, 136), (106, 109), (106, 372), (106, 190), (106, 170), (375, 353), (106, 353), (106, 334), (303, 345), (303, 326), (303, 367), (106, 303), (106, 311), (106, 284), (106, 260), (106, 241), (106, 219), (106, 200), (106, 177), (106, 151), (106, 130), (106, 236), (106, 215), (106, 195), (106, 173), (106, 148), (106, 128), (330, 288), (288, 307), (288, 349), (288, 371), (106, 288), (240, 218), (218, 198), (106, 198), (106, 199), (106, 176), (171, 150), (150, 129), (106, 129), (106, 264), (106, 245), (106, 223), (106, 204), (106, 181), (106, 154), (106, 131), (106, 105), (105, 104), (104, 84), (84, 63), (20, 42), (20, 62), (63, 20), (19, 0), (20, 0), (0, 21), (0, 294), (0, 292), (0, 268), (0, 2), (0, 295), (0, 296), (43, 64), (43, 85), (22, 44), (43, 22), (86, 65), (22, 65), (22, 1), (0, 1), (0, 108), (0, 135), (0, 158), (0, 185), (228, 270), (228, 250), (227, 208), (228, 208), (249, 269), (208, 249), (0, 208), (0, 293), (316, 339), (0, 316), (0, 23), (0, 4), (0, 248), (0, 226), (0, 107), (0, 134), (0, 157), (41, 61), (41, 83), (41, 103), (144, 167), (144, 125), (41, 125), (41, 119), (40, 18), (41, 18), (60, 82), (60, 102), (60, 101), (18, 60), (145, 168), (145, 126), (18, 126), (76, 95), (18, 76), (96, 120), (18, 96), (253, 231), (273, 297), (231, 273), (188, 211), (231, 188), (146, 169), (146, 127), (188, 127), (142, 165), (127, 142), (123, 99), (127, 99), (18, 99), (18, 59), (18, 17), (17, 77), (17, 54), (55, 35), (17, 35), (17, 15), (15, 38), (80, 57), (15, 57), (15, 58), (15, 100), (15, 97), (15, 121), (15, 81), (15, 39), (15, 16), (15, 37), (15, 14), (14, 34), (14, 53), (14, 79), (14, 98), (14, 56), (14, 78), (14, 36), (14, 13), (13, 33), (13, 75), (13, 52), (94, 118), (13, 94), (13, 74), (13, 32), (13, 9), (9, 122), (9, 10), (9, 11), (9, 7), (7, 30), (7, 29), (7, 49), (7, 28), (7, 48), (7, 71), (7, 70), (7, 90), (7, 114), (7, 141), (7, 164), (7, 115), (7, 91), (7, 111), (7, 139), (7, 162), (7, 187), (7, 210), (138, 153), (138, 110), (7, 110), (7, 161), (7, 186), (7, 209), (7, 229), (7, 12), (7, 6), (6, 5), (5, 72), (5, 50), (5, 31), (5, 124), (137, 160), (137, 179), (5, 137), (45, 66), (45, 24), (5, 24), (133, 175), (133, 156), (5, 133), (5, 87), (5, 67), (5, 88), (5, 25), (5, 46), (5, 8), (5, 68), (5, 26), (5, 180), (5, 47), (5, 27), (5, 51), (5, 73), (5, 92), (5, 116), (5, 143), (5, 166), (252, 272), (252, 230), (5, 230), (5, 93), (5, 251), (5, 183), (5, 203), (5, 69), (5, 89), (5, 112), (5, 140), (222, 244), (222, 202), (5, 202), (5, 117), (5, 3), (3, 163), (3, 194), (3, 206), (3, 271), (3, 113), (0, 3), (0, 207), (0, 184)]
diff --git a/contract/splitting_ordering/split.py b/contract/splitting_ordering/split.py
@@ -0,0 +1,38 @@
+import ast
+# 从txt文件中读取contraction_ordering
+file_path = "N53M12.txt"
+# file_path = "N53M14.txt"
+# file_path = "N53M16.txt"
+# file_path = "N53M18.txt"
+# file_path = "N53M20.txt"
+
+
+with open(file_path, 'r') as file:
+    content = file.read()
+    contraction_ordering = ast.literal_eval(content)
+
+count = 0
+
+# 遍历所有可能的组合
+i = 0
+while i < len(contraction_ordering) - 2:
+    order1 = contraction_ordering[i]
+    order2 = contraction_ordering[i + 1]
+    order3 = contraction_ordering[i + 2]
+
+    a1, b1 = order1
+    c1, d1 = order2
+    e1, f1 = order3
+
+    # 检查是否满足条件
+    if ((a1 == e1 or b1 == e1) and (c1 == f1 or d1 == f1)):
+        # 打印满足条件的组
+        print(f"符合条件的组 {count + 1}:")
+        print(order1)
+        print(order2)
+        print(order3)
+        count += 1
+
+    i += 1
+
+print(f"共找到{count}组满足条件的收缩对。")
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		[(20, 1), (62, 42), (1, 42), (84, 63), (1, 63), (1, 21), (1, 4), (43, 64), (43, 85), (43, 22), (44, 65), (44, 23), (22, 23), (22, 86), (1, 22), (1, 2), (19, 0), (1, 0), (0, 3), (128, 170), (128, 148), (105, 131), (128, 105), (0, 105), (147, 130), (130, 104), (0, 104), (0, 108), (106, 149), (106, 132), (0, 106), (190, 189), (0, 189), (0, 172), (0, 151), (0, 135), (171, 150), (150, 129), (134, 107), (129, 107), (0, 107), (0, 191), (0, 173), (0, 154), (192, 174), (0, 174), (0, 155), (157, 176), (0, 157), (0, 194), (0, 195), (0, 177), (0, 158), (109, 152), (109, 136), (178, 159), (109, 159), (109, 117), (109, 196), (0, 109), (185, 204), (0, 185), (0, 182), (0, 200), (0, 199), (0, 181), (0, 203), (0, 184), (0, 198), (0, 113), (163, 140), (140, 121), (0, 121), (0, 112), (0, 89), (0, 69), (0, 207), (50, 73), (51, 93), (50, 51), (50, 31), (8, 27), (31, 8), (0, 8), (0, 92), (0, 116), (143, 166), (143, 124), (0, 124), (97, 77), (77, 55), (0, 55), (0, 12), (80, 58), (58, 100), (0, 58), (0, 96), (0, 47), (0, 68), (0, 88), (0, 111), (0, 139), (0, 162), (0, 187), (0, 120), (145, 168), (145, 126), (0, 126), (0, 209), (0, 72), (0, 91), (0, 115), (0, 142), (0, 165), (188, 210), (0, 188), (0, 99), (0, 123), (146, 169), (146, 127), (0, 127), (0, 35), (0, 26), (0, 7), (0, 15), (0, 30), (0, 38), (0, 102), (0, 60), (0, 11), (0, 17), (0, 40), (0, 18), (41, 61), (41, 83), (41, 103), (0, 41), (0, 46), (0, 25), (0, 6), (0, 14), (54, 34), (0, 34), (0, 76), (0, 95), (0, 57), (0, 37), (0, 16), (81, 59), (59, 39), (101, 82), (39, 82), (0, 39), (0, 67), (0, 87), (0, 49), (0, 29), (0, 10), (45, 24), (24, 66), (0, 24), (0, 53), (0, 33), (13, 5), (0, 5), (0, 79), (0, 56), (0, 36), (0, 71), (0, 48), (28, 9), (0, 9), (0, 75), (32, 74), (32, 52), (0, 32), (0, 78), (0, 98), (0, 119), (125, 144), (125, 167), (0, 125), (0, 206), (208, 186), (0, 186), (193, 153), (138, 110), (153, 110), (180, 161), (110, 161), (0, 110), (70, 90), (0, 70), (0, 94), (0, 202), (133, 175), (133, 156), (133, 114), (164, 141), (141, 122), (114, 122), (114, 183), (0, 114), (0, 205), (137, 160), (137, 179), (137, 118), (118, 201), (0, 118), (0, 197)]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		[(142, 165), (184, 157), (142, 157), (142, 123), (123, 188), (146, 169), (146, 127), (40, 18), (127, 18), (123, 18), (39, 59), (81, 101), (39, 81), (102, 82), (82, 60), (39, 60), (18, 39), (103, 61), (61, 83), (41, 16), (61, 16), (18, 16), (16, 17), (210, 167), (125, 144), (167, 125), (16, 125), (145, 168), (145, 126), (16, 126), (205, 241), (205, 222), (205, 242), (206, 223), (205, 206), (205, 243), (207, 187), (205, 187), (244, 224), (224, 208), (208, 245), (208, 209), (208, 186), (187, 186), (16, 186), (16, 162), (16, 161), (124, 143), (124, 166), (16, 124), (16, 185), (164, 141), (141, 122), (16, 122), (16, 158), (16, 183), (240, 204), (204, 221), (204, 239), (220, 203), (204, 203), (238, 237), (237, 219), (219, 201), (203, 201), (201, 202), (16, 201), (16, 180), (16, 181), (110, 153), (110, 138), (16, 110), (16, 119), (16, 98), (80, 100), (80, 58), (38, 57), (58, 38), (99, 79), (38, 79), (16, 38), (16, 37), (78, 36), (36, 56), (16, 36), (160, 118), (118, 137), (118, 179), (16, 118), (16, 15), (15, 13), (13, 120), (13, 14), (32, 74), (32, 52), (94, 75), (32, 75), (32, 9), (13, 9), (9, 114), (9, 90), (70, 28), (28, 48), (28, 5), (9, 5), (133, 175), (133, 156), (5, 133), (5, 95), (5, 33), (5, 53), (5, 76), (5, 34), (5, 54), (5, 35), (5, 96), (97, 77), (77, 55), (5, 55), (163, 140), (140, 121), (5, 121), (5, 182), (197, 233), (197, 216), (197, 234), (198, 217), (197, 198), (236, 218), (218, 235), (218, 200), (197, 200), (197, 199), (5, 197), (5, 12), (5, 139), (5, 10), (5, 115), (5, 29), (5, 116), (5, 71), (5, 49), (5, 91), (5, 72), (5, 92), (5, 111), (5, 11), (5, 30), (5, 155), (20, 42), (20, 62), (3, 0), (20, 0), (0, 25), (1, 6), (0, 1), (129, 107), (107, 87), (45, 66), (87, 45), (46, 67), (45, 46), (0, 45), (4, 21), (4, 26), (2, 7), (4, 2), (2, 22), (44, 65), (44, 23), (2, 23), (43, 64), (43, 85), (2, 43), (0, 2), (0, 19), (0, 63), (0, 84), (0, 86), (0, 105), (147, 130), (130, 104), (0, 104), (128, 170), (128, 148), (0, 128), (0, 108), (135, 151), (0, 135), (0, 172), (226, 225), (225, 211), (211, 190), (190, 189), (0, 189), (106, 149), (106, 132), (0, 106), (0, 88), (0, 171), (0, 150), (0, 131), (0, 24), (228, 192), (192, 212), (192, 227), (192, 191), (0, 191), (0, 173), (0, 154), (0, 174), (69, 47), (47, 27), (89, 68), (27, 68), (0, 27), (0, 8), (0, 112), (109, 152), (109, 136), (178, 159), (109, 159), (109, 117), (0, 109), (229, 193), (193, 213), (193, 230), (194, 214), (193, 194), (196, 232), (196, 215), (196, 231), (193, 196), (193, 195), (0, 193), (0, 113), (93, 73), (73, 51), (0, 51), (0, 31), (0, 176), (0, 177), (0, 134), (5, 0), (0, 50)]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		[(212, 191), (191, 233), (254, 232), (191, 232), (190, 170), (191, 170), (275, 189), (170, 189), (274, 278), (170, 274), (256, 276), (170, 256), (262, 282), (170, 262), (242, 261), (281, 258), (242, 258), (170, 242), (259, 239), (238, 217), (239, 217), (170, 217), (263, 243), (170, 243), (170, 220), (170, 221), (237, 216), (170, 216), (170, 196), (213, 234), (213, 255), (170, 213), (193, 235), (193, 214), (170, 193), (170, 192), (170, 197), (200, 219), (170, 200), (170, 172), (170, 241), (170, 277), (170, 201), (170, 177), (170, 178), (170, 151), (151, 147), (147, 279), (147, 284), (147, 130), (195, 215), (130, 195), (130, 173), (130, 257), (130, 286), (130, 148), (130, 128), (128, 104), (104, 285), (104, 19), (225, 267), (225, 247), (225, 224), (246, 265), (246, 266), (224, 246), (19, 224), (19, 290), (19, 236), (19, 152), (19, 159), (154, 131), (19, 131), (19, 181), (19, 174), (19, 205), (19, 182), (19, 155), (106, 149), (106, 132), (19, 106), (19, 105), (19, 136), (19, 109), (19, 289), (19, 204), (19, 223), (19, 245), (21, 42), (21, 63), (84, 62), (21, 62), (21, 20), (20, 0), (19, 0), (171, 150), (150, 129), (0, 129), (0, 176), (0, 199), (0, 218), (280, 260), (0, 260), (0, 240), (0, 283), (287, 264), (0, 264), (0, 288), (0, 2), (135, 108), (0, 108), (0, 86), (0, 65), (43, 64), (43, 85), (22, 44), (43, 22), (22, 1), (0, 1), (0, 23), (0, 4), (0, 158), (0, 185), (0, 194), (0, 198), (0, 175), (0, 107), (0, 134), (0, 157), (0, 184), (0, 113), (268, 291), (0, 268), (0, 248), (228, 270), (228, 250), (227, 208), (228, 208), (249, 269), (208, 249), (226, 207), (208, 207), (207, 293), (0, 207), (0, 163), (0, 140), (0, 112), (0, 89), (0, 69), (0, 3), (0, 206), (47, 26), (68, 46), (26, 46), (0, 26), (0, 88), (0, 67), (0, 87), (0, 25), (0, 45), (0, 66), (0, 133), (0, 156), (0, 183), (0, 203), (222, 244), (0, 222), (0, 180), (138, 153), (138, 110), (0, 110), (0, 111), (0, 139), (0, 161), (0, 186), (0, 162), (0, 187), (0, 292), (209, 251), (209, 229), (209, 271), (252, 272), (252, 230), (209, 230), (209, 210), (209, 294), (209, 295), (0, 209), (0, 121), (0, 166), (0, 143), (0, 116), (0, 92), (0, 117), (0, 27), (93, 73), (73, 51), (0, 51), (0, 6), (0, 164), (0, 7), (31, 8), (0, 8), (97, 77), (77, 55), (0, 55), (0, 12), (0, 96), (0, 35), (0, 54), (0, 76), (50, 30), (0, 30), (11, 34), (0, 11), (0, 53), (72, 91), (0, 72), (0, 115), (0, 95), (0, 141), (103, 83), (83, 61), (41, 18), (61, 18), (40, 17), (18, 17), (146, 169), (146, 127), (17, 127), (102, 82), (82, 60), (123, 101), (60, 101), (81, 39), (39, 59), (60, 39), (17, 39), (125, 144), (125, 167), (17, 125), (188, 211), (17, 188), (145, 168), (145, 126), (17, 126), (17, 231), (17, 253), (120, 99), (17, 99), (38, 57), (38, 79), (17, 38), (17, 165), (17, 80), (17, 142), (17, 273), (17, 296), (17, 58), (17, 15), (15, 100), (15, 124), (15, 16), (98, 122), (15, 98), (15, 37), (15, 119), (15, 14), (0, 14), (52, 74), (32, 9), (52, 9), (94, 75), (9, 75), (9, 202), (137, 160), (137, 179), (137, 118), (9, 118), (48, 28), (28, 70), (9, 28), (36, 56), (36, 78), (9, 36), (13, 5), (9, 5), (5, 33), (10, 24), (5, 10), (5, 29), (90, 114), (5, 90), (5, 71), (0, 5), (0, 49)]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		[(103, 83), (83, 61), (61, 41), (18, 127), (41, 18), (40, 17), (18, 17), (37, 16), (16, 14), (17, 14), (81, 59), (59, 39), (14, 39), (10, 33), (10, 13), (14, 10), (29, 6), (10, 6), (36, 56), (36, 78), (6, 36), (28, 9), (9, 5), (6, 5), (5, 48), (57, 79), (5, 57), (5, 98), (101, 82), (5, 82), (5, 125), (32, 52), (5, 32), (75, 53), (5, 53), (95, 119), (5, 95), (5, 76), (5, 70), (66, 24), (24, 45), (5, 24), (5, 25), (5, 60), (5, 74), (5, 94), (114, 133), (5, 114), (5, 90), (5, 71), (5, 38), (5, 34), (5, 144), (5, 118), (5, 102), (5, 122), (138, 110), (5, 110), (5, 87), (5, 15), (5, 167), (5, 141), (5, 137), (5, 153), (5, 49), (5, 11), (5, 30), (5, 161), (5, 180), (5, 156), (5, 175), (5, 186), (5, 160), (5, 3), (3, 164), (3, 183), (3, 203), (3, 179), (222, 244), (222, 202), (3, 202), (3, 54), (3, 35), (3, 67), (3, 46), (3, 7), (3, 26), (3, 126), (4, 12), (3, 4), (3, 58), (3, 80), (3, 99), (3, 123), (3, 146), (240, 218), (218, 198), (3, 198), (3, 199), (287, 264), (3, 264), (226, 206), (206, 248), (3, 206), (3, 207), (3, 245), (3, 223), (165, 184), (142, 157), (165, 142), (3, 142), (3, 115), (3, 91), (3, 72), (3, 50), (3, 31), (3, 176), (3, 134), (3, 150), (3, 204), (3, 107), (3, 129), (20, 42), (20, 62), (20, 0), (21, 63), (0, 21), (0, 84), (0, 1), (3, 0), (0, 2), (0, 22), (43, 64), (43, 85), (0, 43), (0, 44), (0, 105), (0, 23), (0, 8), (0, 55), (0, 77), (0, 96), (0, 120), (0, 145), (154, 139), (111, 131), (139, 111), (162, 181), (111, 162), (0, 111), (0, 209), (0, 19), (0, 128), (0, 148), (0, 173), (0, 195), (236, 215), (215, 194), (0, 194), (0, 169), (0, 188), (0, 168), (0, 187), (0, 210), (0, 229), (0, 251), (321, 328), (321, 306), (306, 283), (283, 291), (0, 283), (0, 268), (0, 249), (0, 227), (0, 88), (0, 65), (0, 86), (0, 108), (0, 104), (0, 130), (0, 260), (0, 241), (0, 219), (0, 200), (0, 208), (0, 100), (143, 166), (143, 124), (124, 185), (135, 158), (124, 135), (124, 116), (177, 151), (116, 151), (0, 116), (0, 92), (93, 73), (73, 51), (0, 51), (69, 47), (47, 27), (89, 68), (27, 68), (0, 27), (0, 109), (0, 97), (0, 112), (163, 140), (140, 121), (0, 121), (159, 117), (117, 136), (0, 117), (106, 149), (106, 132), (0, 106), (0, 152), (0, 178), (0, 155), (0, 174), (0, 196), (0, 113), (239, 197), (197, 217), (0, 197), (0, 182), (221, 263), (221, 243), (220, 201), (221, 201), (0, 201), (0, 205), (0, 224), (0, 246), (0, 265), (0, 288), (0, 216), (0, 237), (0, 257), (303, 318), (303, 280), (0, 280), (0, 230), (0, 252), (0, 271), (331, 325), (325, 309), (309, 294), (0, 294), (253, 273), (253, 231), (231, 211), (0, 211), (250, 228), (0, 228), (242, 261), (0, 242), (292, 269), (0, 269), (284, 307), (0, 284), (333, 296), (296, 311), (296, 329), (0, 296), (322, 315), (315, 300), (300, 277), (0, 277), (212, 232), (212, 190), (254, 233), (190, 233), (190, 191), (312, 297), (297, 274), (274, 189), (147, 172), (189, 147), (190, 147), (298, 275), (275, 313), (275, 319), (304, 281), (275, 281), (147, 275), (278, 258), (147, 258), (213, 234), (213, 255), (192, 214), (213, 192), (147, 192), (147, 256), (147, 235), (147, 326), (147, 316), (147, 301), (147, 193), (320, 327), (320, 305), (305, 290), (314, 299), (299, 276), (290, 276), (276, 282), (147, 276), (317, 324), (317, 302), (302, 279), (279, 286), (279, 267), (147, 267), (147, 259), (289, 310), (147, 289), (147, 332), (147, 170), (147, 323), (266, 285), (147, 266), (147, 308), (147, 238), (147, 330), (147, 293), (147, 247), (147, 270), (147, 225), (147, 295), (147, 171), (147, 262), (147, 272), (0, 147)]
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		[(256, 276), (256, 278), (255, 234), (256, 234), (274, 300), (274, 317), (321, 342), (274, 321), (234, 274), (360, 359), (359, 319), (319, 340), (234, 319), (298, 275), (275, 189), (234, 189), (212, 191), (191, 233), (254, 232), (191, 232), (189, 191), (320, 304), (299, 277), (304, 277), (361, 341), (277, 341), (189, 277), (147, 172), (189, 147), (347, 365), (362, 344), (347, 344), (147, 344), (147, 302), (147, 325), (147, 213), (147, 192), (147, 214), (147, 235), (322, 306), (306, 279), (348, 329), (279, 329), (147, 279), (147, 369), (147, 370), (147, 352), (147, 305), (147, 366), (147, 328), (147, 374), (147, 355), (147, 283), (259, 239), (147, 239), (147, 282), (147, 310), (147, 333), (147, 377), (147, 318), (147, 343), (147, 364), (147, 301), (147, 324), (147, 351), (147, 346), (147, 327), (147, 373), (147, 354), (147, 376), (147, 287), (221, 243), (221, 263), (147, 221), (147, 262), (147, 286), (147, 313), (147, 336), (147, 312), (147, 335), (379, 358), (147, 358), (147, 357), (147, 332), (315, 338), (147, 315), (147, 380), (147, 309), (147, 193), (147, 285), (147, 290), (147, 291), (147, 266), (247, 225), (225, 267), (147, 225), (147, 368), (147, 281), (147, 261), (147, 242), (147, 220), (147, 201), (331, 356), (314, 337), (331, 314), (314, 378), (147, 314), (147, 350), (308, 323), (308, 280), (280, 363), (147, 280), (147, 289), (147, 265), (147, 246), (147, 224), (147, 205), (147, 257), (147, 258), (147, 237), (147, 238), (147, 216), (147, 217), (147, 196), (147, 174), (147, 182), (147, 155), (106, 149), (106, 132), (147, 106), (106, 197), (106, 178), (106, 159), (109, 152), (109, 136), (106, 109), (106, 372), (106, 190), (106, 170), (375, 353), (106, 353), (106, 334), (303, 345), (303, 326), (303, 367), (106, 303), (106, 311), (106, 284), (106, 260), (106, 241), (106, 219), (106, 200), (106, 177), (106, 151), (106, 130), (106, 236), (106, 215), (106, 195), (106, 173), (106, 148), (106, 128), (330, 288), (288, 307), (288, 349), (288, 371), (106, 288), (240, 218), (218, 198), (106, 198), (106, 199), (106, 176), (171, 150), (150, 129), (106, 129), (106, 264), (106, 245), (106, 223), (106, 204), (106, 181), (106, 154), (106, 131), (106, 105), (105, 104), (104, 84), (84, 63), (20, 42), (20, 62), (63, 20), (19, 0), (20, 0), (0, 21), (0, 294), (0, 292), (0, 268), (0, 2), (0, 295), (0, 296), (43, 64), (43, 85), (22, 44), (43, 22), (86, 65), (22, 65), (22, 1), (0, 1), (0, 108), (0, 135), (0, 158), (0, 185), (228, 270), (228, 250), (227, 208), (228, 208), (249, 269), (208, 249), (0, 208), (0, 293), (316, 339), (0, 316), (0, 23), (0, 4), (0, 248), (0, 226), (0, 107), (0, 134), (0, 157), (41, 61), (41, 83), (41, 103), (144, 167), (144, 125), (41, 125), (41, 119), (40, 18), (41, 18), (60, 82), (60, 102), (60, 101), (18, 60), (145, 168), (145, 126), (18, 126), (76, 95), (18, 76), (96, 120), (18, 96), (253, 231), (273, 297), (231, 273), (188, 211), (231, 188), (146, 169), (146, 127), (188, 127), (142, 165), (127, 142), (123, 99), (127, 99), (18, 99), (18, 59), (18, 17), (17, 77), (17, 54), (55, 35), (17, 35), (17, 15), (15, 38), (80, 57), (15, 57), (15, 58), (15, 100), (15, 97), (15, 121), (15, 81), (15, 39), (15, 16), (15, 37), (15, 14), (14, 34), (14, 53), (14, 79), (14, 98), (14, 56), (14, 78), (14, 36), (14, 13), (13, 33), (13, 75), (13, 52), (94, 118), (13, 94), (13, 74), (13, 32), (13, 9), (9, 122), (9, 10), (9, 11), (9, 7), (7, 30), (7, 29), (7, 49), (7, 28), (7, 48), (7, 71), (7, 70), (7, 90), (7, 114), (7, 141), (7, 164), (7, 115), (7, 91), (7, 111), (7, 139), (7, 162), (7, 187), (7, 210), (138, 153), (138, 110), (7, 110), (7, 161), (7, 186), (7, 209), (7, 229), (7, 12), (7, 6), (6, 5), (5, 72), (5, 50), (5, 31), (5, 124), (137, 160), (137, 179), (5, 137), (45, 66), (45, 24), (5, 24), (133, 175), (133, 156), (5, 133), (5, 87), (5, 67), (5, 88), (5, 25), (5, 46), (5, 8), (5, 68), (5, 26), (5, 180), (5, 47), (5, 27), (5, 51), (5, 73), (5, 92), (5, 116), (5, 143), (5, 166), (252, 272), (252, 230), (5, 230), (5, 93), (5, 251), (5, 183), (5, 203), (5, 69), (5, 89), (5, 112), (5, 140), (222, 244), (222, 202), (5, 202), (5, 117), (5, 3), (3, 163), (3, 194), (3, 206), (3, 271), (3, 113), (0, 3), (0, 207), (0, 184)]