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