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