V "GNAT Lib v4.9" A -gnatwa A -Wall A -fstack-check=specific A -gnatA A -gnatwa A -gnatwe A -gnato A -gnateE A -gnata A -gnatU A -gnatf A -g A -gnatQ A -gnaty3 A -gnatya A -gnatyA A -gnatyb A -gnatye A -gnatyf A -gnatyh A -gnatyi A -gnatyk A -gnatyl A -gnatyn A -gnatyO A -gnatyM80 A -gnatyp A -gnatyr A -gnatyt A -gnatyS A -gnatyu A -gnatyx A -mtune=generic A -march=x86-64 P ZX RN RV NO_IO RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U words_engine.put_stat%b words_engine-put_stat.adb 54a5290e NE OO SU W ada%s ada.ads ada.ali W ada.text_io%s a-textio.adb a-textio.ali W support_utils%s support_utils.ads support_utils.ali W support_utils.developer_parameters%s support_utils-developer_parameters.adb support_utils-developer_parameters.ali W words_engine%s words_engine.ads words_engine.ali D ada.ads 20070406091342 3ffc8e18 D a-except.ads 20140129161953 f86a4103 D a-finali.ads 20111121113555 52ecdc1b D a-ioexce.ads 20140225151544 e4a01f64 D a-stream.ads 20140122164720 1a984740 D a-tags.ads 20111212115430 6c0509d0 D a-textio.ads 20140129155348 386df5d4 D a-tienio.ads 20090409150019 fc618ae6 D a-unccon.ads 20070406091342 f9eb8f06 D interfac.ads 20140225151838 69adb1b9 D i-cstrea.ads 20130412125801 8128536b D support_utils.ads 20230322220154 f98bd89b D support_utils-developer_parameters.ads 20230322220154 832e1d2d D system.ads 20160213141829 90249111 D s-crtl.ads 20140225151544 840e6817 D s-exctab.ads 20140225151139 54135002 D s-ficobl.ads 20120709130952 55a71d43 D s-finmas.ads 20140225151139 814daec4 D s-finroo.ads 20120426095924 4ff27390 D s-parame.ads 20140225151139 ab8cb46a D s-pooglo.ads 20110804083314 542f33d0 D s-soflin.ads 20140225151139 aa763b52 D s-stache.ads 20140225151139 a37c21ec D s-stalib.ads 20140225151139 a891183f D s-stoele.ads 20140225151139 2dc34a04 D s-stoele.adb 20140225151139 ed88f8fb D s-stopoo.ads 20131010103753 b16154c2 D s-traent.ads 20140225151139 b5116092 D s-unstyp.ads 20140225151139 510692af D s-wchcon.ads 20140225151139 1b7d22d2 D words_engine.ads 20230322220154 93849dab D words_engine-put_stat.adb 20230322220154 efe6c1f7 D words_engine-put_stat.adb 20230322220154 efe6c1f7 X 1 ada.ads 16K9*Ada 19e8 33|17r6 21r7 22r7 X 7 a-textio.ads 49K13*Text_IO 471e16 33|17w10 21r11 22r11 52P9*File_Type 107V13*Is_Open{boolean} 33|21s19 259U14*Put_Line 33|22s19 X 12 support_utils.ads 21K9*Support_Utils 29e18 33|18r6 18r46 X 13 support_utils-developer_parameters.ads 18K23*Developer_Parameters 98e39 33|18w20 18r60 37p4*Stats{7|52P9} 33|21r28 22r29 X 31 words_engine.ads 21K9*Words_Engine 27e17 33|19r11 24r5 X 33 words_engine-put_stat.adb 19U24*Put_Stat 31|21k9 33|19b24 24l18 24t26 19s34 S{string} 22r36