| line | true | false | branch | 
 
| 96 | 0 | 1 | if ($_[0] == 0.7) { } | 
 
|  | 0 | 1 | elsif ($_[0] == 0.6) { } | 
 
|  | 0 | 1 | elsif ($_[0] == 0.5) { } | 
 
|  | 0 | 1 | elsif ($_[0] == 0.4) { } | 
 
|  | 0 | 1 | elsif ($_[0] == 0.3) { } | 
 
|  | 0 | 1 | elsif ($_[0] == 0.2) { } | 
 
|  | 0 | 1 | elsif ($_[0] == 0.1) { } | 
 
|  | 1 | 0 | elsif ($_[0] == 0.05) { } | 
 
|  | 0 | 0 | elsif ($_[0] == 0.02) { } | 
 
|  | 0 | 0 | elsif ($_[0] == 0.01) { } | 
 
| 104 | 0 | 0 | if ($k < 25) | 
 
| 107 | 0 | 0 | if ($k >= 25) | 
 
| 108 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 109 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 110 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 111 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 112 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 113 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 114 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 115 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 116 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 117 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 118 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 119 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 120 | 0 | 0 | if ($k >= 1000) | 
 
| 133 | 0 | 0 | if ($k < 25) | 
 
| 136 | 0 | 0 | if ($k >= 25) | 
 
| 137 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 138 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 139 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 140 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 141 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 142 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 143 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 144 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 145 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 146 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 147 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 148 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 149 | 0 | 0 | if ($k >= 1000) | 
 
| 162 | 0 | 0 | if ($k < 25) | 
 
| 165 | 0 | 0 | if ($k >= 25) | 
 
| 166 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 167 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 168 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 169 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 170 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 171 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 172 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 173 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 174 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 175 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 176 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 177 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 178 | 0 | 0 | if ($k >= 1000) | 
 
| 191 | 0 | 0 | if ($k < 25) | 
 
| 194 | 0 | 0 | if ($k >= 25) | 
 
| 195 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 196 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 197 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 198 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 199 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 200 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 201 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 202 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 203 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 204 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 205 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 206 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 207 | 0 | 0 | if ($k >= 1000) | 
 
| 220 | 0 | 0 | if ($k < 25) | 
 
| 223 | 0 | 0 | if ($k >= 25) | 
 
| 224 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 225 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 226 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 227 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 228 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 229 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 230 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 231 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 232 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 233 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 234 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 235 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 236 | 0 | 0 | if ($k >= 1000) | 
 
| 249 | 0 | 0 | if ($k < 25) | 
 
| 252 | 0 | 0 | if ($k >= 25) | 
 
| 253 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 254 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 255 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 256 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 257 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 258 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 259 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 260 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 261 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 262 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 263 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 264 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 265 | 0 | 0 | if ($k >= 1000) | 
 
| 278 | 0 | 0 | if ($k < 25) | 
 
| 281 | 0 | 0 | if ($k >= 25) | 
 
| 282 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 283 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 284 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 285 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 286 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 287 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 288 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 289 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 290 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 291 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 292 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 293 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 294 | 0 | 0 | if ($k >= 1000) | 
 
| 307 | 14 | 0 | if ($k < 25) | 
 
| 310 | 0 | 14 | if ($k >= 25) | 
 
| 311 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 312 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 313 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 314 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 315 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 316 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 317 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 318 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 319 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 320 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 321 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 322 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 323 | 0 | 0 | if ($k >= 1000) | 
 
| 336 | 0 | 0 | if ($k < 25) | 
 
| 339 | 0 | 0 | if ($k >= 25) | 
 
| 340 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 341 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 342 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 343 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 344 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 345 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 346 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 347 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 348 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 349 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 350 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 351 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 352 | 0 | 0 | if ($k >= 1000) | 
 
| 365 | 0 | 0 | if ($k < 25) | 
 
| 368 | 0 | 0 | if ($k >= 25) | 
 
| 369 | 0 | 0 | if ($k < 30 and $k >= 25) | 
 
| 370 | 0 | 0 | if ($k < 40 and $k >= 30) | 
 
| 371 | 0 | 0 | if ($k < 50 and $k >= 40) | 
 
| 372 | 0 | 0 | if ($k < 60 and $k >= 50) | 
 
| 373 | 0 | 0 | if ($k < 70 and $k >= 60) | 
 
| 374 | 0 | 0 | if ($k < 80 and $k >= 70) | 
 
| 375 | 0 | 0 | if ($k < 90 and $k >= 80) | 
 
| 376 | 0 | 0 | if ($k < 100 and $k >= 90) | 
 
| 377 | 0 | 0 | if ($k < 150 and $k >= 100) | 
 
| 378 | 0 | 0 | if ($k < 200 and $k >= 150) | 
 
| 379 | 0 | 0 | if ($k < 500 and $k >= 200) | 
 
| 380 | 0 | 0 | if ($k < 1000 and $k >= 500) | 
 
| 381 | 0 | 0 | if ($k >= 1000) |