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