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