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