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