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