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