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