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