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