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