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