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