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