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