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