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