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