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