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