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