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