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