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