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