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