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