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