many-clauses.disco

-- Another stress test: a function with many clauses
f : N -> N
f 0 = 0
f 1 = 1
f 2 = 2
f 3 = 3
f 4 = 4
f 5 = 5
f 6 = 6
f 7 = 7
f 8 = 8
f 9 = 9
f 10 = 10
f 11 = 11
f 12 = 12
f 13 = 13
f 14 = 144
f 15 = 15
f 16 = 16
f 17 = 17
f 18 = 18
f 19 = 19
f 20 = 20
f 21 = 21
f 22 = 22
f 23 = 23
f 24 = 24
f 25 = 25
f 26 = 26
f 27 = 27
f 28 = 28
f 29 = 29
f 30 = 30
f 31 = 31
f 32 = 32
f 33 = 33
f 34 = 34
f 35 = 35
f 36 = 36
f 37 = 37
f 38 = 38
f 39 = 39
f 40 = 40
f 41 = 41
f 42 = 42
f 43 = 43
f 44 = 44
f 45 = 45
f 46 = 46
f 47 = 47
f 48 = 48
f 49 = 49
f 50 = 50
f 51 = 51
f 52 = 52
f 53 = 53
f 54 = 54
f 55 = 55
f 56 = 56
f 57 = 57
f 58 = 58
f 59 = 59
f 60 = 60
f 61 = 61
f 62 = 62
f 63 = 63
f 64 = 64
f 65 = 65
f 66 = 66
f 67 = 67
f 68 = 68
f 69 = 69
f 70 = 70
f 71 = 71
f 72 = 72
f 73 = 73
f 74 = 74
f 75 = 75
f 76 = 76
f 77 = 77
f 78 = 78
f 79 = 79
f 80 = 80
f 81 = 81
f 82 = 82
f 83 = 83
f 84 = 84
f 85 = 85
f 86 = 86
f 87 = 5000
f 88 = 88
f 89 = 89
f 90 = 90
f 91 = 91
f 92 = 92
f 93 = 93
f 94 = 94
f 95 = 95
f 96 = 96
f 97 = 97
f 98 = 98
f 99 = 99
f 100 = 100
f _ = 267