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