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