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