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