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