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