import Growth.Spec
set_option maxRecDepth 100000
set_option maxHeartbeats 0

namespace Growth

/-- Published run a: 189 points, 339 links, 16 origins, seeds 7001 and 9001. -/
def runA : Run := {
  points := [(1698, 976), (1740, 999), (1780, 934), (1885, 1017), (1856, 846), (1759, 1046), (1792, 1087), (1679, 1051), (1950, 1100), (1890, 913), (1857, 983), (1626, 1019), (1944, 959), (1699, 853), (1580, 870), (1809, 981), (1783, 886), (1619, 1090), (1585, 1141), (1729, 1122), (532, 551), (475, 552), (418, 381), (228, 392), (361, 513), (168, 751), (448, 692), (350, 347), (307, 532), (433, 298), (168, 570), (496, 453), (265, 331), (285, 281), (334, 453), (461, 620), (528, 305), (561, 365), (270, 639), (402, 560), (495, 385), (243, 494), (279, 582), (262, 454), (658, 272), (402, 490), (185, 362), (424, 653), (565, 468), (302, 409), (693, 333), (642, 410), (489, 271), (951, 938), (907, 977), (926, 1109), (1031, 1018), (826, 1020), (953, 1008), (991, 958), (1071, 990), (841, 903), (1150, 960), (962, 1150), (977, 1096), (1141, 1034), (987, 1046), (886, 917), (1031, 938), (1071, 1076), (1177, 1082), (1184, 1005), (872, 1052), (780, 1047), (166, 954), (373, 808), (527, 912), (499, 790), (369, 987), (305, 731), (469, 879), (233, 841), (397, 953), (654, 602), (558, 975), (298, 842), (376, 764), (615, 863), (431, 843), (268, 701), (363, 869), (528, 739), (690, 236), (651, 209), (734, 182), (590, 198), (861, 239), (503, 162), (813, 225), (628, 109), (614, 310), (404, 164), (686, 99), (523, 74), (794, 172), (732, 135), (552, 150), (817, 416), (495, 111), (760, 64), (364, 217), (597, 74), (817, 132), (889, 71), (448, 80), (483, 209), (528, 206), (1443, 641), (1317, 328), (1330, 418), (1155, 525), (1260, 494), (1451, 537), (1236, 544), (1351, 677), (1214, 378), (1299, 630), (1243, 667), (1486, 365), (1404, 476), (1276, 393), (1178, 347), (1517, 421), (1131, 439), (1172, 471), (1269, 592), (1403, 568), (1410, 334), (1381, 254), (890, 496), (1132, 567), (1275, 800), (1354, 463), (1762, 43), (1679, 100), (1743, 186), (1684, 232), (1517, 306), (1813, 117), (1833, 248), (1639, 177), (1689, 302), (1860, 129), (1695, 45), (1952, 263), (1544, 161), (1752, 247), (1541, 115), (1911, 141), (1836, 330), (1805, 168), (1875, 228), (1794, 293), (1476, 74), (1729, 80), (1772, 136), (1951, 91), (1631, 247), (1841, 52), (1954, 198), (1642, 380), (1592, 191), (1891, 276), (1601, 88), (1917, 60), (1941, 670), (1521, 759), (764, 677), (1133, 834), (1345, 119), (1111, 206), (217, 148), (266, 1084), (119, 1082), (44, 110), (424, 1149), (1709, 581), (1763, 723), (949, 346)],
  edges := [(0, 1, 48), (0, 7, 77), (1, 2, 76), (1, 3, 146), (1, 5, 51), (1, 6, 102), (1, 7, 80), (1, 9, 173), (1, 10, 118), (1, 11, 116), (1, 13, 152), (1, 15, 71), (1, 16, 121), (1, 17, 151), (1, 19, 123), (2, 13, 115), (2, 15, 55), (2, 16, 48), (3, 8, 105), (3, 10, 44), (3, 12, 83), (4, 9, 75), (4, 16, 83), (5, 6, 53), (5, 19, 82), (6, 19, 72), (7, 11, 62), (7, 17, 72), (8, 12, 141), (9, 12, 71), (10, 15, 48), (11, 14, 156), (11, 17, 71), (11, 18, 129), (13, 14, 120), (13, 16, 90), (13, 187, 145), (14, 176, 126), (17, 18, 61), (20, 21, 57), (20, 45, 144), (20, 48, 89), (20, 83, 132), (21, 35, 69), (21, 45, 96), (22, 27, 76), (22, 29, 84), (22, 40, 77), (22, 45, 110), (23, 32, 71), (23, 43, 71), (23, 46, 52), (24, 28, 57), (24, 34, 66), (24, 39, 62), (24, 45, 47), (25, 30, 181), (25, 38, 151), (25, 81, 111), (26, 35, 73), (26, 47, 46), (27, 33, 93), (27, 45, 152), (27, 49, 78), (28, 38, 113), (28, 41, 74), (28, 42, 57), (28, 45, 104), (29, 52, 62), (30, 41, 107), (30, 42, 112), (31, 40, 68), (31, 45, 101), (31, 48, 71), (32, 33, 54), (32, 46, 86), (33, 181, 149), (34, 45, 77), (34, 49, 54), (35, 45, 143), (35, 47, 50), (36, 37, 68), (36, 44, 134), (36, 52, 52), (37, 40, 69), (37, 51, 93), (38, 42, 58), (39, 45, 70), (40, 45, 140), (41, 43, 44), (41, 45, 159), (42, 45, 154), (43, 45, 145), (43, 49, 60), (44, 50, 70), (44, 92, 48), (44, 100, 58), (45, 47, 164), (45, 48, 164), (45, 49, 129), (50, 51, 92), (53, 54, 59), (53, 59, 45), (53, 66, 114), (54, 58, 55), (54, 61, 99), (54, 66, 106), (54, 67, 64), (55, 63, 55), (55, 64, 53), (55, 66, 88), (55, 72, 79), (56, 60, 49), (56, 66, 52), (56, 69, 70), (57, 66, 163), (57, 72, 56), (57, 73, 53), (58, 66, 51), (59, 66, 88), (59, 68, 45), (60, 66, 101), (60, 68, 66), (61, 67, 47), (62, 65, 75), (62, 71, 56), (62, 178, 127), (63, 64, 56), (63, 66, 107), (64, 66, 51), (65, 66, 154), (65, 69, 82), (65, 70, 60), (65, 71, 52), (66, 67, 164), (66, 68, 117), (66, 69, 89), (66, 72, 115), (70, 71, 77), (72, 73, 92), (74, 81, 131), (74, 85, 173), (74, 183, 136), (75, 82, 147), (75, 86, 44), (75, 88, 68), (75, 90, 62), (76, 80, 67), (76, 82, 136), (76, 84, 70), (76, 87, 101), (77, 83, 244), (77, 88, 86), (77, 91, 59), (78, 82, 44), (78, 90, 118), (78, 182, 141), (79, 86, 78), (79, 89, 48), (80, 82, 103), (80, 88, 52), (81, 85, 65), (82, 84, 162), (82, 85, 149), (82, 88, 115), (82, 90, 91), (83, 91, 186), (83, 177, 133), (84, 87, 126), (85, 90, 70), (86, 89, 125), (88, 91, 142), (92, 93, 47), (92, 94, 70), (92, 95, 107), (92, 100, 106), (93, 95, 62), (93, 100, 108), (94, 95, 145), (94, 104, 61), (94, 105, 47), (95, 97, 94), (95, 99, 97), (95, 100, 115), (95, 102, 138), (95, 103, 141), (95, 105, 155), (95, 106, 61), (95, 108, 129), (95, 111, 124), (95, 115, 108), (95, 116, 63), (96, 98, 50), (96, 104, 95), (96, 107, 182), (96, 188, 139), (97, 106, 50), (97, 108, 52), (97, 115, 51), (97, 116, 51), (98, 104, 56), (98, 107, 191), (99, 102, 59), (99, 111, 47), (101, 110, 66), (101, 115, 91), (102, 105, 58), (102, 109, 82), (103, 108, 46), (103, 111, 74), (103, 114, 75), (104, 112, 46), (105, 109, 76), (105, 112, 85), (106, 116, 61), (107, 139, 108), (108, 114, 56), (109, 113, 129), (110, 115, 119), (112, 113, 94), (115, 116, 45), (117, 124, 99), (117, 136, 83), (117, 176, 141), (118, 119, 91), (118, 121, 176), (118, 130, 77), (118, 138, 98), (119, 121, 103), (119, 130, 60), (119, 142, 51), (120, 121, 109), (120, 133, 89), (120, 134, 57), (120, 140, 48), (121, 123, 55), (121, 125, 125), (121, 126, 141), (121, 127, 174), (121, 129, 145), (121, 130, 102), (121, 131, 168), (121, 133, 140), (121, 134, 91), (121, 135, 98), (121, 136, 161), (121, 140, 147), (121, 142, 99), (122, 129, 77), (122, 136, 57), (123, 135, 58), (124, 126, 70), (124, 141, 145), (125, 130, 64), (125, 131, 48), (126, 127, 67), (126, 135, 48), (127, 135, 79), (127, 141, 137), (128, 132, 64), (128, 137, 82), (128, 147, 67), (129, 132, 126), (129, 142, 52), (131, 133, 103), (131, 180, 156), (133, 134, 52), (133, 139, 248), (134, 140, 104), (137, 138, 85), (139, 140, 252), (141, 178, 146), (143, 145, 144), (143, 153, 67), (143, 164, 50), (144, 145, 107), (144, 153, 57), (144, 164, 54), (144, 173, 79), (145, 146, 75), (145, 148, 98), (145, 149, 109), (145, 150, 104), (145, 151, 128), (145, 152, 130), (145, 153, 149), (145, 156, 62), (145, 158, 174), (145, 159, 171), (145, 160, 65), (145, 161, 139), (145, 162, 119), (145, 164, 107), (145, 165, 58), (145, 167, 128), (145, 168, 166), (145, 171, 151), (145, 172, 173), (145, 173, 173), (146, 151, 70), (146, 156, 70), (146, 167, 55), (147, 167, 128), (147, 171, 137), (148, 152, 49), (148, 160, 52), (148, 165, 45), (148, 168, 71), (149, 161, 47), (149, 162, 60), (150, 167, 70), (150, 171, 49), (151, 167, 80), (151, 170, 91), (152, 158, 52), (153, 164, 49), (154, 169, 65), (154, 172, 62), (155, 157, 46), (155, 163, 110), (155, 171, 57), (156, 162, 62), (157, 163, 77), (157, 173, 66), (158, 166, 64), (158, 169, 71), (159, 162, 56), (159, 172, 77), (160, 165, 46), (161, 172, 51), (163, 179, 139), (166, 174, 46), (167, 170, 133), (167, 171, 68), (168, 174, 76), (175, 187, 186), (181, 184, 177), (182, 185, 171), (186, 187, 152)],
  pace := 3, cap := 25, every := 60, hold := 12, fade := 24,
  trees := [(0, 0, none, some 917), (2, 60, some 345, none), (6, 120, some 647, none), (17, 180, some 428, none), (37, 240, none, some 780), (55, 300, none, some 780), (84, 360, none, some 1722), (102, 420, none, some 1450), (118, 480, none, some 1300), (133, 540, none, some 1300), (149, 600, none, some 1450), (170, 660, none, some 2191), (186, 720, none, some 2031), (205, 780, none, some 2107), (216, 840, none, some 2031), (223, 900, none, some 2201)],
  claims := [(16, 0, 0, 0), (2, 0, 48, 0), (22, 1, 60, 2), (4, 0, 83, 0), (13, 0, 90, 0), (15, 0, 103, 1), (88, 2, 120, 6), (1, 0, 121, 0), (27, 1, 136, 2), (40, 1, 137, 2), (29, 1, 144, 2), (10, 0, 151, 5), (9, 0, 158, 3), (0, 0, 169, 7), (45, 1, 170, 2), (80, 2, 172, 6), (5, 0, 172, 7), (146, 3, 180, 17), (75, 2, 188, 6), (3, 0, 195, 11), (7, 0, 201, 7), (31, 1, 205, 9), (77, 2, 206, 6), (37, 1, 206, 9), (52, 1, 206, 10), (14, 0, 210, 4), (49, 1, 214, 8), (24, 1, 217, 14), (6, 0, 223, 7), (33, 1, 229, 8), (12, 0, 229, 12), (86, 2, 232, 18), (187, 0, 235, 4), (82, 2, 235, 6), (167, 3, 235, 17), (11, 0, 237, 7), (76, 2, 239, 15), (130, 4, 240, 37), (39, 1, 240, 14), (19, 0, 244, 7), (34, 1, 247, 14), (151, 3, 250, 17), (156, 3, 250, 17), (90, 2, 250, 18), (145, 3, 255, 17), (36, 1, 258, 24), (91, 2, 262, 6), (21, 1, 266, 14), (17, 0, 272, 7), (28, 1, 274, 14), (43, 1, 274, 26), (48, 1, 276, 21), (78, 2, 279, 33), (32, 1, 283, 29), (51, 1, 299, 23), (122, 5, 300, 55), (8, 0, 300, 19), (119, 4, 300, 37), (171, 3, 303, 34), (125, 4, 304, 37), (150, 3, 305, 34), (84, 2, 309, 36), (79, 2, 310, 31), (162, 3, 312, 42), (35, 1, 313, 14), (165, 3, 313, 44), (20, 1, 314, 14), (118, 4, 317, 37), (41, 1, 318, 50), (85, 2, 320, 43), (160, 3, 320, 44), (42, 1, 324, 14), (18, 0, 333, 48), (47, 1, 334, 14), (176, 0, 336, 25), (87, 2, 340, 36), (170, 3, 341, 41), (121, 4, 342, 37), (23, 1, 345, 50), (142, 4, 351, 57), (131, 4, 352, 59), (148, 3, 353, 44), (89, 2, 357, 31), (136, 5, 357, 55), (73, 6, 360, 84), (155, 3, 360, 58), (144, 3, 362, 44), (164, 3, 362, 44), (147, 3, 363, 34), (149, 3, 364, 44), (159, 3, 368, 63), (129, 5, 377, 55), (152, 3, 385, 44), (81, 2, 385, 69), (186, 0, 387, 32), (161, 3, 394, 44), (123, 4, 397, 77), (143, 3, 399, 44), (153, 3, 404, 44), (157, 3, 406, 85), (57, 6, 413, 84), (138, 4, 415, 67), (108, 7, 420, 102), (182, 2, 420, 52), (175, 0, 421, 32), (168, 3, 421, 44), (172, 3, 428, 44), (173, 3, 428, 44), (134, 4, 433, 77), (135, 4, 440, 77), (117, 5, 440, 83), (83, 2, 448, 46), (120, 4, 451, 77), (72, 6, 452, 84), (133, 4, 455, 80), (103, 7, 466, 102), (97, 7, 472, 102), (114, 7, 476, 102), (172, 8, 480, 118), (126, 4, 483, 77), (140, 4, 489, 77), (74, 2, 493, 69), (25, 2, 496, 93), (137, 4, 500, 101), (132, 5, 503, 91), (180, 4, 508, 80), (127, 4, 516, 77), (106, 7, 522, 116), (115, 7, 523, 116), (116, 7, 523, 116), (55, 6, 531, 113), (161, 8, 531, 118), (124, 5, 539, 110), (144, 9, 540, 133), (111, 7, 540, 115), (154, 8, 542, 118), (95, 7, 549, 102), (159, 8, 557, 118), (66, 6, 567, 113), (128, 5, 567, 124), (149, 8, 578, 131), (20, 2, 580, 111), (177, 2, 581, 111), (64, 6, 584, 130), (63, 6, 586, 130), (99, 7, 587, 134), (185, 2, 591, 103), (164, 9, 594, 133), (153, 9, 597, 133), (96, 10, 600, 149), (169, 8, 607, 135), (93, 7, 611, 136), (162, 8, 613, 137), (101, 7, 614, 128), (58, 6, 618, 138), (173, 9, 619, 133), (56, 6, 619, 138), (183, 2, 629, 121), (147, 5, 634, 139), (21, 2, 637, 141), (110, 7, 642, 128), (143, 9, 644, 147), (102, 7, 646, 145), (38, 2, 647, 122), (145, 9, 647, 133), (98, 10, 650, 149), (141, 4, 653, 126), (59, 6, 655, 138), (92, 7, 656, 136), (69, 6, 656, 138), (184, 11, 660, 170), (100, 7, 664, 136), (60, 6, 668, 138), (54, 6, 673, 138), (156, 8, 675, 152), (158, 8, 678, 150), (53, 6, 681, 138), (68, 6, 684, 138), (157, 9, 685, 155), (94, 7, 694, 136), (104, 10, 695, 149), (139, 4, 703, 114), (105, 7, 704, 136), (44, 7, 704, 168), (165, 9, 705, 164), (160, 9, 712, 164), (185, 12, 720, 186), (65, 6, 721, 138), (146, 9, 722, 164), (109, 7, 728, 162), (152, 8, 730, 175), (67, 6, 731, 138), (155, 9, 731, 178), (188, 10, 739, 149), (112, 10, 741, 180), (166, 8, 742, 175), (148, 9, 745, 164), (150, 9, 751, 164), (167, 5, 762, 158), (163, 9, 762, 178), (171, 5, 771, 158), (61, 6, 772, 173), (71, 6, 773, 187), (50, 7, 774, 183), (151, 9, 775, 164), (38, 13, 780, 205), (70, 6, 781, 187), (107, 10, 782, 149), (174, 8, 788, 195), (62, 6, 796, 187), (178, 4, 799, 166), (168, 9, 813, 164), (113, 10, 835, 194), (181, 11, 837, 170), (36, 7, 838, 183), (42, 13, 838, 205), (88, 14, 840, 216), (51, 7, 866, 203), (170, 9, 866, 204), (52, 7, 890, 214), (182, 12, 891, 186), (80, 14, 892, 216), (28, 13, 893, 205), (177, 15, 900, 223), (179, 9, 901, 199), (37, 7, 906, 214), (75, 14, 908, 216), (77, 14, 926, 216), (25, 13, 931, 205), (30, 13, 950, 215), (24, 13, 950, 222), (29, 7, 952, 219), (86, 14, 952, 226), (82, 14, 955, 216), (76, 14, 959, 221), (41, 13, 967, 222), (90, 14, 970, 226), (40, 7, 975, 225), (91, 14, 982, 216), (33, 11, 986, 213), (45, 13, 992, 215), (78, 14, 999, 233), (43, 13, 1011, 235), (39, 13, 1012, 230), (34, 13, 1016, 230), (84, 14, 1029, 234), (79, 14, 1030, 232), (83, 15, 1033, 223), (22, 7, 1036, 231), (85, 14, 1040, 236), (32, 11, 1040, 239), (81, 13, 1042, 228), (31, 7, 1043, 237), (87, 14, 1060, 234), (49, 13, 1070, 244), (89, 14, 1077, 232), (27, 11, 1079, 239), (23, 13, 1082, 242), (21, 13, 1088, 240), (48, 7, 1114, 252), (46, 11, 1126, 250), (35, 13, 1135, 240), (20, 13, 1136, 240), (47, 13, 1156, 240), (74, 13, 1173, 251), (26, 13, 1202, 263), (183, 13, 1309, 264)],
  halves := [(0, 1, 242, 1), (0, 2, 96, 1), (0, 4, 166, 1), (0, 13, 180, 1), (1, 1, 245, 0), (1, 13, 253, 0), (1, 15, 206, 1), (2, 27, 272, 1), (2, 29, 288, 1), (2, 40, 274, 1), (2, 45, 340, 1), (3, 9, 316, 1), (4, 1, 363, 0), (4, 2, 253, 0), (4, 14, 420, 1), (4, 187, 470, 1), (5, 1, 295, 0), (5, 10, 302, 1), (6, 75, 376, 1), (6, 77, 412, 1), (6, 80, 344, 1), (6, 82, 470, 1), (6, 91, 524, 1), (7, 0, 338, 1), (7, 2, 245, 0), (7, 3, 462, 0), (7, 5, 344, 1), (7, 6, 446, 1), (7, 7, 402, 1), (7, 9, 452, 0), (7, 10, 390, 0), (7, 11, 474, 1), (7, 13, 363, 0), (7, 15, 295, 0), (7, 17, 544, 1), (7, 19, 488, 1), (8, 33, 458, 1), (8, 45, 458, 0), (8, 49, 428, 1), (9, 31, 410, 1), (9, 37, 412, 1), (9, 45, 447, 0), (10, 52, 412, 1), (11, 1, 390, 0), (11, 3, 390, 1), (12, 1, 452, 0), (12, 12, 458, 1), (13, 7, 447, 0), (14, 20, 628, 1), (14, 21, 532, 1), (14, 24, 434, 1), (14, 27, 458, 0), (14, 28, 548, 1), (14, 31, 476, 0), (14, 34, 494, 1), (14, 35, 626, 1), (14, 39, 480, 1), (14, 40, 447, 0), (14, 41, 647, 0), (14, 42, 648, 1), (14, 43, 589, 0), (14, 47, 668, 1), (14, 48, 610, 0), (14, 49, 513, 0), (15, 76, 478, 1), (15, 82, 510, 0), (16, 6, 448, 0), (16, 19, 498, 0), (17, 145, 510, 1), (17, 151, 500, 1), (17, 156, 500, 1), (17, 167, 470, 1), (18, 82, 570, 0), (18, 86, 464, 1), (18, 90, 500, 1), (19, 1, 462, 0), (19, 8, 600, 1), (19, 12, 507, 0), (20, 0, 447, 0), (20, 11, 500, 0), (20, 17, 545, 0), (21, 45, 476, 0), (21, 48, 552, 1), (22, 83, 898, 0), (22, 91, 527, 0), (23, 36, 532, 0), (23, 51, 598, 1), (24, 36, 516, 1), (25, 11, 603, 0), (25, 176, 672, 1), (26, 34, 515, 0), (26, 43, 548, 1), (26, 45, 513, 0), (27, 28, 548, 0), (27, 34, 530, 0), (27, 39, 519, 0), (28, 5, 448, 0), (28, 19, 539, 0), (29, 32, 566, 1), (29, 181, 690, 0), (30, 3, 507, 0), (30, 8, 670, 0), (31, 79, 620, 1), (31, 89, 714, 1), (32, 175, 842, 1), (32, 186, 774, 1), (33, 75, 570, 0), (33, 76, 610, 0), (33, 78, 558, 1), (33, 80, 510, 0), (33, 84, 706, 0), (33, 85, 704, 0), (33, 90, 576, 0), (34, 145, 618, 0), (34, 147, 726, 1), (34, 150, 610, 1), (34, 151, 565, 0), (34, 170, 709, 0), (34, 171, 606, 1), (35, 7, 500, 0), (35, 14, 603, 0), (35, 17, 580, 0), (35, 18, 699, 0), (36, 82, 610, 0), (36, 84, 618, 1), (36, 87, 680, 1), (37, 118, 634, 1), (37, 119, 600, 1), (37, 121, 684, 1), (37, 125, 608, 1), (38, 24, 519, 0), (39, 5, 498, 0), (39, 6, 539, 0), (40, 24, 530, 0), (40, 49, 515, 0), (41, 145, 633, 0), (41, 167, 565, 0), (41, 170, 682, 1), (42, 145, 567, 0), (42, 162, 624, 1), (43, 78, 647, 0), (43, 82, 576, 0), (43, 85, 640, 1), (44, 143, 798, 1), (44, 144, 724, 1), (44, 148, 706, 1), (44, 149, 728, 1), (44, 150, 664, 0), (44, 151, 633, 0), (44, 152, 770, 1), (44, 153, 808, 1), (44, 156, 567, 0), (44, 158, 856, 0), (44, 159, 794, 0), (44, 160, 640, 1), (44, 161, 788, 1), (44, 162, 686, 0), (44, 164, 724, 1), (44, 165, 626, 1), (44, 167, 618, 0), (44, 168, 842, 1), (44, 171, 709, 0), (44, 172, 856, 1), (44, 173, 856, 1), (45, 37, 532, 0), (45, 44, 690, 0), (46, 77, 527, 0), (46, 83, 896, 1), (47, 20, 637, 0), (47, 35, 648, 0), (48, 7, 545, 0), (48, 11, 580, 0), (48, 18, 666, 1), (49, 24, 548, 0), (49, 38, 690, 0), (49, 41, 666, 0), (49, 42, 655, 0), (50, 23, 690, 1), (50, 41, 636, 1), (50, 45, 589, 0), (51, 20, 679, 0), (51, 45, 610, 0), (52, 90, 647, 0), (52, 182, 840, 1), (53, 23, 690, 0), (53, 46, 690, 0), (54, 50, 690, 0), (55, 129, 754, 1), (55, 136, 714, 1), (56, 12, 670, 0), (57, 118, 708, 0), (57, 121, 745, 0), (57, 142, 702, 1), (58, 145, 709, 0), (58, 147, 803, 0), (58, 150, 657, 0), (58, 155, 720, 1), (59, 121, 771, 0), (59, 131, 704, 1), (60, 145, 664, 0), (60, 171, 657, 0), (61, 82, 706, 0), (61, 87, 775, 0), (62, 89, 715, 0), (63, 145, 686, 0), (63, 149, 736, 0), (63, 159, 736, 1), (64, 21, 648, 0), (64, 26, 690, 0), (64, 47, 690, 0), (65, 148, 711, 0), (65, 160, 679, 0), (66, 21, 637, 0), (66, 48, 679, 0), (66, 83, 690, 0), (67, 119, 708, 0), (67, 121, 835, 0), (67, 138, 830, 1), (68, 28, 666, 0), (68, 30, 690, 0), (68, 45, 647, 0), (69, 74, 986, 1), (69, 81, 770, 1), (69, 82, 704, 0), (70, 148, 725, 0), (70, 165, 679, 0), (71, 28, 655, 0), (71, 30, 690, 0), (71, 38, 690, 0), (72, 11, 699, 0), (73, 26, 690, 0), (73, 35, 690, 0), (74, 117, 917, 2), (75, 84, 775, 0), (76, 167, 709, 0), (77, 118, 835, 0), (77, 119, 745, 0), (77, 120, 902, 1), (77, 123, 794, 1), (77, 125, 771, 0), (77, 126, 966, 1), (77, 127, 1032, 1), (77, 129, 864, 0), (77, 131, 862, 0), (77, 133, 937, 0), (77, 134, 866, 1), (77, 135, 880, 1), (77, 136, 860, 0), (77, 140, 978, 1), (77, 142, 792, 0), (78, 32, 690, 0), (78, 46, 690, 0), (79, 121, 792, 0), (79, 129, 780, 2), (80, 121, 862, 0), (80, 133, 910, 1), (80, 180, 1016, 1), (81, 152, 787, 0), (81, 160, 725, 0), (81, 165, 711, 0), (81, 168, 845, 0), (82, 79, 715, 0), (83, 117, 880, 1), (83, 121, 860, 0), (84, 57, 826, 1), (84, 72, 904, 1), (85, 157, 812, 1), (85, 163, 856, 0), (86, 153, 823, 0), (86, 164, 778, 0), (86, 173, 856, 0), (87, 143, 811, 0), (87, 144, 778, 0), (87, 153, 815, 0), (88, 128, 856, 0), (88, 171, 803, 0), (89, 161, 805, 0), (89, 162, 736, 0), (90, 145, 794, 0), (90, 172, 856, 0), (91, 121, 864, 0), (91, 132, 1006, 1), (91, 142, 780, 2), (92, 148, 787, 0), (92, 158, 856, 0), (93, 25, 992, 1), (93, 74, 1009, 0), (95, 149, 805, 0), (95, 172, 856, 0), (96, 135, 895, 0), (97, 153, 856, 0), (97, 164, 811, 0), (98, 143, 856, 0), (98, 144, 823, 0), (98, 164, 815, 0), (99, 163, 856, 0), (99, 173, 856, 0), (100, 66, 1143, 0), (100, 72, 921, 0), (101, 137, 1000, 1), (102, 95, 1098, 1), (102, 97, 944, 1), (102, 103, 932, 1), (102, 114, 952, 1), (103, 185, 1182, 1), (105, 148, 845, 0), (105, 174, 856, 0), (106, 154, 856, 0), (106, 159, 856, 0), (106, 161, 856, 0), (107, 144, 856, 0), (107, 157, 856, 0), (108, 120, 941, 0), (108, 133, 940, 0), (108, 140, 1026, 0), (109, 123, 895, 0), (109, 126, 971, 0), (109, 127, 1035, 0), (110, 124, 1078, 1), (110, 176, 917, 2), (111, 20, 1160, 1), (111, 77, 898, 0), (111, 177, 1162, 1), (112, 133, 995, 0), (112, 134, 941, 0), (112, 140, 988, 0), (113, 55, 1062, 1), (113, 57, 921, 0), (113, 66, 1134, 1), (114, 120, 995, 0), (114, 121, 937, 0), (114, 134, 940, 0), (114, 139, 1406, 1), (115, 95, 1156, 0), (115, 111, 1080, 1), (115, 114, 1017, 0), (116, 95, 1115, 0), (116, 106, 1044, 1), (116, 115, 1046, 1), (116, 116, 1046, 1), (117, 103, 1017, 0), (118, 145, 1300, 2), (118, 154, 1084, 1), (118, 159, 1114, 1), (118, 161, 1062, 1), (119, 124, 1092, 0), (119, 127, 1066, 0), (119, 135, 971, 0), (120, 120, 988, 0), (120, 134, 1026, 0), (120, 139, 1444, 0), (121, 81, 1009, 0), (121, 183, 1258, 1), (122, 30, 1294, 0), (122, 38, 1294, 1), (123, 128, 1149, 0), (124, 128, 1134, 1), (126, 126, 1066, 0), (126, 135, 1035, 0), (126, 141, 1306, 1), (127, 95, 1132, 0), (127, 116, 1106, 0), (128, 95, 1180, 0), (128, 101, 1228, 1), (128, 110, 1284, 1), (128, 116, 1091, 0), (129, 95, 1135, 0), (129, 106, 1106, 0), (129, 115, 1091, 0), (130, 63, 1172, 1), (130, 64, 1168, 1), (130, 66, 1186, 0), (131, 145, 1317, 0), (131, 149, 1156, 1), (132, 126, 1092, 0), (132, 141, 1337, 0), (133, 145, 1294, 1), (133, 153, 1194, 1), (133, 164, 1188, 1), (133, 173, 1238, 1), (134, 95, 1213, 0), (134, 99, 1174, 1), (135, 169, 1214, 1), (136, 92, 1312, 1), (136, 93, 1222, 1), (136, 94, 1388, 1), (136, 97, 1115, 0), (136, 99, 1233, 0), (136, 100, 1328, 1), (136, 102, 1333, 0), (136, 103, 1156, 0), (136, 105, 1408, 1), (136, 106, 1132, 0), (136, 111, 1213, 0), (136, 115, 1180, 0), (136, 116, 1135, 0), (137, 145, 1375, 0), (137, 162, 1226, 1), (138, 53, 1362, 1), (138, 54, 1346, 1), (138, 55, 1186, 0), (138, 56, 1238, 1), (138, 57, 1143, 0), (138, 58, 1236, 1), (138, 59, 1310, 1), (138, 60, 1336, 1), (138, 63, 1260, 0), (138, 64, 1202, 0), (138, 65, 1442, 1), (138, 67, 1462, 1), (138, 68, 1368, 1), (138, 69, 1312, 1), (139, 137, 1149, 0), (139, 147, 1268, 1), (140, 145, 1334, 0), (140, 162, 1251, 0), (141, 21, 1274, 1), (141, 45, 1294, 0), (141, 48, 1294, 0), (143, 63, 1226, 0), (143, 66, 1202, 0), (144, 64, 1226, 0), (144, 66, 1260, 0), (145, 95, 1233, 0), (145, 102, 1292, 1), (147, 143, 1288, 1), (147, 145, 1348, 0), (147, 153, 1240, 0), (148, 143, 1308, 0), (148, 145, 1393, 0), (148, 164, 1240, 0), (149, 98, 1300, 1), (149, 104, 1390, 1), (149, 107, 1564, 1), (149, 188, 1478, 1), (150, 158, 1356, 1), (151, 92, 1314, 0), (151, 100, 1383, 0), (152, 145, 1379, 0), (152, 149, 1251, 0), (152, 156, 1350, 1), (153, 110, 1322, 0), (154, 54, 1346, 0), (155, 145, 1439, 0), (155, 157, 1370, 1), (156, 60, 1336, 0), (156, 69, 1345, 0), (158, 167, 1524, 1), (158, 171, 1542, 1), (159, 35, 1294, 0), (159, 45, 1294, 0), (160, 101, 1322, 0), (161, 145, 1435, 0), (161, 153, 1308, 0), (162, 95, 1333, 0), (162, 105, 1408, 0), (162, 109, 1456, 1), (163, 28, 1294, 0), (163, 42, 1294, 0), (164, 143, 1435, 0), (164, 146, 1444, 1), (164, 148, 1490, 1), (164, 149, 1334, 0), (164, 150, 1502, 1), (164, 151, 1550, 1), (164, 152, 1507, 0), (164, 153, 1393, 0), (164, 156, 1384, 0), (164, 158, 1499, 0), (164, 159, 1375, 0), (164, 160, 1424, 1), (164, 161, 1317, 0), (164, 162, 1379, 0), (164, 164, 1348, 0), (164, 165, 1410, 1), (164, 167, 1537, 2), (164, 168, 1626, 1), (164, 171, 1569, 0), (164, 172, 1300, 2), (164, 173, 1439, 0), (165, 104, 1401, 0), (165, 107, 1623, 0), (166, 124, 1337, 0), (166, 178, 1598, 1), (167, 53, 1381, 0), (167, 68, 1384, 0), (168, 44, 1408, 1), (168, 93, 1314, 0), (168, 94, 1420, 0), (168, 100, 1426, 0), (169, 56, 1345, 0), (169, 65, 1459, 0), (170, 181, 1674, 1), (171, 44, 1426, 0), (171, 92, 1426, 0), (171, 93, 1383, 0), (172, 56, 1336, 0), (172, 68, 1418, 0), (173, 53, 1413, 0), (173, 58, 1346, 0), (173, 61, 1544, 1), (173, 67, 1468, 0), (174, 145, 1384, 0), (174, 146, 1467, 0), (175, 145, 1499, 0), (175, 152, 1460, 1), (175, 166, 1484, 1), (176, 54, 1413, 0), (176, 59, 1381, 0), (177, 59, 1384, 0), (177, 60, 1418, 0), (178, 155, 1462, 1), (178, 163, 1524, 1), (179, 92, 1420, 0), (179, 104, 1450, 2), (179, 105, 1445, 0), (180, 94, 1450, 2), (180, 98, 1401, 0), (180, 112, 1482, 1), (181, 107, 1593, 2), (181, 140, 1444, 0), (182, 94, 1445, 0), (182, 102, 1408, 0), (182, 109, 1508, 0), (182, 112, 1530, 0), (183, 36, 1676, 1), (183, 50, 1548, 1), (183, 100, 1426, 0), (184, 148, 1495, 0), (184, 160, 1463, 0), (185, 148, 1509, 0), (185, 165, 1463, 0), (186, 182, 1782, 1), (187, 62, 1592, 1), (187, 69, 1459, 0), (187, 70, 1562, 1), (187, 71, 1546, 1), (188, 151, 1567, 0), (188, 156, 1467, 0), (188, 167, 1539, 0), (189, 105, 1508, 0), (189, 113, 1692, 0), (190, 145, 1507, 0), (190, 148, 1524, 0), (191, 54, 1468, 0), (191, 61, 1550, 0), (192, 163, 1603, 0), (192, 171, 1559, 0), (194, 105, 1530, 0), (194, 113, 1670, 1), (195, 174, 1576, 1), (196, 152, 1524, 0), (196, 160, 1509, 0), (196, 165, 1495, 0), (196, 168, 1629, 0), (197, 167, 1583, 0), (197, 171, 1571, 0), (198, 145, 1537, 2), (198, 146, 1539, 0), (198, 150, 1583, 0), (198, 151, 1617, 0), (198, 170, 1761, 0), (198, 171, 1601, 0), (199, 155, 1603, 0), (199, 179, 1802, 1), (200, 145, 1569, 0), (200, 150, 1571, 0), (200, 155, 1559, 0), (200, 167, 1601, 0), (201, 67, 1550, 0), (202, 62, 1625, 0), (202, 70, 1631, 0), (203, 51, 1732, 1), (204, 146, 1567, 0), (204, 167, 1617, 0), (204, 170, 1732, 1), (205, 25, 1862, 1), (205, 28, 1786, 1), (205, 42, 1676, 1), (206, 71, 1631, 0), (207, 98, 1623, 0), (207, 139, 1593, 2), (208, 168, 1677, 0), (209, 71, 1625, 0), (209, 178, 1722, 2), (210, 62, 1722, 2), (211, 148, 1629, 0), (211, 174, 1677, 0), (212, 109, 1692, 0), (213, 33, 1972, 1), (214, 37, 1812, 1), (214, 52, 1780, 1), (215, 28, 1788, 0), (215, 30, 1900, 1), (215, 45, 1984, 1), (216, 75, 1816, 1), (216, 77, 1852, 1), (216, 80, 1784, 1), (216, 82, 1910, 1), (216, 91, 1964, 1), (217, 37, 1865, 0), (218, 167, 1761, 0), (219, 29, 1904, 1), (220, 78, 2031, 2), (221, 76, 1918, 1), (221, 82, 1950, 0), (222, 24, 1900, 1), (222, 41, 1934, 1), (222, 42, 1788, 0), (222, 45, 1989, 0), (223, 83, 2066, 1), (225, 40, 1950, 1), (225, 51, 1865, 0), (226, 82, 2010, 0), (226, 86, 1904, 1), (226, 90, 1940, 1), (227, 83, 2203, 0), (227, 91, 1967, 0), (228, 30, 2062, 0), (228, 81, 2084, 1), (229, 25, 2062, 0), (229, 41, 2024, 0), (230, 34, 2032, 1), (230, 39, 2024, 1), (230, 45, 1989, 0), (231, 22, 2072, 1), (232, 79, 2060, 1), (232, 89, 2154, 1), (233, 75, 2010, 0), (233, 76, 2050, 0), (233, 78, 1998, 1), (233, 80, 1950, 0), (233, 84, 2146, 0), (233, 85, 2144, 0), (233, 90, 2016, 0), (234, 82, 2050, 0), (234, 84, 2058, 1), (234, 87, 2120, 1), (235, 30, 2024, 0), (235, 43, 2022, 1), (235, 45, 2118, 0), (236, 78, 2087, 0), (236, 82, 2016, 0), (236, 85, 2080, 1), (237, 22, 2088, 0), (237, 31, 2086, 1), (237, 45, 2107, 2), (238, 77, 1967, 0), (238, 83, 2201, 2), (239, 27, 2158, 1), (239, 32, 2080, 1), (240, 20, 2272, 1), (240, 21, 2176, 1), (240, 22, 2138, 0), (240, 24, 1989, 0), (240, 27, 2223, 0), (240, 28, 1989, 0), (240, 31, 2136, 0), (240, 34, 2085, 0), (240, 35, 2270, 1), (240, 39, 2074, 0), (240, 40, 2107, 2), (240, 41, 2118, 0), (240, 43, 2148, 0), (240, 47, 2312, 1), (240, 48, 2270, 0), (240, 49, 2191, 0), (241, 90, 2087, 0), (241, 182, 2031, 2), (242, 23, 2164, 1), (242, 45, 2148, 0), (242, 49, 2141, 0), (243, 45, 2074, 0), (244, 45, 2085, 0), (244, 49, 2140, 1), (245, 82, 2146, 0), (245, 87, 2215, 0), (246, 89, 2155, 0), (247, 20, 2301, 2), (247, 77, 2203, 0), (247, 91, 2201, 2), (248, 27, 2191, 2), (248, 40, 2088, 0), (248, 45, 2138, 0), (249, 74, 2386, 0), (249, 81, 2147, 2), (249, 82, 2144, 0), (250, 23, 2193, 2), (250, 46, 2252, 1), (251, 74, 2346, 1), (251, 85, 2147, 2), (252, 45, 2136, 0), (252, 48, 2228, 1), (253, 84, 2215, 0), (254, 27, 2227, 0), (254, 43, 2141, 0), (254, 45, 2191, 0), (255, 79, 2155, 0), (256, 22, 2191, 2), (256, 45, 2223, 0), (256, 49, 2227, 0), (257, 32, 2193, 2), (257, 46, 2260, 0), (258, 20, 2281, 0), (258, 35, 2292, 0), (259, 20, 2339, 0), (259, 45, 2270, 0), (260, 23, 2260, 0), (261, 21, 2292, 0), (261, 26, 2410, 0), (261, 47, 2341, 0), (262, 21, 2281, 0), (262, 48, 2339, 0), (262, 83, 2301, 2), (263, 26, 2404, 1), (263, 35, 2341, 0), (264, 85, 2386, 0), (264, 183, 2618, 1), (265, 35, 2410, 0)],
  meetings := [(282, 253), (319, 232), (478, 341), (516, 514), (557, 475), (581, 519), (585, 584), (668, 603), (661, 646), (690, 685), (698, 681), (701, 687), (680, 648), (713, 678)]
}

end Growth