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