040000 tree fd0069ccc17f0593150a29458ca21fbc0bfa35bb	TEST
100644 blob 27fe07369434f1ab4a83fa73a6adaec9fad4de23	sgbr_lemma.t
100644 blob a1e2b8e921d66db25ec9e3a1d4bbb27cb86bf4ad	sgbr_meta.t
100644 blob 417af0c6baf2de4e74e789af70b5f9fefc2ff4c9	sgbr_pos.t
100644 blob cafa3c42ee6d2f1298bbcdfbe2b1bf58e2266957	sgbr_token.t