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