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