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