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