Index of /Proposals/InterpretationsModels/SaturationProofs/Problems/GEO354+1/VerificationProblems/E-SAT---3.0

	Name	Last modified	Size	Description
	Parent Directory		-
	apt_def.p	2024-10-04 18:30	200
	bet_def.p	2024-10-04 18:30	257
	bf_def.p	2024-10-04 18:30	353
	cld1.p	2024-10-04 18:30	123
	cld2.p	2024-10-04 18:30	216
	cld3.p	2024-10-04 18:30	289
	cld3a.p	2024-10-04 18:30	373
	cld4.p	2024-10-04 18:30	214
	cld5.p	2024-10-04 18:30	244
	con_def.p	2024-10-04 18:30	212
	div_def.p	2024-10-04 18:30	274
	oag1.p	2024-10-04 18:30	114
	oag2.p	2024-10-04 18:30	183
	oag3.p	2024-10-04 18:30	113
	oag4.p	2024-10-04 18:30	180
	oag5.p	2024-10-04 18:30	123
	oag6.p	2024-10-04 18:30	210
	oag7.p	2024-10-04 18:30	360
	oag8.p	2024-10-04 18:30	208
	oag9.p	2024-10-04 18:30	260
	oag10.p	2024-10-04 18:30	166
	oag11.p	2024-10-04 18:30	176
	oagco1.p	2024-10-04 18:30	182
	oagco2.p	2024-10-04 18:30	239
	oagco3.p	2024-10-04 18:30	165
	oagco4.p	2024-10-04 18:30	130
	oagco5.p	2024-10-04 18:30	229
	oagco6.p	2024-10-04 18:30	294
	oagco7.p	2024-10-04 18:30	155
	oagco8.p	2024-10-04 18:30	129
	oagco9.p	2024-10-04 18:30	185
	oagco10.p	2024-10-04 18:30	160
	oagsub1.p	2024-10-04 18:30	188
	oagsub2.p	2024-10-04 18:30	237
	oagsub3.p	2024-10-04 18:30	207
	oaguc1.p	2024-10-04 18:30	421
	oaguc2.p	2024-10-04 18:30	239