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