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