V "GNAT Lib v13"
A -Ofast
A -O2
A -gnatA
A -gnatwa
A -gnatyg
A -fPIC
A -g
A -gnatp
A -gnatn2
A -flto
A -mtune=nocona
A -march=nocona
P ZX

RN
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_PRAGMAS

U adasat.theory%s	adasat-theory.ads	e67e35a4 NE OO PK GE
Z ada.strings.text_buffers%s  a-sttebu.adb	a-sttebu.ali
W adasat%s		adasat.adb		adasat.ali
W adasat.formulas%s	adasat-formulas.adb	adasat-formulas.ali

D ada.ads		20250605160258 76789da1 ada%s
D a-string.ads		20250605160258 90ac6797 ada.strings%s
D a-sttebu.ads		20250605160258 f1ad67a2 ada.strings.text_buffers%s
D a-stuten.ads		20250605160258 c6ced0ae ada.strings.utf_encoding%s
D a-unccon.ads		20250605160258 0e9b276f ada.unchecked_conversion%s
D a-uncdea.ads		20250605160258 c3a8ac65 ada.unchecked_deallocation%s
D adasat.ads		20230926141706 f1ce6070 adasat%s
D adasat-formulas.ads	20230926141706 e38b3bcc adasat.formulas%s
D adasat-theory.ads	20230926141706 f43b6e18 adasat.theory%s
D adasat-vectors.ads	20230926141706 cb02d9e8 adasat.vectors%s
D interfac.ads		20250605160258 15f799c2 interfaces%s
D system.ads		20250605160258 db5ec672 system%s
G a e
X 7 adasat.ads
14K9*AdaSAT 80e11 9|7r6 7r27 27r9 28r5
58A9*Model(55E9)<15I9> 9|17r21
X 8 adasat-formulas.ads
14K16*Formulas 48e20 9|7w13 7r34
20R12*Formula{10|32R9[17]} 9|18r28
X 9 adasat-theory.ads
10+9 User_Context 16r28
15V18 Check{boolean} 16=7 17>7 18=7
16*7 Context{10+9}
17a7 Assignments{7|58A9}
18r7 Explanation{8|20R12}
27k16*Theory 7|14k9 9|10z9 15z18 28l12 28e18
X 10 adasat-vectors.ads
32R9*Vector

