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