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