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