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