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