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