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