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