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