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