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