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