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