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