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