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