0000000000000000000000000000000000000000 aad3b24d7d716e4e3d8232cfd73a6d93087abc41 oopsla13 <oopsla13@gpuverify.(none)> 1364582869 +0000	clone: from https://github.com/nafe/oopsla13.git
