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