Merge branch 'master' into bug-4403-remove-polyfill
[maxima.git] / share / fftpack5 / lisp / mradf5.lisp
blob984d67dd52f27dfcc5391719aeaa44793b2b5f7c
1 ;;; Compiled by f2cl version:
2 ;;; ("f2cl1.l,v 95098eb54f13 2013/04/01 00:45:16 toy $"
3 ;;; "f2cl2.l,v 95098eb54f13 2013/04/01 00:45:16 toy $"
4 ;;; "f2cl3.l,v 96616d88fb7e 2008/02/22 22:19:34 rtoy $"
5 ;;; "f2cl4.l,v 96616d88fb7e 2008/02/22 22:19:34 rtoy $"
6 ;;; "f2cl5.l,v 95098eb54f13 2013/04/01 00:45:16 toy $"
7 ;;; "f2cl6.l,v 1d5cbacbb977 2008/08/24 00:56:27 rtoy $"
8 ;;; "macros.l,v 1409c1352feb 2013/03/24 20:44:50 toy $")
10 ;;; Using Lisp CMU Common Lisp snapshot-2020-04 (21D Unicode)
11 ;;;
12 ;;; Options: ((:prune-labels nil) (:auto-save t) (:relaxed-array-decls t)
13 ;;; (:coerce-assigns :as-needed) (:array-type ':array)
14 ;;; (:array-slicing t) (:declare-common nil)
15 ;;; (:float-format single-float))
17 (in-package "FFTPACK5")
20 (defun mradf5 (m ido l1 cc im1 in1 ch im2 in2 wa1 wa2 wa3 wa4)
21 (declare (type (array double-float (*)) wa4 wa3 wa2 wa1 ch cc)
22 (type (f2cl-lib:integer4) in2 im2 in1 im1 l1 ido m))
23 (f2cl-lib:with-multi-array-data
24 ((cc double-float cc-%data% cc-%offset%)
25 (ch double-float ch-%data% ch-%offset%)
26 (wa1 double-float wa1-%data% wa1-%offset%)
27 (wa2 double-float wa2-%data% wa2-%offset%)
28 (wa3 double-float wa3-%data% wa3-%offset%)
29 (wa4 double-float wa4-%data% wa4-%offset%))
30 (prog ((ic 0) (i 0) (idp2 0) (m1 0) (m2 0) (k 0) (ti12 0.0d0) (tr12 0.0d0)
31 (ti11 0.0d0) (tr11 0.0d0) (arg 0.0d0) (m2s 0) (m1d 0))
32 (declare (type (double-float) arg tr11 ti11 tr12 ti12)
33 (type (f2cl-lib:integer4) m1d m2s k m2 m1 idp2 i ic))
34 (setf m1d
35 (f2cl-lib:int-add (f2cl-lib:int-mul (f2cl-lib:int-sub m 1) im1)
36 1))
37 (setf m2s (f2cl-lib:int-sub 1 im2))
38 (setf arg (/ (* 2.0d0 4.0d0 (atan 1.0d0)) 5.0d0))
39 (setf tr11 (cos arg))
40 (setf ti11 (sin arg))
41 (setf tr12 (cos (* 2.0d0 arg)))
42 (setf ti12 (sin (* 2.0d0 arg)))
43 (f2cl-lib:fdo (k 1 (f2cl-lib:int-add k 1))
44 ((> k l1) nil)
45 (tagbody
46 (setf m2 m2s)
47 (f2cl-lib:fdo (m1 1 (f2cl-lib:int-add m1 im1))
48 ((> m1 m1d) nil)
49 (tagbody
50 (setf m2 (f2cl-lib:int-add m2 im2))
51 (setf (f2cl-lib:fref ch-%data%
52 (m2 1 1 k)
53 ((1 in2) (1 ido) (1 5) (1 l1))
54 ch-%offset%)
56 (f2cl-lib:fref cc-%data%
57 (m1 1 k 1)
58 ((1 in1) (1 ido) (1 l1) (1 5))
59 cc-%offset%)
61 (f2cl-lib:fref cc-%data%
62 (m1 1 k 5)
63 ((1 in1) (1 ido) (1 l1) (1 5))
64 cc-%offset%)
65 (f2cl-lib:fref cc-%data%
66 (m1 1 k 2)
67 ((1 in1) (1 ido) (1 l1) (1 5))
68 cc-%offset%))
70 (f2cl-lib:fref cc-%data%
71 (m1 1 k 4)
72 ((1 in1) (1 ido) (1 l1) (1 5))
73 cc-%offset%)
74 (f2cl-lib:fref cc-%data%
75 (m1 1 k 3)
76 ((1 in1) (1 ido) (1 l1) (1 5))
77 cc-%offset%))))
78 (setf (f2cl-lib:fref ch-%data%
79 (m2 ido 2 k)
80 ((1 in2) (1 ido) (1 5) (1 l1))
81 ch-%offset%)
83 (f2cl-lib:fref cc-%data%
84 (m1 1 k 1)
85 ((1 in1) (1 ido) (1 l1) (1 5))
86 cc-%offset%)
87 (* tr11
89 (f2cl-lib:fref cc-%data%
90 (m1 1 k 5)
91 ((1 in1) (1 ido) (1 l1) (1 5))
92 cc-%offset%)
93 (f2cl-lib:fref cc-%data%
94 (m1 1 k 2)
95 ((1 in1) (1 ido) (1 l1) (1 5))
96 cc-%offset%)))
97 (* tr12
99 (f2cl-lib:fref cc-%data%
100 (m1 1 k 4)
101 ((1 in1) (1 ido) (1 l1) (1 5))
102 cc-%offset%)
103 (f2cl-lib:fref cc-%data%
104 (m1 1 k 3)
105 ((1 in1) (1 ido) (1 l1) (1 5))
106 cc-%offset%)))))
107 (setf (f2cl-lib:fref ch-%data%
108 (m2 1 3 k)
109 ((1 in2) (1 ido) (1 5) (1 l1))
110 ch-%offset%)
112 (* ti11
114 (f2cl-lib:fref cc-%data%
115 (m1 1 k 5)
116 ((1 in1) (1 ido) (1 l1) (1 5))
117 cc-%offset%)
118 (f2cl-lib:fref cc-%data%
119 (m1 1 k 2)
120 ((1 in1) (1 ido) (1 l1) (1 5))
121 cc-%offset%)))
122 (* ti12
124 (f2cl-lib:fref cc-%data%
125 (m1 1 k 4)
126 ((1 in1) (1 ido) (1 l1) (1 5))
127 cc-%offset%)
128 (f2cl-lib:fref cc-%data%
129 (m1 1 k 3)
130 ((1 in1) (1 ido) (1 l1) (1 5))
131 cc-%offset%)))))
132 (setf (f2cl-lib:fref ch-%data%
133 (m2 ido 4 k)
134 ((1 in2) (1 ido) (1 5) (1 l1))
135 ch-%offset%)
137 (f2cl-lib:fref cc-%data%
138 (m1 1 k 1)
139 ((1 in1) (1 ido) (1 l1) (1 5))
140 cc-%offset%)
141 (* tr12
143 (f2cl-lib:fref cc-%data%
144 (m1 1 k 5)
145 ((1 in1) (1 ido) (1 l1) (1 5))
146 cc-%offset%)
147 (f2cl-lib:fref cc-%data%
148 (m1 1 k 2)
149 ((1 in1) (1 ido) (1 l1) (1 5))
150 cc-%offset%)))
151 (* tr11
153 (f2cl-lib:fref cc-%data%
154 (m1 1 k 4)
155 ((1 in1) (1 ido) (1 l1) (1 5))
156 cc-%offset%)
157 (f2cl-lib:fref cc-%data%
158 (m1 1 k 3)
159 ((1 in1) (1 ido) (1 l1) (1 5))
160 cc-%offset%)))))
161 (setf (f2cl-lib:fref ch-%data%
162 (m2 1 5 k)
163 ((1 in2) (1 ido) (1 5) (1 l1))
164 ch-%offset%)
166 (* ti12
168 (f2cl-lib:fref cc-%data%
169 (m1 1 k 5)
170 ((1 in1) (1 ido) (1 l1) (1 5))
171 cc-%offset%)
172 (f2cl-lib:fref cc-%data%
173 (m1 1 k 2)
174 ((1 in1) (1 ido) (1 l1) (1 5))
175 cc-%offset%)))
176 (* ti11
178 (f2cl-lib:fref cc-%data%
179 (m1 1 k 4)
180 ((1 in1) (1 ido) (1 l1) (1 5))
181 cc-%offset%)
182 (f2cl-lib:fref cc-%data%
183 (m1 1 k 3)
184 ((1 in1) (1 ido) (1 l1) (1 5))
185 cc-%offset%)))))
186 label1001))
187 label101))
188 (if (= ido 1) (go end_label))
189 (setf idp2 (f2cl-lib:int-add ido 2))
190 (f2cl-lib:fdo (k 1 (f2cl-lib:int-add k 1))
191 ((> k l1) nil)
192 (tagbody
193 (f2cl-lib:fdo (i 3 (f2cl-lib:int-add i 2))
194 ((> i ido) nil)
195 (tagbody
196 (setf ic (f2cl-lib:int-sub idp2 i))
197 (setf m2 m2s)
198 (f2cl-lib:fdo (m1 1 (f2cl-lib:int-add m1 im1))
199 ((> m1 m1d) nil)
200 (tagbody
201 (setf m2 (f2cl-lib:int-add m2 im2))
202 (setf (f2cl-lib:fref ch-%data%
203 (m2 (f2cl-lib:int-sub i 1) 1 k)
204 ((1 in2) (1 ido) (1 5) (1 l1))
205 ch-%offset%)
207 (f2cl-lib:fref cc-%data%
208 (m1 (f2cl-lib:int-sub i 1) k 1)
209 ((1 in1) (1 ido) (1 l1) (1 5))
210 cc-%offset%)
213 (f2cl-lib:fref wa1-%data%
214 ((f2cl-lib:int-sub i 2))
215 ((1 ido))
216 wa1-%offset%)
217 (f2cl-lib:fref cc-%data%
218 (m1 (f2cl-lib:int-sub i 1) k 2)
219 ((1 in1) (1 ido) (1 l1) (1 5))
220 cc-%offset%))
222 (f2cl-lib:fref wa1-%data%
223 ((f2cl-lib:int-sub i 1))
224 ((1 ido))
225 wa1-%offset%)
226 (f2cl-lib:fref cc-%data%
227 (m1 i k 2)
228 ((1 in1) (1 ido) (1 l1) (1 5))
229 cc-%offset%))
232 (f2cl-lib:fref wa4-%data%
233 ((f2cl-lib:int-sub i 2))
234 ((1 ido))
235 wa4-%offset%)
236 (f2cl-lib:fref cc-%data%
237 (m1 (f2cl-lib:int-sub i 1) k 5)
238 ((1 in1) (1 ido) (1 l1) (1 5))
239 cc-%offset%))
241 (f2cl-lib:fref wa4-%data%
242 ((f2cl-lib:int-sub i 1))
243 ((1 ido))
244 wa4-%offset%)
245 (f2cl-lib:fref cc-%data%
246 (m1 i k 5)
247 ((1 in1) (1 ido) (1 l1) (1 5))
248 cc-%offset%))))
251 (f2cl-lib:fref wa2-%data%
252 ((f2cl-lib:int-sub i 2))
253 ((1 ido))
254 wa2-%offset%)
255 (f2cl-lib:fref cc-%data%
256 (m1 (f2cl-lib:int-sub i 1) k 3)
257 ((1 in1) (1 ido) (1 l1) (1 5))
258 cc-%offset%))
260 (f2cl-lib:fref wa2-%data%
261 ((f2cl-lib:int-sub i 1))
262 ((1 ido))
263 wa2-%offset%)
264 (f2cl-lib:fref cc-%data%
265 (m1 i k 3)
266 ((1 in1) (1 ido) (1 l1) (1 5))
267 cc-%offset%))
270 (f2cl-lib:fref wa3-%data%
271 ((f2cl-lib:int-sub i 2))
272 ((1 ido))
273 wa3-%offset%)
274 (f2cl-lib:fref cc-%data%
275 (m1 (f2cl-lib:int-sub i 1) k 4)
276 ((1 in1) (1 ido) (1 l1) (1 5))
277 cc-%offset%))
279 (f2cl-lib:fref wa3-%data%
280 ((f2cl-lib:int-sub i 1))
281 ((1 ido))
282 wa3-%offset%)
283 (f2cl-lib:fref cc-%data%
284 (m1 i k 4)
285 ((1 in1) (1 ido) (1 l1) (1 5))
286 cc-%offset%))))))
287 (setf (f2cl-lib:fref ch-%data%
288 (m2 i 1 k)
289 ((1 in2) (1 ido) (1 5) (1 l1))
290 ch-%offset%)
292 (f2cl-lib:fref cc-%data%
293 (m1 i k 1)
294 ((1 in1) (1 ido) (1 l1) (1 5))
295 cc-%offset%)
299 (f2cl-lib:fref wa1-%data%
300 ((f2cl-lib:int-sub i 2))
301 ((1 ido))
302 wa1-%offset%)
303 (f2cl-lib:fref cc-%data%
304 (m1 i k 2)
305 ((1 in1) (1 ido) (1 l1) (1 5))
306 cc-%offset%))
308 (f2cl-lib:fref wa1-%data%
309 ((f2cl-lib:int-sub i 1))
310 ((1 ido))
311 wa1-%offset%)
312 (f2cl-lib:fref cc-%data%
313 (m1 (f2cl-lib:int-sub i 1) k 2)
314 ((1 in1) (1 ido) (1 l1) (1 5))
315 cc-%offset%)))
318 (f2cl-lib:fref wa4-%data%
319 ((f2cl-lib:int-sub i 2))
320 ((1 ido))
321 wa4-%offset%)
322 (f2cl-lib:fref cc-%data%
323 (m1 i k 5)
324 ((1 in1) (1 ido) (1 l1) (1 5))
325 cc-%offset%))
327 (f2cl-lib:fref wa4-%data%
328 ((f2cl-lib:int-sub i 1))
329 ((1 ido))
330 wa4-%offset%)
331 (f2cl-lib:fref cc-%data%
332 (m1 (f2cl-lib:int-sub i 1) k 5)
333 ((1 in1) (1 ido) (1 l1) (1 5))
334 cc-%offset%))))
338 (f2cl-lib:fref wa2-%data%
339 ((f2cl-lib:int-sub i 2))
340 ((1 ido))
341 wa2-%offset%)
342 (f2cl-lib:fref cc-%data%
343 (m1 i k 3)
344 ((1 in1) (1 ido) (1 l1) (1 5))
345 cc-%offset%))
347 (f2cl-lib:fref wa2-%data%
348 ((f2cl-lib:int-sub i 1))
349 ((1 ido))
350 wa2-%offset%)
351 (f2cl-lib:fref cc-%data%
352 (m1 (f2cl-lib:int-sub i 1) k 3)
353 ((1 in1) (1 ido) (1 l1) (1 5))
354 cc-%offset%)))
357 (f2cl-lib:fref wa3-%data%
358 ((f2cl-lib:int-sub i 2))
359 ((1 ido))
360 wa3-%offset%)
361 (f2cl-lib:fref cc-%data%
362 (m1 i k 4)
363 ((1 in1) (1 ido) (1 l1) (1 5))
364 cc-%offset%))
366 (f2cl-lib:fref wa3-%data%
367 ((f2cl-lib:int-sub i 1))
368 ((1 ido))
369 wa3-%offset%)
370 (f2cl-lib:fref cc-%data%
371 (m1 (f2cl-lib:int-sub i 1) k 4)
372 ((1 in1) (1 ido) (1 l1) (1 5))
373 cc-%offset%))))))
374 (setf (f2cl-lib:fref ch-%data%
375 (m2 (f2cl-lib:int-sub i 1) 3 k)
376 ((1 in2) (1 ido) (1 5) (1 l1))
377 ch-%offset%)
379 (f2cl-lib:fref cc-%data%
380 (m1 (f2cl-lib:int-sub i 1) k 1)
381 ((1 in1) (1 ido) (1 l1) (1 5))
382 cc-%offset%)
383 (* tr11
386 (f2cl-lib:fref wa1-%data%
387 ((f2cl-lib:int-sub i 2))
388 ((1 ido))
389 wa1-%offset%)
390 (f2cl-lib:fref cc-%data%
391 (m1 (f2cl-lib:int-sub i 1) k 2)
392 ((1 in1) (1 ido) (1 l1) (1 5))
393 cc-%offset%))
395 (f2cl-lib:fref wa1-%data%
396 ((f2cl-lib:int-sub i 1))
397 ((1 ido))
398 wa1-%offset%)
399 (f2cl-lib:fref cc-%data%
400 (m1 i k 2)
401 ((1 in1) (1 ido) (1 l1) (1 5))
402 cc-%offset%))
404 (f2cl-lib:fref wa4-%data%
405 ((f2cl-lib:int-sub i 2))
406 ((1 ido))
407 wa4-%offset%)
408 (f2cl-lib:fref cc-%data%
409 (m1 (f2cl-lib:int-sub i 1) k 5)
410 ((1 in1) (1 ido) (1 l1) (1 5))
411 cc-%offset%))
413 (f2cl-lib:fref wa4-%data%
414 ((f2cl-lib:int-sub i 1))
415 ((1 ido))
416 wa4-%offset%)
417 (f2cl-lib:fref cc-%data%
418 (m1 i k 5)
419 ((1 in1) (1 ido) (1 l1) (1 5))
420 cc-%offset%))))
421 (* tr12
424 (f2cl-lib:fref wa2-%data%
425 ((f2cl-lib:int-sub i 2))
426 ((1 ido))
427 wa2-%offset%)
428 (f2cl-lib:fref cc-%data%
429 (m1 (f2cl-lib:int-sub i 1) k 3)
430 ((1 in1) (1 ido) (1 l1) (1 5))
431 cc-%offset%))
433 (f2cl-lib:fref wa2-%data%
434 ((f2cl-lib:int-sub i 1))
435 ((1 ido))
436 wa2-%offset%)
437 (f2cl-lib:fref cc-%data%
438 (m1 i k 3)
439 ((1 in1) (1 ido) (1 l1) (1 5))
440 cc-%offset%))
442 (f2cl-lib:fref wa3-%data%
443 ((f2cl-lib:int-sub i 2))
444 ((1 ido))
445 wa3-%offset%)
446 (f2cl-lib:fref cc-%data%
447 (m1 (f2cl-lib:int-sub i 1) k 4)
448 ((1 in1) (1 ido) (1 l1) (1 5))
449 cc-%offset%))
451 (f2cl-lib:fref wa3-%data%
452 ((f2cl-lib:int-sub i 1))
453 ((1 ido))
454 wa3-%offset%)
455 (f2cl-lib:fref cc-%data%
456 (m1 i k 4)
457 ((1 in1) (1 ido) (1 l1) (1 5))
458 cc-%offset%))))
459 (* ti11
462 (f2cl-lib:fref wa1-%data%
463 ((f2cl-lib:int-sub i 2))
464 ((1 ido))
465 wa1-%offset%)
466 (f2cl-lib:fref cc-%data%
467 (m1 i k 2)
468 ((1 in1) (1 ido) (1 l1) (1 5))
469 cc-%offset%))
471 (f2cl-lib:fref wa1-%data%
472 ((f2cl-lib:int-sub i 1))
473 ((1 ido))
474 wa1-%offset%)
475 (f2cl-lib:fref cc-%data%
476 (m1 (f2cl-lib:int-sub i 1) k 2)
477 ((1 in1) (1 ido) (1 l1) (1 5))
478 cc-%offset%))
481 (f2cl-lib:fref wa4-%data%
482 ((f2cl-lib:int-sub i 2))
483 ((1 ido))
484 wa4-%offset%)
485 (f2cl-lib:fref cc-%data%
486 (m1 i k 5)
487 ((1 in1) (1 ido) (1 l1) (1 5))
488 cc-%offset%))
490 (f2cl-lib:fref wa4-%data%
491 ((f2cl-lib:int-sub i 1))
492 ((1 ido))
493 wa4-%offset%)
494 (f2cl-lib:fref cc-%data%
495 (m1 (f2cl-lib:int-sub i 1) k 5)
496 ((1 in1) (1 ido) (1 l1) (1 5))
497 cc-%offset%)))))
498 (* ti12
501 (f2cl-lib:fref wa2-%data%
502 ((f2cl-lib:int-sub i 2))
503 ((1 ido))
504 wa2-%offset%)
505 (f2cl-lib:fref cc-%data%
506 (m1 i k 3)
507 ((1 in1) (1 ido) (1 l1) (1 5))
508 cc-%offset%))
510 (f2cl-lib:fref wa2-%data%
511 ((f2cl-lib:int-sub i 1))
512 ((1 ido))
513 wa2-%offset%)
514 (f2cl-lib:fref cc-%data%
515 (m1 (f2cl-lib:int-sub i 1) k 3)
516 ((1 in1) (1 ido) (1 l1) (1 5))
517 cc-%offset%))
520 (f2cl-lib:fref wa3-%data%
521 ((f2cl-lib:int-sub i 2))
522 ((1 ido))
523 wa3-%offset%)
524 (f2cl-lib:fref cc-%data%
525 (m1 i k 4)
526 ((1 in1) (1 ido) (1 l1) (1 5))
527 cc-%offset%))
529 (f2cl-lib:fref wa3-%data%
530 ((f2cl-lib:int-sub i 1))
531 ((1 ido))
532 wa3-%offset%)
533 (f2cl-lib:fref cc-%data%
534 (m1 (f2cl-lib:int-sub i 1) k 4)
535 ((1 in1) (1 ido) (1 l1) (1 5))
536 cc-%offset%)))))))
537 (setf (f2cl-lib:fref ch-%data%
538 (m2 (f2cl-lib:int-sub ic 1) 2 k)
539 ((1 in2) (1 ido) (1 5) (1 l1))
540 ch-%offset%)
543 (f2cl-lib:fref cc-%data%
544 (m1 (f2cl-lib:int-sub i 1) k 1)
545 ((1 in1) (1 ido) (1 l1) (1 5))
546 cc-%offset%)
547 (* tr11
550 (f2cl-lib:fref wa1-%data%
551 ((f2cl-lib:int-sub i 2))
552 ((1 ido))
553 wa1-%offset%)
554 (f2cl-lib:fref cc-%data%
555 (m1 (f2cl-lib:int-sub i 1) k 2)
556 ((1 in1) (1 ido) (1 l1) (1 5))
557 cc-%offset%))
559 (f2cl-lib:fref wa1-%data%
560 ((f2cl-lib:int-sub i 1))
561 ((1 ido))
562 wa1-%offset%)
563 (f2cl-lib:fref cc-%data%
564 (m1 i k 2)
565 ((1 in1) (1 ido) (1 l1) (1 5))
566 cc-%offset%))
568 (f2cl-lib:fref wa4-%data%
569 ((f2cl-lib:int-sub i 2))
570 ((1 ido))
571 wa4-%offset%)
572 (f2cl-lib:fref cc-%data%
573 (m1 (f2cl-lib:int-sub i 1) k 5)
574 ((1 in1) (1 ido) (1 l1) (1 5))
575 cc-%offset%))
577 (f2cl-lib:fref wa4-%data%
578 ((f2cl-lib:int-sub i 1))
579 ((1 ido))
580 wa4-%offset%)
581 (f2cl-lib:fref cc-%data%
582 (m1 i k 5)
583 ((1 in1) (1 ido) (1 l1) (1 5))
584 cc-%offset%))))
585 (* tr12
588 (f2cl-lib:fref wa2-%data%
589 ((f2cl-lib:int-sub i 2))
590 ((1 ido))
591 wa2-%offset%)
592 (f2cl-lib:fref cc-%data%
593 (m1 (f2cl-lib:int-sub i 1) k 3)
594 ((1 in1) (1 ido) (1 l1) (1 5))
595 cc-%offset%))
597 (f2cl-lib:fref wa2-%data%
598 ((f2cl-lib:int-sub i 1))
599 ((1 ido))
600 wa2-%offset%)
601 (f2cl-lib:fref cc-%data%
602 (m1 i k 3)
603 ((1 in1) (1 ido) (1 l1) (1 5))
604 cc-%offset%))
606 (f2cl-lib:fref wa3-%data%
607 ((f2cl-lib:int-sub i 2))
608 ((1 ido))
609 wa3-%offset%)
610 (f2cl-lib:fref cc-%data%
611 (m1 (f2cl-lib:int-sub i 1) k 4)
612 ((1 in1) (1 ido) (1 l1) (1 5))
613 cc-%offset%))
615 (f2cl-lib:fref wa3-%data%
616 ((f2cl-lib:int-sub i 1))
617 ((1 ido))
618 wa3-%offset%)
619 (f2cl-lib:fref cc-%data%
620 (m1 i k 4)
621 ((1 in1) (1 ido) (1 l1) (1 5))
622 cc-%offset%)))))
624 (* ti11
627 (f2cl-lib:fref wa1-%data%
628 ((f2cl-lib:int-sub i 2))
629 ((1 ido))
630 wa1-%offset%)
631 (f2cl-lib:fref cc-%data%
632 (m1 i k 2)
633 ((1 in1) (1 ido) (1 l1) (1 5))
634 cc-%offset%))
636 (f2cl-lib:fref wa1-%data%
637 ((f2cl-lib:int-sub i 1))
638 ((1 ido))
639 wa1-%offset%)
640 (f2cl-lib:fref cc-%data%
641 (m1 (f2cl-lib:int-sub i 1) k 2)
642 ((1 in1) (1 ido) (1 l1) (1 5))
643 cc-%offset%))
646 (f2cl-lib:fref wa4-%data%
647 ((f2cl-lib:int-sub i 2))
648 ((1 ido))
649 wa4-%offset%)
650 (f2cl-lib:fref cc-%data%
651 (m1 i k 5)
652 ((1 in1) (1 ido) (1 l1) (1 5))
653 cc-%offset%))
655 (f2cl-lib:fref wa4-%data%
656 ((f2cl-lib:int-sub i 1))
657 ((1 ido))
658 wa4-%offset%)
659 (f2cl-lib:fref cc-%data%
660 (m1 (f2cl-lib:int-sub i 1) k
662 ((1 in1) (1 ido) (1 l1) (1 5))
663 cc-%offset%)))))
664 (* ti12
667 (f2cl-lib:fref wa2-%data%
668 ((f2cl-lib:int-sub i 2))
669 ((1 ido))
670 wa2-%offset%)
671 (f2cl-lib:fref cc-%data%
672 (m1 i k 3)
673 ((1 in1) (1 ido) (1 l1) (1 5))
674 cc-%offset%))
676 (f2cl-lib:fref wa2-%data%
677 ((f2cl-lib:int-sub i 1))
678 ((1 ido))
679 wa2-%offset%)
680 (f2cl-lib:fref cc-%data%
681 (m1 (f2cl-lib:int-sub i 1) k 3)
682 ((1 in1) (1 ido) (1 l1) (1 5))
683 cc-%offset%))
686 (f2cl-lib:fref wa3-%data%
687 ((f2cl-lib:int-sub i 2))
688 ((1 ido))
689 wa3-%offset%)
690 (f2cl-lib:fref cc-%data%
691 (m1 i k 4)
692 ((1 in1) (1 ido) (1 l1) (1 5))
693 cc-%offset%))
695 (f2cl-lib:fref wa3-%data%
696 ((f2cl-lib:int-sub i 1))
697 ((1 ido))
698 wa3-%offset%)
699 (f2cl-lib:fref cc-%data%
700 (m1 (f2cl-lib:int-sub i 1) k
702 ((1 in1) (1 ido) (1 l1) (1 5))
703 cc-%offset%))))))))
704 (setf (f2cl-lib:fref ch-%data%
705 (m2 i 3 k)
706 ((1 in2) (1 ido) (1 5) (1 l1))
707 ch-%offset%)
709 (f2cl-lib:fref cc-%data%
710 (m1 i k 1)
711 ((1 in1) (1 ido) (1 l1) (1 5))
712 cc-%offset%)
713 (* tr11
717 (f2cl-lib:fref wa1-%data%
718 ((f2cl-lib:int-sub i 2))
719 ((1 ido))
720 wa1-%offset%)
721 (f2cl-lib:fref cc-%data%
722 (m1 i k 2)
723 ((1 in1) (1 ido) (1 l1) (1 5))
724 cc-%offset%))
726 (f2cl-lib:fref wa1-%data%
727 ((f2cl-lib:int-sub i 1))
728 ((1 ido))
729 wa1-%offset%)
730 (f2cl-lib:fref cc-%data%
731 (m1 (f2cl-lib:int-sub i 1) k 2)
732 ((1 in1) (1 ido) (1 l1) (1 5))
733 cc-%offset%)))
736 (f2cl-lib:fref wa4-%data%
737 ((f2cl-lib:int-sub i 2))
738 ((1 ido))
739 wa4-%offset%)
740 (f2cl-lib:fref cc-%data%
741 (m1 i k 5)
742 ((1 in1) (1 ido) (1 l1) (1 5))
743 cc-%offset%))
745 (f2cl-lib:fref wa4-%data%
746 ((f2cl-lib:int-sub i 1))
747 ((1 ido))
748 wa4-%offset%)
749 (f2cl-lib:fref cc-%data%
750 (m1 (f2cl-lib:int-sub i 1) k 5)
751 ((1 in1) (1 ido) (1 l1) (1 5))
752 cc-%offset%)))))
753 (* tr12
757 (f2cl-lib:fref wa2-%data%
758 ((f2cl-lib:int-sub i 2))
759 ((1 ido))
760 wa2-%offset%)
761 (f2cl-lib:fref cc-%data%
762 (m1 i k 3)
763 ((1 in1) (1 ido) (1 l1) (1 5))
764 cc-%offset%))
766 (f2cl-lib:fref wa2-%data%
767 ((f2cl-lib:int-sub i 1))
768 ((1 ido))
769 wa2-%offset%)
770 (f2cl-lib:fref cc-%data%
771 (m1 (f2cl-lib:int-sub i 1) k 3)
772 ((1 in1) (1 ido) (1 l1) (1 5))
773 cc-%offset%)))
776 (f2cl-lib:fref wa3-%data%
777 ((f2cl-lib:int-sub i 2))
778 ((1 ido))
779 wa3-%offset%)
780 (f2cl-lib:fref cc-%data%
781 (m1 i k 4)
782 ((1 in1) (1 ido) (1 l1) (1 5))
783 cc-%offset%))
785 (f2cl-lib:fref wa3-%data%
786 ((f2cl-lib:int-sub i 1))
787 ((1 ido))
788 wa3-%offset%)
789 (f2cl-lib:fref cc-%data%
790 (m1 (f2cl-lib:int-sub i 1) k 4)
791 ((1 in1) (1 ido) (1 l1) (1 5))
792 cc-%offset%)))))
794 (* ti11
798 (f2cl-lib:fref wa4-%data%
799 ((f2cl-lib:int-sub i 2))
800 ((1 ido))
801 wa4-%offset%)
802 (f2cl-lib:fref cc-%data%
803 (m1 (f2cl-lib:int-sub i 1) k
805 ((1 in1) (1 ido) (1 l1) (1 5))
806 cc-%offset%))
808 (f2cl-lib:fref wa4-%data%
809 ((f2cl-lib:int-sub i 1))
810 ((1 ido))
811 wa4-%offset%)
812 (f2cl-lib:fref cc-%data%
813 (m1 i k 5)
814 ((1 in1) (1 ido) (1 l1) (1 5))
815 cc-%offset%)))
818 (f2cl-lib:fref wa1-%data%
819 ((f2cl-lib:int-sub i 2))
820 ((1 ido))
821 wa1-%offset%)
822 (f2cl-lib:fref cc-%data%
823 (m1 (f2cl-lib:int-sub i 1) k
825 ((1 in1) (1 ido) (1 l1) (1 5))
826 cc-%offset%))
828 (f2cl-lib:fref wa1-%data%
829 ((f2cl-lib:int-sub i 1))
830 ((1 ido))
831 wa1-%offset%)
832 (f2cl-lib:fref cc-%data%
833 (m1 i k 2)
834 ((1 in1) (1 ido) (1 l1) (1 5))
835 cc-%offset%)))))
836 (* ti12
840 (f2cl-lib:fref wa3-%data%
841 ((f2cl-lib:int-sub i 2))
842 ((1 ido))
843 wa3-%offset%)
844 (f2cl-lib:fref cc-%data%
845 (m1 (f2cl-lib:int-sub i 1) k
847 ((1 in1) (1 ido) (1 l1) (1 5))
848 cc-%offset%))
850 (f2cl-lib:fref wa3-%data%
851 ((f2cl-lib:int-sub i 1))
852 ((1 ido))
853 wa3-%offset%)
854 (f2cl-lib:fref cc-%data%
855 (m1 i k 4)
856 ((1 in1) (1 ido) (1 l1) (1 5))
857 cc-%offset%)))
860 (f2cl-lib:fref wa2-%data%
861 ((f2cl-lib:int-sub i 2))
862 ((1 ido))
863 wa2-%offset%)
864 (f2cl-lib:fref cc-%data%
865 (m1 (f2cl-lib:int-sub i 1) k
867 ((1 in1) (1 ido) (1 l1) (1 5))
868 cc-%offset%))
870 (f2cl-lib:fref wa2-%data%
871 ((f2cl-lib:int-sub i 1))
872 ((1 ido))
873 wa2-%offset%)
874 (f2cl-lib:fref cc-%data%
875 (m1 i k 3)
876 ((1 in1) (1 ido) (1 l1) (1 5))
877 cc-%offset%))))))))
878 (setf (f2cl-lib:fref ch-%data%
879 (m2 ic 2 k)
880 ((1 in2) (1 ido) (1 5) (1 l1))
881 ch-%offset%)
884 (* ti11
888 (f2cl-lib:fref wa4-%data%
889 ((f2cl-lib:int-sub i 2))
890 ((1 ido))
891 wa4-%offset%)
892 (f2cl-lib:fref cc-%data%
893 (m1 (f2cl-lib:int-sub i 1) k
895 ((1 in1) (1 ido) (1 l1) (1 5))
896 cc-%offset%))
898 (f2cl-lib:fref wa4-%data%
899 ((f2cl-lib:int-sub i 1))
900 ((1 ido))
901 wa4-%offset%)
902 (f2cl-lib:fref cc-%data%
903 (m1 i k 5)
904 ((1 in1) (1 ido) (1 l1) (1 5))
905 cc-%offset%)))
908 (f2cl-lib:fref wa1-%data%
909 ((f2cl-lib:int-sub i 2))
910 ((1 ido))
911 wa1-%offset%)
912 (f2cl-lib:fref cc-%data%
913 (m1 (f2cl-lib:int-sub i 1) k
915 ((1 in1) (1 ido) (1 l1) (1 5))
916 cc-%offset%))
918 (f2cl-lib:fref wa1-%data%
919 ((f2cl-lib:int-sub i 1))
920 ((1 ido))
921 wa1-%offset%)
922 (f2cl-lib:fref cc-%data%
923 (m1 i k 2)
924 ((1 in1) (1 ido) (1 l1) (1 5))
925 cc-%offset%)))))
926 (* ti12
930 (f2cl-lib:fref wa3-%data%
931 ((f2cl-lib:int-sub i 2))
932 ((1 ido))
933 wa3-%offset%)
934 (f2cl-lib:fref cc-%data%
935 (m1 (f2cl-lib:int-sub i 1) k
937 ((1 in1) (1 ido) (1 l1) (1 5))
938 cc-%offset%))
940 (f2cl-lib:fref wa3-%data%
941 ((f2cl-lib:int-sub i 1))
942 ((1 ido))
943 wa3-%offset%)
944 (f2cl-lib:fref cc-%data%
945 (m1 i k 4)
946 ((1 in1) (1 ido) (1 l1) (1 5))
947 cc-%offset%)))
950 (f2cl-lib:fref wa2-%data%
951 ((f2cl-lib:int-sub i 2))
952 ((1 ido))
953 wa2-%offset%)
954 (f2cl-lib:fref cc-%data%
955 (m1 (f2cl-lib:int-sub i 1) k
957 ((1 in1) (1 ido) (1 l1) (1 5))
958 cc-%offset%))
960 (f2cl-lib:fref wa2-%data%
961 ((f2cl-lib:int-sub i 1))
962 ((1 ido))
963 wa2-%offset%)
964 (f2cl-lib:fref cc-%data%
965 (m1 i k 3)
966 ((1 in1) (1 ido) (1 l1) (1 5))
967 cc-%offset%))))))
969 (f2cl-lib:fref cc-%data%
970 (m1 i k 1)
971 ((1 in1) (1 ido) (1 l1) (1 5))
972 cc-%offset%)
973 (* tr11
977 (f2cl-lib:fref wa1-%data%
978 ((f2cl-lib:int-sub i 2))
979 ((1 ido))
980 wa1-%offset%)
981 (f2cl-lib:fref cc-%data%
982 (m1 i k 2)
983 ((1 in1) (1 ido) (1 l1) (1 5))
984 cc-%offset%))
986 (f2cl-lib:fref wa1-%data%
987 ((f2cl-lib:int-sub i 1))
988 ((1 ido))
989 wa1-%offset%)
990 (f2cl-lib:fref cc-%data%
991 (m1 (f2cl-lib:int-sub i 1) k
993 ((1 in1) (1 ido) (1 l1) (1 5))
994 cc-%offset%)))
997 (f2cl-lib:fref wa4-%data%
998 ((f2cl-lib:int-sub i 2))
999 ((1 ido))
1000 wa4-%offset%)
1001 (f2cl-lib:fref cc-%data%
1002 (m1 i k 5)
1003 ((1 in1) (1 ido) (1 l1) (1 5))
1004 cc-%offset%))
1006 (f2cl-lib:fref wa4-%data%
1007 ((f2cl-lib:int-sub i 1))
1008 ((1 ido))
1009 wa4-%offset%)
1010 (f2cl-lib:fref cc-%data%
1011 (m1 (f2cl-lib:int-sub i 1) k
1013 ((1 in1) (1 ido) (1 l1) (1 5))
1014 cc-%offset%)))))
1015 (* tr12
1019 (f2cl-lib:fref wa2-%data%
1020 ((f2cl-lib:int-sub i 2))
1021 ((1 ido))
1022 wa2-%offset%)
1023 (f2cl-lib:fref cc-%data%
1024 (m1 i k 3)
1025 ((1 in1) (1 ido) (1 l1) (1 5))
1026 cc-%offset%))
1028 (f2cl-lib:fref wa2-%data%
1029 ((f2cl-lib:int-sub i 1))
1030 ((1 ido))
1031 wa2-%offset%)
1032 (f2cl-lib:fref cc-%data%
1033 (m1 (f2cl-lib:int-sub i 1) k
1035 ((1 in1) (1 ido) (1 l1) (1 5))
1036 cc-%offset%)))
1039 (f2cl-lib:fref wa3-%data%
1040 ((f2cl-lib:int-sub i 2))
1041 ((1 ido))
1042 wa3-%offset%)
1043 (f2cl-lib:fref cc-%data%
1044 (m1 i k 4)
1045 ((1 in1) (1 ido) (1 l1) (1 5))
1046 cc-%offset%))
1048 (f2cl-lib:fref wa3-%data%
1049 ((f2cl-lib:int-sub i 1))
1050 ((1 ido))
1051 wa3-%offset%)
1052 (f2cl-lib:fref cc-%data%
1053 (m1 (f2cl-lib:int-sub i 1) k
1055 ((1 in1) (1 ido) (1 l1) (1 5))
1056 cc-%offset%))))))))
1057 (setf (f2cl-lib:fref ch-%data%
1058 (m2 (f2cl-lib:int-sub i 1) 5 k)
1059 ((1 in2) (1 ido) (1 5) (1 l1))
1060 ch-%offset%)
1062 (f2cl-lib:fref cc-%data%
1063 (m1 (f2cl-lib:int-sub i 1) k 1)
1064 ((1 in1) (1 ido) (1 l1) (1 5))
1065 cc-%offset%)
1066 (* tr12
1069 (f2cl-lib:fref wa1-%data%
1070 ((f2cl-lib:int-sub i 2))
1071 ((1 ido))
1072 wa1-%offset%)
1073 (f2cl-lib:fref cc-%data%
1074 (m1 (f2cl-lib:int-sub i 1) k 2)
1075 ((1 in1) (1 ido) (1 l1) (1 5))
1076 cc-%offset%))
1078 (f2cl-lib:fref wa1-%data%
1079 ((f2cl-lib:int-sub i 1))
1080 ((1 ido))
1081 wa1-%offset%)
1082 (f2cl-lib:fref cc-%data%
1083 (m1 i k 2)
1084 ((1 in1) (1 ido) (1 l1) (1 5))
1085 cc-%offset%))
1088 (f2cl-lib:fref wa4-%data%
1089 ((f2cl-lib:int-sub i 2))
1090 ((1 ido))
1091 wa4-%offset%)
1092 (f2cl-lib:fref cc-%data%
1093 (m1 (f2cl-lib:int-sub i 1) k 5)
1094 ((1 in1) (1 ido) (1 l1) (1 5))
1095 cc-%offset%))
1097 (f2cl-lib:fref wa4-%data%
1098 ((f2cl-lib:int-sub i 1))
1099 ((1 ido))
1100 wa4-%offset%)
1101 (f2cl-lib:fref cc-%data%
1102 (m1 i k 5)
1103 ((1 in1) (1 ido) (1 l1) (1 5))
1104 cc-%offset%)))))
1105 (* tr11
1108 (f2cl-lib:fref wa2-%data%
1109 ((f2cl-lib:int-sub i 2))
1110 ((1 ido))
1111 wa2-%offset%)
1112 (f2cl-lib:fref cc-%data%
1113 (m1 (f2cl-lib:int-sub i 1) k 3)
1114 ((1 in1) (1 ido) (1 l1) (1 5))
1115 cc-%offset%))
1117 (f2cl-lib:fref wa2-%data%
1118 ((f2cl-lib:int-sub i 1))
1119 ((1 ido))
1120 wa2-%offset%)
1121 (f2cl-lib:fref cc-%data%
1122 (m1 i k 3)
1123 ((1 in1) (1 ido) (1 l1) (1 5))
1124 cc-%offset%))
1127 (f2cl-lib:fref wa3-%data%
1128 ((f2cl-lib:int-sub i 2))
1129 ((1 ido))
1130 wa3-%offset%)
1131 (f2cl-lib:fref cc-%data%
1132 (m1 (f2cl-lib:int-sub i 1) k 4)
1133 ((1 in1) (1 ido) (1 l1) (1 5))
1134 cc-%offset%))
1136 (f2cl-lib:fref wa3-%data%
1137 ((f2cl-lib:int-sub i 1))
1138 ((1 ido))
1139 wa3-%offset%)
1140 (f2cl-lib:fref cc-%data%
1141 (m1 i k 4)
1142 ((1 in1) (1 ido) (1 l1) (1 5))
1143 cc-%offset%)))))
1145 (* ti12
1148 (f2cl-lib:fref wa1-%data%
1149 ((f2cl-lib:int-sub i 2))
1150 ((1 ido))
1151 wa1-%offset%)
1152 (f2cl-lib:fref cc-%data%
1153 (m1 i k 2)
1154 ((1 in1) (1 ido) (1 l1) (1 5))
1155 cc-%offset%))
1157 (f2cl-lib:fref wa1-%data%
1158 ((f2cl-lib:int-sub i 1))
1159 ((1 ido))
1160 wa1-%offset%)
1161 (f2cl-lib:fref cc-%data%
1162 (m1 (f2cl-lib:int-sub i 1) k 2)
1163 ((1 in1) (1 ido) (1 l1) (1 5))
1164 cc-%offset%))
1167 (f2cl-lib:fref wa4-%data%
1168 ((f2cl-lib:int-sub i 2))
1169 ((1 ido))
1170 wa4-%offset%)
1171 (f2cl-lib:fref cc-%data%
1172 (m1 i k 5)
1173 ((1 in1) (1 ido) (1 l1) (1 5))
1174 cc-%offset%))
1176 (f2cl-lib:fref wa4-%data%
1177 ((f2cl-lib:int-sub i 1))
1178 ((1 ido))
1179 wa4-%offset%)
1180 (f2cl-lib:fref cc-%data%
1181 (m1 (f2cl-lib:int-sub i 1) k
1183 ((1 in1) (1 ido) (1 l1) (1 5))
1184 cc-%offset%)))))
1185 (* ti11
1188 (f2cl-lib:fref wa2-%data%
1189 ((f2cl-lib:int-sub i 2))
1190 ((1 ido))
1191 wa2-%offset%)
1192 (f2cl-lib:fref cc-%data%
1193 (m1 i k 3)
1194 ((1 in1) (1 ido) (1 l1) (1 5))
1195 cc-%offset%))
1197 (f2cl-lib:fref wa2-%data%
1198 ((f2cl-lib:int-sub i 1))
1199 ((1 ido))
1200 wa2-%offset%)
1201 (f2cl-lib:fref cc-%data%
1202 (m1 (f2cl-lib:int-sub i 1) k 3)
1203 ((1 in1) (1 ido) (1 l1) (1 5))
1204 cc-%offset%))
1207 (f2cl-lib:fref wa3-%data%
1208 ((f2cl-lib:int-sub i 2))
1209 ((1 ido))
1210 wa3-%offset%)
1211 (f2cl-lib:fref cc-%data%
1212 (m1 i k 4)
1213 ((1 in1) (1 ido) (1 l1) (1 5))
1214 cc-%offset%))
1216 (f2cl-lib:fref wa3-%data%
1217 ((f2cl-lib:int-sub i 1))
1218 ((1 ido))
1219 wa3-%offset%)
1220 (f2cl-lib:fref cc-%data%
1221 (m1 (f2cl-lib:int-sub i 1) k
1223 ((1 in1) (1 ido) (1 l1) (1 5))
1224 cc-%offset%))))))))
1225 (setf (f2cl-lib:fref ch-%data%
1226 (m2 (f2cl-lib:int-sub ic 1) 4 k)
1227 ((1 in2) (1 ido) (1 5) (1 l1))
1228 ch-%offset%)
1231 (f2cl-lib:fref cc-%data%
1232 (m1 (f2cl-lib:int-sub i 1) k 1)
1233 ((1 in1) (1 ido) (1 l1) (1 5))
1234 cc-%offset%)
1235 (* tr12
1238 (f2cl-lib:fref wa1-%data%
1239 ((f2cl-lib:int-sub i 2))
1240 ((1 ido))
1241 wa1-%offset%)
1242 (f2cl-lib:fref cc-%data%
1243 (m1 (f2cl-lib:int-sub i 1) k 2)
1244 ((1 in1) (1 ido) (1 l1) (1 5))
1245 cc-%offset%))
1247 (f2cl-lib:fref wa1-%data%
1248 ((f2cl-lib:int-sub i 1))
1249 ((1 ido))
1250 wa1-%offset%)
1251 (f2cl-lib:fref cc-%data%
1252 (m1 i k 2)
1253 ((1 in1) (1 ido) (1 l1) (1 5))
1254 cc-%offset%))
1257 (f2cl-lib:fref wa4-%data%
1258 ((f2cl-lib:int-sub i 2))
1259 ((1 ido))
1260 wa4-%offset%)
1261 (f2cl-lib:fref cc-%data%
1262 (m1 (f2cl-lib:int-sub i 1) k
1264 ((1 in1) (1 ido) (1 l1) (1 5))
1265 cc-%offset%))
1267 (f2cl-lib:fref wa4-%data%
1268 ((f2cl-lib:int-sub i 1))
1269 ((1 ido))
1270 wa4-%offset%)
1271 (f2cl-lib:fref cc-%data%
1272 (m1 i k 5)
1273 ((1 in1) (1 ido) (1 l1) (1 5))
1274 cc-%offset%)))))
1275 (* tr11
1278 (f2cl-lib:fref wa2-%data%
1279 ((f2cl-lib:int-sub i 2))
1280 ((1 ido))
1281 wa2-%offset%)
1282 (f2cl-lib:fref cc-%data%
1283 (m1 (f2cl-lib:int-sub i 1) k 3)
1284 ((1 in1) (1 ido) (1 l1) (1 5))
1285 cc-%offset%))
1287 (f2cl-lib:fref wa2-%data%
1288 ((f2cl-lib:int-sub i 1))
1289 ((1 ido))
1290 wa2-%offset%)
1291 (f2cl-lib:fref cc-%data%
1292 (m1 i k 3)
1293 ((1 in1) (1 ido) (1 l1) (1 5))
1294 cc-%offset%))
1297 (f2cl-lib:fref wa3-%data%
1298 ((f2cl-lib:int-sub i 2))
1299 ((1 ido))
1300 wa3-%offset%)
1301 (f2cl-lib:fref cc-%data%
1302 (m1 (f2cl-lib:int-sub i 1) k
1304 ((1 in1) (1 ido) (1 l1) (1 5))
1305 cc-%offset%))
1307 (f2cl-lib:fref wa3-%data%
1308 ((f2cl-lib:int-sub i 1))
1309 ((1 ido))
1310 wa3-%offset%)
1311 (f2cl-lib:fref cc-%data%
1312 (m1 i k 4)
1313 ((1 in1) (1 ido) (1 l1) (1 5))
1314 cc-%offset%))))))
1316 (* ti12
1319 (f2cl-lib:fref wa1-%data%
1320 ((f2cl-lib:int-sub i 2))
1321 ((1 ido))
1322 wa1-%offset%)
1323 (f2cl-lib:fref cc-%data%
1324 (m1 i k 2)
1325 ((1 in1) (1 ido) (1 l1) (1 5))
1326 cc-%offset%))
1328 (f2cl-lib:fref wa1-%data%
1329 ((f2cl-lib:int-sub i 1))
1330 ((1 ido))
1331 wa1-%offset%)
1332 (f2cl-lib:fref cc-%data%
1333 (m1 (f2cl-lib:int-sub i 1) k 2)
1334 ((1 in1) (1 ido) (1 l1) (1 5))
1335 cc-%offset%))
1338 (f2cl-lib:fref wa4-%data%
1339 ((f2cl-lib:int-sub i 2))
1340 ((1 ido))
1341 wa4-%offset%)
1342 (f2cl-lib:fref cc-%data%
1343 (m1 i k 5)
1344 ((1 in1) (1 ido) (1 l1) (1 5))
1345 cc-%offset%))
1347 (f2cl-lib:fref wa4-%data%
1348 ((f2cl-lib:int-sub i 1))
1349 ((1 ido))
1350 wa4-%offset%)
1351 (f2cl-lib:fref cc-%data%
1352 (m1 (f2cl-lib:int-sub i 1) k
1354 ((1 in1) (1 ido) (1 l1) (1 5))
1355 cc-%offset%)))))
1356 (* ti11
1359 (f2cl-lib:fref wa2-%data%
1360 ((f2cl-lib:int-sub i 2))
1361 ((1 ido))
1362 wa2-%offset%)
1363 (f2cl-lib:fref cc-%data%
1364 (m1 i k 3)
1365 ((1 in1) (1 ido) (1 l1) (1 5))
1366 cc-%offset%))
1368 (f2cl-lib:fref wa2-%data%
1369 ((f2cl-lib:int-sub i 1))
1370 ((1 ido))
1371 wa2-%offset%)
1372 (f2cl-lib:fref cc-%data%
1373 (m1 (f2cl-lib:int-sub i 1) k 3)
1374 ((1 in1) (1 ido) (1 l1) (1 5))
1375 cc-%offset%))
1378 (f2cl-lib:fref wa3-%data%
1379 ((f2cl-lib:int-sub i 2))
1380 ((1 ido))
1381 wa3-%offset%)
1382 (f2cl-lib:fref cc-%data%
1383 (m1 i k 4)
1384 ((1 in1) (1 ido) (1 l1) (1 5))
1385 cc-%offset%))
1387 (f2cl-lib:fref wa3-%data%
1388 ((f2cl-lib:int-sub i 1))
1389 ((1 ido))
1390 wa3-%offset%)
1391 (f2cl-lib:fref cc-%data%
1392 (m1 (f2cl-lib:int-sub i 1) k
1394 ((1 in1) (1 ido) (1 l1) (1 5))
1395 cc-%offset%))))))))
1396 (setf (f2cl-lib:fref ch-%data%
1397 (m2 i 5 k)
1398 ((1 in2) (1 ido) (1 5) (1 l1))
1399 ch-%offset%)
1401 (f2cl-lib:fref cc-%data%
1402 (m1 i k 1)
1403 ((1 in1) (1 ido) (1 l1) (1 5))
1404 cc-%offset%)
1405 (* tr12
1409 (f2cl-lib:fref wa1-%data%
1410 ((f2cl-lib:int-sub i 2))
1411 ((1 ido))
1412 wa1-%offset%)
1413 (f2cl-lib:fref cc-%data%
1414 (m1 i k 2)
1415 ((1 in1) (1 ido) (1 l1) (1 5))
1416 cc-%offset%))
1418 (f2cl-lib:fref wa1-%data%
1419 ((f2cl-lib:int-sub i 1))
1420 ((1 ido))
1421 wa1-%offset%)
1422 (f2cl-lib:fref cc-%data%
1423 (m1 (f2cl-lib:int-sub i 1) k 2)
1424 ((1 in1) (1 ido) (1 l1) (1 5))
1425 cc-%offset%)))
1428 (f2cl-lib:fref wa4-%data%
1429 ((f2cl-lib:int-sub i 2))
1430 ((1 ido))
1431 wa4-%offset%)
1432 (f2cl-lib:fref cc-%data%
1433 (m1 i k 5)
1434 ((1 in1) (1 ido) (1 l1) (1 5))
1435 cc-%offset%))
1437 (f2cl-lib:fref wa4-%data%
1438 ((f2cl-lib:int-sub i 1))
1439 ((1 ido))
1440 wa4-%offset%)
1441 (f2cl-lib:fref cc-%data%
1442 (m1 (f2cl-lib:int-sub i 1) k 5)
1443 ((1 in1) (1 ido) (1 l1) (1 5))
1444 cc-%offset%)))))
1445 (* tr11
1449 (f2cl-lib:fref wa2-%data%
1450 ((f2cl-lib:int-sub i 2))
1451 ((1 ido))
1452 wa2-%offset%)
1453 (f2cl-lib:fref cc-%data%
1454 (m1 i k 3)
1455 ((1 in1) (1 ido) (1 l1) (1 5))
1456 cc-%offset%))
1458 (f2cl-lib:fref wa2-%data%
1459 ((f2cl-lib:int-sub i 1))
1460 ((1 ido))
1461 wa2-%offset%)
1462 (f2cl-lib:fref cc-%data%
1463 (m1 (f2cl-lib:int-sub i 1) k 3)
1464 ((1 in1) (1 ido) (1 l1) (1 5))
1465 cc-%offset%)))
1468 (f2cl-lib:fref wa3-%data%
1469 ((f2cl-lib:int-sub i 2))
1470 ((1 ido))
1471 wa3-%offset%)
1472 (f2cl-lib:fref cc-%data%
1473 (m1 i k 4)
1474 ((1 in1) (1 ido) (1 l1) (1 5))
1475 cc-%offset%))
1477 (f2cl-lib:fref wa3-%data%
1478 ((f2cl-lib:int-sub i 1))
1479 ((1 ido))
1480 wa3-%offset%)
1481 (f2cl-lib:fref cc-%data%
1482 (m1 (f2cl-lib:int-sub i 1) k 4)
1483 ((1 in1) (1 ido) (1 l1) (1 5))
1484 cc-%offset%)))))
1486 (* ti12
1490 (f2cl-lib:fref wa4-%data%
1491 ((f2cl-lib:int-sub i 2))
1492 ((1 ido))
1493 wa4-%offset%)
1494 (f2cl-lib:fref cc-%data%
1495 (m1 (f2cl-lib:int-sub i 1) k
1497 ((1 in1) (1 ido) (1 l1) (1 5))
1498 cc-%offset%))
1500 (f2cl-lib:fref wa4-%data%
1501 ((f2cl-lib:int-sub i 1))
1502 ((1 ido))
1503 wa4-%offset%)
1504 (f2cl-lib:fref cc-%data%
1505 (m1 i k 5)
1506 ((1 in1) (1 ido) (1 l1) (1 5))
1507 cc-%offset%)))
1510 (f2cl-lib:fref wa1-%data%
1511 ((f2cl-lib:int-sub i 2))
1512 ((1 ido))
1513 wa1-%offset%)
1514 (f2cl-lib:fref cc-%data%
1515 (m1 (f2cl-lib:int-sub i 1) k
1517 ((1 in1) (1 ido) (1 l1) (1 5))
1518 cc-%offset%))
1520 (f2cl-lib:fref wa1-%data%
1521 ((f2cl-lib:int-sub i 1))
1522 ((1 ido))
1523 wa1-%offset%)
1524 (f2cl-lib:fref cc-%data%
1525 (m1 i k 2)
1526 ((1 in1) (1 ido) (1 l1) (1 5))
1527 cc-%offset%)))))
1528 (* ti11
1532 (f2cl-lib:fref wa3-%data%
1533 ((f2cl-lib:int-sub i 2))
1534 ((1 ido))
1535 wa3-%offset%)
1536 (f2cl-lib:fref cc-%data%
1537 (m1 (f2cl-lib:int-sub i 1) k
1539 ((1 in1) (1 ido) (1 l1) (1 5))
1540 cc-%offset%))
1542 (f2cl-lib:fref wa3-%data%
1543 ((f2cl-lib:int-sub i 1))
1544 ((1 ido))
1545 wa3-%offset%)
1546 (f2cl-lib:fref cc-%data%
1547 (m1 i k 4)
1548 ((1 in1) (1 ido) (1 l1) (1 5))
1549 cc-%offset%)))
1552 (f2cl-lib:fref wa2-%data%
1553 ((f2cl-lib:int-sub i 2))
1554 ((1 ido))
1555 wa2-%offset%)
1556 (f2cl-lib:fref cc-%data%
1557 (m1 (f2cl-lib:int-sub i 1) k
1559 ((1 in1) (1 ido) (1 l1) (1 5))
1560 cc-%offset%))
1562 (f2cl-lib:fref wa2-%data%
1563 ((f2cl-lib:int-sub i 1))
1564 ((1 ido))
1565 wa2-%offset%)
1566 (f2cl-lib:fref cc-%data%
1567 (m1 i k 3)
1568 ((1 in1) (1 ido) (1 l1) (1 5))
1569 cc-%offset%))))))))
1570 (setf (f2cl-lib:fref ch-%data%
1571 (m2 ic 4 k)
1572 ((1 in2) (1 ido) (1 5) (1 l1))
1573 ch-%offset%)
1575 (* ti12
1579 (f2cl-lib:fref wa4-%data%
1580 ((f2cl-lib:int-sub i 2))
1581 ((1 ido))
1582 wa4-%offset%)
1583 (f2cl-lib:fref cc-%data%
1584 (m1 (f2cl-lib:int-sub i 1) k 5)
1585 ((1 in1) (1 ido) (1 l1) (1 5))
1586 cc-%offset%))
1588 (f2cl-lib:fref wa4-%data%
1589 ((f2cl-lib:int-sub i 1))
1590 ((1 ido))
1591 wa4-%offset%)
1592 (f2cl-lib:fref cc-%data%
1593 (m1 i k 5)
1594 ((1 in1) (1 ido) (1 l1) (1 5))
1595 cc-%offset%)))
1598 (f2cl-lib:fref wa1-%data%
1599 ((f2cl-lib:int-sub i 2))
1600 ((1 ido))
1601 wa1-%offset%)
1602 (f2cl-lib:fref cc-%data%
1603 (m1 (f2cl-lib:int-sub i 1) k 2)
1604 ((1 in1) (1 ido) (1 l1) (1 5))
1605 cc-%offset%))
1607 (f2cl-lib:fref wa1-%data%
1608 ((f2cl-lib:int-sub i 1))
1609 ((1 ido))
1610 wa1-%offset%)
1611 (f2cl-lib:fref cc-%data%
1612 (m1 i k 2)
1613 ((1 in1) (1 ido) (1 l1) (1 5))
1614 cc-%offset%)))))
1615 (* ti11
1619 (f2cl-lib:fref wa3-%data%
1620 ((f2cl-lib:int-sub i 2))
1621 ((1 ido))
1622 wa3-%offset%)
1623 (f2cl-lib:fref cc-%data%
1624 (m1 (f2cl-lib:int-sub i 1) k 4)
1625 ((1 in1) (1 ido) (1 l1) (1 5))
1626 cc-%offset%))
1628 (f2cl-lib:fref wa3-%data%
1629 ((f2cl-lib:int-sub i 1))
1630 ((1 ido))
1631 wa3-%offset%)
1632 (f2cl-lib:fref cc-%data%
1633 (m1 i k 4)
1634 ((1 in1) (1 ido) (1 l1) (1 5))
1635 cc-%offset%)))
1638 (f2cl-lib:fref wa2-%data%
1639 ((f2cl-lib:int-sub i 2))
1640 ((1 ido))
1641 wa2-%offset%)
1642 (f2cl-lib:fref cc-%data%
1643 (m1 (f2cl-lib:int-sub i 1) k 3)
1644 ((1 in1) (1 ido) (1 l1) (1 5))
1645 cc-%offset%))
1647 (f2cl-lib:fref wa2-%data%
1648 ((f2cl-lib:int-sub i 1))
1649 ((1 ido))
1650 wa2-%offset%)
1651 (f2cl-lib:fref cc-%data%
1652 (m1 i k 3)
1653 ((1 in1) (1 ido) (1 l1) (1 5))
1654 cc-%offset%)))))
1656 (f2cl-lib:fref cc-%data%
1657 (m1 i k 1)
1658 ((1 in1) (1 ido) (1 l1) (1 5))
1659 cc-%offset%)
1660 (* tr12
1664 (f2cl-lib:fref wa1-%data%
1665 ((f2cl-lib:int-sub i 2))
1666 ((1 ido))
1667 wa1-%offset%)
1668 (f2cl-lib:fref cc-%data%
1669 (m1 i k 2)
1670 ((1 in1) (1 ido) (1 l1) (1 5))
1671 cc-%offset%))
1673 (f2cl-lib:fref wa1-%data%
1674 ((f2cl-lib:int-sub i 1))
1675 ((1 ido))
1676 wa1-%offset%)
1677 (f2cl-lib:fref cc-%data%
1678 (m1 (f2cl-lib:int-sub i 1) k
1680 ((1 in1) (1 ido) (1 l1) (1 5))
1681 cc-%offset%)))
1684 (f2cl-lib:fref wa4-%data%
1685 ((f2cl-lib:int-sub i 2))
1686 ((1 ido))
1687 wa4-%offset%)
1688 (f2cl-lib:fref cc-%data%
1689 (m1 i k 5)
1690 ((1 in1) (1 ido) (1 l1) (1 5))
1691 cc-%offset%))
1693 (f2cl-lib:fref wa4-%data%
1694 ((f2cl-lib:int-sub i 1))
1695 ((1 ido))
1696 wa4-%offset%)
1697 (f2cl-lib:fref cc-%data%
1698 (m1 (f2cl-lib:int-sub i 1) k
1700 ((1 in1) (1 ido) (1 l1) (1 5))
1701 cc-%offset%)))))
1702 (* tr11
1706 (f2cl-lib:fref wa2-%data%
1707 ((f2cl-lib:int-sub i 2))
1708 ((1 ido))
1709 wa2-%offset%)
1710 (f2cl-lib:fref cc-%data%
1711 (m1 i k 3)
1712 ((1 in1) (1 ido) (1 l1) (1 5))
1713 cc-%offset%))
1715 (f2cl-lib:fref wa2-%data%
1716 ((f2cl-lib:int-sub i 1))
1717 ((1 ido))
1718 wa2-%offset%)
1719 (f2cl-lib:fref cc-%data%
1720 (m1 (f2cl-lib:int-sub i 1) k
1722 ((1 in1) (1 ido) (1 l1) (1 5))
1723 cc-%offset%)))
1726 (f2cl-lib:fref wa3-%data%
1727 ((f2cl-lib:int-sub i 2))
1728 ((1 ido))
1729 wa3-%offset%)
1730 (f2cl-lib:fref cc-%data%
1731 (m1 i k 4)
1732 ((1 in1) (1 ido) (1 l1) (1 5))
1733 cc-%offset%))
1735 (f2cl-lib:fref wa3-%data%
1736 ((f2cl-lib:int-sub i 1))
1737 ((1 ido))
1738 wa3-%offset%)
1739 (f2cl-lib:fref cc-%data%
1740 (m1 (f2cl-lib:int-sub i 1) k
1742 ((1 in1) (1 ido) (1 l1) (1 5))
1743 cc-%offset%))))))))
1744 label1002))
1745 label102))
1746 label103))
1747 (go end_label)
1748 end_label
1749 (return (values nil nil nil nil nil nil nil nil nil nil nil nil nil)))))
1751 (in-package #:cl-user)
1752 #+#.(cl:if (cl:find-package '#:f2cl) '(and) '(or))
1753 (eval-when (:load-toplevel :compile-toplevel :execute)
1754 (setf (gethash 'fortran-to-lisp::mradf5
1755 fortran-to-lisp::*f2cl-function-info*)
1756 (fortran-to-lisp::make-f2cl-finfo
1757 :arg-types '((fortran-to-lisp::integer4) (fortran-to-lisp::integer4)
1758 (fortran-to-lisp::integer4) (array double-float (*))
1759 (fortran-to-lisp::integer4) (fortran-to-lisp::integer4)
1760 (array double-float (*)) (fortran-to-lisp::integer4)
1761 (fortran-to-lisp::integer4) (array double-float (*))
1762 (array double-float (*)) (array double-float (*))
1763 (array double-float (*)))
1764 :return-values '(nil nil nil nil nil nil nil nil nil nil nil nil
1765 nil)
1766 :calls 'nil)))