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