[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 430, 1 ] =
W(215,2).
(I) Following is a form readable by MAGMA:
g:=Graph<430|{ {2, 3}, {428, 429}, {426, 427}, {424, 425}, {422, 423}, {420,
421}, {418, 419}, {416, 417}, {414, 415}, {412, 413}, {410, 411}, {408, 409},
{406, 407}, {404, 405}, {402, 403}, {400, 401}, {398, 399}, {396, 397}, {394,
395}, {392, 393}, {390, 391}, {388, 389}, {386, 387}, {384, 385}, {382, 383},
{380, 381}, {378, 379}, {376, 377}, {374, 375}, {372, 373}, {370, 371}, {368,
369}, {366, 367}, {364, 365}, {362, 363}, {360, 361}, {358, 359}, {356, 357},
{354, 355}, {352, 353}, {350, 351}, {348, 349}, {346, 347}, {344, 345}, {342,
343}, {340, 341}, {338, 339}, {336, 337}, {334, 335}, {332, 333}, {330, 331},
{328, 329}, {326, 327}, {324, 325}, {322, 323}, {320, 321}, {318, 319}, {316,
317}, {314, 315}, {312, 313}, {310, 311}, {308, 309}, {306, 307}, {304, 305},
{302, 303}, {300, 301}, {298, 299}, {296, 297}, {294, 295}, {292, 293}, {290,
291}, {288, 289}, {286, 287}, {284, 285}, {282, 283}, {280, 281}, {278, 279},
{276, 277}, {274, 275}, {272, 273}, {270, 271}, {268, 269}, {266, 267}, {264,
265}, {262, 263}, {260, 261}, {258, 259}, {256, 257}, {254, 255}, {252, 253},
{250, 251}, {248, 249}, {246, 247}, {244, 245}, {242, 243}, {240, 241}, {238,
239}, {236, 237}, {234, 235}, {232, 233}, {230, 231}, {228, 229}, {226, 227},
{224, 225}, {222, 223}, {220, 221}, {218, 219}, {216, 217}, {214, 215}, {212,
213}, {210, 211}, {208, 209}, {206, 207}, {204, 205}, {202, 203}, {200, 201},
{198, 199}, {114, 115}, {112, 113}, {110, 111}, {108, 109}, {106, 107}, {104,
105}, {102, 103}, {100, 101}, {98, 99}, {96, 97}, {94, 95}, {92, 93}, {90, 91},
{88, 89}, {86, 87}, {84, 85}, {82, 83}, {80, 81}, {78, 79}, {76, 77}, {74, 75},
{72, 73}, {70, 71}, {4, 5}, {6, 7}, {8, 9}, {10, 11}, {12, 13}, {14, 15}, {16,
17}, {18, 19}, {20, 21}, {22, 23}, {24, 25}, {26, 27}, {28, 29}, {30, 31}, {32,
33}, {34, 35}, {36, 37}, {38, 39}, {40, 41}, {42, 43}, {44, 45}, {46, 47}, {48,
49}, {50, 51}, {52, 53}, {54, 55}, {56, 57}, {58, 59}, {60, 61}, {62, 63}, {64,
65}, {66, 67}, {68, 69}, {116, 117}, {118, 119}, {120, 121}, {122, 123}, {124,
125}, {126, 127}, {128, 129}, {130, 131}, {132, 133}, {134, 135}, {136, 137},
{138, 139}, {140, 141}, {142, 143}, {144, 145}, {146, 147}, {148, 149}, {150,
151}, {152, 153}, {154, 155}, {156, 157}, {158, 159}, {160, 161}, {162, 163},
{164, 165}, {166, 167}, {168, 169}, {170, 171}, {172, 173}, {174, 175}, {176,
177}, {178, 179}, {180, 181}, {182, 183}, {184, 185}, {186, 187}, {188, 189},
{190, 191}, {192, 193}, {194, 195}, {196, 197}, {1, 2}, {429, 430}, {425, 426},
{421, 422}, {417, 418}, {413, 414}, {409, 410}, {405, 406}, {401, 402}, {397,
398}, {393, 394}, {389, 390}, {385, 386}, {381, 382}, {377, 378}, {373, 374},
{369, 370}, {365, 366}, {361, 362}, {357, 358}, {353, 354}, {349, 350}, {345,
346}, {341, 342}, {337, 338}, {333, 334}, {329, 330}, {325, 326}, {321, 322},
{317, 318}, {313, 314}, {309, 310}, {305, 306}, {301, 302}, {297, 298}, {293,
294}, {289, 290}, {285, 286}, {281, 282}, {277, 278}, {273, 274}, {269, 270},
{265, 266}, {261, 262}, {257, 258}, {253, 254}, {249, 250}, {245, 246}, {241,
242}, {237, 238}, {233, 234}, {229, 230}, {225, 226}, {221, 222}, {217, 218},
{213, 214}, {209, 210}, {205, 206}, {201, 202}, {113, 114}, {109, 110}, {105,
106}, {101, 102}, {97, 98}, {93, 94}, {89, 90}, {85, 86}, {81, 82}, {77, 78},
{73, 74}, {69, 70}, {5, 6}, {9, 10}, {13, 14}, {17, 18}, {21, 22}, {25, 26},
{29, 30}, {33, 34}, {37, 38}, {41, 42}, {45, 46}, {49, 50}, {53, 54}, {57, 58},
{61, 62}, {65, 66}, {117, 118}, {121, 122}, {125, 126}, {129, 130}, {133, 134},
{137, 138}, {141, 142}, {145, 146}, {149, 150}, {153, 154}, {157, 158}, {161,
162}, {165, 166}, {169, 170}, {173, 174}, {177, 178}, {181, 182}, {185, 186},
{189, 190}, {193, 194}, {197, 198}, {3, 4}, {427, 428}, {419, 420}, {411, 412},
{403, 404}, {395, 396}, {387, 388}, {379, 380}, {371, 372}, {363, 364}, {355,
356}, {347, 348}, {339, 340}, {331, 332}, {323, 324}, {315, 316}, {307, 308},
{299, 300}, {291, 292}, {283, 284}, {275, 276}, {267, 268}, {259, 260}, {251,
252}, {243, 244}, {235, 236}, {227, 228}, {219, 220}, {211, 212}, {203, 204},
{115, 116}, {107, 108}, {99, 100}, {91, 92}, {83, 84}, {75, 76}, {11, 12}, {19,
20}, {27, 28}, {35, 36}, {43, 44}, {51, 52}, {59, 60}, {67, 68}, {123, 124},
{131, 132}, {139, 140}, {147, 148}, {155, 156}, {163, 164}, {171, 172}, {179,
180}, {187, 188}, {195, 196}, {7, 8}, {423, 424}, {407, 408}, {391, 392}, {375,
376}, {359, 360}, {343, 344}, {327, 328}, {311, 312}, {295, 296}, {279, 280},
{263, 264}, {247, 248}, {231, 232}, {215, 216}, {199, 200}, {103, 104}, {87,
88}, {71, 72}, {23, 24}, {39, 40}, {55, 56}, {119, 120}, {135, 136}, {151, 152},
{167, 168}, {183, 184}, {15, 16}, {399, 400}, {367, 368}, {335, 336}, {303,
304}, {271, 272}, {239, 240}, {207, 208}, {111, 112}, {79, 80}, {47, 48}, {143,
144}, {175, 176}, {31, 32}, {415, 416}, {351, 352}, {287, 288}, {223, 224}, {95,
96}, {159, 160}, {63, 64}, {319, 320}, {191, 192}, {1, 215}, {8, 222}, {9, 223},
{32, 246}, {33, 247}, {40, 254}, {41, 255}, {1, 217}, {2, 218}, {3, 219}, {4,
220}, {5, 221}, {6, 222}, {7, 223}, {32, 248}, {33, 249}, {34, 250}, {35, 251},
{36, 252}, {37, 253}, {38, 254}, {39, 255}, {2, 216}, {3, 217}, {6, 220}, {7,
221}, {34, 248}, {35, 249}, {38, 252}, {39, 253}, {4, 218}, {5, 219}, {36, 250},
{37, 251}, {8, 224}, {9, 225}, {10, 226}, {11, 227}, {12, 228}, {13, 229}, {14,
230}, {15, 231}, {24, 240}, {25, 241}, {26, 242}, {27, 243}, {28, 244}, {29,
245}, {30, 246}, {31, 247}, {10, 224}, {11, 225}, {14, 228}, {15, 229}, {26,
240}, {27, 241}, {30, 244}, {31, 245}, {12, 226}, {13, 227}, {28, 242}, {29,
243}, {16, 230}, {17, 231}, {24, 238}, {25, 239}, {16, 232}, {17, 233}, {18,
234}, {19, 235}, {20, 236}, {21, 237}, {22, 238}, {23, 239}, {18, 232}, {19,
233}, {22, 236}, {23, 237}, {20, 234}, {21, 235}, {127, 128}, {383, 384}, {40,
256}, {111, 327}, {110, 326}, {109, 325}, {108, 324}, {107, 323}, {106, 322},
{105, 321}, {104, 320}, {41, 257}, {42, 258}, {43, 259}, {44, 260}, {45, 261},
{46, 262}, {47, 263}, {56, 272}, {57, 273}, {58, 274}, {59, 275}, {60, 276},
{61, 277}, {62, 278}, {63, 279}, {120, 336}, {121, 337}, {122, 338}, {123, 339},
{124, 340}, {125, 341}, {126, 342}, {127, 343}, {168, 384}, {169, 385}, {170,
386}, {171, 387}, {172, 388}, {173, 389}, {174, 390}, {175, 391}, {184, 400},
{185, 401}, {186, 402}, {187, 403}, {188, 404}, {189, 405}, {190, 406}, {191,
407}, {42, 256}, {111, 325}, {110, 324}, {107, 321}, {106, 320}, {43, 257}, {46,
260}, {47, 261}, {58, 272}, {59, 273}, {62, 276}, {63, 277}, {122, 336}, {123,
337}, {126, 340}, {127, 341}, {170, 384}, {171, 385}, {174, 388}, {175, 389},
{186, 400}, {187, 401}, {190, 404}, {191, 405}, {44, 258}, {109, 323}, {108,
322}, {45, 259}, {60, 274}, {61, 275}, {124, 338}, {125, 339}, {172, 386}, {173,
387}, {188, 402}, {189, 403}, {48, 262}, {113, 327}, {112, 326}, {49, 263}, {56,
270}, {57, 271}, {120, 334}, {121, 335}, {176, 390}, {177, 391}, {184, 398},
{185, 399}, {48, 264}, {114, 330}, {113, 329}, {112, 328}, {49, 265}, {50, 266},
{51, 267}, {52, 268}, {53, 269}, {54, 270}, {55, 271}, {115, 331}, {116, 332},
{117, 333}, {118, 334}, {119, 335}, {176, 392}, {177, 393}, {178, 394}, {179,
395}, {180, 396}, {181, 397}, {182, 398}, {183, 399}, {50, 264}, {115, 329},
{114, 328}, {51, 265}, {54, 268}, {55, 269}, {118, 332}, {119, 333}, {178, 392},
{179, 393}, {182, 396}, {183, 397}, {52, 266}, {53, 267}, {116, 330}, {117,
331}, {180, 394}, {181, 395}, {64, 278}, {201, 415}, {200, 414}, {105, 319},
{104, 318}, {97, 311}, {96, 310}, {73, 287}, {72, 286}, {65, 279}, {192, 406},
{193, 407}, {64, 280}, {199, 415}, {198, 414}, {197, 413}, {103, 319}, {102,
318}, {101, 317}, {100, 316}, {99, 315}, {98, 314}, {97, 313}, {96, 312}, {71,
287}, {70, 286}, {69, 285}, {65, 281}, {66, 282}, {67, 283}, {68, 284}, {192,
408}, {193, 409}, {194, 410}, {195, 411}, {196, 412}, {66, 280}, {199, 413},
{198, 412}, {103, 317}, {102, 316}, {99, 313}, {98, 312}, {71, 285}, {70, 284},
{67, 281}, {194, 408}, {195, 409}, {68, 282}, {101, 315}, {100, 314}, {69, 283},
{196, 410}, {197, 411}, {72, 288}, {207, 423}, {206, 422}, {205, 421}, {204,
420}, {203, 419}, {202, 418}, {201, 417}, {200, 416}, {95, 311}, {94, 310}, {93,
309}, {92, 308}, {91, 307}, {90, 306}, {89, 305}, {88, 304}, {79, 295}, {78,
294}, {77, 293}, {76, 292}, {75, 291}, {74, 290}, {73, 289}, {74, 288}, {207,
421}, {206, 420}, {203, 417}, {202, 416}, {95, 309}, {94, 308}, {91, 305}, {90,
304}, {79, 293}, {78, 292}, {75, 289}, {76, 290}, {205, 419}, {204, 418}, {93,
307}, {92, 306}, {77, 291}, {80, 294}, {216, 430}, {209, 423}, {208, 422}, {89,
303}, {88, 302}, {81, 295}, {80, 296}, {214, 430}, {213, 429}, {212, 428}, {211,
427}, {210, 426}, {209, 425}, {208, 424}, {87, 303}, {86, 302}, {85, 301}, {84,
300}, {83, 299}, {82, 298}, {81, 297}, {82, 296}, {215, 429}, {214, 428}, {211,
425}, {210, 424}, {87, 301}, {86, 300}, {83, 297}, {84, 298}, {213, 427}, {212,
426}, {85, 299}, {1, 430}, {128, 342}, {129, 343}, {136, 350}, {137, 351}, {160,
374}, {161, 375}, {168, 382}, {169, 383}, {128, 344}, {129, 345}, {130, 346},
{131, 347}, {132, 348}, {133, 349}, {134, 350}, {135, 351}, {160, 376}, {161,
377}, {162, 378}, {163, 379}, {164, 380}, {165, 381}, {166, 382}, {167, 383},
{130, 344}, {131, 345}, {134, 348}, {135, 349}, {162, 376}, {163, 377}, {166,
380}, {167, 381}, {132, 346}, {133, 347}, {164, 378}, {165, 379}, {136, 352},
{137, 353}, {138, 354}, {139, 355}, {140, 356}, {141, 357}, {142, 358}, {143,
359}, {152, 368}, {153, 369}, {154, 370}, {155, 371}, {156, 372}, {157, 373},
{158, 374}, {159, 375}, {138, 352}, {139, 353}, {142, 356}, {143, 357}, {154,
368}, {155, 369}, {158, 372}, {159, 373}, {140, 354}, {141, 355}, {156, 370},
{157, 371}, {144, 358}, {145, 359}, {152, 366}, {153, 367}, {144, 360}, {145,
361}, {146, 362}, {147, 363}, {148, 364}, {149, 365}, {150, 366}, {151, 367},
{146, 360}, {147, 361}, {150, 364}, {151, 365}, {148, 362}, {149, 363}, {255,
256} }>;
(II) A more general form is to represent the graph as the orbit of {2, 3}
under the group generated by the following permutations:
a: (7, 222) (III) Last is Groups&Graphs. Copy everything between (not including)
the lines of asterisks into a plain text file and save it as "graph.txt". Then
launch G&G (Groups&Graphs) and select Read Text from the File menu.
**************
&Graph **************
b: (18, 233)
c: (5, 220)
d: (183, 398)
e: (55, 270)
f: (119, 334)
g: (179, 394)
h: (51, 266)
m: (115, 330)
n1: (185, 400)
a1: (57, 272)
b1: (121, 336)
c1: (101, 316)
d1: (104, 319)
e1: (3, 218)
f1: (96, 311)
g1: (132, 347)
h1: (176, 391)
m1: (48, 263)
n2: (112, 327)
a2: (210, 425)
b2: (34, 249)
c2: (82, 297)
d2: (208, 423)
e2: (80, 295)
f2: (88, 303)
g2: (9, 224)
h2: (158, 373)
m2: (167, 382)
n3: (8, 223)
a3: (211, 426)
b3: (169, 384)
c3: (83, 298)
d3: (204, 419)
e3: (76, 291)
f3: (39, 254)
g3: (20, 235)
h3: (197, 412)
m3: (69, 284)
n4: (97, 312)
a4: (207, 422)
b4: (79, 294)
c4: (166, 381)
d4: (212, 427)
e4: (141, 356)
f4: (84, 299)
g4: (98, 313)
h4: (148, 363)
m4: (26, 241)
n5: (160, 375)
a5: (198, 413)
b5: (70, 285)
c5: (177, 392)
d5: (49, 264)
e5: (113, 328)
f5: (165, 380)
g5: (190, 405)
h5: (6, 221)
m5: (62, 277)
n6: (126, 341)
a6: (133, 348)
b6: (181, 396)
c6: (53, 268)
d6: (117, 332)
e6: (199, 414)
f6: (71, 286)
g6: (36, 251)
h6: (23, 238)
m6: (129, 344)
n7: (93, 308)
a7: (41, 256)
b7: (30, 245)
c7: (28, 243)
d7: (186, 401)
e7: (58, 273)
f7: (122, 337)
g7: (162, 377)
h7: (15, 230)
m7: (12, 227)
n8: (195, 410)
a8: (67, 282)
b8: (89, 304)
c8: (103, 318)
d8: (146, 361)
e8: (40, 255)
f8: (25, 240)
g8: (90, 305)
h8: (201, 416)
m8: (139, 354)
n9: (73, 288)
a9: (13, 228)
b9: (140, 355)
c9: (35, 250)
d9: (173, 388)
e9: (45, 260)
f9: (109, 324)
g9: (202, 417)
h9: (74, 289)
m9: (206, 421)
n10: (78, 293)
a10: (174, 389)
b10: (46, 261)
c10: (110, 325)
d10: (191, 406)
e10: (63, 278)
f10: (127, 342)
g10: (10, 225)
h10: (136, 351)
m10: (137, 352)
n11: (100, 315)
a11: (203, 418)
b11: (75, 290)
c11: (92, 307)
d11: (149, 364)
e11: (105, 320)
f11: (99, 314)
g11: (135, 350)
h11: (214, 429)
m11: (86, 301)
n12: (27, 242)
a12: (187, 402)
b12: (59, 274)
c12: (123, 338)
d12: (188, 403)
e12: (19, 234)
f12: (60, 275)
g12: (124, 339)
h12: (143, 358)
m12: (2, 215)(3, 214)(4, 213)(5, 212)(6, 211)(7, 210)(8, 209)(9, 208)(10,
207)(11, 206)(12, 205)(13, 204)(14, 203)(15, 202)(16, 201)(17, 200)(18, 199)(19,
198)(20, 197)(21, 196)(22, 195)(23, 194)(24, 193)(25, 192)(26, 191)(27, 190)(28,
189)(29, 188)(30, 187)(31, 186)(32, 185)(33, 184)(34, 183)(35, 182)(36, 181)(37,
180)(38, 179)(39, 178)(40, 177)(41, 176)(42, 175)(43, 174)(44, 173)(45, 172)(46,
171)(47, 170)(48, 169)(49, 168)(50, 167)(51, 166)(52, 165)(53, 164)(54, 163)(55,
162)(56, 161)(57, 160)(58, 159)(59, 158)(60, 157)(61, 156)(62, 155)(63, 154)(64,
153)(65, 152)(66, 151)(67, 150)(68, 149)(69, 148)(70, 147)(71, 146)(72, 145)(73,
144)(74, 143)(75, 142)(76, 141)(77, 140)(78, 139)(79, 138)(80, 137)(81, 136)(82,
135)(83, 134)(84, 133)(85, 132)(86, 131)(87, 130)(88, 129)(89, 128)(90, 127)(91,
126)(92, 125)(93, 124)(94, 123)(95, 122)(96, 121)(97, 120)(98, 119)(99,
118)(100, 117)(101, 116)(102, 115)(103, 114)(104, 113)(105, 112)(106, 111)(107,
110)(108, 109)(217, 430)(218, 429)(219, 428)(220, 427)(221, 426)(222, 425)(223,
424)(224, 423)(225, 422)(226, 421)(227, 420)(228, 419)(229, 418)(230, 417)(231,
416)(232, 415)(233, 414)(234, 413)(235, 412)(236, 411)(237, 410)(238, 409)(239,
408)(240, 407)(241, 406)(242, 405)(243, 404)(244, 403)(245, 402)(246, 401)(247,
400)(248, 399)(249, 398)(250, 397)(251, 396)(252, 395)(253, 394)(254, 393)(255,
392)(256, 391)(257, 390)(258, 389)(259, 388)(260, 387)(261, 386)(262, 385)(263,
384)(264, 383)(265, 382)(266, 381)(267, 380)(268, 379)(269, 378)(270, 377)(271,
376)(272, 375)(273, 374)(274, 373)(275, 372)(276, 371)(277, 370)(278, 369)(279,
368)(280, 367)(281, 366)(282, 365)(283, 364)(284, 363)(285, 362)(286, 361)(287,
360)(288, 359)(289, 358)(290, 357)(291, 356)(292, 355)(293, 354)(294, 353)(295,
352)(296, 351)(297, 350)(298, 349)(299, 348)(300, 347)(301, 346)(302, 345)(303,
344)(304, 343)(305, 342)(306, 341)(307, 340)(308, 339)(309, 338)(310, 337)(311,
336)(312, 335)(313, 334)(314, 333)(315, 332)(316, 331)(317, 330)(318, 329)(319,
328)(320, 327)(321, 326)(322, 325)(323, 324)
n13: (154, 369)
a13: (95, 310)
b13: (175, 390)
c13: (31, 246)
d13: (47, 262)
e13: (111, 326)
f13: (17, 232)
g13: (38, 253)
h13: (152, 367)
m13: (144, 359)
n14: (29, 244)
a14: (155, 370)
b14: (11, 226)
c14: (184, 399)
d14: (56, 271)
e14: (120, 335)
f14: (24, 239)
g14: (52, 267)
h14: (180, 395)
m14: (134, 349)
n15: (116, 331)
a15: (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21,
22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41,
42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61,
62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81,
82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100,
101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116,
117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132,
133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148,
149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164,
165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180,
181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196,
197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212,
213, 214, 215)(216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228,
229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244,
245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260,
261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276,
277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292,
293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308,
309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324,
325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340,
341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356,
357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372,
373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388,
389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404,
405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420,
421, 422, 423, 424, 425, 426, 427, 428, 429, 430)
b15: (150, 365)
c15: (131, 346)
d15: (91, 306)
e15: (159, 374)
f15: (43, 258)
g15: (68, 283)
h15: (196, 411)
m15: (171, 386)
n16: (168, 383)
a16: (200, 415)
b16: (72, 287)
c16: (153, 368)
d16: (192, 407)
e16: (64, 279)
f16: (128, 343)
g16: (145, 360)
h16: (161, 376)
m16: (156, 371)
n17: (16, 231)
a17: (164, 379)
b17: (151, 366)
c17: (213, 428)
d17: (85, 300)
e17: (209, 424)
f17: (81, 296)
g17: (182, 397)
h17: (50, 265)
m17: (178, 393)
n18: (54, 269)
a18: (118, 333)
b18: (114, 329)
c18: (2, 217)
d18: (205, 420)
e18: (77, 292)
f18: (138, 353)
g18: (189, 404)
h18: (4, 219)
m18: (61, 276)
n19: (125, 340)
a19: (193, 408)
b19: (65, 280)
c19: (163, 378)
d19: (33, 248)
e19: (37, 252)
f19: (130, 345)
g19: (22, 237)
h19: (32, 247)
m19: (194, 409)
n20: (66, 281)
a20: (157, 372)
b20: (142, 357)
c20: (147, 362)
d20: (102, 317)
e20: (44, 259)
f20: (172, 387)
g20: (108, 323)
h20: (87, 302)
m20: (215, 430)
n21: (94, 309)
a21: (42, 257)
b21: (170, 385)
c21: (106, 321)
d21: (14, 229)
e21: (21, 236)
C4[ 430, 1 ]
430
-1 430 2 215 217
-2 1 3 216 218
-3 2 4 217 219
-4 220 3 5 218
-5 221 4 6 219
-6 220 222 5 7
-7 221 223 6 8
-8 222 224 7 9
-9 223 225 8 10
-10 11 224 226 9
-11 12 225 227 10
-12 11 13 226 228
-13 12 14 227 229
-14 13 15 228 230
-15 231 14 16 229
-16 232 15 17 230
-17 231 233 16 18
-18 232 234 17 19
-19 233 235 18 20
-20 234 236 19 21
-21 22 235 237 20
-22 23 236 238 21
-23 22 24 237 239
-24 23 25 238 240
-25 24 26 239 241
-26 242 25 27 240
-27 243 26 28 241
-28 242 244 27 29
-29 243 245 28 30
-30 244 246 29 31
-31 245 247 30 32
-32 33 246 248 31
-33 34 247 249 32
-34 33 35 248 250
-35 34 36 249 251
-36 35 37 250 252
-37 253 36 38 251
-38 254 37 39 252
-39 253 255 38 40
-40 254 256 39 41
-41 255 257 40 42
-42 256 258 41 43
-43 44 257 259 42
-44 45 258 260 43
-45 44 46 259 261
-46 45 47 260 262
-47 46 48 261 263
-48 264 47 49 262
-49 265 48 50 263
-50 264 266 49 51
-51 265 267 50 52
-52 266 268 51 53
-53 267 269 52 54
-54 55 268 270 53
-55 56 269 271 54
-56 55 57 270 272
-57 56 58 271 273
-58 57 59 272 274
-59 275 58 60 273
-60 276 59 61 274
-61 275 277 60 62
-62 276 278 61 63
-63 277 279 62 64
-64 278 280 63 65
-65 66 279 281 64
-66 67 280 282 65
-67 66 68 281 283
-68 67 69 282 284
-69 68 70 283 285
-70 286 69 71 284
-71 287 70 72 285
-72 286 288 71 73
-73 287 289 72 74
-74 288 290 73 75
-75 289 291 74 76
-76 77 290 292 75
-77 78 291 293 76
-78 77 79 292 294
-79 78 80 293 295
-80 79 81 294 296
-81 297 80 82 295
-82 298 81 83 296
-83 297 299 82 84
-84 298 300 83 85
-85 299 301 84 86
-86 300 302 85 87
-87 88 301 303 86
-88 89 302 304 87
-89 88 90 303 305
-90 89 91 304 306
-91 90 92 305 307
-92 308 91 93 306
-93 309 92 94 307
-94 308 310 93 95
-95 309 311 94 96
-96 310 312 95 97
-97 311 313 96 98
-98 99 312 314 97
-99 100 313 315 98
-100 99 101 314 316
-101 100 102 315 317
-102 101 103 316 318
-103 319 102 104 317
-104 320 103 105 318
-105 319 321 104 106
-106 320 322 105 107
-107 321 323 106 108
-108 322 324 107 109
-109 110 323 325 108
-110 111 324 326 109
-111 110 112 325 327
-112 111 113 326 328
-113 112 114 327 329
-114 330 113 115 328
-115 331 114 116 329
-116 330 332 115 117
-117 331 333 116 118
-118 332 334 117 119
-119 333 335 118 120
-120 121 334 336 119
-121 122 335 337 120
-122 121 123 336 338
-123 122 124 337 339
-124 123 125 338 340
-125 341 124 126 339
-126 342 125 127 340
-127 341 343 126 128
-128 342 344 127 129
-129 343 345 128 130
-130 344 346 129 131
-131 132 345 347 130
-132 133 346 348 131
-133 132 134 347 349
-134 133 135 348 350
-135 134 136 349 351
-136 352 135 137 350
-137 353 136 138 351
-138 352 354 137 139
-139 353 355 138 140
-140 354 356 139 141
-141 355 357 140 142
-142 143 356 358 141
-143 144 357 359 142
-144 143 145 358 360
-145 144 146 359 361
-146 145 147 360 362
-147 363 146 148 361
-148 364 147 149 362
-149 363 365 148 150
-150 364 366 149 151
-151 365 367 150 152
-152 366 368 151 153
-153 154 367 369 152
-154 155 368 370 153
-155 154 156 369 371
-156 155 157 370 372
-157 156 158 371 373
-158 374 157 159 372
-159 375 158 160 373
-160 374 376 159 161
-161 375 377 160 162
-162 376 378 161 163
-163 377 379 162 164
-164 165 378 380 163
-165 166 379 381 164
-166 165 167 380 382
-167 166 168 381 383
-168 167 169 382 384
-169 385 168 170 383
-170 386 169 171 384
-171 385 387 170 172
-172 386 388 171 173
-173 387 389 172 174
-174 388 390 173 175
-175 176 389 391 174
-176 177 390 392 175
-177 176 178 391 393
-178 177 179 392 394
-179 178 180 393 395
-180 396 179 181 394
-181 397 180 182 395
-182 396 398 181 183
-183 397 399 182 184
-184 398 400 183 185
-185 399 401 184 186
-186 187 400 402 185
-187 188 401 403 186
-188 187 189 402 404
-189 188 190 403 405
-190 189 191 404 406
-191 407 190 192 405
-192 408 191 193 406
-193 407 409 192 194
-194 408 410 193 195
-195 409 411 194 196
-196 410 412 195 197
-197 198 411 413 196
-198 199 412 414 197
-199 198 200 413 415
-200 199 201 414 416
-201 200 202 415 417
-202 418 201 203 416
-203 419 202 204 417
-204 418 420 203 205
-205 419 421 204 206
-206 420 422 205 207
-207 421 423 206 208
-208 209 422 424 207
-209 210 423 425 208
-210 209 211 424 426
-211 210 212 425 427
-212 211 213 426 428
-213 429 212 214 427
-214 430 213 215 428
-215 429 1 214 216
-216 430 2 215 217
-217 1 3 216 218
-218 2 4 217 219
-219 220 3 5 218
-220 221 4 6 219
-221 220 222 5 7
-222 221 223 6 8
-223 222 224 7 9
-224 223 225 8 10
-225 11 224 226 9
-226 12 225 227 10
-227 11 13 226 228
-228 12 14 227 229
-229 13 15 228 230
-230 231 14 16 229
-231 232 15 17 230
-232 231 233 16 18
-233 232 234 17 19
-234 233 235 18 20
-235 234 236 19 21
-236 22 235 237 20
-237 23 236 238 21
-238 22 24 237 239
-239 23 25 238 240
-240 24 26 239 241
-241 242 25 27 240
-242 243 26 28 241
-243 242 244 27 29
-244 243 245 28 30
-245 244 246 29 31
-246 245 247 30 32
-247 33 246 248 31
-248 34 247 249 32
-249 33 35 248 250
-250 34 36 249 251
-251 35 37 250 252
-252 253 36 38 251
-253 254 37 39 252
-254 253 255 38 40
-255 254 256 39 41
-256 255 257 40 42
-257 256 258 41 43
-258 44 257 259 42
-259 45 258 260 43
-260 44 46 259 261
-261 45 47 260 262
-262 46 48 261 263
-263 264 47 49 262
-264 265 48 50 263
-265 264 266 49 51
-266 265 267 50 52
-267 266 268 51 53
-268 267 269 52 54
-269 55 268 270 53
-270 56 269 271 54
-271 55 57 270 272
-272 56 58 271 273
-273 57 59 272 274
-274 275 58 60 273
-275 276 59 61 274
-276 275 277 60 62
-277 276 278 61 63
-278 277 279 62 64
-279 278 280 63 65
-280 66 279 281 64
-281 67 280 282 65
-282 66 68 281 283
-283 67 69 282 284
-284 68 70 283 285
-285 286 69 71 284
-286 287 70 72 285
-287 286 288 71 73
-288 287 289 72 74
-289 288 290 73 75
-290 289 291 74 76
-291 77 290 292 75
-292 78 291 293 76
-293 77 79 292 294
-294 78 80 293 295
-295 79 81 294 296
-296 297 80 82 295
-297 298 81 83 296
-298 297 299 82 84
-299 298 300 83 85
-300 299 301 84 86
-301 300 302 85 87
-302 88 301 303 86
-303 89 302 304 87
-304 88 90 303 305
-305 89 91 304 306
-306 90 92 305 307
-307 308 91 93 306
-308 309 92 94 307
-309 308 310 93 95
-310 309 311 94 96
-311 310 312 95 97
-312 311 313 96 98
-313 99 312 314 97
-314 100 313 315 98
-315 99 101 314 316
-316 100 102 315 317
-317 101 103 316 318
-318 319 102 104 317
-319 320 103 105 318
-320 319 321 104 106
-321 320 322 105 107
-322 321 323 106 108
-323 322 324 107 109
-324 110 323 325 108
-325 111 324 326 109
-326 110 112 325 327
-327 111 113 326 328
-328 112 114 327 329
-329 330 113 115 328
-330 331 114 116 329
-331 330 332 115 117
-332 331 333 116 118
-333 332 334 117 119
-334 333 335 118 120
-335 121 334 336 119
-336 122 335 337 120
-337 121 123 336 338
-338 122 124 337 339
-339 123 125 338 340
-340 341 124 126 339
-341 342 125 127 340
-342 341 343 126 128
-343 342 344 127 129
-344 343 345 128 130
-345 344 346 129 131
-346 132 345 347 130
-347 133 346 348 131
-348 132 134 347 349
-349 133 135 348 350
-350 134 136 349 351
-351 352 135 137 350
-352 353 136 138 351
-353 352 354 137 139
-354 353 355 138 140
-355 354 356 139 141
-356 355 357 140 142
-357 143 356 358 141
-358 144 357 359 142
-359 143 145 358 360
-360 144 146 359 361
-361 145 147 360 362
-362 363 146 148 361
-363 364 147 149 362
-364 363 365 148 150
-365 364 366 149 151
-366 365 367 150 152
-367 366 368 151 153
-368 154 367 369 152
-369 155 368 370 153
-370 154 156 369 371
-371 155 157 370 372
-372 156 158 371 373
-373 374 157 159 372
-374 375 158 160 373
-375 374 376 159 161
-376 375 377 160 162
-377 376 378 161 163
-378 377 379 162 164
-379 165 378 380 163
-380 166 379 381 164
-381 165 167 380 382
-382 166 168 381 383
-383 167 169 382 384
-384 385 168 170 383
-385 386 169 171 384
-386 385 387 170 172
-387 386 388 171 173
-388 387 389 172 174
-389 388 390 173 175
-390 176 389 391 174
-391 177 390 392 175
-392 176 178 391 393
-393 177 179 392 394
-394 178 180 393 395
-395 396 179 181 394
-396 397 180 182 395
-397 396 398 181 183
-398 397 399 182 184
-399 398 400 183 185
-400 399 401 184 186
-401 187 400 402 185
-402 188 401 403 186
-403 187 189 402 404
-404 188 190 403 405
-405 189 191 404 406
-406 407 190 192 405
-407 408 191 193 406
-408 407 409 192 194
-409 408 410 193 195
-410 409 411 194 196
-411 410 412 195 197
-412 198 411 413 196
-413 199 412 414 197
-414 198 200 413 415
-415 199 201 414 416
-416 200 202 415 417
-417 418 201 203 416
-418 419 202 204 417
-419 418 420 203 205
-420 419 421 204 206
-421 420 422 205 207
-422 421 423 206 208
-423 209 422 424 207
-424 210 423 425 208
-425 209 211 424 426
-426 210 212 425 427
-427 211 213 426 428
-428 429 212 214 427
-429 430 213 215 428
-430 429 1 214 216
0