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