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