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