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