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