1ebec223e0dc2bae61abe9e74683716d92d727a0be0599f0ff57a599afe461be682f290874246eab95

1ebec223e0dc2bae61abe9e74683716d92d727a0be0599f0f853a599afe461be61e3235f10f742289cd1

1ebec223e0dc2bae61abe9e74683716d92d727a0be0599fdfd57a599afe461be5706e266bd2aa695d263

1ebec223e0dc2bae61abe9e74683716d92d727a0be0599fcfd53a599afe461beb9b0df6a139ae42a49

1ebec223e0dc2bae61abe9e74683716d92d727a0be0599fcfe57a599afe461beadfa749ca8ff63e496f8

1ebec223e0dc2bae61abe9e74683716d92d727a0be0599fcf955a599afe461becc2dfceb0ff091ab22a9

1ebec223e0dc2bae61abe9e74683716d92d727a0be059ef5fe56a599afe461beaacaf7046d5d1df49e59

1ebec223e0dc2bae61abe9e74683716d92d727a0be059ef5f957a599afe461be297976e630871da4e7b3

1ebec223e0dc2bae61abe9e74683716d92d727a0be059ef4fd52a599afe461be3d410870313059beef

1ebec223e0dc2bae61abe9e74683716d92d727a0be059ef4f954a599afe461bee745e988f8bbdf5d524d

1ebec223e0dc2bae61abe9e74683716d92d727a0be059ef7fd57a599afe461bea5f0f876054c4538203f

1ebec223e0dc2bae61abe9e74683716d92d727a0be059ef7fc5ba599afe461be02dd7c3e7597acf462



게임 내에서 정의한 정의,공리를 가지고
주어진 레벨이 클리어가능함을 증명하면 되는게임
증명논리스텝을 텍스트로쳐서 증명하면되는데
증명에쓰이는 정의,공리,규칙을 순서대로 조합해서 쓰면되는듯

- dc official App