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