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