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