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