0000000000000000000000000000000000000000 b320e446d6a1e0211df8fbb7d1ad9e99d0badfe5 William R. Vanden Dries <wvandend@indiana.edu> 1522188839 +0000	push
b320e446d6a1e0211df8fbb7d1ad9e99d0badfe5 42e898bf86cea621525c90bff35bceff12ee369b William R. Vanden Dries <wvandend@indiana.edu> 1522189449 +0000	push
42e898bf86cea621525c90bff35bceff12ee369b b320e446d6a1e0211df8fbb7d1ad9e99d0badfe5 William R. Vanden Dries <wvandend@indiana.edu> 1522189790 +0000	push