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