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