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