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