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