V "GNAT Lib v6"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -mtune=generic
A -march=i586
P SS ZX

RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_LONG_LONG_INTEGERS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_DYNAMIC_SIZED_OBJECTS
RV SPARK_05

U ada.numerics.long_long_real_arrays%b  a-nllrar.ads  317c76fa NE OL PU PK
W ada%s			ada.ads			ada.ali
Z ada.containers%s	a-contai.ads		a-contai.ali
Z ada.containers.generic_anonymous_array_sort%s
Z ada.containers.generic_sort%s
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.numerics%s	a-numeri.ads		a-numeri.ali
W ada.numerics.generic_real_arrays%s
Z system%s		system.ads		system.ali
W system.exn_llf%s	s-exnllf.adb		s-exnllf.ali
W system.fat_llf%s	s-fatllf.ads		s-fatllf.ali
Z system.generic_array_operations%s  s-gearop.adb  s-gearop.ali
W system.secondary_stack%s  s-secsta.adb	s-secsta.ali

U ada.numerics.long_long_real_arrays%s  a-nllrar.ads  0cb49ef1 EB NE OL PU PK
W ada%s			ada.ads			ada.ali
W ada.numerics%s	a-numeri.ads		a-numeri.ali
W ada.numerics.generic_real_arrays%s

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-contai.ads		20151020122137 61e5e089 ada.containers%s
D a-cgaaso.ads		20101021101406 0179e0e0 ada.containers.generic_anonymous_array_sort%s
D a-cgaaso.adb		20111104134501 a55922a1 ada.containers.generic_anonymous_array_sort%b
D a-cogeso.ads		20111104134501 fb85939d ada.containers.generic_sort%s
D a-cogeso.adb		20111104134501 6cb00bfe ada.containers.generic_sort%b
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-numeri.ads		20080324174807 bb51c45a ada.numerics%s
D a-ngrear.ads		20120307145339 86992c51 ada.numerics.generic_real_arrays%s
D a-ngrear.adb		20120307144551 05e4fe6d ada.numerics.generic_real_arrays%b
D a-nllrar.ads		20080324105732 317c76fa ada.numerics.long_long_real_arrays%s
D a-nllrar.ads		20080324105732 317c76fa ada.numerics.long_long_real_arrays%b
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D system.ads		20151123113124 2da59038 system%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-exnllf.ads		20150526102925 bc7ebbdc system.exn_llf%s
D s-fatgen.ads		20150107111315 49cbaf86 system.fat_gen%s
D s-fatllf.ads		20090409150019 4d5c1475 system.fat_llf%s
D s-gearop.ads		20111013105608 82346945 system.generic_array_operations%s
D s-gearop.adb		20121001092146 6679477d system.generic_array_operations%b
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-secsta.ads		20140225151139 86a2856d system.secondary_stack%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
X 1 ada.ads
16K9*Ada 19e8 12|16r6 18r9 19r8
X 3 a-cgaaso.ads
39u26*Generic_Anonymous_Array_Sort 2|16k13
X 4 a-cgaaso.adb
40U14 Sort[5|39] 6|34b26[10|729[12|18]]
X 5 a-cogeso.ads
39u26*Generic_Sort 2|16k13
X 8 a-numeri.ads
16K13*Numerics 1|16k9 8|32e17 12|16r10 18r13 19r12
X 9 a-ngrear.ads
38k22*Generic_Real_Arrays 142e37 12|16w19 19r21
43A9*Real_Vector(long_long_float)<integer>
44A9*Real_Matrix(long_long_float)<integer><integer>
X 10 a-ngrear.adb
50U14 Back_Substitute[19|46] 19|401i22 415i22[12|18] 20|99b14[12|18]
55V13 Diagonal[19|56]{9|43A9[12|18]} 20|50b13[12|18]
60U14 Forward_Eliminate[19|76] 19|402i22 416i22[12|18] 20|175b14[12|18]
67U14 Swap_Column[19|437] 20|796b14[12|18]
71U14 Transpose[19|446] 20|810b14[12|18]
91V13 Length[19|88]{natural} 20|64b13[12|18]
106V13 Sqrt[19|428]{long_long_float} 19|300i21[12|18] 20|593b13[12|18]
139V16*"+"[19|101]{9|43A9[12|18]} 20|407b13[12|18]
147V16*"+"[19|114]{9|44A9[12|18]} 20|392b13[12|18]
155V16*"+"[19|130]{9|43A9[12|18]} 20|483b13[12|18]
165V16*"+"[19|172]{9|44A9[12|18]} 20|420b13[12|18]
175V16*"-"[19|101]{9|43A9[12|18]} 20|407b13[12|18]
183V16*"-"[19|114]{9|44A9[12|18]} 20|392b13[12|18]
191V16*"-"[19|130]{9|43A9[12|18]} 20|483b13[12|18]
201V16*"-"[19|172]{9|44A9[12|18]} 20|420b13[12|18]
211V16*"*"[19|247]{9|43A9[12|18]} 20|577b13[12|18]
220V16*"*"[19|266]{9|44A9[12|18]} 20|559b13[12|18]
229V16*"*"[19|211]{9|43A9[12|18]} 20|543b13[12|18]
238V16*"*"[19|230]{9|44A9[12|18]} 20|525b13[12|18]
247V16*"*"[19|318]{9|44A9[12|18]} 20|778b13[12|18]
256V16*"*"[19|287]{long_long_float} 20|354b13[12|18]
265V16*"*"[19|341]{9|43A9[12|18]} 20|747b13[12|18]
275V16*"*"[19|364]{9|43A9[12|18]} 20|899b13[12|18]
285V16*"*"[19|389]{9|44A9[12|18]} 20|644b13[12|18]
295V16*"/"[19|211]{9|43A9[12|18]} 20|543b13[12|18]
304V16*"/"[19|230]{9|44A9[12|18]} 20|525b13[12|18]
313V16*"abs"[19|301]{long_long_float} 20|377b13[12|18]
324V16*"abs"[19|101]{9|43A9[12|18]} 20|407b13[12|18]
332V16*"abs"[19|114]{9|44A9[12|18]} 20|392b13[12|18]
340V16*Solve[19|406]{9|43A9[12|18]} 20|678b13[12|18]
343V16*Solve[19|420]{9|44A9[12|18]} 20|712b13[12|18]
345V16*Unit_Matrix[19|481]{9|44A9[12|18]} 20|862b13[12|18]
352V16*Unit_Vector[19|495]{9|43A9[12|18]} 20|883b13[12|18]
721U17 Swap 3|37i19[12|18]
725V16 Less{boolean} 3|36i18[12|18]
729U17 Sort[3|39] 4|37b26[12|18]
X 12 a-nllrar.ads
18K22*Long_Long_Real_Arrays[9|38] 8|16k13 12|21r14