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