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