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