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