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