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