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