User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130419200008/@comment-5150073-20130419205052

Well, now it works correctly. Thanks.