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