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