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

	Name	Last modified	Size	Description
	Parent Directory		-
	axiom_0.p	2024-10-04 18:28	130
	axiom_1.p	2024-10-04 18:28	133
	axiom_2.p	2024-10-04 18:28	140
	axiom_3.p	2024-10-04 18:28	140
	axiom_4.p	2024-10-04 18:28	140
	axiom_5.p	2024-10-04 18:28	140
	axiom_6.p	2024-10-04 18:28	140
	axiom_7.p	2024-10-04 18:28	140
	axiom_8.p	2024-10-04 18:28	140
	axiom_9.p	2024-10-04 18:28	140
	axiom_10.p	2024-10-04 18:28	141
	axiom_11.p	2024-10-04 18:28	132
	axiom_12.p	2024-10-04 18:28	101
	axiom_13.p	2024-10-04 18:28	127
	axiom_14.p	2024-10-04 18:28	128
	axiom_15.p	2024-10-04 18:28	128
	axiom_16.p	2024-10-04 18:28	129
	axiom_17.p	2024-10-04 18:28	127
	axiom_18.p	2024-10-04 18:28	128
	axiom_19.p	2024-10-04 18:28	130
	axiom_20.p	2024-10-04 18:28	127
	axiom_21.p	2024-10-04 18:28	128
	axiom_22.p	2024-10-04 18:28	129
	axiom_23.p	2024-10-04 18:28	128
	axiom_24.p	2024-10-04 18:28	129
	axiom_25.p	2024-10-04 18:28	129
	axiom_26.p	2024-10-04 18:28	130
	axiom_27.p	2024-10-04 18:28	128
	axiom_28.p	2024-10-04 18:28	129
	axiom_29.p	2024-10-04 18:28	130
	axiom_30.p	2024-10-04 18:28	128
	axiom_31.p	2024-10-04 18:28	129
	axiom_32.p	2024-10-04 18:28	129
	axiom_33.p	2024-10-04 18:28	129
	axiom_34.p	2024-10-04 18:28	130
	axiom_35.p	2024-10-04 18:28	128
	axiom_36.p	2024-10-04 18:28	128
	axiom_37.p	2024-10-04 18:28	127
	axiom_38.p	2024-10-04 18:28	129
	axiom_39.p	2024-10-04 18:28	128
	axiom_40.p	2024-10-04 18:28	128
	axiom_41.p	2024-10-04 18:28	128
	axiom_42.p	2024-10-04 18:28	101
	axiom_43.p	2024-10-04 18:28	128
	axiom_44.p	2024-10-04 18:28	128
	axiom_45.p	2024-10-04 18:28	129
	axiom_46.p	2024-10-04 18:28	128
	axiom_47.p	2024-10-04 18:28	128
	axiom_48.p	2024-10-04 18:28	129
	axiom_49.p	2024-10-04 18:28	129
	axiom_50.p	2024-10-04 18:28	130
	axiom_51.p	2024-10-04 18:28	129
	axiom_52.p	2024-10-04 18:28	129
	axiom_53.p	2024-10-04 18:28	128
	axiom_54.p	2024-10-04 18:28	128
	axiom_55.p	2024-10-04 18:28	129
	axiom_56.p	2024-10-04 18:28	127
	axiom_57.p	2024-10-04 18:28	129
	axiom_58.p	2024-10-04 18:28	128
	axiom_59.p	2024-10-04 18:28	106
	axiom_60.p	2024-10-04 18:28	106
	axiom_61.p	2024-10-04 18:28	106
	axiom_62.p	2024-10-04 18:28	106
	axiom_63.p	2024-10-04 18:28	106
	axiom_64.p	2024-10-04 18:28	106
	axiom_65.p	2024-10-04 18:28	106
	axiom_66.p	2024-10-04 18:28	106
	axiom_67.p	2024-10-04 18:28	106
	axiom_68.p	2024-10-04 18:28	105
	axiom_69.p	2024-10-04 18:28	105
	axiom_70.p	2024-10-04 18:28	105
	axiom_71.p	2024-10-04 18:28	105
	axiom_72.p	2024-10-04 18:28	105
	axiom_73.p	2024-10-04 18:28	105
	axiom_74.p	2024-10-04 18:28	105
	axiom_75.p	2024-10-04 18:28	105
	axiom_76.p	2024-10-04 18:28	105
	axiom_77.p	2024-10-04 18:28	96
	cTorF_substitution_1.p	2024-10-04 18:28	152
	cowlNothing_substitution_1.p	2024-10-04 18:28	170
	cowlThing_substitution_1.p	2024-10-04 18:28	164
	xsd_integer_substitution_1.p	2024-10-04 18:28	170
	xsd_string_substitution_1.p	2024-10-04 18:28	167