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