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