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