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