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