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