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