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