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