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