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