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