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