Source file arabic.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
let words = ["\216\162\217\135"; "\216\162\217\135\216\167";
             "\216\162\217\138"; "\216\163\217\129";
             "\216\163\217\130\217\132"; "\216\163\217\131\216\171\216\177";
             "\216\163\217\132\216\167"; "\216\163\217\133";
             "\216\163\217\133\216\167"; "\216\163\217\134";
             "\216\163\217\134\216\167"; "\216\163\217\134\216\170";
             "\216\163\217\134\216\170\217\133";
             "\216\163\217\134\216\170\217\133\216\167";
             "\216\163\217\134\216\170\217\134"; "\216\163\217\134\217\137";
             "\216\163\217\136"; "\216\163\217\136\217\132\216\166\217\131";
             "\216\163\217\136\217\132\216\167\216\161";
             "\216\163\217\136\217\135"; "\216\163\217\138";
             "\216\163\217\138\217\134";
             "\216\163\217\138\217\134\217\133\216\167";
             "\216\163\217\138\217\135\216\167"; "\216\165\216\176";
             "\216\165\216\176\216\167"; "\216\165\216\176\217\133\216\167";
             "\216\165\216\176\217\134"; "\216\165\217\132\216\167";
             "\216\165\217\132\217\137"; "\216\165\217\132\217\138\217\131";
             "\216\165\217\132\217\138\217\131\217\133";
             "\216\165\217\132\217\138\217\131\217\133\216\167";
             "\216\165\217\132\217\138\217\131\217\134";
             "\216\165\217\133\216\167"; "\216\165\217\134";
             "\216\165\217\134\216\167"; "\216\165\217\134\217\133\216\167";
             "\216\165\217\134\217\135"; "\216\165\217\138";
             "\216\165\217\138\217\135"; "\216\167\217\132\216\170\217\138";
             "\216\167\217\132\216\176\217\138";
             "\216\167\217\132\216\176\217\138\217\134";
             "\216\167\217\132\217\132\216\167\216\166\217\138";
             "\216\167\217\132\217\132\216\167\216\170\217\138";
             "\216\167\217\132\217\132\216\170\216\167\217\134";
             "\216\167\217\132\217\132\216\170\217\138\216\167";
             "\216\167\217\132\217\132\216\170\217\138\217\134";
             "\216\167\217\132\217\132\216\176\216\167\217\134";
             "\216\167\217\132\217\132\216\176\217\138\217\134";
             "\216\167\217\132\217\132\217\136\216\167\216\170\217\138";
             "\216\168\216\174"; "\216\168\216\179";
             "\216\168\216\185\216\175"; "\216\168\216\185\216\182";
             "\216\168\217\131"; "\216\168\217\131\217\133";
             "\216\168\217\131\217\133\216\167"; "\216\168\217\131\217\134";
             "\216\168\217\132"; "\216\168\217\132\217\137";
             "\216\168\217\133\216\167";
             "\216\168\217\133\216\167\216\176\216\167";
             "\216\168\217\133\217\134"; "\216\168\217\134\216\167";
             "\216\168\217\135"; "\216\168\217\135\216\167";
             "\216\168\217\135\217\133"; "\216\168\217\135\217\133\216\167";
             "\216\168\217\135\217\134"; "\216\168\217\138";
             "\216\168\217\138\216\175"; "\216\168\217\138\217\134";
             "\216\170\217\132\217\131"; "\216\170\217\132\217\131\217\133";
             "\216\170\217\132\217\131\217\133\216\167"; "\216\170\217\135";
             "\216\170\217\138"; "\216\170\217\138\217\134";
             "\216\170\217\138\217\134\217\131"; "\216\171\217\133";
             "\216\171\217\133\216\169"; "\216\173\216\167\216\180\216\167";
             "\216\173\216\168\216\176\216\167"; "\216\173\216\170\217\137";
             "\216\173\217\138\216\171";
             "\216\173\217\138\216\171\217\133\216\167";
             "\216\173\217\138\217\134"; "\216\174\217\132\216\167";
             "\216\175\217\136\217\134"; "\216\176\216\167";
             "\216\176\216\167\216\170"; "\216\176\216\167\217\131";
             "\216\176\216\167\217\134"; "\216\176\216\167\217\134\217\131";
             "\216\176\217\132\217\131"; "\216\176\217\132\217\131\217\133";
             "\216\176\217\132\217\131\217\133\216\167";
             "\216\176\217\132\217\131\217\134"; "\216\176\217\135";
             "\216\176\217\136"; "\216\176\217\136\216\167";
             "\216\176\217\136\216\167\216\170\216\167";
             "\216\176\217\136\216\167\216\170\217\138"; "\216\176\217\138";
             "\216\176\217\138\217\134"; "\216\176\217\138\217\134\217\131";
             "\216\177\217\138\216\171"; "\216\179\217\136\217\129";
             "\216\179\217\136\217\137"; "\216\180\216\170\216\167\217\134";
             "\216\185\216\175\216\167"; "\216\185\216\179\217\137";
             "\216\185\217\132"; "\216\185\217\132\217\137";
             "\216\185\217\132\217\138\217\131";
             "\216\185\217\132\217\138\217\135"; "\216\185\217\133\216\167";
             "\216\185\217\134"; "\216\185\217\134\216\175";
             "\216\186\217\138\216\177"; "\217\129\216\165\216\176\216\167";
             "\217\129\216\165\217\134"; "\217\129\217\132\216\167";
             "\217\129\217\133\217\134"; "\217\129\217\138";
             "\217\129\217\138\217\133"; "\217\129\217\138\217\133\216\167";
             "\217\129\217\138\217\135"; "\217\129\217\138\217\135\216\167";
             "\217\130\216\175"; "\217\131\216\163\217\134";
             "\217\131\216\163\217\134\217\133\216\167";
             "\217\131\216\163\217\138"; "\217\131\216\163\217\138\217\134";
             "\217\131\216\176\216\167"; "\217\131\216\176\217\132\217\131";
             "\217\131\217\132"; "\217\131\217\132\216\167";
             "\217\131\217\132\216\167\217\135\217\133\216\167";
             "\217\131\217\132\216\170\216\167";
             "\217\131\217\132\217\133\216\167";
             "\217\131\217\132\217\138\217\131\217\133\216\167";
             "\217\131\217\132\217\138\217\135\217\133\216\167";
             "\217\131\217\133"; "\217\131\217\133\216\167";
             "\217\131\217\138"; "\217\131\217\138\216\170";
             "\217\131\217\138\217\129";
             "\217\131\217\138\217\129\217\133\216\167";
             "\217\132\216\166\217\134"; "\217\132\216\167";
             "\217\132\216\167\216\179\217\138\217\133\216\167";
             "\217\132\216\175\217\137"; "\217\132\216\179\216\170";
             "\217\132\216\179\216\170\217\133";
             "\217\132\216\179\216\170\217\133\216\167";
             "\217\132\216\179\216\170\217\134"; "\217\132\216\179\217\134";
             "\217\132\216\179\217\134\216\167"; "\217\132\216\185\217\132";
             "\217\132\217\131"; "\217\132\217\131\217\133";
             "\217\132\217\131\217\133\216\167"; "\217\132\217\131\217\134";
             "\217\132\217\131\217\134\217\133\216\167";
             "\217\132\217\131\217\138";
             "\217\132\217\131\217\138\217\132\216\167"; "\217\132\217\133";
             "\217\132\217\133\216\167"; "\217\132\217\134";
             "\217\132\217\134\216\167"; "\217\132\217\135";
             "\217\132\217\135\216\167"; "\217\132\217\135\217\133";
             "\217\132\217\135\217\133\216\167"; "\217\132\217\135\217\134";
             "\217\132\217\136"; "\217\132\217\136\217\132\216\167";
             "\217\132\217\136\217\133\216\167"; "\217\132\217\138";
             "\217\132\217\138\216\170"; "\217\132\217\138\216\179";
             "\217\132\217\138\216\179\216\167";
             "\217\132\217\138\216\179\216\170";
             "\217\132\217\138\216\179\216\170\216\167";
             "\217\132\217\138\216\179\217\136\216\167"; "\217\133\216\167";
             "\217\133\216\167\216\176\216\167"; "\217\133\216\170\217\137";
             "\217\133\216\176"; "\217\133\216\185";
             "\217\133\217\133\216\167"; "\217\133\217\133\217\134";
             "\217\133\217\134"; "\217\133\217\134\216\176";
             "\217\133\217\134\217\135"; "\217\133\217\134\217\135\216\167";
             "\217\133\217\135"; "\217\133\217\135\217\133\216\167";
             "\217\134\216\173\217\134"; "\217\134\216\173\217\136";
             "\217\134\216\185\217\133";
             "\217\135\216\164\217\132\216\167\216\161"; "\217\135\216\167";
             "\217\135\216\167\216\170\216\167\217\134";
             "\217\135\216\167\216\170\217\135";
             "\217\135\216\167\216\170\217\138";
             "\217\135\216\167\216\170\217\138\217\134";
             "\217\135\216\167\217\131";
             "\217\135\216\167\217\135\217\134\216\167";
             "\217\135\216\176\216\167"; "\217\135\216\176\216\167\217\134";
             "\217\135\216\176\217\135"; "\217\135\216\176\217\138";
             "\217\135\216\176\217\138\217\134";
             "\217\135\217\131\216\176\216\167"; "\217\135\217\132";
             "\217\135\217\132\216\167"; "\217\135\217\133";
             "\217\135\217\133\216\167"; "\217\135\217\134";
             "\217\135\217\134\216\167"; "\217\135\217\134\216\167\217\131";
             "\217\135\217\134\216\167\217\132\217\131"; "\217\135\217\136";
             "\217\135\217\138"; "\217\135\217\138\216\167";
             "\217\135\217\138\216\170";
             "\217\135\217\138\217\135\216\167\216\170";
             "\217\136\216\165\216\176"; "\217\136\216\165\216\176\216\167";
             "\217\136\216\165\217\134";
             "\217\136\216\167\217\132\216\176\217\138";
             "\217\136\216\167\217\132\216\176\217\138\217\134";
             "\217\136\217\132\216\167"; "\217\136\217\132\217\131\217\134";
             "\217\136\217\132\217\136"; "\217\136\217\133\216\167";
             "\217\136\217\133\217\134"; "\217\136\217\135\217\136";
             "\217\138\216\167"] ;;