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