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