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