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