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