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