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