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