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