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