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