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