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