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