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