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