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