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