Commentary/Compiler/Backends/NCG/RegisterAllocator: checkSpills.report

File checkSpills.report, 49.1 kB (added by guest, 1 year ago)
Line 
1 * imaginary/bernouilli
2 Main                           (5,2,7,0,0,22)       ~ (7,7,22)        0.0       WIN  (5,5,22)        0.0       WIN  (5,5,22)        0.0 
3
4 * imaginary/digits-of-e1
5 Main                           (4,4,8,0,0,31)       ~ (8,8,31)        0.0       WIN  (3,3,30)        0.0       WIN  (3,3,30)        0.0 
6
7 * imaginary/digits-of-e2
8 Main                           (2,0,2,0,0,55)       ~ (2,2,55)        0.0      ----- (2,2,55)        0.0      ----- (2,2,55)        0.0 
9
10 * imaginary/exp3_8
11 Main                           (0,0,0,0,0,29)       ~ (0,0,29)        0.0      ----- (0,0,29)        0.0      ----- (0,0,29)        0.0 
12
13 * imaginary/gen_regexps
14 Main                           (11,0,11,0,0,26)     ~ (11,11,26)      0.0       WIN  (5,7,26)        0.0       WIN  (6,7,26)        0.0 
15
16 * imaginary/integrate
17 Main                           (0,0,0,0,0,12)       ~ (0,0,12)        0.0      ----- (0,0,12)        0.0      ----- (0,0,12)        0.0 
18
19 * imaginary/paraffins
20 Main                           (25,0,26,0,0,116)    ~ (25,26,116)     0.0       WIN  (15,23,116)     0.0       WIN  (15,20,116)     0.0 
21
22 * imaginary/primes
23 Main                           (1,0,1,0,0,3)        ~ (1,1,3)         0.0      ----- (1,1,3)         0.0      ----- (1,1,3)         0.0 
24
25 * imaginary/queens
26 Main                           (0,0,0,0,0,13)       ~ (0,0,13)        0.0      ----- (0,0,13)        0.0      ----- (0,0,13)        0.0 
27
28 * imaginary/rfib
29 Main                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
30
31 * imaginary/tak
32 Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
33
34 * imaginary/wheel-sieve1
35 Main                           (2,0,2,0,0,42)       ~ (2,2,42)        0.0      ----- (2,2,42)        0.0      ----- (2,2,42)        0.0 
36
37 * imaginary/wheel-sieve2
38 Main                           (1,0,1,0,0,31)       ~ (1,1,31)        0.0      ----- (1,1,31)        0.0      ----- (1,1,31)        0.0 
39
40 * imaginary/x2n1
41 Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
42
43 * spectral/ansi
44 Main                           (3,0,3,0,0,6)        ~ (3,3,6)         0.0      ----- (3,3,6)         0.0      ----- (3,3,6)         0.0 
45
46 * spectral/atom
47 Main                           (0,0,0,0,0,35)       ~ (0,0,35)        0.0      ----- (0,0,35)        0.0      ----- (0,0,35)        0.0 
48
49 * spectral/awards
50 QSort                          (0,0,0,0,0,10)       ~ (0,0,10)        0.0      ----- (0,0,10)        0.0      ----- (0,0,10)        0.0 
51 Main                           (0,0,0,0,0,23)       ~ (0,0,23)        0.0      ----- (0,0,23)        0.0      ----- (0,0,23)        0.0 
52
53 * spectral/banner
54 Main                           (1,0,1,0,0,10)       ~ (1,1,10)        0.0      ----- (1,1,10)        0.0      ----- (1,1,10)        0.0 
55
56 * spectral/boyer
57 Main                           (0,0,0,0,0,64)       ~ (0,0,64)        0.0      ----- (0,0,64)        0.0      ----- (0,0,64)        0.0 
58
59 * spectral/boyer2
60 Lisplikefns                    (0,0,0,0,0,57)       ~ (0,0,57)        0.0      ----- (0,0,57)        0.0      ----- (0,0,57)        0.0 
61 Checker                        (0,0,0,0,0,32)       ~ (0,0,32)        0.0      ----- (0,0,32)        0.0      ----- (0,0,32)        0.0 
62 Rulebasetext                   (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
63 Rewritefns                     (0,0,0,0,0,45)       ~ (0,0,45)        0.0      ----- (0,0,45)        0.0      ----- (0,0,45)        0.0 
64 Main                           (0,0,0,0,0,10)       ~ (0,0,10)        0.0      ----- (0,0,10)        0.0      ----- (0,0,10)        0.0 
65
66 * spectral/calendar
67 Main                           (11,0,11,0,0,19)     ~ (11,11,19)      0.0       WIN  (6,8,19)        0.0       WIN  (6,7,19)        0.0 
68
69 * spectral/cichelli
70 Key                            (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
71 Auxil                          (4,0,4,0,0,82)       ~ (4,4,82)        0.0      ----- (4,4,82)        0.0      ----- (4,4,82)        0.0 
72 Interval                       (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
73 Prog                           (1,0,1,0,0,36)       ~ (1,1,36)        0.0      ----- (1,1,36)        0.0      ----- (1,1,36)        0.0 
74 Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
75
76 * spectral/circsim
77 Main                           (33,0,43,0,0,173)    ~ (33,43,173)     0.0       WIN  (27,39,173)     0.0       WIN  (27,39,173)     0.0 
78
79 * spectral/clausify
80 Main                           (1,0,1,0,0,141)      ~ (1,1,141)       0.0      LOSE  (1,2,142)       0.0      LOSE  (1,2,142)       0.0 
81
82 * spectral/constraints
83 Main                           (3,0,3,0,0,109)      ~ (3,3,109)       0.0       WIN  (2,2,109)       0.0       WIN  (2,2,109)       0.0 
84
85 * spectral/cryptarithm1
86 Main                           (1,0,1,0,0,26)       ~ (1,1,26)        0.0      ----- (1,1,26)        0.0      ----- (1,1,26)        0.0 
87
88 * spectral/cryptarithm2
89 MonadTrans                     (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
90 MonadState                     (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
91 Main                           (1,0,1,0,0,67)       ~ (1,1,67)        0.0      ----- (1,1,67)        0.0      ----- (1,1,67)        0.0 
92
93 * spectral/cse
94 StateMonad                     (1,0,1,0,0,5)        ~ (1,1,5)         0.0      ----- (1,1,5)         0.0      ----- (1,1,5)         0.0 
95 Main                           (0,0,0,0,0,40)       ~ (0,0,40)        0.0      ----- (0,0,40)        0.0      ----- (0,0,40)        0.0 
96
97 * spectral/eliza
98 Main                           (0,0,0,0,0,56)       ~ (0,0,56)        0.0      ----- (0,0,56)        0.0      ----- (0,0,56)        0.0 
99
100 * spectral/expert
101 Result                         (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
102 Table                          (0,0,0,0,0,186)      ~ (0,0,186)       0.0      ----- (0,0,186)       0.0      ----- (0,0,186)       0.0 
103 Knowledge                      (0,0,0,0,0,63)       ~ (0,0,63)        0.0      ----- (0,0,63)        0.0      ----- (0,0,63)        0.0 
104 Match                          (0,0,0,0,0,25)       ~ (0,0,25)        0.0      ----- (0,0,25)        0.0      ----- (0,0,25)        0.0 
105 Search                         (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
106 Main                           (0,0,0,0,0,37)       ~ (0,0,37)        0.0      ----- (0,0,37)        0.0      ----- (0,0,37)        0.0 
107
108 * spectral/fft2
109 Complex_Vectors                (2,0,2,0,0,7)        ~ (2,2,7)         0.0       WIN  (1,1,7)         0.0       WIN  (1,1,7)         0.0 
110 Fourier                        (11,0,11,0,0,70)     ~ (11,11,70)      0.0       WIN  (6,6,70)        0.0       WIN  (6,8,70)        0.0 
111 Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
112
113 * spectral/fibheaps
114 Main                           (18,0,18,0,0,61)     ~ (18,18,61)      0.0       WIN  (16,18,60)      0.0       WIN  (16,18,60)      0.0 
115
116 * spectral/fish
117 Main                           (30,0,30,0,0,35)     ~ (30,30,35)      0.0      ----- (30,30,35)      0.0      ----- (30,30,35)      0.0 
118
119 * spectral/gcd
120 Main                           (8,0,8,0,0,22)       ~ (8,8,22)        0.0      LOSE  (8,9,20)        0.0       WIN  (8,8,20)        0.0 
121
122 * spectral/hartel/comp_lab_zift
123 Main                           (56,0,56,0,0,262)    ~ (56,56,262)     0.0       WIN  (53,56,253)     0.0       WIN  (44,47,262)     0.0 
124
125 * spectral/hartel/event
126 Main                           (3,0,3,0,0,77)       ~ (3,3,77)        0.0      ----- (3,3,77)        0.0      ----- (3,3,77)        0.0 
127
128 * spectral/hartel/fft
129 Main                           (30,7,37,0,0,77)     ~ (37,37,77)      0.0       WIN  (30,33,74)      0.0       WIN  (28,32,75)      0.0 
130
131 * spectral/hartel/genfft
132 Main                           (39,5,47,0,0,46)     ~ (44,47,46)      0.0       WIN  (23,34,37)      0.0       WIN  (24,34,37)      0.0 
133
134 * spectral/hartel/ida
135 Main                           (58,2,60,0,0,86)     ~ (60,60,86)      0.0       WIN  (23,29,84)      0.0       WIN  (23,29,84)      0.0 
136
137 * spectral/hartel/listcompr
138 Main                           (0,0,0,0,0,20)       ~ (0,0,20)        0.0      ----- (0,0,20)        0.0      ----- (0,0,20)        0.0 
139
140 * spectral/hartel/listcopy
141 Main                           (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
142
143 * spectral/hartel/nucleic2
144 Types                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
145 RU                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
146 RG                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
147 RC                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
148 RA                             (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
149 Main                           (0,0,0,0,0,177)      ~ (0,0,177)       0.0      ----- (0,0,177)       0.0      ----- (0,0,177)       0.0 
150
151 * spectral/hartel/parstof
152 Main                           (25,0,25,0,0,388)    ~ (25,25,388)     0.0       WIN  (19,22,388)     0.0       WIN  (18,22,387)     0.0 
153
154 * spectral/hartel/sched
155 Main                           (12,0,12,0,0,45)     ~ (12,12,45)      0.0       WIN  (9,12,45)       0.0       WIN  (9,12,45)       0.0 
156
157 * spectral/hartel/solid
158 Main                           (5,0,5,0,0,53)       ~ (5,5,53)        0.0       WIN  (4,4,53)        0.0       WIN  (4,4,53)        0.0 
159
160 * spectral/hartel/transform
161 Main                           (30,0,30,0,0,440)    ~ (30,30,440)     0.0      ----- (30,30,440)     0.0      ----- (30,30,440)     0.0 
162
163 * spectral/hartel/typecheck
164 Main                           (1,0,1,0,0,94)       ~ (1,1,94)        0.0      ----- (1,1,94)        0.0      ----- (1,1,94)        0.0 
165
166 * spectral/hartel/wave4main
167 Main                           (18,0,18,0,0,39)     ~ (18,18,39)      0.0       WIN  (16,16,40)      0.0       WIN  (16,18,39)      0.0 
168
169 * spectral/integer
170 Main                           (3,0,3,0,0,25)       ~ (3,3,25)        0.0       OK   (2,4,25)        0.0       OK   (2,4,25)        0.0 
171
172 * spectral/knights
173 Sort                           (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
174 ChessSetArray                  (23,0,23,0,0,39)     ~ (23,23,39)      0.0       WIN  (15,19,39)      0.0       WIN  (15,19,39)      0.0 
175 ChessSetList                   (7,0,7,0,0,32)       ~ (7,7,32)        0.0       WIN  (5,6,32)        0.0       WIN  (5,6,32)        0.0 
176 KnightHeuristic                (22,0,22,0,0,47)     ~ (22,22,47)      0.0      ----- (22,22,47)      0.0      ----- (22,22,47)      0.0 
177 Queue                          (0,0,0,0,0,9)        ~ (0,0,9)         0.0      ----- (0,0,9)         0.0      ----- (0,0,9)         0.0 
178 Main                           (3,0,3,0,0,15)       ~ (3,3,15)        0.0      ----- (3,3,15)        0.0      ----- (3,3,15)        0.0 
179
180 * spectral/lambda
181 Main                           (0,0,0,0,0,67)       ~ (0,0,67)        0.0      ----- (0,0,67)        0.0      ----- (0,0,67)        0.0 
182
183 * spectral/last-piece
184
185 * spectral/lcss
186 Main                           (6,0,6,0,0,26)       ~ (6,6,26)        0.0      ----- (6,6,26)        0.0      ----- (6,6,26)        0.0 
187
188 * spectral/life
189 Main                           (1,0,1,0,0,38)       ~ (1,1,38)        0.0      ----- (1,1,38)        0.0      ----- (1,1,38)        0.0 
190
191 * spectral/mandel
192 PortablePixmap                 (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
193 Mandel                         (1,0,1,0,0,18)       ~ (1,1,18)        0.0      ----- (1,1,18)        0.0      ----- (1,1,18)        0.0 
194 Main                           (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
195
196 * spectral/mandel2
197 Main                           (9,0,9,0,0,25)       ~ (9,9,25)        0.0      ----- (9,9,25)        0.0      ----- (9,9,25)        0.0 
198
199 * spectral/minimax
200 Wins                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
201 Board                          (0,0,0,0,0,81)       ~ (0,0,81)        0.0      ----- (0,0,81)        0.0      ----- (0,0,81)        0.0 
202 Tree                           (2,0,2,0,0,10)       ~ (2,2,10)        0.0       WIN  (1,2,10)        0.0       WIN  (1,2,10)        0.0 
203 Game                           (0,0,0,0,0,42)       ~ (0,0,42)        0.0      ----- (0,0,42)        0.0      ----- (0,0,42)        0.0 
204 Prog                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
205 Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
206
207 * spectral/multiplier
208 Main                           (12,0,12,0,0,121)    ~ (12,12,121)     0.0       WIN  (11,12,121)     0.0       WIN  (11,12,121)     0.0 
209
210 * spectral/para
211 Main                           (23,0,23,0,0,333)    ~ (23,23,333)     0.0      ----- (23,23,333)     0.0      ----- (23,23,333)     0.0 
212
213 * spectral/power
214 Main                           (2,1,3,0,0,222)      ~ (3,3,222)       0.0       WIN  (2,2,222)       0.0       WIN  (2,2,222)       0.0 
215
216 * spectral/pretty
217 CharSeq                        (4,0,4,0,0,14)       ~ (4,4,14)        0.0       WIN  (3,4,14)        0.0       WIN  (3,4,14)        0.0 
218 Pretty                         (10,0,10,0,0,36)     ~ (10,10,36)      0.0      ----- (10,10,36)      0.0      ----- (10,10,36)      0.0 
219 Main                           (1,0,1,0,0,1)        ~ (1,1,1)         0.0      ----- (1,1,1)         0.0      ----- (1,1,1)         0.0 
220
221 * spectral/primetest
222 IntLib                         (6,8,14,0,0,60)      ~ (14,14,60)      0.0       WIN  (6,6,57)        0.0       WIN  (6,6,55)        0.0 
223 MyRandom                       (32,0,32,0,0,15)     ~ (32,32,15)      0.0       WIN  (22,27,21)      0.0       WIN  (22,27,21)      0.0 
224 Prime                          (8,0,8,0,0,153)      ~ (8,8,153)       0.0       WIN  (8,8,145)       0.0       WIN  (8,8,145)       0.0 
225 Main                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
226
227 * spectral/puzzle
228 Main                           (9,0,9,0,0,120)      ~ (9,9,120)       0.0      ----- (9,9,120)       0.0      ----- (9,9,120)       0.0 
229
230 * spectral/rewrite
231 Main                           (5,0,5,0,0,280)      ~ (5,5,280)       0.0      ----- (5,5,280)       0.0      ----- (5,5,280)       0.0 
232
233 * spectral/scc
234 Digraph                        (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
235 Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
236
237 * spectral/secretary
238
239 * spectral/simple
240 Main                           (92,0,92,0,0,897)    ~ (92,92,897)     0.0      LOSE  (93,93,937)     0.0      LOSE  (93,97,928)     0.0 
241
242 * spectral/sorting
243 Sort                           (1,10,11,0,0,237)    ~ (11,11,237)     0.0      ----- (11,11,237)     0.0      ----- (11,11,237)     0.0 
244 Main                           (0,0,0,0,0,8)        ~ (0,0,8)         0.0      ----- (0,0,8)         0.0      ----- (0,0,8)         0.0 
245
246 * spectral/sphere
247 Main                           (6,0,6,0,0,170)      ~ (6,6,170)       0.0       WIN  (1,1,170)       0.0       WIN  (1,1,170)       0.0 
248
249 * spectral/treejoin
250 Main                           (1,0,1,0,0,24)       ~ (1,1,24)        0.0      ----- (1,1,24)        0.0      ----- (1,1,24)        0.0 
251
252 * real/anna
253 Utils                          (23,0,23,0,0,305)    ~ (23,23,305)     0.0       WIN  (20,21,310)     0.0       WIN  (20,21,309)     0.0 
254 BaseDefs                       (0,0,0,0,0,529)      ~ (0,0,529)       0.0      ----- (0,0,529)       0.0      ----- (0,0,529)       0.0 
255 MyUtils                        (1,0,1,0,0,67)       ~ (1,1,67)        0.0      ----- (1,1,67)        0.0      ----- (1,1,67)        0.0 
256 DomainExpr                     (2,0,2,0,0,36)       ~ (2,2,36)        0.0      ----- (2,2,36)        0.0      ----- (2,2,36)        0.0 
257 AbstractVals2                  (0,0,0,0,0,200)      ~ (0,0,200)       0.0      ----- (0,0,200)       0.0      ----- (0,0,200)       0.0 
258 SuccsAndPreds2                 (1,0,1,0,0,299)      ~ (1,1,299)       0.0      ----- (1,1,299)       0.0      ----- (1,1,299)       0.0 
259 AbstractMisc                   (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
260 AbsConc3                       (0,0,0,0,0,168)      ~ (0,0,168)       0.0      ----- (0,0,168)       0.0      ----- (0,0,168)       0.0 
261 Apply                          (1,0,1,0,0,35)       ~ (1,1,35)        0.0      ----- (1,1,35)        0.0      ----- (1,1,35)        0.0 
262 AbstractEval2                  (0,0,0,0,0,13)       ~ (0,0,13)        0.0      ----- (0,0,13)        0.0      ----- (0,0,13)        0.0 
263 BarakiMeet                     (0,0,0,0,0,74)       ~ (0,0,74)        0.0      ----- (0,0,74)        0.0      ----- (0,0,74)        0.0 
264 BarakiConc3                    (0,0,0,0,0,77)       ~ (0,0,77)        0.0      ----- (0,0,77)        0.0      ----- (0,0,77)        0.0 
265 Inverse                        (0,0,0,0,0,99)       ~ (0,0,99)        0.0      ----- (0,0,99)        0.0      ----- (0,0,99)        0.0 
266 Constructors                   (0,0,0,0,0,55)       ~ (0,0,55)        0.0      ----- (0,0,55)        0.0      ----- (0,0,55)        0.0 
267 Dependancy                     (0,0,0,0,0,145)      ~ (0,0,145)       0.0      ----- (0,0,145)       0.0      ----- (0,0,145)       0.0 
268 EtaAbstract                    (0,0,0,0,0,18)       ~ (0,0,18)        0.0      ----- (0,0,18)        0.0      ----- (0,0,18)        0.0 
269 FrontierMisc2                  (0,0,0,0,0,41)       ~ (0,0,41)        0.0      ----- (0,0,41)        0.0      ----- (0,0,41)        0.0 
270 FrontierDATAFN2                (0,0,0,0,0,34)       ~ (0,0,34)        0.0      ----- (0,0,34)        0.0      ----- (0,0,34)        0.0 
271 FrontierGENERIC2               (0,0,0,0,0,50)       ~ (0,0,50)        0.0      ----- (0,0,50)        0.0      ----- (0,0,50)        0.0 
272 LambdaLift5                    (3,0,3,0,0,115)      ~ (3,3,115)       0.0      ----- (3,3,115)       0.0      ----- (3,3,115)       0.0 
273 MakeDomains                    (0,0,0,0,0,33)       ~ (0,0,33)        0.0      ----- (0,0,33)        0.0      ----- (0,0,33)        0.0 
274 Parser2                        (11,0,11,0,0,350)    ~ (11,11,350)     0.0      ----- (11,11,350)     0.0      ----- (11,11,350)     0.0 
275 ReadTable                      (2,0,2,0,0,51)       ~ (2,2,51)        0.0      ----- (2,2,51)        0.0      ----- (2,2,51)        0.0 
276 SmallerLattice                 (9,0,9,0,0,196)      ~ (9,9,196)       0.0      LOSE  (9,10,196)      0.0      LOSE  (9,10,196)      0.0 
277 Simplify                       (0,0,0,0,0,39)       ~ (0,0,39)        0.0      ----- (0,0,39)        0.0      ----- (0,0,39)        0.0 
278 TypeCheck5                     (8,0,8,0,0,359)      ~ (8,8,359)       0.0      ----- (8,8,359)       0.0      ----- (8,8,359)       0.0 
279 TExpr2DExpr                    (3,0,3,0,0,58)       ~ (3,3,58)        0.0       WIN  (2,2,58)        0.0       WIN  (2,2,58)        0.0 
280 PrintResults                   (10,0,10,0,0,89)     ~ (10,10,89)      0.0      ----- (10,10,89)      0.0      ----- (10,10,89)      0.0 
281 StrictAn6                      (3,0,3,0,0,309)      ~ (3,3,309)       0.0      ----- (3,3,309)       0.0      ----- (3,3,309)       0.0 
282 PrettyPrint                    (0,0,0,0,0,27)       ~ (0,0,27)        0.0      ----- (0,0,27)        0.0      ----- (0,0,27)        0.0 
283 Main                           (0,0,0,0,0,51)       ~ (0,0,51)        0.0      ----- (0,0,51)        0.0      ----- (0,0,51)        0.0 
284 Monster                        (9,0,9,0,0,12)       ~ (9,9,12)        0.0       WIN  (4,4,10)        0.0       WIN  (4,4,10)        0.0 
285
286 * real/bspt
287 Libfuns                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
288 Stdlib                         (1,0,1,0,0,19)       ~ (1,1,19)        0.0      ----- (1,1,19)        0.0      ----- (1,1,19)        0.0 
289 Rationals                      (18,0,18,0,0,47)     ~ (18,18,47)      0.0       WIN  (11,16,46)      0.0       WIN  (11,16,46)      0.0 
290 Params                         (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
291 GeomNum                        (5,0,5,0,0,17)       ~ (5,5,17)        0.0      ----- (5,5,17)        0.0      ----- (5,5,17)        0.0 
292 MGRlib                         (1,0,1,0,0,8)        ~ (1,1,8)         0.0      ----- (1,1,8)         0.0      ----- (1,1,8)         0.0 
293 Euclid                         (6,0,6,0,0,92)       ~ (6,6,92)        0.0      ----- (6,6,92)        0.0      ----- (6,6,92)        0.0 
294 EuclidGMS                      (0,0,0,0,0,72)       ~ (0,0,72)        0.0      ----- (0,0,72)        0.0      ----- (0,0,72)        0.0 
295 BSPT                           (0,0,0,0,0,97)       ~ (0,0,97)        0.0      ----- (0,0,97)        0.0      ----- (0,0,97)        0.0 
296 Init                           (14,0,14,0,0,37)     ~ (14,14,37)      0.0      ----- (14,14,37)      0.0      ----- (14,14,37)      0.0 
297 Interpret                      (0,0,0,0,0,51)       ~ (0,0,51)        0.0      ----- (0,0,51)        0.0      ----- (0,0,51)        0.0 
298 Input                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
299 Merge                          (0,0,0,0,0,45)       ~ (0,0,45)        0.0      ----- (0,0,45)        0.0      ----- (0,0,45)        0.0 
300 Render                         (2,0,2,0,0,21)       ~ (2,2,21)        0.0      ----- (2,2,21)        0.0      ----- (2,2,21)        0.0 
301 Interface                      (0,0,0,0,0,10)       ~ (0,0,10)        0.0      ----- (0,0,10)        0.0      ----- (0,0,10)        0.0 
302 Prog                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
303 Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
304
305 * real/cacheprof
306 Arch_x86                       (0,0,0,0,0,37)       ~ (0,0,37)        0.0      ----- (0,0,37)        0.0      ----- (0,0,37)        0.0 
307 Generics                       (0,0,0,0,0,71)       ~ (0,0,71)        0.0      ----- (0,0,71)        0.0      ----- (0,0,71)        0.0 
308 Main                           (7,0,7,0,0,877)      ~ (7,7,877)       0.0      LOSE  (7,7,878)       0.0      ----- (7,7,877)       0.0 
309
310 * real/compress
311 BinConv                        (6,0,6,0,0,15)       ~ (6,6,15)        0.0       WIN  (4,5,11)        0.0       WIN  (4,5,11)        0.0 
312 BinTest                        (1,1,2,0,0,4)        ~ (2,2,4)         0.0       WIN  (1,1,4)         0.0       WIN  (1,1,4)         0.0 
313 Defaults                       (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
314 Decode                         (5,0,5,0,0,38)       ~ (5,5,38)        0.0       WIN  (4,5,38)        0.0       WIN  (4,5,38)        0.0 
315 PTTrees                        (0,0,0,0,0,14)       ~ (0,0,14)        0.0      ----- (0,0,14)        0.0      ----- (0,0,14)        0.0 
316 Encode                         (1,0,1,0,0,12)       ~ (1,1,12)        0.0      ----- (1,1,12)        0.0      ----- (1,1,12)        0.0 
317 Main                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
318 Uncompress                     (1,0,1,0,0,2)        ~ (1,1,2)         0.0      ----- (1,1,2)         0.0      ----- (1,1,2)         0.0 
319
320 * real/compress2
321 Encode                         (555,0,555,0,0,867)  ~ (555,555,867)   0.0       WIN  (503,523,867)   0.0       WIN  (503,523,867)   0.0 
322 WriteRoutines                  (13,2,15,0,0,15)     ~ (15,15,15)      0.0       WIN  (12,12,13)      0.0       WIN  (12,12,13)      0.0 
323 Main                           (1,0,1,0,0,0)        ~ (1,1,0)         0.0      ----- (1,1,0)         0.0      ----- (1,1,0)         0.0 
324
325 * real/ebnf2ps
326
327 * real/fem
328 Database                       (7,0,7,0,0,13)       ~ (7,7,13)        0.0       WIN  (5,5,13)        0.0       WIN  (5,5,13)        0.0 
329 DB_interface                   (10,0,10,0,0,49)     ~ (10,10,49)      0.0      ----- (10,10,49)      0.0      ----- (10,10,49)      0.0 
330 Basics                         (1,0,1,0,0,5)        ~ (1,1,5)         0.0      ----- (1,1,5)         0.0      ----- (1,1,5)         0.0 
331 Vector                         (25,0,25,0,0,20)     ~ (25,25,20)      0.0       WIN  (17,17,23)      0.0       WIN  (17,19,20)      0.0 
332 Degrees                        (8,0,8,0,0,30)       ~ (8,8,30)        0.0      ----- (8,8,30)        0.0      ----- (8,8,30)        0.0 
333 Assemble_loadvec               (0,0,0,0,0,3)        ~ (0,0,3)         0.0      ----- (0,0,3)         0.0      ----- (0,0,3)         0.0 
334 Matrix                         (5,0,5,0,0,84)       ~ (5,5,84)        0.0      ----- (5,5,84)        0.0      ----- (5,5,84)        0.0 
335 Elemstif                       (0,0,0,0,0,12)       ~ (0,0,12)        0.0      ----- (0,0,12)        0.0      ----- (0,0,12)        0.0 
336 Pre_assemble                   (2,0,2,0,0,16)       ~ (2,2,16)        0.0      LOSE  (2,2,17)        0.0      LOSE  (2,3,16)        0.0 
337 VBmatrix                       (2,0,2,0,0,52)       ~ (2,2,52)        0.0      ----- (2,2,52)        0.0      ----- (2,2,52)        0.0 
338 Assemble_stiffness             (4,0,4,0,0,15)       ~ (4,4,15)        0.0       WIN  (3,3,15)        0.0       WIN  (3,3,15)        0.0 
339 VBlldecomp                     (9,0,9,0,0,78)       ~ (9,9,78)        0.0      LOSE  (9,9,85)        0.0      LOSE  (9,17,78)       0.0 
340 Displacement                   (7,0,7,0,0,17)       ~ (7,7,17)        0.0      ----- (7,7,17)        0.0      ----- (7,7,17)        0.0 
341 Elemforce                      (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
342 Printuvwforce                  (1,0,1,0,0,12)       ~ (1,1,12)        0.0      LOSE  (1,1,13)        0.0      LOSE  (1,2,12)        0.0 
343 PrintSource                    (7,0,7,0,0,22)       ~ (7,7,22)        0.0       WIN  (4,7,26)        0.0      LOSE  (4,12,22)       0.0 
344 Main                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
345
346 * real/fluid
347 Norm                           (0,0,0,0,0,4)        ~ (0,0,4)         0.0      ----- (0,0,4)         0.0      ----- (0,0,4)         0.0 
348 S_Array                        (9,0,9,0,0,152)      ~ (9,9,152)       0.0      ----- (9,9,152)       0.0      ----- (9,9,152)       0.0 
349 Defs                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
350 Asb_routs                      (1,0,1,0,0,19)       ~ (1,1,19)        0.0      ----- (1,1,19)        0.0      ----- (1,1,19)        0.0 
351 C_matrix                       (0,0,0,0,0,52)       ~ (0,0,52)        0.0      ----- (0,0,52)        0.0      ----- (0,0,52)        0.0 
352 Chl_decomp                     (4,0,4,0,0,124)      ~ (4,4,124)       0.0       WIN  (3,4,124)       0.0       OK   (3,5,124)       0.0 
353 Chl_method                     (2,0,2,0,0,57)       ~ (2,2,57)        0.0       WIN  (1,1,57)        0.0       WIN  (1,1,57)        0.0 
354 Min_degree                     (1,0,1,0,0,58)       ~ (1,1,58)        0.0      ----- (1,1,58)        0.0      ----- (1,1,58)        0.0 
355 Chl_routs                      (17,0,17,0,0,222)    ~ (17,17,222)     0.0       WIN  (7,8,222)       0.0       WIN  (7,8,222)       0.0 
356 Elefac                         (0,0,0,0,0,28)       ~ (0,0,28)        0.0      ----- (0,0,28)        0.0      ----- (0,0,28)        0.0 
357 Input_proc                     (24,0,24,0,0,147)    ~ (24,24,147)     0.0       WIN  (12,12,147)     0.0       WIN  (12,12,147)     0.0 
358 Tol_cal                        (0,0,0,0,0,11)       ~ (0,0,11)        0.0      ----- (0,0,11)        0.0      ----- (0,0,11)        0.0 
359 Jcb_method                     (0,0,0,0,0,41)       ~ (0,0,41)        0.0      ----- (0,0,41)        0.0      ----- (0,0,41)        0.0 
360 L_matrix                       (0,0,0,0,0,12)       ~ (0,0,12)        0.0      ----- (0,0,12)        0.0      ----- (0,0,12)        0.0 
361 S_matrix                       (0,0,0,0,0,57)       ~ (0,0,57)        0.0      ----- (0,0,57)        0.0      ----- (0,0,57)        0.0 
362 Rhs_Asb_routs                  (0,0,0,0,0,62)       ~ (0,0,62)        0.0      ----- (0,0,62)        0.0      ----- (0,0,62)        0.0 
363 TG_iter                        (0,0,0,0,0,48)       ~ (0,0,48)        0.0      ----- (0,0,48)        0.0      ----- (0,0,48)        0.0 
364 Main                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
365
366 * real/fulsom
367 Interval                       (0,0,0,0,0,97)       ~ (0,0,97)        0.0      ----- (0,0,97)        0.0      ----- (0,0,97)        0.0 
368 Types                          (0,0,0,0,0,24)       ~ (0,0,24)        0.0      ----- (0,0,24)        0.0      ----- (0,0,24)        0.0 
369 Matrix                         (0,0,0,0,0,36)       ~ (0,0,36)        0.0      ----- (0,0,36)        0.0      ----- (0,0,36)        0.0 
370 Csg                            (0,0,0,0,0,227)      ~ (0,0,227)       0.0      ----- (0,0,227)       0.0      ----- (0,0,227)       0.0 
371 Kolor                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
372 Patchlevel                     (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
373 Vector                         (0,0,0,0,0,16)       ~ (0,0,16)        0.0      ----- (0,0,16)        0.0      ----- (0,0,16)        0.0 
374 Oct                            (2,0,2,0,0,57)       ~ (2,2,57)        0.0       WIN  (1,2,57)        0.0       WIN  (1,2,57)        0.0 
375 Quad                           (0,0,0,0,0,47)       ~ (0,0,47)        0.0      ----- (0,0,47)        0.0      ----- (0,0,47)        0.0 
376 Raster                         (10,0,10,0,0,23)     ~ (10,10,23)      0.0      ----- (10,10,23)      0.0      ----- (10,10,23)      0.0 
377 Shapes                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
378 Main                           (0,0,0,0,0,2)        ~ (0,0,2)         0.0      ----- (0,0,2)         0.0      ----- (0,0,2)         0.0 
379
380 * real/gamteb
381 Consts                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
382 GamtebType                     (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
383 InitTable                      (4,0,4,0,0,8)        ~ (4,4,8)         0.0      ----- (4,4,8)         0.0      ----- (4,4,8)         0.0 
384 Utils                          (1,1,2,0,0,39)       ~ (2,2,39)        0.0       WIN  (1,1,40)        0.0       WIN  (1,2,39)        0.0 
385 Compton                        (7,4,16,0,0,3)       ~ (11,16,3)       0.0       WIN  (4,14,3)        0.0       WIN  (4,16,3)        0.0 
386 Distance                       (0,0,0,0,0,7)        ~ (0,0,7)         0.0      ----- (0,0,7)         0.0      ----- (0,0,7)         0.0 
387 Output                         (16,0,16,0,0,17)     ~ (16,16,17)      0.0       WIN  (7,8,19)        0.0       WIN  (7,9,18)        0.0 
388 Pair                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
389 PhotoElec                      (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
390 RoulSplit                      (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
391 TransPort                      (0,0,0,0,0,8)        ~ (0,0,8)         0.0      ----- (0,0,8)         0.0      ----- (0,0,8)         0.0 
392 GamtebMain                     (1,0,1,0,0,0)        ~ (1,1,0)         0.0      ----- (1,1,0)         0.0      ----- (1,1,0)         0.0 
393 Main                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
394
395 * real/gg
396 StdLib                         (1,0,1,0,0,48)       ~ (1,1,48)        0.0      ----- (1,1,48)        0.0      ----- (1,1,48)        0.0 
397 Parse                          (0,0,0,0,0,16)       ~ (0,0,16)        0.0      ----- (0,0,16)        0.0      ----- (0,0,16)        0.0 
398 PSlib                          (4,0,4,0,0,39)       ~ (4,4,39)        0.0      ----- (4,4,39)        0.0      ----- (4,4,39)        0.0 
399 GRIP                           (7,0,7,0,0,85)       ~ (7,7,85)        0.0      ----- (7,7,85)        0.0      ----- (7,7,85)        0.0 
400 Graph                          (15,0,15,0,0,77)     ~ (15,15,77)      0.0      ----- (15,15,77)      0.0      ----- (15,15,77)      0.0 
401 Activity                       (2,0,2,0,0,56)       ~ (2,2,56)        0.0      ----- (2,2,56)        0.0      ----- (2,2,56)        0.0 
402 Spark                          (2,0,2,0,0,37)       ~ (2,2,37)        0.0      ----- (2,2,37)        0.0      ----- (2,2,37)        0.0 
403 Pool                           (5,0,5,0,0,15)       ~ (5,5,15)        0.0      ----- (5,5,15)        0.0      ----- (5,5,15)        0.0 
404 Main                           (0,0,0,0,0,41)       ~ (0,0,41)        0.0      ----- (0,0,41)        0.0      ----- (0,0,41)        0.0 
405
406 * real/grep
407 Parsers                        (0,0,0,0,0,44)       ~ (0,0,44)        0.0      ----- (0,0,44)        0.0      ----- (0,0,44)        0.0 
408 Main                           (0,0,0,0,0,82)       ~ (0,0,82)        0.0      ----- (0,0,82)        0.0      ----- (0,0,82)        0.0 
409 StringMatch                    (0,0,0,0,0,85)       ~ (0,0,85)        0.0      ----- (0,0,85)        0.0      ----- (0,0,85)        0.0 
410
411 * real/hpg
412 Config                         (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
413 Types                          (2,0,2,0,0,138)      ~ (2,2,138)       0.0      ----- (2,2,138)       0.0      ----- (2,2,138)       0.0 
414 Env                            (2,0,2,0,0,17)       ~ (2,2,17)        0.0      ----- (2,2,17)        0.0      ----- (2,2,17)        0.0 
415 Utils                          (0,0,0,0,0,5)        ~ (0,0,5)         0.0      ----- (0,0,5)         0.0      ----- (0,0,5)         0.0 
416 GenVal                         (7,0,7,0,0,27)       ~ (7,7,27)        0.0      ----- (7,7,27)        0.0      ----- (7,7,27)        0.0 
417 GenExp                         (25,0,25,0,0,27)     ~ (25,25,27)      0.0      ----- (25,25,27)      0.0      ----- (25,25,27)      0.0 
418 GenType                        (6,0,6,0,0,11)       ~ (6,6,11)        0.0      ----- (6,6,11)        0.0      ----- (6,6,11)        0.0 
419 Main                           (0,0,0,0,0,44)       ~ (0,0,44)        0.0      ----- (0,0,44)        0.0      ----- (0,0,44)        0.0 
420
421 * real/infer
422 FiniteMap                      (0,0,0,0,0,23)       ~ (0,0,23)        0.0      ----- (0,0,23)        0.0      ----- (0,0,23)        0.0 
423 Shows                          (0,0,0,0,0,7)        ~ (0,0,7)         0.0      ----- (0,0,7)         0.0      ----- (0,0,7)         0.0 
424 MyList                         (0,0,0,0,0,6)        ~ (0,0,6)         0.0      ----- (0,0,6)         0.0      ----- (0,0,6)         0.0 
425 Parse                          (12,0,12,0,0,117)    ~ (12,12,117)     0.0       WIN  (6,6,117)       0.0       WIN  (6,6,117)       0.0 
426 Type                           (0,0,0,0,0,59)       ~ (0,0,59)        0.0      ----- (0,0,59)        0.0      ----- (0,0,59)        0.0 
427 Term                           (0,0,0,0,0,59)       ~ (0,0,59)        0.0      ----- (0,0,59)        0.0      ----- (0,0,59)        0.0 
428 Environment                    (0,0,0,0,0,20)       ~ (0,0,20)        0.0      ----- (0,0,20)        0.0      ----- (0,0,20)        0.0 
429 MaybeM                         (0,0,0,0,0,9)        ~ (0,0,9)         0.0      ----- (0,0,9)         0.0      ----- (0,0,9)         0.0 
430 Substitution                   (0,0,0,0,0,23)       ~ (0,0,23)        0.0      ----- (0,0,23)        0.0      ----- (0,0,23)        0.0 
431 StateX                         (0,0,0,0,0,3)        ~ (0,0,3)         0.0      ----- (0,0,3)         0.0      ----- (0,0,3)         0.0 
432 InferMonad                     (2,0,2,0,0,11)       ~ (2,2,11)        0.0      ----- (2,2,11)        0.0      ----- (2,2,11)        0.0 
433 Infer                          (0,0,0,0,0,21)       ~ (0,0,21)        0.0      ----- (0,0,21)        0.0      ----- (0,0,21)        0.0 
434 Main                           (0,0,0,0,0,8)        ~ (0,0,8)         0.0      ----- (0,0,8)         0.0      ----- (0,0,8)         0.0 
435 State                          (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
436
437 * real/lift
438 Utilities                      (1,0,1,0,0,232)      ~ (1,1,232)       0.0      ----- (1,1,232)       0.0      ----- (1,1,232)       0.0 
439 LambdaLift                     (3,0,3,0,0,76)       ~ (3,3,76)        0.0      ----- (3,3,76)        0.0      ----- (3,3,76)        0.0 
440 Test                           (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
441 Print                          (24,0,24,0,0,48)     ~ (24,24,48)      0.0       WIN  (17,17,48)      0.0       WIN  (17,17,48)      0.0 
442 Main                           (0,0,0,0,0,17)       ~ (0,0,17)        0.0      ----- (0,0,17)        0.0      ----- (0,0,17)        0.0 
443
444 * real/maillist
445 Main                           (3,0,3,0,0,13)       ~ (3,3,13)        0.0      ----- (3,3,13)        0.0      ----- (3,3,13)        0.0 
446
447 * real/mkhprog
448 Main                           (3,0,3,0,0,120)      ~ (3,3,120)       0.0       WIN  (1,2,120)       0.0       WIN  (1,2,120)       0.0 
449
450 * real/parser
451 Main                           (65,1,67,0,0,901)    ~ (66,67,901)     0.0      LOSE  (66,68,902)     0.0      LOSE  (66,68,901)     0.0 
452
453 * real/pic
454 Utils                          (39,1,40,0,0,16)     ~ (40,40,16)      0.0       WIN  (30,32,24)      0.0       WIN  (30,32,17)      0.0 
455 PicType                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
456 Consts                         (1,0,1,0,0,0)        ~ (1,1,0)         0.0      ----- (1,1,0)         0.0      ----- (1,1,0)         0.0 
457 ChargeDensity                  (9,0,9,0,0,11)       ~ (9,9,11)        0.0       WIN  (5,5,10)        0.0       WIN  (5,6,9)         0.0 
458 ElecField                      (3,0,3,0,0,44)       ~ (3,3,44)        0.0      ----- (3,3,44)        0.0      ----- (3,3,44)        0.0 
459 PushParticle                   (0,0,0,0,0,31)       ~ (0,0,31)        0.0      ----- (0,0,31)        0.0      ----- (0,0,31)        0.0 
460 Potential                      (3,0,3,0,0,31)       ~ (3,3,31)        0.0      LOSE  (3,3,32)        0.0      ----- (3,3,31)        0.0 
461 Pic                            (8,1,9,0,0,4)        ~ (9,9,4)         0.0       WIN  (5,5,2)         0.0       WIN  (5,5,2)         0.0 
462 Main                           (0,0,0,0,0,1)        ~ (0,0,1)         0.0      ----- (0,0,1)         0.0      ----- (0,0,1)         0.0 
463
464 * real/prolog
465 Parse                          (0,0,0,0,0,35)       ~ (0,0,35)        0.0      ----- (0,0,35)        0.0      ----- (0,0,35)        0.0 
466 PrologData                     (1,0,1,0,0,93)       ~ (1,1,93)        0.0      ----- (1,1,93)        0.0      ----- (1,1,93)        0.0 
467 Subst                          (0,0,0,0,0,61)       ~ (0,0,61)        0.0      ----- (0,0,61)        0.0      ----- (0,0,61)        0.0 
468 Engine                         (4,0,4,0,0,28)       ~ (4,4,28)        0.0      ----- (4,4,28)        0.0      ----- (4,4,28)        0.0 
469 Interact                       (1,0,1,0,0,7)        ~ (1,1,7)         0.0      ----- (1,1,7)         0.0      ----- (1,1,7)         0.0 
470 Version                        (0,0,0,0,0,0)        ~ (0,0,0)         0.0      ----- (0,0,0)         0.0      ----- (0,0,0)         0.0 
471 Main                           (0,0,0,0,0,33)       ~ (0,0,33)        0.0      ----- (0,0,33)        0.0      ----- (0,0,33)        0.0 
472
473 * real/reptile
474 Rational                       (4,0,4,0,0,17)       ~ (4,4,17)        0.0      ----- (4,4,17)        0.0      ----- (4,4,17)        0.0 
475