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