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