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