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