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