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