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