logic3.ctree 12.3 KB