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