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