mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-24 07:48:04 +03:00
389 lines
8.8 KiB
Plaintext
389 lines
8.8 KiB
Plaintext
function main() {
|
|
let x: u8 = 191;
|
|
|
|
if x == 0 {
|
|
return x
|
|
} else if x == 1 {
|
|
return x - 1
|
|
} else if x == 2 {
|
|
return x - 2
|
|
} else if x == 3 {
|
|
return x - 3
|
|
} else if x == 4 {
|
|
return x - 4
|
|
} else if x == 5 {
|
|
return x - 5
|
|
} else if x == 6 {
|
|
return x - 6
|
|
} else if x == 7 {
|
|
return x - 7
|
|
} else if x == 8 {
|
|
return x - 8
|
|
} else if x == 9 {
|
|
return x - 9
|
|
} else if x == 10 {
|
|
return x - 10
|
|
} else if x == 11 {
|
|
return x - 11
|
|
} else if x == 12 {
|
|
return x - 12
|
|
} else if x == 13 {
|
|
return x - 13
|
|
} else if x == 14 {
|
|
return x - 14
|
|
} else if x == 15 {
|
|
return x - 15
|
|
} else if x == 16 {
|
|
return x - 16
|
|
} else if x == 17 {
|
|
return x - 17
|
|
} else if x == 18 {
|
|
return x - 18
|
|
} else if x == 19 {
|
|
return x - 19
|
|
} else if x == 20 {
|
|
return x - 20
|
|
} else if x == 21 {
|
|
return x - 21
|
|
} else if x == 22 {
|
|
return x - 22
|
|
} else if x == 23 {
|
|
return x - 23
|
|
} else if x == 24 {
|
|
return x - 24
|
|
} else if x == 25 {
|
|
return x - 25
|
|
} else if x == 26 {
|
|
return x - 26
|
|
} else if x == 27 {
|
|
return x - 27
|
|
} else if x == 28 {
|
|
return x - 28
|
|
} else if x == 29 {
|
|
return x - 29
|
|
} else if x == 30 {
|
|
return x - 30
|
|
} else if x == 31 {
|
|
return x - 31
|
|
} else if x == 32 {
|
|
return x - 32
|
|
} else if x == 33 {
|
|
return x - 33
|
|
} else if x == 34 {
|
|
return x - 34
|
|
} else if x == 35 {
|
|
return x - 35
|
|
} else if x == 36 {
|
|
return x - 36
|
|
} else if x == 37 {
|
|
return x - 37
|
|
} else if x == 38 {
|
|
return x - 38
|
|
} else if x == 39 {
|
|
return x - 39
|
|
} else if x == 40 {
|
|
return x - 40
|
|
} else if x == 41 {
|
|
return x - 41
|
|
} else if x == 42 {
|
|
return x - 42
|
|
} else if x == 43 {
|
|
return x - 43
|
|
} else if x == 44 {
|
|
return x - 44
|
|
} else if x == 45 {
|
|
return x - 45
|
|
} else if x == 46 {
|
|
return x - 46
|
|
} else if x == 47 {
|
|
return x - 47
|
|
} else if x == 48 {
|
|
return x - 48
|
|
} else if x == 49 {
|
|
return x - 49
|
|
} else if x == 50 {
|
|
return x - 50
|
|
} else if x == 51 {
|
|
return x - 51
|
|
} else if x == 52 {
|
|
return x - 52
|
|
} else if x == 53 {
|
|
return x - 53
|
|
} else if x == 54 {
|
|
return x - 54
|
|
} else if x == 55 {
|
|
return x - 55
|
|
} else if x == 56 {
|
|
return x - 56
|
|
} else if x == 57 {
|
|
return x - 57
|
|
} else if x == 58 {
|
|
return x - 58
|
|
} else if x == 59 {
|
|
return x - 59
|
|
} else if x == 60 {
|
|
return x - 60
|
|
} else if x == 61 {
|
|
return x - 61
|
|
} else if x == 62 {
|
|
return x - 62
|
|
} else if x == 63 {
|
|
return x - 63
|
|
} else if x == 64 {
|
|
return x - 64
|
|
} else if x == 65 {
|
|
return x - 65
|
|
} else if x == 66 {
|
|
return x - 66
|
|
} else if x == 67 {
|
|
return x - 67
|
|
} else if x == 68 {
|
|
return x - 68
|
|
} else if x == 69 {
|
|
return x - 69
|
|
} else if x == 70 {
|
|
return x - 70
|
|
} else if x == 71 {
|
|
return x - 71
|
|
} else if x == 72 {
|
|
return x - 72
|
|
} else if x == 73 {
|
|
return x - 73
|
|
} else if x == 74 {
|
|
return x - 74
|
|
} else if x == 75 {
|
|
return x - 75
|
|
} else if x == 76 {
|
|
return x - 76
|
|
} else if x == 77 {
|
|
return x - 77
|
|
} else if x == 78 {
|
|
return x - 78
|
|
} else if x == 79 {
|
|
return x - 79
|
|
} else if x == 80 {
|
|
return x - 80
|
|
} else if x == 81 {
|
|
return x - 81
|
|
} else if x == 82 {
|
|
return x - 82
|
|
} else if x == 83 {
|
|
return x - 83
|
|
} else if x == 84 {
|
|
return x - 84
|
|
} else if x == 85 {
|
|
return x - 85
|
|
} else if x == 86 {
|
|
return x - 86
|
|
} else if x == 87 {
|
|
return x - 87
|
|
} else if x == 88 {
|
|
return x - 88
|
|
} else if x == 89 {
|
|
return x - 89
|
|
} else if x == 90 {
|
|
return x - 90
|
|
} else if x == 91 {
|
|
return x - 91
|
|
} else if x == 92 {
|
|
return x - 92
|
|
} else if x == 93 {
|
|
return x - 93
|
|
} else if x == 94 {
|
|
return x - 94
|
|
} else if x == 95 {
|
|
return x - 95
|
|
} else if x == 96 {
|
|
return x - 96
|
|
} else if x == 97 {
|
|
return x - 97
|
|
} else if x == 98 {
|
|
return x - 98
|
|
} else if x == 99 {
|
|
return x - 99
|
|
} else if x == 100 {
|
|
return x - 100
|
|
} else if x == 101 {
|
|
return x - 101
|
|
} else if x == 102 {
|
|
return x - 102
|
|
} else if x == 103 {
|
|
return x - 103
|
|
} else if x == 104 {
|
|
return x - 104
|
|
} else if x == 105 {
|
|
return x - 105
|
|
} else if x == 106 {
|
|
return x - 106
|
|
} else if x == 107 {
|
|
return x - 107
|
|
} else if x == 108 {
|
|
return x - 108
|
|
} else if x == 109 {
|
|
return x - 109
|
|
} else if x == 110 {
|
|
return x - 110
|
|
} else if x == 111 {
|
|
return x - 111
|
|
} else if x == 112 {
|
|
return x - 112
|
|
} else if x == 113 {
|
|
return x - 113
|
|
} else if x == 114 {
|
|
return x - 114
|
|
} else if x == 115 {
|
|
return x - 115
|
|
} else if x == 116 {
|
|
return x - 116
|
|
} else if x == 117 {
|
|
return x - 117
|
|
} else if x == 118 {
|
|
return x - 118
|
|
} else if x == 119 {
|
|
return x - 119
|
|
} else if x == 120 {
|
|
return x - 120
|
|
} else if x == 121 {
|
|
return x - 121
|
|
} else if x == 122 {
|
|
return x - 122
|
|
} else if x == 123 {
|
|
return x - 123
|
|
} else if x == 124 {
|
|
return x - 124
|
|
} else if x == 125 {
|
|
return x - 125
|
|
} else if x == 126 {
|
|
return x - 126
|
|
} else if x == 127 {
|
|
return x - 127
|
|
} else if x == 128 {
|
|
return x - 128
|
|
} else if x == 129 {
|
|
return x - 129
|
|
} else if x == 130 {
|
|
return x - 130
|
|
} else if x == 131 {
|
|
return x - 131
|
|
} else if x == 132 {
|
|
return x - 132
|
|
} else if x == 133 {
|
|
return x - 133
|
|
} else if x == 134 {
|
|
return x - 134
|
|
} else if x == 135 {
|
|
return x - 135
|
|
} else if x == 136 {
|
|
return x - 136
|
|
} else if x == 137 {
|
|
return x - 137
|
|
} else if x == 138 {
|
|
return x - 138
|
|
} else if x == 139 {
|
|
return x - 139
|
|
} else if x == 140 {
|
|
return x - 140
|
|
} else if x == 141 {
|
|
return x - 141
|
|
} else if x == 142 {
|
|
return x - 142
|
|
} else if x == 143 {
|
|
return x - 143
|
|
} else if x == 144 {
|
|
return x - 144
|
|
} else if x == 145 {
|
|
return x - 145
|
|
} else if x == 146 {
|
|
return x - 146
|
|
} else if x == 147 {
|
|
return x - 147
|
|
} else if x == 148 {
|
|
return x - 148
|
|
} else if x == 149 {
|
|
return x - 149
|
|
} else if x == 150 {
|
|
return x - 150
|
|
} else if x == 151 {
|
|
return x - 151
|
|
} else if x == 152 {
|
|
return x - 152
|
|
} else if x == 153 {
|
|
return x - 153
|
|
} else if x == 154 {
|
|
return x - 154
|
|
} else if x == 155 {
|
|
return x - 155
|
|
} else if x == 156 {
|
|
return x - 156
|
|
} else if x == 157 {
|
|
return x - 157
|
|
} else if x == 158 {
|
|
return x - 158
|
|
} else if x == 159 {
|
|
return x - 159
|
|
} else if x == 160 {
|
|
return x - 160
|
|
} else if x == 161 {
|
|
return x - 161
|
|
} else if x == 162 {
|
|
return x - 162
|
|
} else if x == 163 {
|
|
return x - 163
|
|
} else if x == 164 {
|
|
return x - 164
|
|
} else if x == 165 {
|
|
return x - 165
|
|
} else if x == 166 {
|
|
return x - 166
|
|
} else if x == 167 {
|
|
return x - 167
|
|
} else if x == 168 {
|
|
return x - 168
|
|
} else if x == 169 {
|
|
return x - 169
|
|
} else if x == 170 {
|
|
return x - 170
|
|
} else if x == 171 {
|
|
return x - 171
|
|
} else if x == 172 {
|
|
return x - 172
|
|
} else if x == 173 {
|
|
return x - 173
|
|
} else if x == 174 {
|
|
return x - 174
|
|
} else if x == 175 {
|
|
return x - 175
|
|
} else if x == 176 {
|
|
return x - 176
|
|
} else if x == 177 {
|
|
return x - 177
|
|
} else if x == 178 {
|
|
return x - 178
|
|
} else if x == 179 {
|
|
return x - 179
|
|
} else if x == 180 {
|
|
return x - 180
|
|
} else if x == 181 {
|
|
return x - 181
|
|
} else if x == 182 {
|
|
return x - 182
|
|
} else if x == 183 {
|
|
return x - 183
|
|
} else if x == 184 {
|
|
return x - 184
|
|
} else if x == 185 {
|
|
return x - 185
|
|
} else if x == 186 {
|
|
return x - 186
|
|
} else if x == 187 {
|
|
return x - 187
|
|
} else if x == 188 {
|
|
return x - 188
|
|
} else if x == 189 {
|
|
return x - 189
|
|
} else if x == 190 {
|
|
return x - 190
|
|
} else if x == 191 {
|
|
return x - 191
|
|
}
|
|
} |