-
Notifications
You must be signed in to change notification settings - Fork 0
/
su-solver.fas
291 lines (291 loc) · 17.3 KB
/
su-solver.fas
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
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|1 4 (DEFVAR *DIMS* 9)-1|
#24Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 8C 57 04 DB DC 31 5A C6 19
01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*DIMS*|)
|COMMON-LISP-USER|::|*DIMS*| 9.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|5 5 (DEFVAR *SQUARE* 3)-2|
#24Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 8C 57 04 DB DC 31 5A C6 19
01)
((|COMMON-LISP|::|SPECIAL| |COMMON-LISP-USER|::|*SQUARE*|)
|COMMON-LISP-USER|::|*SQUARE*| 3.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|7 9 (DEFUN POSS (L C ESTADO) ...)-3|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|POSS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|POSS|
#19Y(00 00 00 00 03 00 00 00 26 04 AE B0 AF 71 A1 31 A1 19 04) ()
(|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|11 16 (DEFUN DEF-POSS (L C ESTADO ...) ...)-4|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|DEF-POSS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|DEF-POSS|
#37Y(00 00 00 00 04 00 00 00 26 05 AF B1 B0 71 A1 AF 2D 03 00 AD 71 A0
DB 32 15 1F 08 AE 2F 02 AE 2F 03 19 05 19 05)
(|SYSTEM|::|%SETNTH| 1. |COMMON-LISP-USER|::|LIMPA-EST|
|COMMON-LISP-USER|::|GERA-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|ESTADO| |COMMON-LISP-USER|::|P|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|18 19 (DEFUN SEM-POSS? (L C ESTADO) ...)-5|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|SEM-POSS?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|SEM-POSS?|
#21Y(00 00 00 00 03 00 00 00 26 04 AF AF AF 6E 03 00 63 32 15 19 04)
(|COMMON-LISP-USER|::|POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|21 22 (DEFUN POSS-IMP? (L C ESTADO) ...)-6|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|POSS-IMP?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|POSS-IMP?|
#23Y(00 00 00 00 03 00 00 00 26 04 AF AF AF 6E 03 00 DB 7B 01 32 15 19
04)
(|COMMON-LISP-USER|::|POSS| |COMMON-LISP-USER|::|X|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|24 25 (DEFUN POSS-UNI? (L C ESTADO) ...)-7|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|POSS-UNI?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|POSS-UNI?|
#23Y(00 00 00 00 03 00 00 00 26 04 AF AF AF 6E 03 00 71 A0 DB 32 15 19
04)
(|COMMON-LISP-USER|::|POSS| 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|27 32 (DEFUN LIST-POS NIL ...)-8|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|LIST-POS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|LIST-POS|
#42Y(00 00 00 00 00 00 00 00 26 01 63 6B 00 DB 80 AA 00 DB 6B 00 1B 09
AD AF 96 03 2D 03 02 85 01 AD AD 91 01 34 71 16 02 15 19 01)
(|COMMON-LISP-USER|::|*DIMS*| 0. |SYSTEM|::|%SETNTH|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|34 50 (DEFUN GERA-LISTA-POSS (L C ESTADO) ...)-9|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|GERA-LISTA-POSS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|GERA-LISTA-POSS|
#224Y(00 00 00 00 03 00 00 00 26 04 2E 00 14 DB DB DB 6B 02 1B 17 AD B4
B4 2D 03 03 1D 0D AD B4 B4 2D 03 04 78 B1 38 07 81 69 04 85 01 AD
AD 91 01 34 63 16 02 DB 6B 02 1B 17 B4 AE B4 2D 03 03 1D 0D B4 AE
B4 2D 03 04 78 B1 38 07 81 69 04 85 01 AD AD 91 01 34 63 16 02 DB
6B 05 1B 80 67 DB 6B 05 1B 80 56 B2 B2 B2 A2 1B 80 70 B6 6B 05 73
01 3A 38 01 72 CE 6B 05 73 02 39 B7 B1 73 02 37 6B 05 72 D2 82 02
37 05 B5 6B 05 73 01 3A 38 01 72 CE 6B 05 73 02 39 B6 AF 73 02 37
6B 05 72 D2 82 02 37 04 B1 B1 B6 2D 03 03 1D 0D B1 B1 B6 2D 03 04
78 B3 38 07 81 69 06 85 01 AD AD 91 01 34 FF AA 16 02 85 01 AD AD
91 01 34 FF 92 16 02 AE 71 A0 8E AD FF 8F B2 B2 B2 E1 61 01 14 2D
04 06 19 07)
(|COMMON-LISP-USER|::|LIST-POS| 0. |COMMON-LISP-USER|::|*DIMS*|
|COMMON-LISP-USER|::|POSS-UNI?| |COMMON-LISP-USER|::|POSS|
|COMMON-LISP-USER|::|*SQUARE*| |COMMON-LISP-USER|::|DEF-POSS|
|COMMON-LISP-USER|::|X|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|52 57 (DEFUN ENCONTRA-E-ACERTA-LINHA (L N ESTADO) ...)-10|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-LINHA|
|SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-LINHA|
#53Y(00 00 00 00 03 00 00 00 26 04 DA 6B 01 1B 1D B1 AE B1 B3 00 7A 2D
04 03 02 19 06 B0 B2 AF B2 6E 03 02 38 03 71 C1 63 8F 15 65 85 01
AD AD 91 01 34 69 00 19 06)
(0. |COMMON-LISP-USER|::|*DIMS*| |COMMON-LISP-USER|::|POSS|
|COMMON-LISP-USER|::|DEF-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|N|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|59 64 (DEFUN ENCONTRA-E-ACERTA-COLUNA (C N ESTADO) ...)-11|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-COLUNA|
|SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-COLUNA|
#53Y(00 00 00 00 03 00 00 00 26 04 DA 6B 01 1B 1D AD B2 B1 B3 00 7A 2D
04 03 02 19 06 B0 AE B3 B2 6E 03 02 38 03 71 C1 63 8F 15 65 85 01
AD AD 91 01 34 69 00 19 06)
(0. |COMMON-LISP-USER|::|*DIMS*| |COMMON-LISP-USER|::|POSS|
|COMMON-LISP-USER|::|DEF-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|C| |COMMON-LISP-USER|::|N|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|66 76 (DEFUN ENCONTRA-E-ACERTA-QUADRADO (L C N ...) ...)-12|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-QUADRADO|
|SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-QUADRADO|
#131Y(00 00 00 00 04 00 00 00 26 05 DA DA DA 6B 01 1B 80 67 DA 6B 01 1B
80 56 B0 B2 B5 B7 00 7A 2D 04 03 02 19 0B B6 6B 01 73 01 3A 38 01
72 CE 6B 01 73 02 39 B7 B1 73 02 37 6B 01 72 D2 82 02 37 04 B5 6B
01 73 01 3A 38 01 72 CE 6B 01 73 02 39 B6 AF 73 02 37 6B 01 72 D2
82 02 37 05 B4 B1 B3 B6 6E 03 02 38 03 71 C1 63 8F 15 FF AC 85 01
AD AD 91 01 34 FF AF 16 02 85 01 AD AD 91 01 34 FF 92 00 19 09)
(0. |COMMON-LISP-USER|::|*SQUARE*| |COMMON-LISP-USER|::|POSS|
|COMMON-LISP-USER|::|DEF-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|L| |COMMON-LISP-USER|::|C| |COMMON-LISP-USER|::|N|
|COMMON-LISP-USER|::|ESTADO|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|78 134 (DEFUN ACERTA-POSS (ESTADO) ...)-13|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|ACERTA-POSS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|ACERTA-POSS|
#465Y(00 00 00 00 01 00 00 00 26 02 6B 00 DB 71 AA DB DB 63 DB DB DB 6B
00 1B 80 61 6B 00 DB 80 AA 07 DB 6B 00 1B 2E AF AE B9 2D 03 02 FE
14 71 A0 DD 91 01 32 1D B2 63 1B 13 87 01 00 14 72 B2 B8 97 02 BA
71 A1 72 B1 2D 03 04 83 01 AD 8D 9F 69 16 02 85 01 AD AD 91 01 34
4C 16 02 DB 6B 00 1B 11 AD B6 71 A1 DD 8F 15 07 AF 96 02 B9 2D 03
05 85 01 AD AD 91 01 34 69 16 02 85 01 AD AD 91 01 34 FF 98 16 02
DB 6B 00 1B 80 61 6B 00 DB 80 AA 07 DB 6B 00 1B 2E AD B0 B9 2D 03
02 FE 14 71 A0 DD 91 01 32 1D B2 63 1B 13 87 01 00 14 72 B2 B8 97
02 BA 71 A1 72 B1 2D 03 04 83 01 AD 8D 9F 69 16 02 85 01 AD AD 91
01 34 4C 16 02 DB 6B 00 1B 11 AD B6 71 A1 DD 8F 15 07 AF 96 02 B9
2D 03 06 85 01 AD AD 91 01 34 69 16 02 85 01 AD AD 91 01 34 FF 98
16 02 DB 6B 07 1B 80 CD AD 6B 07 82 02 39 06 DB 6B 07 1B 80 B5 AD
6B 07 82 02 39 07 6B 00 DB 80 AA 09 DB 6B 07 1B 80 78 DB 6B 07 1B
80 67 B8 6B 07 73 01 3A 38 01 72 CE 6B 07 73 02 39 B9 B1 73 02 37
6B 07 72 D2 82 02 37 08 B7 6B 07 73 01 3A 38 01 72 CE 6B 07 73 02
39 B8 AF 73 02 37 6B 07 72 D2 82 02 37 09 B4 B6 BD 2D 03 02 09 0A
14 71 A0 DD 91 01 32 1D B6 63 1B 13 87 01 00 14 72 B2 BC 97 02 BE
71 A1 72 B1 2D 03 04 83 01 AD 8D 9F 69 16 02 85 01 AD AD 91 01 34
FF 92 16 02 85 01 AD AD 91 01 34 FF 81 16 02 DB 6B 07 1B 12 AD B8
71 A1 DD 8F 15 08 B6 B6 96 03 BC 2D 04 08 85 01 AD AD 91 01 34 68
16 02 85 01 AD AD 91 01 34 FF 44 16 02 85 01 AD AD 91 01 34 FF 2C
00 19 0A)
(|COMMON-LISP-USER|::|*DIMS*| 0. |COMMON-LISP-USER|::|POSS| 1.
|SYSTEM|::|%SETNTH| |COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-LINHA|
|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-COLUNA|
|COMMON-LISP-USER|::|*SQUARE*|
|COMMON-LISP-USER|::|ENCONTRA-E-ACERTA-QUADRADO|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|136 140 (DEFUN GERA-POSS (ESTADO) ...)-14|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|GERA-POSS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|GERA-POSS|
#55Y(00 00 00 00 01 00 00 00 26 02 DA 6B 01 1B 1F DA 6B 01 1B 10 AF AE
B3 2D 03 02 1D 06 AF AE B3 2D 03 03 85 01 AD AD 91 01 34 6A 16 02
85 01 AD AD 91 01 34 5B 00 19 04)
(0. |COMMON-LISP-USER|::|*DIMS*| |COMMON-LISP-USER|::|SEM-POSS?|
|COMMON-LISP-USER|::|GERA-LISTA-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|142 148 (DEFUN VITORIA? (ESTADO) ...)-15|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|VITORIA?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|VITORIA?|
#69Y(00 00 00 00 01 00 00 00 26 02 6B 00 6B 00 73 02 39 DB DB 6B 00 1B
1B DB 6B 00 1B 0C AF AE B5 2D 03 02 1D 02 85 04 85 01 AD AD 91 01
34 6E 16 02 85 01 AD AD 91 01 34 5F 16 02 AC AE 32 15 1F 03 02 19
04 19 04)
(|COMMON-LISP-USER|::|*DIMS*| 0. |COMMON-LISP-USER|::|POSS-UNI?|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|150 154 (DEFUN ESTADO-IMP? (ESTADO) ...)-16|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|ESTADO-IMP?| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|ESTADO-IMP?|
#54Y(00 00 00 00 01 00 00 00 26 02 DA 6B 01 1B 1C DA 6B 01 1B 0D 02 19
06 AF AE B3 2D 03 02 1C 75 85 01 AD AD 91 01 34 70 16 02 85 01 AD
AD 91 01 34 5E 16 02 00 19 02)
(0. |COMMON-LISP-USER|::|*DIMS*| |COMMON-LISP-USER|::|POSS-IMP?|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|156 159 (DEFUN LIMPA-EST (ESTADO) ...)-17|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|LIMPA-EST| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|LIMPA-EST|
#56Y(00 00 00 00 01 00 00 00 26 02 DA 6B 01 1B 20 DA 6B 01 1B 11 AF AE
B3 2D 03 02 1C 07 AF AE B3 63 2D 04 03 85 01 AD AD 91 01 34 69 16
02 85 01 AD AD 91 01 34 5A 00 19 04)
(0. |COMMON-LISP-USER|::|*DIMS*| |COMMON-LISP-USER|::|POSS-UNI?|
|COMMON-LISP-USER|::|DEF-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|161 165 (DEFUN SOLVER (ESTADO) ...)-18|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|SOLVER| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|SOLVER|
#22Y(00 00 00 00 01 00 00 00 26 02 AD 2F 00 AD 2F 01 AD 2F 02 9E 19 02)
(|COMMON-LISP-USER|::|GERA-POSS| |COMMON-LISP-USER|::|ACERTA-POSS|
|COMMON-LISP-USER|::|LIMPA-EST|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|167 177 (DEFUN COPIA-ESTADO (ESTADO) ...)-19|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|COPIA-ESTADO| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|COPIA-ESTADO|
#104Y(00 00 00 00 01 00 00 00 26 02 6B 00 38 01 71 AA DB 6B 00 1B 0D AD
AF 6B 00 38 01 71 AA 2D 03 02 85 01 AD AD 91 01 34 6D 16 02 DB 6B
00 1B 2E DB 6B 00 1B 1F AF AE B4 6E 03 03 71 A0 DE 8F 15 11 AD B0
B2 71 A1 B1 B0 B6 2D 03 03 78 7B 01 2D 03 02 85 01 AD AD 91 01 34
5B 16 02 85 01 AD AD 91 01 34 4C 16 02 15 19 02)
(|COMMON-LISP-USER|::|*DIMS*| 0. |SYSTEM|::|%SETNTH|
|COMMON-LISP-USER|::|POSS| 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|180 196 (DEFUN GERA-ALTERNATIVAS (ESTADO LST-ESTADOS) ...)-20|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|GERA-ALTERNATIVAS| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|GERA-ALTERNATIVAS|
#127Y(00 00 00 00 02 00 00 00 26 03 01 02 AF B1 6F 00 AC 2F 01 DC 6B 03
1B 80 5C DE 6B 03 1B 80 4B DE 6B 03 1B 3C DE 1B 1D B3 2F 00 09 09
B0 AF B7 AF BA 71 A1 7B 01 2D 04 06 B5 6F 00 7B 01 B5 82 02 23 08
85 00 AC B3 91 01 34 5D 16 01 A4 19 0D AF AE B4 2D 03 05 09 09 14
71 A0 B2 8E 15 46 85 01 AD AD 91 01 34 69 16 02 85 01 AD AD 91 01
34 FF AE 16 02 85 01 AD AD 91 01 32 FF 9D 00 19 09)
(|COMMON-LISP-USER|::|COPIA-ESTADO| |COMMON-LISP-USER|::|GERA-POSS| 2.
|COMMON-LISP-USER|::|*DIMS*| 0. |COMMON-LISP-USER|::|POSS|
|COMMON-LISP-USER|::|DEF-POSS|)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ESTADO| |COMMON-LISP-USER|::|LST-ESTADOS|)
|COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|198 221 (DEFUN SU-SOLVER (ST) ...)-21|
#20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
(|COMMON-LISP-USER|::|SU-SOLVER| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
#Y(|COMMON-LISP-USER|::|SU-SOLVER|
#81Y(00 00 00 00 01 00 00 00 26 02 AD 7B 01 01 03 B1 31 A0 0F 00 14 32
B7 0F 01 87 03 02 14 88 02 2E AE AD 8E 15 1E AE 6F 04 2F 05 F9 14
88 06 0A AD 7B 01 B0 82 02 23 03 9F F8 AE B0 38 06 E1 81 69 03 1B
56 AE B0 30 03 FB AE B0 38 07 1B 70 9F 19 06)
(|COMMON-LISP-USER|::|*DIMS*| |COMMON-LISP-USER|::|*SQUARE*|
|COMMON-LISP-USER|::|VITORIA?| |COMMON-LISP-USER|::|GERA-ALTERNATIVAS|
|COMMON-LISP-USER|::|COPIA-ESTADO| |COMMON-LISP-USER|::|SOLVER|
|COMMON-LISP-USER|::|ESTADO-IMP?| 1.)
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
(|COMMON-LISP-USER|::|ST|) |COMMON-LISP|::|NIL| 1))
(|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))