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