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