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