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