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