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 ZX

RN
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IO
RV NO_UNCHECKED_ACCESS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLICIT_ALIASING
RV SPARK

U ada.text_io.decimal_io%b  a-tideio.adb	21ed3eca NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.text_io%s		a-textio.adb		a-textio.ali
W ada.text_io.decimal_aux%s  a-tideau.adb	a-tideau.ali

U ada.text_io.decimal_io%s  a-tideio.ads	26f0eadf BN NE OL PK GE
W ada.text_io%s		a-textio.adb		a-textio.ali

D ada.ads		20121213103024 3ffc8e18
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-ioexce.ads		20121213103029 8b9de6cd
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-textio.ads		20130106093217 386df5d4
D a-tideau.ads		20121213103024 d7d2561e
D a-tideio.ads		20121213103024 1e9d1f0b
D a-tideio.adb		20121213103024 e8a277df
D a-unccon.ads		20121213103024 f9eb8f06
D interfac.ads		20121213103024 129923ea
D i-cstrea.ads		20130106093208 3286f6aa
D system.ads		20121213103024 90249111
D s-crtl.ads		20130106093200 1ea48bce
D s-exctab.ads		20121213103029 66e51330
D s-ficobl.ads		20121213103029 55a71d43
D s-finmas.ads		20121213103024 b95bb341
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-pooglo.ads		20121213103024 542f33d0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-stopoo.ads		20121213103024 7b8fbeee
D s-traent.ads		20121213103024 5221ee41
D s-unstyp.ads		20121213103024 6ae15c76
D s-wchcon.ads		20121213103024 bfeb2e3d
X 1 ada.ads
16K9*Ada 19e8 9|45r9 88r5 10|32r6 34r14 36r24 137r5
X 7 a-textio.ads
49K13*Text_IO 1|16k9 7|471e16 9|45r13 88r9 10|32r10 34r18 36r28 137r9
52P9*File_Type(369R9) 9|52r15 61r14 10|45r15 95r14
73I12*Field{integer} 9|47r19 48r19 49r19 54r15 58r15 63r14 64r14 65r14 69r14
. 70r14 71r14 81r14 82r14 10|47r15 64r15 97r14 98r14 99r14 114r14 115r14
. 116r14 125r14 126r14
298X4*Data_Error 10|59r38 87r38
455p4 Current_In{52P9} 10|67r12
456p4 Current_Out{52P9} 10|119r12
X 8 a-tideau.ads
40K29*Decimal_Aux 92e28 10|32w18 36r36
42V13*Get_Dec{integer} 10|55s39
47V13*Get_LLD{long_long_integer} 10|53s39
52U14*Put_Dec 10|107s14
60U14*Put_LLD 10|103s14
68V13*Gets_Dec{integer} 10|83s25
73V13*Gets_LLD{long_long_integer} 10|80s25
78U14*Puts_Dec 10|133s14
85U14*Puts_LLD 10|130s14
X 9 a-tideio.ads
43D9 Num 47r28 48r28 53r19 57r19 62r14 68r14 75r18 80r14 10|38r32 46r19 52r10
. 53r18 55r18 63r19 72r18 78r10 79r18 82r18 96r14 102r10 113r14 124r14 129r10
45k21*Decimal_IO 7|49k13 9|43z9 88l17 88e27 10|34b26 137l17 137t27
47i4*Default_Fore{7|73I12} 63r23 69r23 10|97r23 114r23
48i4*Default_Aft{7|73I12} 64r23 70r23 81r23 10|98r23 115r23 125r23
49i4*Default_Exp{7|73I12} 65r23 71r23 82r23 10|99r23 116r23 126r23
51U14*Get 52>7 53<7 54>7 10|44b14 60l8 60t11 67s7
52p7 File{7|52P9} 10|45b7 53r48 55r48
53*7 Item{43D9} 10|46b7 53m10 55m10
54i7 Width{7|73I12} 10|47b7 53r54 55r54
56U14*Get 57<7 58>7 10|62b14 68l8 68t11
57*7 Item{43D9} 10|63b7 67m24
58i7 Width{7|73I12} 10|64b7 67r30
60U14*Put 61>7 62>7 63>7 64>7 65>7 10|94b14 110l8 110t11 119s7
61p7 File{7|52P9} 10|95b7 104r13 108r13
62*7 Item{43D9} 10|96b7 104r52 108r42
63i7 Fore{7|73I12} 10|97b7 105r13 108r49
64i7 Aft{7|73I12} 10|98b7 105r19 108r55
65i7 Exp{7|73I12} 10|99b7 105r24 108r60
67U14*Put 68>7 69>7 70>7 71>7 10|112b14 120l8 120t11
68*7 Item{43D9} 10|113b7 119r25
69i7 Fore{7|73I12} 10|114b7 119r31
70i7 Aft{7|73I12} 10|115b7 119r37
71i7 Exp{7|73I12} 10|116b7 119r42
73U14*Get 74>7 75<7 76<7 10|70b14 88l8 88t11
74s7 From{string} 10|71b7 80r35 83r35
75*7 Item{43D9} 10|72b7 79m10 82m10
76i7 Last{positive} 10|73b7 80m41 80r41 83m41 83r41
78U14*Put 79<7 80>7 81>7 82>7 10|122b14 135l8 135t11
79s7 To{string} 10|123b7 131m13 133m24
80*7 Item{43D9} 10|124b7 131r50 133r51
81i7 Aft{7|73I12} 10|125b7 131r57 133r58
82i7 Exp{7|73I12} 10|126b7 131r62 133r63
X 10 a-tideio.adb
36K12 Aux=36:36 53r35 55r35 80r21 83r21 103r10 107r10 130r10 133r10
38i4 Scale{integer} 53r61 55r61 80r67 83r67 105r29 108r65 131r67 133r68