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