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