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