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