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