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