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