MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P SS ZX

RN
RV NO_EXCEPTIONS
RV NO_FLOATING_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_IMPLICIT_LOOPS
RV NO_SECONDARY_STACK
RV NO_STANDARD_STORAGE_POOLS
RV NO_ELABORATION_CODE
RV SPARK

U ada.numerics.real_arrays%b  a-nurear.ads	3158da1f EE 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_flt%s	s-fatflt.ads		s-fatflt.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.real_arrays%s  a-nurear.ads	0c903214 EB EE 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		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-cgaaso.ads		20121213103024 0179e0e0
D a-cgaaso.adb		20121213103024 a55922a1
D a-cogeso.ads		20121213103029 fb85939d
D a-cogeso.adb		20121213103029 6cb00bfe
D a-except.ads		20121213103024 10fcae55
D a-numeri.ads		20121213103024 bb51c45a
D a-ngrear.ads		20121213103024 86992c51
D a-ngrear.adb		20121213103024 05e4fe6d
D a-nurear.ads		20121213103024 3158da1f
D a-nurear.ads		20121213103024 3158da1f
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-exnllf.ads		20121213103029 81841eef
D s-fatflt.ads		20121213103024 11beb392
D s-fatgen.ads		20121213103029 9267ca45
D s-gearop.ads		20121213103024 82346945
D s-gearop.adb		20121213103024 6679477d
D s-parame.ads		20121213103024 b6e20cc0
D s-secsta.ads		20121213103024 eea35a36
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
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(float)<integer>
44A9*Real_Matrix(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]{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]{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]{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-nurear.ads
18K22*Real_Arrays[9|38] 8|16k13 12|21r14