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