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 SS ZX RN RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_ENUMERATION_MAPS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_IO RV NO_IMPLICIT_LOOPS RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U words_engine.search_english%b words_engine-search_english.adb 6bf0fb78 NE OO SU W ada%s ada.ads ada.ali W ada.tags%s a-tags.adb a-tags.ali W ada.text_io%s a-textio.adb a-textio.ali W interfaces%s interfac.ads interfac.ali W latin_utils%s latin_utils.ads latin_utils.ali W latin_utils.config%s latin_utils-config.adb latin_utils-config.ali W latin_utils.dictionary_package%s latin_utils-dictionary_package.adb latin_utils-dictionary_package.ali W latin_utils.inflections_package%s latin_utils-inflections_package.adb latin_utils-inflections_package.ali W latin_utils.strings_package%s latin_utils-strings_package.adb latin_utils-strings_package.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 support_utils.dictionary_form%b support_utils-dictionary_form.adb support_utils-dictionary_form.ali W support_utils.word_parameters%s support_utils-word_parameters.adb support_utils-word_parameters.ali W system%s system.ads system.ali W system.compare_array_unsigned_8%s s-carun8.adb s-carun8.ali W system.concat_2%s s-conca2.adb s-conca2.ali W system.concat_3%s s-conca3.adb s-conca3.ali W system.img_enum_new%s s-imenne.adb s-imenne.ali W system.img_int%s s-imgint.adb s-imgint.ali W system.secondary_stack%s s-secsta.adb s-secsta.ali W words_engine%s words_engine.ads words_engine.ali W words_engine.english_support_package%s words_engine-english_support_package.adb words_engine-english_support_package.ali W words_engine.word_package%s words_engine-word_package.adb words_engine-word_package.ali D ada.ads 20070406091342 3ffc8e18 D a-direio.ads 20090410151215 5842da07 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-string.ads 20070406091342 90ac6797 D a-tags.ads 20111212115430 6c0509d0 D a-textio.ads 20140129155348 386df5d4 D a-tienio.ads 20090409150019 fc618ae6 D a-tiinio.ads 20090409150019 aa04e5d6 D a-unccon.ads 20070406091342 f9eb8f06 D interfac.ads 20140225151838 69adb1b9 D i-cstrea.ads 20130412125801 8128536b D latin_utils.ads 20230322220154 14f26ddf D latin_utils-config.ads 20230322220154 d5d50f67 D latin_utils-dictionary_package.ads 20230322220154 e6e52463 D latin_utils-inflections_package.ads 20230322220154 6766ecb7 D latin_utils-strings_package.ads 20230322220154 9a865565 D support_utils.ads 20230322220154 f98bd89b D support_utils-developer_parameters.ads 20230322220154 832e1d2d D support_utils-dictionary_form.adb 20230322220154 9e62707a D support_utils-dictionary_form.adb 20230322220154 9e62707a D support_utils-word_parameters.ads 20230322220154 276a9680 D support_utils-word_support_package.ads 20230322220154 e452bc91 D system.ads 20160213141829 90249111 D s-carun8.ads 20140225151544 a903718d D s-conca2.ads 20140225151544 02a0d7d0 D s-conca3.ads 20140225151544 0b705ca5 D s-conca5.ads 20140225151544 875e432e D s-crtl.ads 20140225151544 840e6817 D s-direio.ads 20090409150019 068812e8 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-imenne.ads 20140225151139 614c06c0 D s-imgint.ads 20090409150019 02dbe0c2 D s-parame.ads 20140225151139 ab8cb46a D s-pooglo.ads 20110804083314 542f33d0 D s-secsta.ads 20140225151139 86a2856d 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-english_support_package.ads 20230322220154 53a3ad96 D words_engine-search_english.adb 20230322220154 c8d4d753 D words_engine-search_english.adb 20230322220154 c8d4d753 D words_engine-word_package.ads 20230322220154 3c1c1d68 X 1 ada.ads 16K9*Ada 19e8 54|17r6 17r23 91r45 98r10 115r13 119r28 123r50 130r13 133r16 . 135r16 139r16 145r16 150r16 157r16 161r16 166r16 170r13 174r13 175r13 261r7 X 2 a-direio.ads 53P9*File_Type<32|81P9> 66I9*Count 54|40r31[52|53] 128r27[17|614] 229r50[52|53] 240r50[52|53] 101U14*Read 54|127s21[17|614] 106U14*Read 54|220s7[52|53] 230s13[52|53] 241s13[52|53] 119U14*Set_Index 54|219s7[52|53] 229s13[52|53] 240s13[52|53] 122V13*Size{66I9[52|53]} 54|194s10[52|53] X 9 a-textio.ads 49K13*Text_IO 471e16 54|17w10 17r27 91r49 98r14 115r17 119r32 123r54 130r17 . 133r20 135r20 139r20 145r20 150r20 157r20 161r20 166r20 170r17 174r17 175r17 . 261r11 52P9*File_Type 54|91r57 64I9*Count 68I12*Positive_Count{64I9} 122V13*Current_Output{52P9} 54|257s26 165U14*New_Line 54|115s25 170s25 175s25 195V13*Line{68I12} 54|119s40 123s62 241U14*Put 54|129s13 130s25 133s28 135s28 139s28 145s28 150s28 157s28 161s28 . 166s28 174s25 259U14*Put_Line 54|98s22 181s13 263U14*Put_Line 54|261s19 X 10 a-tienio.ads 54U14*Put 54|152s28[18|856] 153s29[17|81] 154s28[17|107] 155s34[18|883] 156s31[17|160] X 15 latin_utils.ads 21K9*Latin_Utils 29e16 54|18r6 18r39 19r6 21r6 21r43 22r6 22r42 28r5 X 16 latin_utils-config.ads 17K21*Config 42e23 54|19w18 120r39 19i4*Output_Screen_Size{integer} 54|120r46 X 17 latin_utils-dictionary_package.ads 20K21*Dictionary_Package 662e35 54|22w18 22r54 34E9*Dictionary_Kind 46e8 54|42r19 42n9*General{34E9} 54|42r38 127r38 51a4*Ext(string) 54|161r41 81K12*Area_Type_IO[10|46] 54|153r16 107K12*Geo_Type_IO[10|46] 54|154r16 160K12*Source_Type_IO[10|46] 54|156r16 225e10*Age{18|845E9} 54|152r49 226e10*Area{64E9} 54|153r50 227e10*Geo{86E9} 54|154r49 228e10*Freq{18|858E9} 54|155r55 229e10*Source{112E9} 54|156r52 261r10*Decl{18|97R9} 54|134r54 262e10*Gender{18|125E9} 54|136r47 418r10*Con{18|97R9} 54|140r54 419e10*Kind{18|304E9} 54|143r26 146r50 519e21*Pofs{18|64E9} 54|132r24 138r24 142r25 523r16*N{258R9} 54|134r52 136r45 535r16*V{414R9} 54|140r52 143r24 146r48 579R9*Dictionary_Entry 585e17 54|92r12 582r10*Part{519R9} 54|132r19 134r47 136r40 138r19 140r47 142r20 143r19 146r43 583r10*Tran{223R9} 54|152r44 153r45 154r44 155r50 156r47 584a10*Mean{18|61A12} 54|174r47 609r4*Null_Dictionary_Entry{579R9} 54|92r32 614K12*Dict_IO[2|43] 54|127r13 128r19 615a4*Dict_File(2|53P9[614]) 54|127r27 X 18 latin_utils-inflections_package.ads 25K21*Inflections_Package 973e36 54|21w18 21r55 61A12*Meaning_Type{string} 64E9*Part_Of_Speech_Type 82e7 54|32r11 36r26 65n7*X{64E9} 54|32r34 66n6*N{64E9} 54|132r31 72n6*V{64E9} 54|138r31 142r32 106K12*Decn_Record_IO 121e22 54|134r16 140r16 112U17*Put 54|134s31 140s31 125E9*Gender_Type 131e7 54|136r18 304E9*Verb_Kind_Type 321e8 54|146r18 308n7*Gen{304E9} 54|143r34 319n7*Perfdef{304E9} 54|143r41 856K12*Age_Type_IO[10|46] 54|152r16 883K12*Frequency_Type_IO[10|46] 54|155r16 955V25*"<="{boolean} 54|50s20 X 19 latin_utils-strings_package.ads 26K21*Strings_Package 67e32 54|18w18 18r51 37V13*Lower_Case{string} 54|35s26 221s15 224s18 232s20 243s20 45V13*Trim{string} 54|167s20 174s38 51V13*Head{string} 54|35s38 X 20 support_utils.ads 21K9*Support_Utils 29e18 54|20r6 20r41 23r6 23r46 27r6 129r26 X 21 support_utils-developer_parameters.ads 18K23*Developer_Parameters 98e39 54|23w20 23r60 47n6*Show_Dictionary{40E9} 54|160r28 48n6*Show_Dictionary_Line{40E9} 54|165r28 49n6*Show_Dictionary_Codes{40E9} 54|149r28 85A9*Mdev_Array(boolean)<40E9> 87a4*Words_Mdev{85A9} 54|149r16 160r16 165r16 X 23 support_utils-dictionary_form.adb 20V24*Dictionary_Form{string} 20|21k9 54|27w20 129s40 X 24 support_utils-word_parameters.ads 18K23*Word_Parameters 72e34 54|20w20 20r55 34p4*Output{9|52P9} 54|255r26 41b4*Trimmed{boolean} 54|104m10 108m16 180r13 44n6*Trim_Output{43E9} 54|105r25 46n6*Write_Output_To_File{43E9} 54|254r20 64A9*Mode_Array(boolean)<43E9> 66a4*Words_Mode{64A9} 54|105r13 254r8 X 32 s-direio.ads 81P9*File_Type(53R9) X 51 words_engine.ads 21K9*Words_Engine 27e17 54|24r6 24r37 25r6 26r5 30r11 264r5 X 52 words_engine-english_support_package.ads 21K22*English_Support_Package 72e41 54|25w19 26r18 23N4*Eword_Size 54|35r64 28A12*Eword{string} 54|35r17 36R9*Ewds_Record 46e17 54|44r11 48r43 68r18 38a10*W{28A12} 54|221r32 224r35 232r37 243r37 40i10*N{integer} 54|128r51 167r58 41e10*Pofs{18|64E9} 54|50r15 42e10*Freq{18|858E9} 54|74r39 74r65 76r39 76r65 43i10*Semi{integer} 54|77r39 77r65 45i10*Rank{integer} 54|72r40 72r66 73r40 73r66 75r40 75r66 48r4*Null_Ewds_Record{36R9} 54|38r55 44r26 68r33 51A9*Ewds_Array(36R9) 54|38r19 53K12*Ewds_Direct_Io[2|43] 54|34r8 40r16 229r35 240r35 70p4*Ewds_File{2|53P9[53]} 54|194r16 219r18 220r13 229r24 230r19 240r24 241r19 X 54 words_engine-search_english.adb 30U24*Search_English 51|21k9 54|30b24 264l18 264t32 31s4 Input_English_Word{string} 35r44 32e4 Pofs{18|64E9} 36r49 35a4 Input_Word{52|28A12} 221r36 224r39 232r41 243r41 36e4 Input_Pofs{18|64E9} 50r23 38a4 Output_Array{52|51A9} 52m10 72r19 72r49 73r19 73r49 74r18 74r48 75r19 . 75r49 76r18 76r48 77r18 77r48 79r25 80m19 80r39 81m19 128r34 167r41 39i4 Number_Of_Hits{integer} 51m10 51r28 52r24 71r27 93r35 97r10 106r16 110r34 . 262r24 40i4 J1{2|66I9[52|53]} 193m4 200r10 206r11 206r28 208r18 222m10 223r16 226r16 . 228r27 40i8 J2{2|66I9[52|53]} 194m4 200r15 206r16 206r33 211r18 223r21 225m10 226r21 . 239r28 40i12 J{2|66I9[52|53]} 200m4 208m13 211m13 219r29 222r16 223m10 225r16 226m10 . 228r33 239r19 42e4 D_K{17|34E9} 161r46 44r4 Ewds{52|36R9} 220m24 221r27 224r30 230m30 232r32 233r35 241m30 243r32 . 244r35 46b4 First_Try{boolean} 196m4 207r13 209m13 46b15 Second_Try{boolean} 198m4 210r16 212m13 48U14 Load_Output_Array 48b14 48>33 54l8 54t25 233s16 244s16 48r33 Ewds{52|36R9} 50r10 52r43 57U14 Sort_Output_Array 57b14 89l8 89t25 100s10 58i7 Hits{integer} 64m10 82m19 82r27 87r29 62l7 Hit_Loop 87r15 88l16 88e24 66q10 Switch 86l14 86e20 68r13 Dw{52|36R9} 79m19 81r43 70l13 Inner_Loop 85l22 85e32 71i17 I{integer} 72r33 72r63 73r33 73r63 74r32 74r62 75r33 75r63 76r32 76r62 . 77r32 77r62 79r39 80r33 80r53 81r33 91U14 Dump_Output_Array 91b14 91>33 189l8 189t25 255s7 257s7 91p33 Output{9|52P9} 98r32 115r35 119r46 122r26 123r68 129r18 130r30 133r33 . 134r36 135r33 139r33 140r36 145r33 150r33 152r33 153r34 154r33 155r39 156r36 . 157r33 161r33 166r33 170r35 174r30 175r35 181r23 92r7 De{17|579R9} 128m15 129r57 132r16 134r44 136r37 138r16 140r44 142r17 . 143r16 146r40 152r41 153r42 154r41 155r47 156r44 174r44 93i7 Number_To_Show{integer} 107m16 110m16 114r24 94i7 One_Screen{integer} 106r33 107r34 114i14 I{integer} 128r48 167r55 117q13 Do_Pause 125l17 125e25 202l4 Binary_Search 214r18 246r21 250r15 252l13 252e26 228i14 I 229r57 228l36 loop 237e18 239i14 I 240r57 239l32 loop 248e18 X 55 words_engine-word_package.ads 22K22*Word_Package 54|24w19 24r50 55|84e30 52i4*Scroll_Line_Number{integer} 54|120r18 123m19 55U14*Pause 54|122s19