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