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