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