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