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