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