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