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