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