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