module Test where

foo :: Double -> Int
foo x | x == 1 = 1
foo x | x == 2 = 2
foo x | x == 3 = 3
foo x | x == 4 = 4
foo x | x == 5 = 5
foo x | x == 6 = 6
foo x | x == 7 = 7
foo x | x == 8 = 8
foo x | x == 9 = 9
foo x | x == 10 = 10
foo x | x == 11 = 11
foo x | x == 12 = 12
foo x | x == 13 = 13
foo x | x == 14 = 14
foo x | x == 15 = 15
foo x | x == 16 = 16
foo x | x == 17 = 17
foo x | x == 18 = 18
foo x | x == 19 = 19
foo x | x == 20 = 20
foo x | x == 21 = 21
foo x | x == 22 = 22
foo x | x == 23 = 23
foo x | x == 24 = 24
foo x | x == 25 = 25
foo x | x == 26 = 26
foo x | x == 27 = 27
foo x | x == 28 = 28
foo x | x == 29 = 29
foo x | x == 30 = 30
foo x | x == 31 = 31
foo x | x == 32 = 32
foo x | x == 33 = 33
foo x | x == 34 = 34
foo x | x == 35 = 35
foo x | x == 36 = 36
foo x | x == 37 = 37
foo x | x == 38 = 38
foo x | x == 39 = 39
foo x | x == 40 = 40
foo x | x == 41 = 41
foo x | x == 42 = 42
foo x | x == 43 = 43
foo x | x == 44 = 44
foo x | x == 45 = 45
foo x | x == 46 = 46
foo x | x == 47 = 47
foo x | x == 48 = 48
foo x | x == 49 = 49
foo x | x == 50 = 50
foo x | x == 51 = 51
foo x | x == 52 = 52
foo x | x == 53 = 53
foo x | x == 54 = 54
foo x | x == 55 = 55
foo x | x == 56 = 56
foo x | x == 57 = 57
foo x | x == 58 = 58
foo x | x == 59 = 59
foo x | x == 60 = 60
foo x | x == 61 = 61
foo x | x == 62 = 62
foo x | x == 63 = 63
foo x | x == 64 = 64
foo x | x == 65 = 65
foo x | x == 66 = 66
foo x | x == 67 = 67
foo x | x == 68 = 68
foo x | x == 69 = 69
foo x | x == 70 = 70
foo x | x == 71 = 71
foo x | x == 72 = 72
foo x | x == 73 = 73
foo x | x == 74 = 74
foo x | x == 75 = 75
foo x | x == 76 = 76
foo x | x == 77 = 77
foo x | x == 78 = 78
foo x | x == 79 = 79
foo x | x == 80 = 80
foo x | x == 81 = 81
foo x | x == 82 = 82
foo x | x == 83 = 83
foo x | x == 84 = 84
foo x | x == 85 = 85
foo x | x == 86 = 86
foo x | x == 87 = 87
foo x | x == 88 = 88
foo x | x == 89 = 89
foo x | x == 90 = 90
foo x | x == 91 = 91
foo x | x == 92 = 92
foo x | x == 93 = 93
foo x | x == 94 = 94
foo x | x == 95 = 95
foo x | x == 96 = 96
foo x | x == 97 = 97
foo x | x == 98 = 98
foo x | x == 99 = 99
foo x | x == 100 = 100
foo x | x == 101 = 101
foo x | x == 102 = 102
foo x | x == 103 = 103
foo x | x == 104 = 104
foo x | x == 105 = 105
foo x | x == 106 = 106
foo x | x == 107 = 107
foo x | x == 108 = 108
foo x | x == 109 = 109
foo x | x == 110 = 110
foo x | x == 111 = 111
foo x | x == 112 = 112
foo x | x == 113 = 113
foo x | x == 114 = 114
foo x | x == 115 = 115
foo x | x == 116 = 116
foo x | x == 117 = 117
foo x | x == 118 = 118
foo x | x == 119 = 119
foo x | x == 120 = 120
foo x | x == 121 = 121
foo x | x == 122 = 122
foo x | x == 123 = 123
foo x | x == 124 = 124
foo x | x == 125 = 125
foo x | x == 126 = 126
foo x | x == 127 = 127
foo x | x == 128 = 128
foo x | x == 129 = 129
foo x | x == 130 = 130
foo x | x == 131 = 131
foo x | x == 132 = 132
foo x | x == 133 = 133
foo x | x == 134 = 134
foo x | x == 135 = 135
foo x | x == 136 = 136
foo x | x == 137 = 137
foo x | x == 138 = 138
foo x | x == 139 = 139
foo x | x == 140 = 140
foo x | x == 141 = 141
foo x | x == 142 = 142
foo x | x == 143 = 143
foo x | x == 144 = 144
foo x | x == 145 = 145
foo x | x == 146 = 146
foo x | x == 147 = 147
foo x | x == 148 = 148
foo x | x == 149 = 149
foo x | x == 150 = 150
foo x | x == 151 = 151
foo x | x == 152 = 152
foo x | x == 153 = 153
foo x | x == 154 = 154
foo x | x == 155 = 155
foo x | x == 156 = 156
foo x | x == 157 = 157
foo x | x == 158 = 158
foo x | x == 159 = 159
foo x | x == 160 = 160
foo x | x == 161 = 161
foo x | x == 162 = 162
foo x | x == 163 = 163
foo x | x == 164 = 164
foo x | x == 165 = 165
foo x | x == 166 = 166
foo x | x == 167 = 167
foo x | x == 168 = 168
foo x | x == 169 = 169
foo x | x == 170 = 170
foo x | x == 171 = 171
foo x | x == 172 = 172
foo x | x == 173 = 173
foo x | x == 174 = 174
foo x | x == 175 = 175
foo x | x == 176 = 176
foo x | x == 177 = 177
foo x | x == 178 = 178
foo x | x == 179 = 179
foo x | x == 180 = 180
foo x | x == 181 = 181
foo x | x == 182 = 182
foo x | x == 183 = 183
foo x | x == 184 = 184
foo x | x == 185 = 185
foo x | x == 186 = 186
foo x | x == 187 = 187
foo x | x == 188 = 188
foo x | x == 189 = 189
foo x | x == 190 = 190
foo x | x == 191 = 191
foo x | x == 192 = 192
foo x | x == 193 = 193
foo x | x == 194 = 194
foo x | x == 195 = 195
foo x | x == 196 = 196
foo x | x == 197 = 197
foo x | x == 198 = 198
foo x | x == 199 = 199
foo x | x == 200 = 200
foo x | x == 201 = 201
foo x | x == 202 = 202
foo x | x == 203 = 203
foo x | x == 204 = 204
foo x | x == 205 = 205
foo x | x == 206 = 206
foo x | x == 207 = 207
foo x | x == 208 = 208
foo x | x == 209 = 209
foo x | x == 210 = 210
foo x | x == 211 = 211
foo x | x == 212 = 212
foo x | x == 213 = 213
foo x | x == 214 = 214
foo x | x == 215 = 215
foo x | x == 216 = 216
foo x | x == 217 = 217
foo x | x == 218 = 218
foo x | x == 219 = 219
foo x | x == 220 = 220
foo x | x == 221 = 221
foo x | x == 222 = 222
foo x | x == 223 = 223
foo x | x == 224 = 224
foo x | x == 225 = 225
foo x | x == 226 = 226
foo x | x == 227 = 227
foo x | x == 228 = 228
foo x | x == 229 = 229
foo x | x == 230 = 230
foo x | x == 231 = 231
foo x | x == 232 = 232
foo x | x == 233 = 233
foo x | x == 234 = 234
foo x | x == 235 = 235
foo x | x == 236 = 236
foo x | x == 237 = 237
foo x | x == 238 = 238
foo x | x == 239 = 239
foo x | x == 240 = 240
foo x | x == 241 = 241
foo x | x == 242 = 242
foo x | x == 243 = 243
foo x | x == 244 = 244
foo x | x == 245 = 245
foo x | x == 246 = 246
foo x | x == 247 = 247
foo x | x == 248 = 248
foo x | x == 249 = 249
foo x | x == 250 = 250
foo x | x == 251 = 251
foo x | x == 252 = 252
foo x | x == 253 = 253
foo x | x == 254 = 254
foo x | x == 255 = 255
foo x | x == 256 = 256
foo x | x == 257 = 257
foo x | x == 258 = 258
foo x | x == 259 = 259
foo x | x == 260 = 260
foo x | x == 261 = 261
foo x | x == 262 = 262
foo x | x == 263 = 263
foo x | x == 264 = 264
foo x | x == 265 = 265
foo x | x == 266 = 266
foo x | x == 267 = 267
foo x | x == 268 = 268
foo x | x == 269 = 269
foo x | x == 270 = 270
foo x | x == 271 = 271
foo x | x == 272 = 272
foo x | x == 273 = 273
foo x | x == 274 = 274
foo x | x == 275 = 275
foo x | x == 276 = 276
foo x | x == 277 = 277
foo x | x == 278 = 278
foo x | x == 279 = 279
foo x | x == 280 = 280
foo x | x == 281 = 281
foo x | x == 282 = 282
foo x | x == 283 = 283
foo x | x == 284 = 284
foo x | x == 285 = 285
foo x | x == 286 = 286
foo x | x == 287 = 287
foo x | x == 288 = 288
foo x | x == 289 = 289
foo x | x == 290 = 290
foo x | x == 291 = 291
foo x | x == 292 = 292
foo x | x == 293 = 293
foo x | x == 294 = 294
foo x | x == 295 = 295
foo x | x == 296 = 296
foo x | x == 297 = 297
foo x | x == 298 = 298
foo x | x == 299 = 299
foo x | x == 300 = 300
foo x | x == 301 = 301
foo x | x == 302 = 302
foo x | x == 303 = 303
foo x | x == 304 = 304
foo x | x == 305 = 305
foo x | x == 306 = 306
foo x | x == 307 = 307
foo x | x == 308 = 308
foo x | x == 309 = 309
foo x | x == 310 = 310
foo x | x == 311 = 311
foo x | x == 312 = 312
foo x | x == 313 = 313
foo x | x == 314 = 314
foo x | x == 315 = 315
foo x | x == 316 = 316
foo x | x == 317 = 317
foo x | x == 318 = 318
foo x | x == 319 = 319
foo x | x == 320 = 320
foo x | x == 321 = 321
foo x | x == 322 = 322
foo x | x == 323 = 323
foo x | x == 324 = 324
foo x | x == 325 = 325
foo x | x == 326 = 326
foo x | x == 327 = 327
foo x | x == 328 = 328
foo x | x == 329 = 329
foo x | x == 330 = 330
foo x | x == 331 = 331
foo x | x == 332 = 332
foo x | x == 333 = 333
foo x | x == 334 = 334
foo x | x == 335 = 335
foo x | x == 336 = 336
foo x | x == 337 = 337
foo x | x == 338 = 338
foo x | x == 339 = 339
foo x | x == 340 = 340
foo x | x == 341 = 341
foo x | x == 342 = 342
foo x | x == 343 = 343
foo x | x == 344 = 344
foo x | x == 345 = 345
foo x | x == 346 = 346
foo x | x == 347 = 347
foo x | x == 348 = 348
foo x | x == 349 = 349
foo x | x == 350 = 350
foo x | x == 351 = 351
foo x | x == 352 = 352
foo x | x == 353 = 353
foo x | x == 354 = 354
foo x | x == 355 = 355
foo x | x == 356 = 356
foo x | x == 357 = 357
foo x | x == 358 = 358
foo x | x == 359 = 359
foo x | x == 360 = 360
foo x | x == 361 = 361
foo x | x == 362 = 362
foo x | x == 363 = 363
foo x | x == 364 = 364
foo x | x == 365 = 365
foo x | x == 366 = 366
foo x | x == 367 = 367
foo x | x == 368 = 368
foo x | x == 369 = 369
foo x | x == 370 = 370
foo x | x == 371 = 371
foo x | x == 372 = 372
foo x | x == 373 = 373
foo x | x == 374 = 374
foo x | x == 375 = 375
foo x | x == 376 = 376
foo x | x == 377 = 377
foo x | x == 378 = 378
foo x | x == 379 = 379
foo x | x == 380 = 380
foo x | x == 381 = 381
foo x | x == 382 = 382
foo x | x == 383 = 383
foo x | x == 384 = 384
foo x | x == 385 = 385
foo x | x == 386 = 386
foo x | x == 387 = 387
foo x | x == 388 = 388
foo x | x == 389 = 389
foo x | x == 390 = 390
foo x | x == 391 = 391
foo x | x == 392 = 392
foo x | x == 393 = 393
foo x | x == 394 = 394
foo x | x == 395 = 395
foo x | x == 396 = 396
foo x | x == 397 = 397
foo x | x == 398 = 398
foo x | x == 399 = 399
foo x | x == 400 = 400
foo x | x == 401 = 401
foo x | x == 402 = 402
foo x | x == 403 = 403
foo x | x == 404 = 404
foo x | x == 405 = 405
foo x | x == 406 = 406
foo x | x == 407 = 407
foo x | x == 408 = 408
foo x | x == 409 = 409
foo x | x == 410 = 410
foo x | x == 411 = 411
foo x | x == 412 = 412
foo x | x == 413 = 413
foo x | x == 414 = 414
foo x | x == 415 = 415
foo x | x == 416 = 416
foo x | x == 417 = 417
foo x | x == 418 = 418
foo x | x == 419 = 419
foo x | x == 420 = 420
foo x | x == 421 = 421
foo x | x == 422 = 422
foo x | x == 423 = 423
foo x | x == 424 = 424
foo x | x == 425 = 425
foo x | x == 426 = 426
foo x | x == 427 = 427
foo x | x == 428 = 428
foo x | x == 429 = 429
foo x | x == 430 = 430
foo x | x == 431 = 431
foo x | x == 432 = 432
foo x | x == 433 = 433
foo x | x == 434 = 434
foo x | x == 435 = 435
foo x | x == 436 = 436
foo x | x == 437 = 437
foo x | x == 438 = 438
foo x | x == 439 = 439
foo x | x == 440 = 440
foo x | x == 441 = 441
foo x | x == 442 = 442
foo x | x == 443 = 443
foo x | x == 444 = 444
foo x | x == 445 = 445
foo x | x == 446 = 446
foo x | x == 447 = 447
foo x | x == 448 = 448
foo x | x == 449 = 449
foo x | x == 450 = 450
foo x | x == 451 = 451
foo x | x == 452 = 452
foo x | x == 453 = 453
foo x | x == 454 = 454
foo x | x == 455 = 455
foo x | x == 456 = 456
foo x | x == 457 = 457
foo x | x == 458 = 458
foo x | x == 459 = 459
foo x | x == 460 = 460
foo x | x == 461 = 461
foo x | x == 462 = 462
foo x | x == 463 = 463
foo x | x == 464 = 464
foo x | x == 465 = 465
foo x | x == 466 = 466
foo x | x == 467 = 467
foo x | x == 468 = 468
foo x | x == 469 = 469
foo x | x == 470 = 470
foo x | x == 471 = 471
foo x | x == 472 = 472
foo x | x == 473 = 473
foo x | x == 474 = 474
foo x | x == 475 = 475
foo x | x == 476 = 476
foo x | x == 477 = 477
foo x | x == 478 = 478
foo x | x == 479 = 479
foo x | x == 480 = 480
foo x | x == 481 = 481
foo x | x == 482 = 482
foo x | x == 483 = 483
foo x | x == 484 = 484
foo x | x == 485 = 485
foo x | x == 486 = 486
foo x | x == 487 = 487
foo x | x == 488 = 488
foo x | x == 489 = 489
foo x | x == 490 = 490
foo x | x == 491 = 491
foo x | x == 492 = 492
foo x | x == 493 = 493
foo x | x == 494 = 494
foo x | x == 495 = 495
foo x | x == 496 = 496
foo x | x == 497 = 497
foo x | x == 498 = 498
foo x | x == 499 = 499
foo x | x == 500 = 500