Graph forms
for C4 [ 416, 27 ] = PL(MSY(26,8,3,0))
[Home] [Table] [Glossary]
[Families]
On this page are computer-accessible forms for the graph C4[ 416, 27 ] =
PL(MSY(26,8,3,0)).
(I) Following is a form readable by MAGMA:
g:=Graph<416|{ {201, 209}, {202, 209}, {202, 234}, {203, 235}, {202, 235}, {201,
234}, {193, 233}, {194, 234}, {193, 234}, {194, 233}, {161, 229}, {162, 230},
{161, 230}, {162, 229}, {170, 230}, {170, 231}, {169, 231}, {169, 230}, {185,
233}, {185, 232}, {186, 232}, {186, 233}, {178, 231}, {177, 231}, {177, 232},
{165, 255}, {178, 232}, {164, 255}, {129, 225}, {130, 226}, {129, 226}, {130,
225}, {154, 254}, {155, 255}, {154, 255}, {155, 254}, {138, 226}, {149, 253},
{138, 227}, {148, 253}, {137, 227}, {148, 254}, {137, 226}, {149, 254}, {146,
227}, {145, 227}, {145, 228}, {138, 252}, {139, 253}, {146, 228}, {138, 253},
{139, 252}, {132, 252}, {133, 252}, {153, 229}, {153, 228}, {133, 251}, {154,
228}, {132, 251}, {154, 229}, {122, 250}, {123, 251}, {122, 251}, {123, 250},
{89, 221}, {89, 220}, {90, 220}, {90, 221}, {82, 219}, {81, 219}, {117, 249},
{81, 220}, {116, 249}, {82, 220}, {116, 250}, {117, 250}, {74, 218}, {74, 219},
{113, 224}, {73, 219}, {101, 247}, {106, 248}, {107, 249}, {114, 224}, {73,
218}, {100, 247}, {106, 249}, {107, 248}, {65, 217}, {66, 218}, {121, 225},
{121, 224}, {122, 224}, {65, 218}, {66, 217}, {122, 225}, {100, 248}, {101,
248}, {85, 245}, {84, 245}, {84, 246}, {85, 246}, {90, 246}, {91, 247}, {90,
247}, {91, 246}, {114, 223}, {113, 223}, {68, 244}, {69, 244}, {106, 222}, {106,
223}, {69, 243}, {105, 223}, {68, 243}, {105, 222}, {97, 221}, {98, 222}, {74,
244}, {75, 245}, {74, 245}, {98, 221}, {97, 222}, {75, 244}, {18, 211}, {17,
211}, {53, 241}, {17, 212}, {52, 241}, {18, 212}, {52, 242}, {53, 242}, {58,
242}, {59, 243}, {58, 243}, {59, 242}, {37, 239}, {36, 239}, {25, 213}, {25,
212}, {26, 212}, {26, 213}, {1, 209}, {2, 210}, {1, 210}, {2, 209}, {36, 240},
{37, 240}, {10, 210}, {10, 211}, {9, 211}, {43, 241}, {42, 240}, {9, 210}, {43,
240}, {42, 241}, {57, 217}, {57, 216}, {58, 216}, {58, 217}, {50, 215}, {10,
236}, {49, 215}, {11, 237}, {10, 237}, {11, 236}, {4, 236}, {5, 236}, {49, 216},
{50, 216}, {5, 235}, {4, 235}, {26, 238}, {34, 214}, {33, 213}, {27, 239}, {26,
239}, {27, 238}, {33, 214}, {34, 213}, {21, 237}, {20, 237}, {20, 238}, {21,
238}, {42, 214}, {42, 215}, {41, 215}, {41, 214}, {35, 291}, {95, 351}, {94,
350}, {7, 262}, {97, 352}, {95, 350}, {94, 351}, {34, 291}, {7, 261}, {153,
411}, {127, 381}, {127, 380}, {153, 410}, {69, 321}, {70, 322}, {88, 349}, {34,
292}, {88, 350}, {35, 292}, {70, 321}, {69, 322}, {44, 292}, {45, 293}, {104,
352}, {115, 379}, {116, 380}, {144, 408}, {44, 293}, {54, 319}, {45, 292}, {144,
409}, {12, 262}, {53, 319}, {112, 378}, {12, 263}, {112, 379}, {11, 263}, {81,
349}, {78, 322}, {150, 410}, {8, 261}, {151, 410}, {78, 323}, {11, 262}, {8,
262}, {151, 409}, {77, 323}, {110, 352}, {111, 353}, {77, 322}, {81, 350}, {110,
353}, {111, 352}, {115, 380}, {116, 379}, {150, 409}, {23, 263}, {46, 318}, {24,
264}, {113, 353}, {135, 407}, {137, 409}, {46, 319}, {85, 324}, {134, 407},
{137, 408}, {27, 265}, {86, 324}, {79, 349}, {78, 348}, {45, 319}, {27, 264},
{79, 348}, {78, 349}, {72, 347}, {45, 318}, {113, 354}, {147, 384}, {28, 264},
{72, 348}, {50, 294}, {111, 379}, {148, 384}, {28, 265}, {86, 323}, {51, 294},
{111, 378}, {51, 293}, {85, 323}, {128, 406}, {50, 293}, {128, 407}, {37, 317},
{96, 376}, {93, 325}, {38, 318}, {93, 324}, {99, 378}, {96, 377}, {120, 353},
{60, 294}, {99, 377}, {94, 324}, {65, 347}, {61, 295}, {120, 354}, {37, 318},
{94, 325}, {61, 294}, {60, 295}, {38, 317}, {3, 287}, {126, 354}, {127, 355},
{2, 287}, {100, 377}, {65, 348}, {126, 355}, {127, 354}, {100, 378}, {159, 385},
{134, 408}, {23, 264}, {159, 384}, {24, 263}, {135, 408}, {29, 317}, {160, 384},
{43, 267}, {101, 325}, {102, 326}, {29, 316}, {163, 386}, {160, 385}, {43, 266},
{40, 265}, {2, 288}, {163, 385}, {40, 266}, {30, 316}, {3, 288}, {84, 375}, {30,
317}, {101, 326}, {102, 325}, {83, 375}, {164, 385}, {44, 266}, {185, 415},
{164, 386}, {95, 377}, {80, 374}, {44, 267}, {185, 414}, {95, 376}, {80, 375},
{110, 326}, {182, 414}, {21, 316}, {183, 414}, {110, 327}, {22, 316}, {183,
413}, {109, 327}, {83, 376}, {182, 413}, {109, 326}, {12, 288}, {176, 412},
{175, 387}, {84, 376}, {13, 289}, {12, 289}, {176, 413}, {175, 386}, {39, 266},
{22, 315}, {13, 288}, {21, 315}, {39, 265}, {18, 290}, {180, 388}, {179, 387},
{60, 268}, {19, 290}, {68, 373}, {60, 269}, {118, 327}, {19, 289}, {176, 386},
{68, 374}, {117, 327}, {18, 289}, {176, 387}, {56, 267}, {14, 314}, {169, 413},
{64, 372}, {56, 268}, {125, 329}, {14, 315}, {169, 412}, {67, 374}, {64, 373},
{125, 328}, {13, 315}, {67, 373}, {59, 269}, {126, 328}, {13, 314}, {180, 387},
{179, 388}, {59, 268}, {104, 351}, {126, 329}, {79, 375}, {79, 374}, {160, 410},
{191, 389}, {166, 412}, {55, 268}, {191, 388}, {167, 412}, {160, 411}, {5, 313},
{167, 411}, {55, 267}, {6, 314}, {117, 328}, {166, 411}, {28, 290}, {97, 351},
{29, 291}, {118, 328}, {5, 314}, {29, 290}, {28, 291}, {6, 313}, {51, 371}, {52,
372}, {108, 300}, {109, 301}, {108, 301}, {196, 389}, {109, 300}, {48, 370},
{196, 390}, {76, 270}, {48, 371}, {76, 271}, {17, 341}, {192, 388}, {75, 271},
{72, 269}, {195, 390}, {192, 389}, {75, 270}, {72, 270}, {195, 389}, {17, 342},
{87, 272}, {52, 371}, {51, 372}, {30, 342}, {99, 299}, {88, 272}, {31, 343},
{30, 343}, {207, 390}, {98, 299}, {71, 270}, {31, 342}, {63, 373}, {91, 273},
{71, 269}, {63, 372}, {91, 272}, {92, 272}, {24, 341}, {92, 273}, {24, 342},
{201, 391}, {98, 300}, {99, 300}, {32, 368}, {32, 369}, {35, 370}, {1, 339},
{35, 369}, {124, 302}, {125, 303}, {124, 303}, {125, 302}, {1, 340}, {36, 369},
{36, 370}, {208, 390}, {88, 271}, {208, 391}, {87, 271}, {199, 415}, {198, 415},
{14, 340}, {15, 341}, {8, 339}, {15, 340}, {14, 341}, {8, 340}, {47, 371}, {114,
302}, {47, 370}, {115, 302}, {115, 301}, {192, 414}, {114, 301}, {192, 415},
{15, 367}, {15, 366}, {56, 345}, {56, 346}, {19, 368}, {119, 276}, {20, 368},
{77, 297}, {76, 296}, {67, 295}, {63, 347}, {62, 346}, {119, 275}, {62, 347},
{77, 296}, {76, 297}, {66, 295}, {63, 346}, {198, 416}, {199, 416}, {49, 345},
{124, 276}, {4, 365}, {201, 416}, {124, 277}, {4, 366}, {66, 296}, {49, 346},
{67, 296}, {120, 275}, {120, 276}, {3, 366}, {3, 365}, {31, 369}, {123, 277},
{31, 368}, {123, 276}, {40, 344}, {208, 416}, {53, 320}, {103, 274}, {33, 343},
{93, 299}, {92, 298}, {54, 320}, {47, 345}, {46, 344}, {103, 273}, {46, 345},
{93, 298}, {92, 299}, {47, 344}, {82, 298}, {107, 275}, {33, 344}, {83, 298},
{104, 273}, {107, 274}, {83, 297}, {104, 274}, {20, 367}, {82, 297}, {19, 367},
{61, 321}, {61, 320}, {16, 366}, {62, 320}, {108, 274}, {16, 367}, {62, 321},
{40, 343}, {108, 275}, {7, 391}, {152, 280}, {9, 393}, {151, 279}, {6, 391}, {9,
392}, {155, 281}, {155, 280}, {156, 280}, {178, 310}, {156, 281}, {179, 310},
{179, 309}, {178, 309}, {188, 310}, {189, 311}, {188, 311}, {189, 310}, {6,
392}, {7, 392}, {152, 279}, {151, 280}, {163, 307}, {135, 278}, {162, 307}, {25,
395}, {135, 277}, {25, 394}, {197, 337}, {198, 338}, {162, 308}, {163, 308},
{198, 337}, {197, 338}, {16, 392}, {173, 309}, {172, 308}, {16, 393}, {173,
308}, {172, 309}, {140, 278}, {140, 279}, {22, 394}, {207, 339}, {206, 338},
{139, 279}, {23, 394}, {206, 339}, {136, 277}, {139, 278}, {23, 393}, {136,
278}, {22, 393}, {205, 338}, {146, 306}, {188, 284}, {147, 306}, {188, 285},
{147, 305}, {207, 365}, {206, 364}, {146, 305}, {207, 364}, {200, 363}, {184,
283}, {41, 397}, {200, 364}, {184, 284}, {164, 256}, {41, 396}, {165, 256},
{187, 285}, {187, 284}, {32, 394}, {193, 363}, {171, 257}, {170, 256}, {38,
396}, {32, 395}, {183, 284}, {171, 256}, {170, 257}, {39, 396}, {39, 395}, {183,
283}, {131, 303}, {38, 395}, {193, 364}, {130, 303}, {156, 306}, {157, 307},
{156, 307}, {157, 306}, {171, 283}, {168, 281}, {171, 282}, {130, 304}, {168,
282}, {131, 304}, {181, 257}, {180, 257}, {57, 399}, {180, 258}, {172, 282},
{57, 398}, {181, 258}, {172, 283}, {54, 398}, {187, 259}, {186, 258}, {55, 398},
{187, 258}, {186, 259}, {55, 397}, {54, 397}, {48, 396}, {140, 304}, {141, 305},
{48, 397}, {208, 365}, {167, 282}, {140, 305}, {141, 304}, {167, 281}, {80,
400}, {196, 260}, {168, 360}, {80, 401}, {197, 260}, {86, 402}, {142, 330}, {87,
402}, {142, 331}, {87, 401}, {197, 259}, {175, 361}, {174, 360}, {161, 359},
{141, 331}, {86, 401}, {196, 259}, {175, 360}, {174, 361}, {141, 330}, {71,
399}, {70, 399}, {204, 261}, {161, 360}, {89, 403}, {89, 402}, {133, 329}, {134,
330}, {64, 398}, {203, 261}, {202, 260}, {64, 399}, {203, 260}, {168, 359},
{133, 330}, {134, 329}, {157, 333}, {157, 332}, {184, 361}, {158, 332}, {205,
287}, {204, 286}, {184, 362}, {158, 333}, {204, 287}, {190, 362}, {191, 363},
{190, 363}, {203, 286}, {200, 285}, {191, 362}, {70, 400}, {200, 286}, {71,
400}, {73, 401}, {177, 361}, {73, 400}, {199, 286}, {149, 332}, {150, 332},
{199, 285}, {177, 362}, {150, 331}, {149, 331}, {118, 406}, {174, 334}, {119,
406}, {174, 335}, {119, 405}, {173, 335}, {129, 355}, {118, 405}, {173, 334},
{112, 404}, {112, 405}, {181, 336}, {129, 356}, {182, 336}, {165, 333}, {166,
334}, {142, 356}, {143, 357}, {136, 355}, {166, 333}, {165, 334}, {142, 357},
{143, 356}, {148, 383}, {136, 356}, {189, 337}, {147, 383}, {189, 336}, {121,
407}, {190, 336}, {144, 382}, {121, 406}, {190, 337}, {144, 383}, {143, 383},
{143, 382}, {96, 402}, {102, 404}, {96, 403}, {103, 404}, {103, 403}, {205,
313}, {204, 312}, {195, 311}, {145, 357}, {102, 403}, {205, 312}, {194, 311},
{145, 358}, {206, 313}, {158, 358}, {159, 359}, {132, 381}, {182, 335}, {159,
358}, {158, 359}, {132, 382}, {194, 312}, {181, 335}, {195, 312}, {105, 405},
{128, 380}, {105, 404}, {152, 357}, {128, 381}, {131, 382}, {131, 381}, {152,
358} }>;
(II) A more general form is to represent the graph as the orbit of {201, 209}
under the group generated by the following permutations:
a: (1, 9, 23, 27, 37, 45, 51, 63, 65, 73, 87, 91, 101, 109, 115, 127, 129, 137,
151, 155, 165, 173, 179, 191, 193, 201, 7, 11, 21, 29, 35, 47, 49, 57, 71, 75,
85, 93, 99, 111, 113, 121, 135, 139, 149, 157, 163, 175, 177, 185, 199, 203, 5,
13, 19, 31, 33, 41, 55, 59, 69, 77, 83, 95, 97, 105, 119, 123, 133, 141, 147,
159, 161, 169, 183, 187, 197, 205, 3, 15, 17, 25, 39, 43, 53, 61, 67, 79, 81,
89, 103, 107, 117, 125, 131, 143, 145, 153, 167, 171, 181, 189, 195, 207)(2, 16,
24, 26, 38, 44, 52, 62, 66, 80, 88, 90, 102, 108, 116, 126, 130, 144, 152, 154,
166, 172, 180, 190, 194, 208, 8, 10, 22, 28, 36, 46, 50, 64, 72, 74, 86, 92,
100, 110, 114, 128, 136, 138, 150, 156, 164, 174, 178, 192, 200, 202, 6, 12, 20,
30, 34, 48, 56, 58, 70, 76, 84, 94, 98, 112, 120, 122, 134, 140, 148, 158, 162,
176, 184, 186, 198, 204, 4, 14, 18, 32, 40, 42, 54, 60, 68, 78, 82, 96, 104,
106, 118, 124, 132, 142, 146, 160, 168, 170, 182, 188, 196, 206)(209, 392, 263,
238, 317, 292, 371, 346, 217, 400, 271, 246, 325, 300, 379, 354, 225, 408, 279,
254, 333, 308, 387, 362, 233, 416, 261, 236, 315, 290, 369, 344, 215, 398, 269,
244, 323, 298, 377, 352, 223, 406, 277, 252, 331, 306, 385, 360, 231, 414, 285,
260, 313, 288, 367, 342, 213, 396, 267, 242, 321, 296, 375, 350, 221, 404, 275,
250, 329, 304, 383, 358, 229, 412, 283, 258, 337, 312, 365, 340, 211, 394, 265,
240, 319, 294, 373, 348, 219, 402, 273, 248, 327, 302, 381, 356, 227, 410, 281,
256, 335, 310, 389, 364)(210, 393, 264, 239, 318, 293, 372, 347, 218, 401, 272,
247, 326, 301, 380, 355, 226, 409, 280, 255, 334, 309, 388, 363, 234, 391, 262,
237, 316, 291, 370, 345, 216, 399, 270, 245, 324, 299, 378, 353, 224, 407, 278,
253, 332, 307, 386, 361, 232, 415, 286, 235, 314, 289, 368, 343, 214, 397, 268,
243, 322, 297, 376, 351, 222, 405, 276, 251, 330, 305, 384, 359, 230, 413, 284,
259, 338, 287, 366, 341, 212, 395, 266, 241, 320, 295, 374, 349, 220, 403, 274,
249, 328, 303, 382, 357, 228, 411, 282, 257, 336, 311, 390, 339) (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: (2, 8)(3, 7)(4, 6)(9, 15)(10, 14)(11, 13)(18, 24)(19, 23)(20, 22)(25, 31)(26,
30)(27, 29)(34, 40)(35, 39)(36, 38)(41, 47)(42, 46)(43, 45)(50, 56)(51, 55)(52,
54)(57, 63)(58, 62)(59, 61)(66, 72)(67, 71)(68, 70)(73, 79)(74, 78)(75, 77)(82,
88)(83, 87)(84, 86)(89, 95)(90, 94)(91, 93)(98, 104)(99, 103)(100, 102)(105,
111)(106, 110)(107, 109)(114, 120)(115, 119)(116, 118)(121, 127)(122, 126)(123,
125)(130, 136)(131, 135)(132, 134)(137, 143)(138, 142)(139, 141)(146, 152)(147,
151)(148, 150)(153, 159)(154, 158)(155, 157)(162, 168)(163, 167)(164, 166)(169,
175)(170, 174)(171, 173)(178, 184)(179, 183)(180, 182)(185, 191)(186, 190)(187,
189)(194, 200)(195, 199)(196, 198)(201, 207)(202, 206)(203, 205)(209, 339)(210,
340)(211, 341)(212, 342)(213, 343)(214, 344)(215, 345)(216, 346)(217, 347)(218,
348)(219, 349)(220, 350)(221, 351)(222, 352)(223, 353)(224, 354)(225, 355)(226,
356)(227, 357)(228, 358)(229, 359)(230, 360)(231, 361)(232, 362)(233, 363)(234,
364)(235, 313)(236, 314)(237, 315)(238, 316)(239, 317)(240, 318)(241, 319)(242,
320)(243, 321)(244, 322)(245, 323)(246, 324)(247, 325)(248, 326)(249, 327)(250,
328)(251, 329)(252, 330)(253, 331)(254, 332)(255, 333)(256, 334)(257, 335)(258,
336)(259, 337)(260, 338)(261, 287)(262, 288)(263, 289)(264, 290)(265, 291)(266,
292)(267, 293)(268, 294)(269, 295)(270, 296)(271, 297)(272, 298)(273, 299)(274,
300)(275, 301)(276, 302)(277, 303)(278, 304)(279, 305)(280, 306)(281, 307)(282,
308)(283, 309)(284, 310)(285, 311)(286, 312)(365, 391)(366, 392)(367, 393)(368,
394)(369, 395)(370, 396)(371, 397)(372, 398)(373, 399)(374, 400)(375, 401)(376,
402)(377, 403)(378, 404)(379, 405)(380, 406)(381, 407)(382, 408)(383, 409)(384,
410)(385, 411)(386, 412)(387, 413)(388, 414)(389, 415)(390, 416)
c: (9, 201)(10, 202)(11, 203)(12, 204)(13, 205)(14, 206)(15, 207)(16, 208)(17,
193)(18, 194)(19, 195)(20, 196)(21, 197)(22, 198)(23, 199)(24, 200)(25, 185)(26,
186)(27, 187)(28, 188)(29, 189)(30, 190)(31, 191)(32, 192)(33, 177)(34, 178)(35,
179)(36, 180)(37, 181)(38, 182)(39, 183)(40, 184)(41, 169)(42, 170)(43, 171)(44,
172)(45, 173)(46, 174)(47, 175)(48, 176)(49, 161)(50, 162)(51, 163)(52, 164)(53,
165)(54, 166)(55, 167)(56, 168)(57, 153)(58, 154)(59, 155)(60, 156)(61, 157)(62,
158)(63, 159)(64, 160)(65, 145)(66, 146)(67, 147)(68, 148)(69, 149)(70, 150)(71,
151)(72, 152)(73, 137)(74, 138)(75, 139)(76, 140)(77, 141)(78, 142)(79, 143)(80,
144)(81, 129)(82, 130)(83, 131)(84, 132)(85, 133)(86, 134)(87, 135)(88, 136)(89,
121)(90, 122)(91, 123)(92, 124)(93, 125)(94, 126)(95, 127)(96, 128)(97, 113)(98,
114)(99, 115)(100, 116)(101, 117)(102, 118)(103, 119)(104, 120)(209, 210)(211,
234)(212, 233)(213, 232)(214, 231)(215, 230)(216, 229)(217, 228)(218, 227)(219,
226)(220, 225)(221, 224)(222, 223)(235, 236)(237, 260)(238, 259)(239, 258)(240,
257)(241, 256)(242, 255)(243, 254)(244, 253)(245, 252)(246, 251)(247, 250)(248,
249)(261, 262)(263, 286)(264, 285)(265, 284)(266, 283)(267, 282)(268, 281)(269,
280)(270, 279)(271, 278)(272, 277)(273, 276)(274, 275)(287, 288)(289, 312)(290,
311)(291, 310)(292, 309)(293, 308)(294, 307)(295, 306)(296, 305)(297, 304)(298,
303)(299, 302)(300, 301)(313, 314)(315, 338)(316, 337)(317, 336)(318, 335)(319,
334)(320, 333)(321, 332)(322, 331)(323, 330)(324, 329)(325, 328)(326, 327)(339,
340)(341, 364)(342, 363)(343, 362)(344, 361)(345, 360)(346, 359)(347, 358)(348,
357)(349, 356)(350, 355)(351, 354)(352, 353)(365, 366)(367, 390)(368, 389)(369,
388)(370, 387)(371, 386)(372, 385)(373, 384)(374, 383)(375, 382)(376, 381)(377,
380)(378, 379)(391, 392)(393, 416)(394, 415)(395, 414)(396, 413)(397, 412)(398,
411)(399, 410)(400, 409)(401, 408)(402, 407)(403, 406)(404, 405)
d: (1, 2, 3, 4, 5, 6, 7, 8)(9, 12, 15, 10, 13, 16, 11, 14)(17, 18, 19, 20, 21,
22, 23, 24)(25, 28, 31, 26, 29, 32, 27, 30)(33, 34, 35, 36, 37, 38, 39, 40)(41,
44, 47, 42, 45, 48, 43, 46)(49, 50, 51, 52, 53, 54, 55, 56)(57, 60, 63, 58, 61,
64, 59, 62)(65, 66, 67, 68, 69, 70, 71, 72)(73, 76, 79, 74, 77, 80, 75, 78)(81,
82, 83, 84, 85, 86, 87, 88)(89, 92, 95, 90, 93, 96, 91, 94)(97, 98, 99, 100,
101, 102, 103, 104)(105, 108, 111, 106, 109, 112, 107, 110)(113, 114, 115, 116,
117, 118, 119, 120)(121, 124, 127, 122, 125, 128, 123, 126)(129, 130, 131, 132,
133, 134, 135, 136)(137, 140, 143, 138, 141, 144, 139, 142)(145, 146, 147, 148,
149, 150, 151, 152)(153, 156, 159, 154, 157, 160, 155, 158)(161, 162, 163, 164,
165, 166, 167, 168)(169, 172, 175, 170, 173, 176, 171, 174)(177, 178, 179, 180,
181, 182, 183, 184)(185, 188, 191, 186, 189, 192, 187, 190)(193, 194, 195, 196,
197, 198, 199, 200)(201, 204, 207, 202, 205, 208, 203, 206)(209, 287, 365, 235,
313, 391, 261, 339)(210, 288, 366, 236, 314, 392, 262, 340)(211, 289, 367, 237,
315, 393, 263, 341)(212, 290, 368, 238, 316, 394, 264, 342)(213, 291, 369, 239,
317, 395, 265, 343)(214, 292, 370, 240, 318, 396, 266, 344)(215, 293, 371, 241,
319, 397, 267, 345)(216, 294, 372, 242, 320, 398, 268, 346)(217, 295, 373, 243,
321, 399, 269, 347)(218, 296, 374, 244, 322, 400, 270, 348)(219, 297, 375, 245,
323, 401, 271, 349)(220, 298, 376, 246, 324, 402, 272, 350)(221, 299, 377, 247,
325, 403, 273, 351)(222, 300, 378, 248, 326, 404, 274, 352)(223, 301, 379, 249,
327, 405, 275, 353)(224, 302, 380, 250, 328, 406, 276, 354)(225, 303, 381, 251,
329, 407, 277, 355)(226, 304, 382, 252, 330, 408, 278, 356)(227, 305, 383, 253,
331, 409, 279, 357)(228, 306, 384, 254, 332, 410, 280, 358)(229, 307, 385, 255,
333, 411, 281, 359)(230, 308, 386, 256, 334, 412, 282, 360)(231, 309, 387, 257,
335, 413, 283, 361)(232, 310, 388, 258, 336, 414, 284, 362)(233, 311, 389, 259,
337, 415, 285, 363)(234, 312, 390, 260, 338, 416, 286, 364)
C4[ 416, 27 ]
416
-1 209 210 339 340
-2 209 210 287 288
-3 287 288 365 366
-4 365 366 235 236
-5 235 236 313 314
-6 313 314 391 392
-7 391 392 261 262
-8 261 262 339 340
-9 210 211 392 393
-10 210 211 236 237
-11 236 237 262 263
-12 288 289 262 263
-13 288 289 314 315
-14 341 314 315 340
-15 341 366 367 340
-16 366 367 392 393
-17 341 342 211 212
-18 211 212 289 290
-19 289 290 367 368
-20 367 368 237 238
-21 237 238 315 316
-22 315 316 393 394
-23 264 393 394 263
-24 264 341 342 263
-25 212 213 394 395
-26 212 213 238 239
-27 264 265 238 239
-28 264 265 290 291
-29 290 291 316 317
-30 342 343 316 317
-31 342 343 368 369
-32 368 369 394 395
-33 343 344 213 214
-34 213 214 291 292
-35 291 292 369 370
-36 369 370 239 240
-37 239 240 317 318
-38 396 317 318 395
-39 396 265 266 395
-40 265 266 343 344
-41 396 397 214 215
-42 214 215 240 241
-43 266 267 240 241
-44 266 267 292 293
-45 319 292 293 318
-46 319 344 345 318
-47 344 345 370 371
-48 396 397 370 371
-49 345 346 215 216
-50 215 216 293 294
-51 293 294 371 372
-52 242 371 372 241
-53 242 319 320 241
-54 319 320 397 398
-55 397 398 267 268
-56 267 268 345 346
-57 398 399 216 217
-58 242 243 216 217
-59 242 243 268 269
-60 268 269 294 295
-61 320 321 294 295
-62 320 321 346 347
-63 346 347 372 373
-64 398 399 372 373
-65 347 348 217 218
-66 217 218 295 296
-67 374 295 296 373
-68 374 243 244 373
-69 243 244 321 322
-70 321 322 399 400
-71 399 400 269 270
-72 269 270 347 348
-73 400 401 218 219
-74 244 245 218 219
-75 244 245 270 271
-76 297 270 271 296
-77 297 322 323 296
-78 322 323 348 349
-79 374 375 348 349
-80 374 375 400 401
-81 220 349 350 219
-82 220 297 298 219
-83 297 298 375 376
-84 375 376 245 246
-85 245 246 323 324
-86 323 324 401 402
-87 401 402 271 272
-88 271 272 349 350
-89 220 221 402 403
-90 220 221 246 247
-91 246 247 272 273
-92 298 299 272 273
-93 298 299 324 325
-94 324 325 350 351
-95 376 377 350 351
-96 376 377 402 403
-97 352 221 222 351
-98 221 222 299 300
-99 299 300 377 378
-100 377 378 247 248
-101 247 248 325 326
-102 325 326 403 404
-103 403 404 273 274
-104 352 273 274 351
-105 222 223 404 405
-106 222 223 248 249
-107 275 248 249 274
-108 275 300 301 274
-109 300 301 326 327
-110 352 353 326 327
-111 352 353 378 379
-112 378 379 404 405
-113 353 354 223 224
-114 223 224 301 302
-115 301 302 379 380
-116 379 380 249 250
-117 249 250 327 328
-118 327 328 405 406
-119 275 276 405 406
-120 275 276 353 354
-121 407 224 225 406
-122 224 225 250 251
-123 276 277 250 251
-124 276 277 302 303
-125 302 303 328 329
-126 354 355 328 329
-127 354 355 380 381
-128 407 380 381 406
-129 355 356 225 226
-130 225 226 303 304
-131 303 304 381 382
-132 381 382 251 252
-133 330 251 252 329
-134 330 407 408 329
-135 407 408 277 278
-136 277 278 355 356
-137 408 409 226 227
-138 253 226 227 252
-139 253 278 279 252
-140 278 279 304 305
-141 330 331 304 305
-142 330 331 356 357
-143 356 357 382 383
-144 408 409 382 383
-145 357 358 227 228
-146 227 228 305 306
-147 305 306 383 384
-148 253 254 383 384
-149 253 254 331 332
-150 331 332 409 410
-151 409 410 279 280
-152 279 280 357 358
-153 410 411 228 229
-154 254 255 228 229
-155 254 255 280 281
-156 280 281 306 307
-157 332 333 306 307
-158 332 333 358 359
-159 385 358 359 384
-160 385 410 411 384
-161 359 360 229 230
-162 308 229 230 307
-163 308 385 386 307
-164 385 386 255 256
-165 255 256 333 334
-166 333 334 411 412
-167 411 412 281 282
-168 281 282 359 360
-169 231 412 413 230
-170 231 256 257 230
-171 256 257 282 283
-172 308 309 282 283
-173 308 309 334 335
-174 334 335 360 361
-175 386 387 360 361
-176 386 387 412 413
-177 231 232 361 362
-178 231 232 309 310
-179 309 310 387 388
-180 387 388 257 258
-181 257 258 335 336
-182 335 336 413 414
-183 413 414 283 284
-184 283 284 361 362
-185 232 233 414 415
-186 232 233 258 259
-187 258 259 284 285
-188 310 311 284 285
-189 310 311 336 337
-190 363 336 337 362
-191 363 388 389 362
-192 388 389 414 415
-193 363 364 233 234
-194 233 234 311 312
-195 311 312 389 390
-196 389 390 259 260
-197 259 260 337 338
-198 337 338 415 416
-199 286 415 416 285
-200 286 363 364 285
-201 209 234 391 416
-202 209 234 235 260
-203 286 235 260 261
-204 286 287 312 261
-205 287 312 313 338
-206 364 313 338 339
-207 364 365 390 339
-208 365 390 391 416
-209 1 2 201 202
-210 1 2 9 10
-211 17 18 9 10
-212 25 26 17 18
-213 33 34 25 26
-214 33 34 41 42
-215 49 50 41 42
-216 57 58 49 50
-217 66 57 58 65
-218 66 73 74 65
-219 81 82 73 74
-220 89 90 81 82
-221 89 90 97 98
-222 105 106 97 98
-223 113 114 105 106
-224 121 122 113 114
-225 121 122 129 130
-226 137 138 129 130
-227 145 146 137 138
-228 154 145 146 153
-229 154 161 162 153
-230 169 170 161 162
-231 177 178 169 170
-232 177 178 185 186
-233 193 194 185 186
-234 201 202 193 194
-235 4 202 5 203
-236 11 4 5 10
-237 11 20 10 21
-238 26 27 20 21
-239 36 26 37 27
-240 36 37 42 43
-241 52 42 53 43
-242 58 59 52 53
-243 68 58 69 59
-244 68 69 74 75
-245 84 74 85 75
-246 90 91 84 85
-247 100 90 101 91
-248 100 101 106 107
-249 116 106 117 107
-250 122 123 116 117
-251 132 122 133 123
-252 132 133 138 139
-253 148 138 149 139
-254 154 155 148 149
-255 154 165 155 164
-256 165 170 171 164
-257 180 170 181 171
-258 187 180 181 186
-259 187 196 186 197
-260 202 203 196 197
-261 203 204 7 8
-262 11 12 7 8
-263 11 12 23 24
-264 23 24 27 28
-265 27 28 39 40
-266 44 39 40 43
-267 44 55 56 43
-268 55 56 59 60
-269 59 60 71 72
-270 71 72 75 76
-271 88 75 76 87
-272 88 91 92 87
-273 91 92 103 104
-274 103 104 107 108
-275 107 108 119 120
-276 123 124 119 120
-277 123 124 135 136
-278 135 136 139 140
-279 139 140 151 152
-280 155 156 151 152
-281 155 156 167 168
-282 167 168 171 172
-283 171 172 183 184
-284 187 188 183 184
-285 187 188 199 200
-286 199 200 203 204
-287 2 3 204 205
-288 12 2 13 3
-289 12 13 18 19
-290 28 18 29 19
-291 34 35 28 29
-292 44 34 45 35
-293 44 45 50 51
-294 60 50 61 51
-295 66 67 60 61
-296 66 77 67 76
-297 77 82 83 76
-298 92 82 93 83
-299 99 92 93 98
-300 99 108 98 109
-301 114 115 108 109
-302 124 114 125 115
-303 124 125 130 131
-304 140 130 141 131
-305 146 147 140 141
-306 156 146 157 147
-307 156 157 162 163
-308 172 162 173 163
-309 178 179 172 173
-310 188 178 189 179
-311 188 189 194 195
-312 204 194 205 195
-313 5 6 205 206
-314 13 14 5 6
-315 22 13 14 21
-316 22 29 30 21
-317 37 38 29 30
-318 45 46 37 38
-319 45 46 53 54
-320 61 62 53 54
-321 69 70 61 62
-322 77 78 69 70
-323 77 78 85 86
-324 93 94 85 86
-325 101 102 93 94
-326 110 101 102 109
-327 110 117 118 109
-328 125 126 117 118
-329 133 134 125 126
-330 133 134 141 142
-331 149 150 141 142
-332 157 158 149 150
-333 165 166 157 158
-334 165 166 173 174
-335 181 182 173 174
-336 189 190 181 182
-337 198 189 190 197
-338 198 205 206 197
-339 1 8 206 207
-340 1 14 15 8
-341 24 14 15 17
-342 24 17 30 31
-343 33 40 30 31
-344 33 46 47 40
-345 56 46 47 49
-346 56 49 62 63
-347 72 62 63 65
-348 78 79 72 65
-349 88 78 79 81
-350 88 81 94 95
-351 104 94 95 97
-352 110 111 104 97
-353 110 111 113 120
-354 113 126 127 120
-355 136 126 127 129
-356 143 136 129 142
-357 143 145 152 142
-358 145 158 159 152
-359 168 158 159 161
-360 168 161 174 175
-361 177 184 174 175
-362 177 190 191 184
-363 200 190 191 193
-364 200 193 206 207
-365 3 4 207 208
-366 3 4 15 16
-367 15 16 19 20
-368 19 20 31 32
-369 35 36 31 32
-370 35 36 47 48
-371 47 48 51 52
-372 51 52 63 64
-373 67 68 63 64
-374 67 68 79 80
-375 79 80 83 84
-376 83 84 95 96
-377 99 100 95 96
-378 99 100 111 112
-379 111 112 115 116
-380 115 116 127 128
-381 132 127 128 131
-382 132 143 144 131
-383 143 144 147 148
-384 147 148 159 160
-385 159 160 163 164
-386 176 163 164 175
-387 176 179 180 175
-388 179 180 191 192
-389 191 192 195 196
-390 195 196 207 208
-391 201 6 7 208
-392 16 6 7 9
-393 22 23 16 9
-394 22 23 25 32
-395 25 38 39 32
-396 48 38 39 41
-397 55 48 41 54
-398 55 57 64 54
-399 57 70 71 64
-400 80 70 71 73
-401 80 73 86 87
-402 89 96 86 87
-403 89 102 103 96
-404 112 102 103 105
-405 112 105 118 119
-406 121 128 118 119
-407 121 134 135 128
-408 144 134 135 137
-409 144 137 150 151
-410 160 150 151 153
-411 166 167 160 153
-412 176 166 167 169
-413 176 169 182 183
-414 192 182 183 185
-415 198 199 192 185
-416 198 199 201 208
0