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