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