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