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