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