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