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