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