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