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