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