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