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