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