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