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