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