1;redcode-94nop
2;name Demolition Man
3;author Christian Schmidt
4;assert CORESIZE == 8000
5;strategy extended Q^4, ultra heavy stun bomber
6;strategy containing 18!!! instructions
7;optimax stn
8       ORG      START
9       DAT.F  >   -87, >   673
10       DAT.F  $  -447, $   894
11       DAT.F  $    23, <  1159
12       DAT.F  $ -3435, <  1402
13       DAT.F  $    17, <  1645
14       MOV.I  $    12, @     3
15       MOV.I  $    10, <     2
16       MOV.I  $    -7, *     1
17       MOV.I  $   184, @   553
18       ADD.F  $    -8, $    -1
19       DJN.B  $    -5, #   333
20       JMP.B  $   -32, $     0
21       DAT.F  < -2666, <  2667
22       DAT.F  $    -1, $    12
23       SPL.B  #  3891, $    20
24       MOV.I  $    -1, >    -5
25       MOV.I  *    -1, >    -6
26       DJN.A  $    -2, $    -7
27       DJN.A  $    -3, *    -1
28       JMP.B  $   184, #     2
29       DAT.F  #   552, #   553
30       DAT.F  $   -22, $ -2224
31       DAT.F  $   -23, $ -1981
32       SPL.B  #     2, #  -184
33       MOV.I  $    -1, }    -1
34       SPL.B  $    21, $ -3473
35       MOV.I  $   -25, $ -3501
36       MOV.I  {   -25, {   -24
37       MOV.I  {   -26, {   -25
38       MOV.I  {   -25, <    -4
39       MOV.I  {   -26, <    -5
40       MOV.I  <     4, {     4
41       MOV.I  <     3, {     3
42       MOV.I  <     2, {     2
43       DJN.B  $    -2, #     3
44       DAT.F  # -3501, #   -16
45       DAT.F  $     0, $     0
46       DAT.F  $     0, $     0
47       DAT.F  $     0, $     0
48       DAT.F  $     0, $     0
49       DAT.F  $     0, $     0
50       DAT.F  $     0, $     0
51       DAT.F  $     0, $     0
52       DAT.F  $     0, $     0
53       DAT.F  $     0, $     0
54       DAT.F  $     0, $     0
55       MOV.I  <     4, {     4
56       MOV.I  <     3, {     3
57       MOV.I  <     2, {     2
58       DJN.B  $    -2, #     3
59       JMP.B  $ -3488, $   -38
60       DAT.F  $     0, $     0
61       DAT.F  $     0, $     0
62       DAT.F  $     0, $     0
63       DAT.F  $     0, $     0
64       DAT.F  $     0, $     0
65       DAT.F  $     0, $     0
66       DAT.F  $     0, $     0
67       DAT.F  $     0, $     0
68       DAT.F  $     0, $     0
69       DAT.F  $     0, $     0
70       DAT.F  $     0, $     0
71       DAT.F  $     0, $     0
72       DAT.F  $     0, $     0
73       DAT.F  $     0, $     0
74START  SNE.I  $  2715, $ -3883
75       SEQ.I  <   -66, $  2008
76       JMP.B  $    25, }    25
77       SNE.I  $    80, $  1482
78       SEQ.I  <   -47, $  -627
79       JMP.B  $    22, {    22
80       SNE.I  $  -167, $  1235
81       SEQ.I  <   -51, $  -874
82       DJN.A  $    19, {    19
83       SNE.I  $  3682, $ -2673
84       SEQ.I  <   -71, $  3217
85       JMP.B  $    16, }    18
86       SNE.I  $  3191, $ -3650
87       SEQ.I  <   -76, $  2240
88       JMP.B  $    13, {    15
89       SNE.I  $  3432, $ -3166
90       SEQ.I  <   -78, $  2724
91       JMP.B  $    10, $     0
92       SEQ.I  >    13, $  3522
93       JMP.B  $     9, <    12
94       SEQ.I  $  1259, $  2660
95       JMP.B  $     6, }     6
96       SEQ.I  $  3971, $ -2628
97       JMP.B  $     4, {     4
98       SEQ.I  $  3482, $ -3117
99       DJN.A  $     2, {     2
100       JMZ.F  $   -66, $ -3885
101       MUL.B  *     2, $     4
102       SNE.I  {   -71, @     3
103       ADD.B  $   -91, $     2
104       MOV.I  $   -95, @     1
105       MOV.I  $   -96, }  2108
106       SUB.AB #    -7, $    -1
107       DJN.B  $    -3, #    14
108       JMP.B  $   -74, $     0
109
110