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