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