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