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