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