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