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