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