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