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