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