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