{"shas":[["0384ac7878e0b228e5c1feb25cdb23bc1fcb4c57","db73239ecec658113d5a7f9adc085826ba91aae2@aha.ru","Added proofs from skip law to nullity rules.","Alexander Kogtenkov"]],"ref":"refs/heads/master","size":1,"head":"0384ac7878e0b228e5c1feb25cdb23bc1fcb4c57","push_id":37495107}