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