{"shas":[["3383fe26b1c3e8ead53d648d551504d0039876ce","d4947feb3c1f1297fe54a85f54e318080b97e082@swansea.ac.uk","A bit grammer changed and formula typed in.","YuTing Lu"],["321f9bc356d81eb04df1e095ea7a0627e26aaa21","d4947feb3c1f1297fe54a85f54e318080b97e082@swansea.ac.uk","Formulas added for hidden single in row, in column, and in block.","YuTing Lu"],["d9d040995d5d063cc969086829d75767537506e0","d4947feb3c1f1297fe54a85f54e318080b97e082@swansea.ac.uk","Definition for symbols \"forall\", and \"exists\".","YuTing Lu"],["8cc1cf81be1eec5045a06ad0d0c6a10b0f582573","d4947feb3c1f1297fe54a85f54e318080b97e082@swansea.ac.uk","Row, column, and block abbreviation defined.","YuTing Lu"]],"ref":"refs/heads/master","size":4,"head":"8cc1cf81be1eec5045a06ad0d0c6a10b0f582573","push_id":41150916}