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