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