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