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