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