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