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