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