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