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