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