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