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