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