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