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