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