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