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