Index of /version/current/html/refs/tarski_0

	Name	Last modified	Size	Description
	Parent Directory		-
	S1	2022-03-02 19:23	2.0K
	T1	2022-03-02 19:23	412
	T2	2022-03-02 19:23	894
	T3	2022-03-02 19:23	1.0K
	T4	2022-03-02 19:23	1.1K
	T5	2022-03-02 19:23	1.2K