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