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