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