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