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