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