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