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