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