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