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