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