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