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