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