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