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