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