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