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