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