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