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