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