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