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