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