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