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