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