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