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