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