MathPlotAI Logo MathPlotAI

500 Coin Flips Demonstration

500 Coin Flips Demonstration
Loading the math board and drawing, please wait…
2018-09-04 01:56
SequenceProbability & StatisticsGraphing
This example demonstrates the probability distribution phenomenon of heads in 500 independent coin flips, involving core math concepts like probability & statistics, law of large numbers, and binomial distribution. It constructs using GeoGebra commands/objects such as RandomElement, If, CountIf, Sequence, Max, TableText, and Point, making it suitable for high school and above in probability statistics education and data analysis practice.

GeoGebra Commands & Parameters

  1. RandomElement(coin) → A1
  2. RandomElement(coin) → A2
  3. RandomElement(coin) → A3
  4. RandomElement(coin) → A4
  5. RandomElement(coin) → A5
  6. RandomElement(coin) → A6
  7. RandomElement(coin) → A7
  8. RandomElement(coin) → A8
  9. RandomElement(coin) → A9
  10. RandomElement(coin) → A10
  11. RandomElement(coin) → A11
  12. RandomElement(coin) → A12
  13. RandomElement(coin) → A13
  14. RandomElement(coin) → A14
  15. RandomElement(coin) → A15
  16. RandomElement(coin) → A16
  17. RandomElement(coin) → A17
  18. RandomElement(coin) → A18
  19. RandomElement(coin) → A19
  20. RandomElement(coin) → A20
  21. RandomElement(coin) → A21
  22. RandomElement(coin) → A22
  23. RandomElement(coin) → A23
  24. RandomElement(coin) → A24
  25. RandomElement(coin) → A25
  26. RandomElement(coin) → A26
  27. RandomElement(coin) → A27
  28. RandomElement(coin) → A28
  29. RandomElement(coin) → A29
  30. RandomElement(coin) → A30
  31. RandomElement(coin) → A31
  32. RandomElement(coin) → A32
  33. RandomElement(coin) → A33
  34. RandomElement(coin) → A34
  35. RandomElement(coin) → A35
  36. RandomElement(coin) → A36
  37. RandomElement(coin) → A37
  38. RandomElement(coin) → A38
  39. RandomElement(coin) → A39
  40. RandomElement(coin) → A40
  41. RandomElement(coin) → A41
  42. RandomElement(coin) → A42
  43. RandomElement(coin) → A43
  44. RandomElement(coin) → A44
  45. RandomElement(coin) → A45
  46. RandomElement(coin) → A46
  47. RandomElement(coin) → A47
  48. RandomElement(coin) → A48
  49. RandomElement(coin) → A49
  50. RandomElement(coin) → A50
  51. RandomElement(coin) → A51
  52. RandomElement(coin) → A52
  53. RandomElement(coin) → A53
  54. RandomElement(coin) → A54
  55. RandomElement(coin) → A55
  56. RandomElement(coin) → A56
  57. RandomElement(coin) → A57
  58. RandomElement(coin) → A58
  59. RandomElement(coin) → A59
  60. RandomElement(coin) → A60
  61. RandomElement(coin) → A61
  62. RandomElement(coin) → A62
  63. RandomElement(coin) → A63
  64. RandomElement(coin) → A64
  65. RandomElement(coin) → A65
  66. RandomElement(coin) → A66
  67. RandomElement(coin) → A67
  68. RandomElement(coin) → A68
  69. RandomElement(coin) → A69
  70. RandomElement(coin) → A70
  71. RandomElement(coin) → A71
  72. RandomElement(coin) → A72
  73. RandomElement(coin) → A73
  74. RandomElement(coin) → A74
  75. RandomElement(coin) → A75
  76. RandomElement(coin) → A76
  77. RandomElement(coin) → A77
  78. RandomElement(coin) → A78
  79. RandomElement(coin) → A79
  80. RandomElement(coin) → A80
  81. RandomElement(coin) → A81
  82. RandomElement(coin) → A82
  83. RandomElement(coin) → A83
  84. RandomElement(coin) → A84
  85. RandomElement(coin) → A85
  86. RandomElement(coin) → A86
  87. RandomElement(coin) → A87
  88. RandomElement(coin) → A88
  89. RandomElement(coin) → A89
  90. RandomElement(coin) → A90
  91. RandomElement(coin) → A91
  92. RandomElement(coin) → A92
  93. RandomElement(coin) → A93
  94. RandomElement(coin) → A94
  95. RandomElement(coin) → A95
  96. RandomElement(coin) → A96
  97. RandomElement(coin) → A97
  98. RandomElement(coin) → A98
  99. RandomElement(coin) → A99
  100. RandomElement(coin) → A100
  101. If(A2 ≟ A1, B1 + 1, 1) → B2
  102. If(A3 ≟ A2, B2 + 1, 1) → B3
  103. If(A4 ≟ A3, B3 + 1, 1) → B4
  104. If(A5 ≟ A4, B4 + 1, 1) → B5
  105. If(A6 ≟ A5, B5 + 1, 1) → B6
  106. If(A7 ≟ A6, B6 + 1, 1) → B7
  107. If(A8 ≟ A7, B7 + 1, 1) → B8
  108. If(A9 ≟ A8, B8 + 1, 1) → B9
  109. If(A10 ≟ A9, B9 + 1, 1) → B10
  110. If(A11 ≟ A10, B10 + 1, 1) → B11
  111. If(A12 ≟ A11, B11 + 1, 1) → B12
  112. If(A13 ≟ A12, B12 + 1, 1) → B13
  113. If(A14 ≟ A13, B13 + 1, 1) → B14
  114. If(A15 ≟ A14, B14 + 1, 1) → B15
  115. If(A16 ≟ A15, B15 + 1, 1) → B16
  116. If(A17 ≟ A16, B16 + 1, 1) → B17
  117. If(A18 ≟ A17, B17 + 1, 1) → B18
  118. If(A19 ≟ A18, B18 + 1, 1) → B19
  119. If(A20 ≟ A19, B19 + 1, 1) → B20
  120. If(A21 ≟ A20, B20 + 1, 1) → B21
  121. If(A22 ≟ A21, B21 + 1, 1) → B22
  122. If(A23 ≟ A22, B22 + 1, 1) → B23
  123. If(A24 ≟ A23, B23 + 1, 1) → B24
  124. If(A25 ≟ A24, B24 + 1, 1) → B25
  125. If(A26 ≟ A25, B25 + 1, 1) → B26
  126. If(A27 ≟ A26, B26 + 1, 1) → B27
  127. If(A28 ≟ A27, B27 + 1, 1) → B28
  128. If(A29 ≟ A28, B28 + 1, 1) → B29
  129. If(A30 ≟ A29, B29 + 1, 1) → B30
  130. If(A31 ≟ A30, B30 + 1, 1) → B31
  131. If(A32 ≟ A31, B31 + 1, 1) → B32
  132. If(A33 ≟ A32, B32 + 1, 1) → B33
  133. If(A34 ≟ A33, B33 + 1, 1) → B34
  134. If(A35 ≟ A34, B34 + 1, 1) → B35
  135. If(A36 ≟ A35, B35 + 1, 1) → B36
  136. If(A37 ≟ A36, B36 + 1, 1) → B37
  137. If(A38 ≟ A37, B37 + 1, 1) → B38
  138. If(A39 ≟ A38, B38 + 1, 1) → B39
  139. If(A40 ≟ A39, B39 + 1, 1) → B40
  140. If(A41 ≟ A40, B40 + 1, 1) → B41
  141. If(A42 ≟ A41, B41 + 1, 1) → B42
  142. If(A43 ≟ A42, B42 + 1, 1) → B43
  143. If(A44 ≟ A43, B43 + 1, 1) → B44
  144. If(A45 ≟ A44, B44 + 1, 1) → B45
  145. If(A46 ≟ A45, B45 + 1, 1) → B46
  146. If(A47 ≟ A46, B46 + 1, 1) → B47
  147. If(A48 ≟ A47, B47 + 1, 1) → B48
  148. If(A49 ≟ A48, B48 + 1, 1) → B49
  149. If(A50 ≟ A49, B49 + 1, 1) → B50
  150. If(A51 ≟ A50, B50 + 1, 1) → B51
  151. If(A52 ≟ A51, B51 + 1, 1) → B52
  152. If(A53 ≟ A52, B52 + 1, 1) → B53
  153. If(A54 ≟ A53, B53 + 1, 1) → B54
  154. If(A55 ≟ A54, B54 + 1, 1) → B55
  155. If(A56 ≟ A55, B55 + 1, 1) → B56
  156. If(A57 ≟ A56, B56 + 1, 1) → B57
  157. If(A58 ≟ A57, B57 + 1, 1) → B58
  158. If(A59 ≟ A58, B58 + 1, 1) → B59
  159. If(A60 ≟ A59, B59 + 1, 1) → B60
  160. If(A61 ≟ A60, B60 + 1, 1) → B61
  161. If(A62 ≟ A61, B61 + 1, 1) → B62
  162. If(A63 ≟ A62, B62 + 1, 1) → B63
  163. If(A64 ≟ A63, B63 + 1, 1) → B64
  164. If(A65 ≟ A64, B64 + 1, 1) → B65
  165. If(A66 ≟ A65, B65 + 1, 1) → B66
  166. If(A67 ≟ A66, B66 + 1, 1) → B67
  167. If(A68 ≟ A67, B67 + 1, 1) → B68
  168. If(A69 ≟ A68, B68 + 1, 1) → B69
  169. If(A70 ≟ A69, B69 + 1, 1) → B70
  170. If(A71 ≟ A70, B70 + 1, 1) → B71
  171. If(A72 ≟ A71, B71 + 1, 1) → B72
  172. If(A73 ≟ A72, B72 + 1, 1) → B73
  173. If(A74 ≟ A73, B73 + 1, 1) → B74
  174. If(A75 ≟ A74, B74 + 1, 1) → B75
  175. If(A76 ≟ A75, B75 + 1, 1) → B76
  176. If(A77 ≟ A76, B76 + 1, 1) → B77
  177. If(A78 ≟ A77, B77 + 1, 1) → B78
  178. If(A79 ≟ A78, B78 + 1, 1) → B79
  179. If(A80 ≟ A79, B79 + 1, 1) → B80
  180. If(A81 ≟ A80, B80 + 1, 1) → B81
  181. If(A82 ≟ A81, B81 + 1, 1) → B82
  182. If(A83 ≟ A82, B82 + 1, 1) → B83
  183. If(A84 ≟ A83, B83 + 1, 1) → B84
  184. If(A85 ≟ A84, B84 + 1, 1) → B85
  185. If(A86 ≟ A85, B85 + 1, 1) → B86
  186. If(A87 ≟ A86, B86 + 1, 1) → B87
  187. If(A88 ≟ A87, B87 + 1, 1) → B88
  188. If(A89 ≟ A88, B88 + 1, 1) → B89
  189. If(A90 ≟ A89, B89 + 1, 1) → B90
  190. If(A91 ≟ A90, B90 + 1, 1) → B91
  191. If(A92 ≟ A91, B91 + 1, 1) → B92
  192. If(A93 ≟ A92, B92 + 1, 1) → B93
  193. If(A94 ≟ A93, B93 + 1, 1) → B94
  194. If(A95 ≟ A94, B94 + 1, 1) → B95
  195. If(A96 ≟ A95, B95 + 1, 1) → B96
  196. If(A97 ≟ A96, B96 + 1, 1) → B97
  197. If(A98 ≟ A97, B97 + 1, 1) → B98
  198. If(A99 ≟ A98, B98 + 1, 1) → B99
  199. If(A100 ≟ A99, B99 + 1, 1) → B100
  200. RandomElement(coin) → A101
  201. If(A101 ≟ A100, B100 + 1, 1) → B101
  202. RandomElement(coin) → A102
  203. If(A102 ≟ A101, B101 + 1, 1) → B102
  204. RandomElement(coin) → A103
  205. If(A103 ≟ A102, B102 + 1, 1) → B103
  206. RandomElement(coin) → A104
  207. If(A104 ≟ A103, B103 + 1, 1) → B104
  208. RandomElement(coin) → A105
  209. If(A105 ≟ A104, B104 + 1, 1) → B105
  210. RandomElement(coin) → A106
  211. If(A106 ≟ A105, B105 + 1, 1) → B106
  212. RandomElement(coin) → A107
  213. If(A107 ≟ A106, B106 + 1, 1) → B107
  214. RandomElement(coin) → A108
  215. If(A108 ≟ A107, B107 + 1, 1) → B108
  216. RandomElement(coin) → A109
  217. If(A109 ≟ A108, B108 + 1, 1) → B109
  218. RandomElement(coin) → A110
  219. If(A110 ≟ A109, B109 + 1, 1) → B110
  220. RandomElement(coin) → A111
  221. If(A111 ≟ A110, B110 + 1, 1) → B111
  222. RandomElement(coin) → A112
  223. If(A112 ≟ A111, B111 + 1, 1) → B112
  224. RandomElement(coin) → A113
  225. If(A113 ≟ A112, B112 + 1, 1) → B113
  226. RandomElement(coin) → A114
  227. If(A114 ≟ A113, B113 + 1, 1) → B114
  228. RandomElement(coin) → A115
  229. If(A115 ≟ A114, B114 + 1, 1) → B115
  230. RandomElement(coin) → A116
  231. If(A116 ≟ A115, B115 + 1, 1) → B116
  232. RandomElement(coin) → A117
  233. If(A117 ≟ A116, B116 + 1, 1) → B117
  234. RandomElement(coin) → A118
  235. If(A118 ≟ A117, B117 + 1, 1) → B118
  236. RandomElement(coin) → A119
  237. If(A119 ≟ A118, B118 + 1, 1) → B119
  238. RandomElement(coin) → A120
  239. If(A120 ≟ A119, B119 + 1, 1) → B120
  240. RandomElement(coin) → A121
  241. If(A121 ≟ A120, B120 + 1, 1) → B121
  242. RandomElement(coin) → A122
  243. If(A122 ≟ A121, B121 + 1, 1) → B122
  244. RandomElement(coin) → A123
  245. If(A123 ≟ A122, B122 + 1, 1) → B123
  246. RandomElement(coin) → A124
  247. If(A124 ≟ A123, B123 + 1, 1) → B124
  248. RandomElement(coin) → A125
  249. If(A125 ≟ A124, B124 + 1, 1) → B125
  250. RandomElement(coin) → A126
  251. If(A126 ≟ A125, B125 + 1, 1) → B126
  252. RandomElement(coin) → A127
  253. If(A127 ≟ A126, B126 + 1, 1) → B127
  254. RandomElement(coin) → A128
  255. If(A128 ≟ A127, B127 + 1, 1) → B128
  256. RandomElement(coin) → A129
  257. If(A129 ≟ A128, B128 + 1, 1) → B129
  258. RandomElement(coin) → A130
  259. If(A130 ≟ A129, B129 + 1, 1) → B130
  260. RandomElement(coin) → A131
  261. If(A131 ≟ A130, B130 + 1, 1) → B131
  262. RandomElement(coin) → A132
  263. If(A132 ≟ A131, B131 + 1, 1) → B132
  264. RandomElement(coin) → A133
  265. If(A133 ≟ A132, B132 + 1, 1) → B133
  266. RandomElement(coin) → A134
  267. If(A134 ≟ A133, B133 + 1, 1) → B134
  268. RandomElement(coin) → A135
  269. If(A135 ≟ A134, B134 + 1, 1) → B135
  270. RandomElement(coin) → A136
  271. If(A136 ≟ A135, B135 + 1, 1) → B136
  272. RandomElement(coin) → A137
  273. If(A137 ≟ A136, B136 + 1, 1) → B137
  274. RandomElement(coin) → A138
  275. If(A138 ≟ A137, B137 + 1, 1) → B138
  276. RandomElement(coin) → A139
  277. If(A139 ≟ A138, B138 + 1, 1) → B139
  278. RandomElement(coin) → A140
  279. If(A140 ≟ A139, B139 + 1, 1) → B140
  280. RandomElement(coin) → A141
  281. If(A141 ≟ A140, B140 + 1, 1) → B141
  282. RandomElement(coin) → A142
  283. If(A142 ≟ A141, B141 + 1, 1) → B142
  284. RandomElement(coin) → A143
  285. If(A143 ≟ A142, B142 + 1, 1) → B143
  286. RandomElement(coin) → A144
  287. If(A144 ≟ A143, B143 + 1, 1) → B144
  288. RandomElement(coin) → A145
  289. If(A145 ≟ A144, B144 + 1, 1) → B145
  290. RandomElement(coin) → A146
  291. If(A146 ≟ A145, B145 + 1, 1) → B146
  292. RandomElement(coin) → A147
  293. If(A147 ≟ A146, B146 + 1, 1) → B147
  294. RandomElement(coin) → A148
  295. If(A148 ≟ A147, B147 + 1, 1) → B148
  296. RandomElement(coin) → A149
  297. If(A149 ≟ A148, B148 + 1, 1) → B149
  298. RandomElement(coin) → A150
  299. If(A150 ≟ A149, B149 + 1, 1) → B150
  300. RandomElement(coin) → A151
  301. If(A151 ≟ A150, B150 + 1, 1) → B151
  302. RandomElement(coin) → A152
  303. If(A152 ≟ A151, B151 + 1, 1) → B152
  304. RandomElement(coin) → A153
  305. If(A153 ≟ A152, B152 + 1, 1) → B153
  306. RandomElement(coin) → A154
  307. If(A154 ≟ A153, B153 + 1, 1) → B154
  308. RandomElement(coin) → A155
  309. If(A155 ≟ A154, B154 + 1, 1) → B155
  310. RandomElement(coin) → A156
  311. If(A156 ≟ A155, B155 + 1, 1) → B156
  312. RandomElement(coin) → A157
  313. If(A157 ≟ A156, B156 + 1, 1) → B157
  314. RandomElement(coin) → A158
  315. If(A158 ≟ A157, B157 + 1, 1) → B158
  316. RandomElement(coin) → A159
  317. If(A159 ≟ A158, B158 + 1, 1) → B159
  318. RandomElement(coin) → A160
  319. If(A160 ≟ A159, B159 + 1, 1) → B160
  320. RandomElement(coin) → A161
  321. If(A161 ≟ A160, B160 + 1, 1) → B161
  322. RandomElement(coin) → A162
  323. If(A162 ≟ A161, B161 + 1, 1) → B162
  324. RandomElement(coin) → A163
  325. If(A163 ≟ A162, B162 + 1, 1) → B163
  326. RandomElement(coin) → A164
  327. If(A164 ≟ A163, B163 + 1, 1) → B164
  328. RandomElement(coin) → A165
  329. If(A165 ≟ A164, B164 + 1, 1) → B165
  330. RandomElement(coin) → A166
  331. If(A166 ≟ A165, B165 + 1, 1) → B166
  332. RandomElement(coin) → A167
  333. If(A167 ≟ A166, B166 + 1, 1) → B167
  334. RandomElement(coin) → A168
  335. If(A168 ≟ A167, B167 + 1, 1) → B168
  336. RandomElement(coin) → A169
  337. If(A169 ≟ A168, B168 + 1, 1) → B169
  338. RandomElement(coin) → A170
  339. If(A170 ≟ A169, B169 + 1, 1) → B170
  340. RandomElement(coin) → A171
  341. If(A171 ≟ A170, B170 + 1, 1) → B171
  342. RandomElement(coin) → A172
  343. If(A172 ≟ A171, B171 + 1, 1) → B172
  344. RandomElement(coin) → A173
  345. If(A173 ≟ A172, B172 + 1, 1) → B173
  346. RandomElement(coin) → A174
  347. If(A174 ≟ A173, B173 + 1, 1) → B174
  348. RandomElement(coin) → A175
  349. If(A175 ≟ A174, B174 + 1, 1) → B175
  350. RandomElement(coin) → A176
  351. If(A176 ≟ A175, B175 + 1, 1) → B176
  352. RandomElement(coin) → A177
  353. If(A177 ≟ A176, B176 + 1, 1) → B177
  354. RandomElement(coin) → A178
  355. If(A178 ≟ A177, B177 + 1, 1) → B178
  356. RandomElement(coin) → A179
  357. If(A179 ≟ A178, B178 + 1, 1) → B179
  358. RandomElement(coin) → A180
  359. If(A180 ≟ A179, B179 + 1, 1) → B180
  360. RandomElement(coin) → A181
  361. If(A181 ≟ A180, B180 + 1, 1) → B181
  362. RandomElement(coin) → A182
  363. If(A182 ≟ A181, B181 + 1, 1) → B182
  364. RandomElement(coin) → A183
  365. If(A183 ≟ A182, B182 + 1, 1) → B183
  366. RandomElement(coin) → A184
  367. If(A184 ≟ A183, B183 + 1, 1) → B184
  368. RandomElement(coin) → A185
  369. If(A185 ≟ A184, B184 + 1, 1) → B185
  370. RandomElement(coin) → A186
  371. If(A186 ≟ A185, B185 + 1, 1) → B186
  372. RandomElement(coin) → A187
  373. If(A187 ≟ A186, B186 + 1, 1) → B187
  374. RandomElement(coin) → A188
  375. If(A188 ≟ A187, B187 + 1, 1) → B188
  376. RandomElement(coin) → A189
  377. If(A189 ≟ A188, B188 + 1, 1) → B189
  378. RandomElement(coin) → A190
  379. If(A190 ≟ A189, B189 + 1, 1) → B190
  380. RandomElement(coin) → A191
  381. If(A191 ≟ A190, B190 + 1, 1) → B191
  382. RandomElement(coin) → A192
  383. If(A192 ≟ A191, B191 + 1, 1) → B192
  384. RandomElement(coin) → A193
  385. If(A193 ≟ A192, B192 + 1, 1) → B193
  386. RandomElement(coin) → A194
  387. If(A194 ≟ A193, B193 + 1, 1) → B194
  388. RandomElement(coin) → A195
  389. If(A195 ≟ A194, B194 + 1, 1) → B195
  390. RandomElement(coin) → A196
  391. If(A196 ≟ A195, B195 + 1, 1) → B196
  392. RandomElement(coin) → A197
  393. If(A197 ≟ A196, B196 + 1, 1) → B197
  394. RandomElement(coin) → A198
  395. If(A198 ≟ A197, B197 + 1, 1) → B198
  396. RandomElement(coin) → A199
  397. If(A199 ≟ A198, B198 + 1, 1) → B199
  398. RandomElement(coin) → A200
  399. If(A200 ≟ A199, B199 + 1, 1) → B200
  400. RandomElement(coin) → A201
  401. If(A201 ≟ A200, B200 + 1, 1) → B201
  402. RandomElement(coin) → A202
  403. If(A202 ≟ A201, B201 + 1, 1) → B202
  404. RandomElement(coin) → A203
  405. If(A203 ≟ A202, B202 + 1, 1) → B203
  406. RandomElement(coin) → A204
  407. If(A204 ≟ A203, B203 + 1, 1) → B204
  408. RandomElement(coin) → A205
  409. If(A205 ≟ A204, B204 + 1, 1) → B205
  410. RandomElement(coin) → A206
  411. If(A206 ≟ A205, B205 + 1, 1) → B206
  412. RandomElement(coin) → A207
  413. If(A207 ≟ A206, B206 + 1, 1) → B207
  414. RandomElement(coin) → A208
  415. If(A208 ≟ A207, B207 + 1, 1) → B208
  416. RandomElement(coin) → A209
  417. If(A209 ≟ A208, B208 + 1, 1) → B209
  418. RandomElement(coin) → A210
  419. If(A210 ≟ A209, B209 + 1, 1) → B210
  420. RandomElement(coin) → A211
  421. If(A211 ≟ A210, B210 + 1, 1) → B211
  422. RandomElement(coin) → A212
  423. If(A212 ≟ A211, B211 + 1, 1) → B212
  424. RandomElement(coin) → A213
  425. If(A213 ≟ A212, B212 + 1, 1) → B213
  426. RandomElement(coin) → A214
  427. If(A214 ≟ A213, B213 + 1, 1) → B214
  428. RandomElement(coin) → A215
  429. If(A215 ≟ A214, B214 + 1, 1) → B215
  430. RandomElement(coin) → A216
  431. If(A216 ≟ A215, B215 + 1, 1) → B216
  432. RandomElement(coin) → A217
  433. If(A217 ≟ A216, B216 + 1, 1) → B217
  434. RandomElement(coin) → A218
  435. If(A218 ≟ A217, B217 + 1, 1) → B218
  436. RandomElement(coin) → A219
  437. If(A219 ≟ A218, B218 + 1, 1) → B219
  438. RandomElement(coin) → A220
  439. If(A220 ≟ A219, B219 + 1, 1) → B220
  440. RandomElement(coin) → A221
  441. If(A221 ≟ A220, B220 + 1, 1) → B221
  442. RandomElement(coin) → A222
  443. If(A222 ≟ A221, B221 + 1, 1) → B222
  444. RandomElement(coin) → A223
  445. If(A223 ≟ A222, B222 + 1, 1) → B223
  446. RandomElement(coin) → A224
  447. If(A224 ≟ A223, B223 + 1, 1) → B224
  448. RandomElement(coin) → A225
  449. If(A225 ≟ A224, B224 + 1, 1) → B225
  450. RandomElement(coin) → A226
  451. If(A226 ≟ A225, B225 + 1, 1) → B226
  452. RandomElement(coin) → A227
  453. If(A227 ≟ A226, B226 + 1, 1) → B227
  454. RandomElement(coin) → A228
  455. If(A228 ≟ A227, B227 + 1, 1) → B228
  456. RandomElement(coin) → A229
  457. If(A229 ≟ A228, B228 + 1, 1) → B229
  458. RandomElement(coin) → A230
  459. If(A230 ≟ A229, B229 + 1, 1) → B230
  460. RandomElement(coin) → A231
  461. If(A231 ≟ A230, B230 + 1, 1) → B231
  462. RandomElement(coin) → A232
  463. If(A232 ≟ A231, B231 + 1, 1) → B232
  464. RandomElement(coin) → A233
  465. If(A233 ≟ A232, B232 + 1, 1) → B233
  466. RandomElement(coin) → A234
  467. If(A234 ≟ A233, B233 + 1, 1) → B234
  468. RandomElement(coin) → A235
  469. If(A235 ≟ A234, B234 + 1, 1) → B235
  470. RandomElement(coin) → A236
  471. If(A236 ≟ A235, B235 + 1, 1) → B236
  472. RandomElement(coin) → A237
  473. If(A237 ≟ A236, B236 + 1, 1) → B237
  474. RandomElement(coin) → A238
  475. If(A238 ≟ A237, B237 + 1, 1) → B238
  476. RandomElement(coin) → A239
  477. If(A239 ≟ A238, B238 + 1, 1) → B239
  478. RandomElement(coin) → A240
  479. If(A240 ≟ A239, B239 + 1, 1) → B240
  480. RandomElement(coin) → A241
  481. If(A241 ≟ A240, B240 + 1, 1) → B241
  482. RandomElement(coin) → A242
  483. If(A242 ≟ A241, B241 + 1, 1) → B242
  484. RandomElement(coin) → A243
  485. If(A243 ≟ A242, B242 + 1, 1) → B243
  486. RandomElement(coin) → A244
  487. If(A244 ≟ A243, B243 + 1, 1) → B244
  488. RandomElement(coin) → A245
  489. If(A245 ≟ A244, B244 + 1, 1) → B245
  490. RandomElement(coin) → A246
  491. If(A246 ≟ A245, B245 + 1, 1) → B246
  492. RandomElement(coin) → A247
  493. If(A247 ≟ A246, B246 + 1, 1) → B247
  494. RandomElement(coin) → A248
  495. If(A248 ≟ A247, B247 + 1, 1) → B248
  496. RandomElement(coin) → A249
  497. If(A249 ≟ A248, B248 + 1, 1) → B249
  498. RandomElement(coin) → A250
  499. If(A250 ≟ A249, B249 + 1, 1) → B250
  500. RandomElement(coin) → A251
  501. If(A251 ≟ A250, B250 + 1, 1) → B251
  502. RandomElement(coin) → A252
  503. If(A252 ≟ A251, B251 + 1, 1) → B252
  504. RandomElement(coin) → A253
  505. If(A253 ≟ A252, B252 + 1, 1) → B253
  506. RandomElement(coin) → A254
  507. If(A254 ≟ A253, B253 + 1, 1) → B254
  508. RandomElement(coin) → A255
  509. If(A255 ≟ A254, B254 + 1, 1) → B255
  510. RandomElement(coin) → A256
  511. If(A256 ≟ A255, B255 + 1, 1) → B256
  512. RandomElement(coin) → A257
  513. If(A257 ≟ A256, B256 + 1, 1) → B257
  514. RandomElement(coin) → A258
  515. If(A258 ≟ A257, B257 + 1, 1) → B258
  516. RandomElement(coin) → A259
  517. If(A259 ≟ A258, B258 + 1, 1) → B259
  518. RandomElement(coin) → A260
  519. If(A260 ≟ A259, B259 + 1, 1) → B260
  520. RandomElement(coin) → A261
  521. If(A261 ≟ A260, B260 + 1, 1) → B261
  522. RandomElement(coin) → A262
  523. If(A262 ≟ A261, B261 + 1, 1) → B262
  524. RandomElement(coin) → A263
  525. If(A263 ≟ A262, B262 + 1, 1) → B263
  526. RandomElement(coin) → A264
  527. If(A264 ≟ A263, B263 + 1, 1) → B264
  528. RandomElement(coin) → A265
  529. If(A265 ≟ A264, B264 + 1, 1) → B265
  530. RandomElement(coin) → A266
  531. If(A266 ≟ A265, B265 + 1, 1) → B266
  532. RandomElement(coin) → A267
  533. If(A267 ≟ A266, B266 + 1, 1) → B267
  534. RandomElement(coin) → A268
  535. If(A268 ≟ A267, B267 + 1, 1) → B268
  536. RandomElement(coin) → A269
  537. If(A269 ≟ A268, B268 + 1, 1) → B269
  538. RandomElement(coin) → A270
  539. If(A270 ≟ A269, B269 + 1, 1) → B270
  540. RandomElement(coin) → A271
  541. If(A271 ≟ A270, B270 + 1, 1) → B271
  542. RandomElement(coin) → A272
  543. If(A272 ≟ A271, B271 + 1, 1) → B272
  544. RandomElement(coin) → A273
  545. If(A273 ≟ A272, B272 + 1, 1) → B273
  546. RandomElement(coin) → A274
  547. If(A274 ≟ A273, B273 + 1, 1) → B274
  548. RandomElement(coin) → A275
  549. If(A275 ≟ A274, B274 + 1, 1) → B275
  550. RandomElement(coin) → A276
  551. If(A276 ≟ A275, B275 + 1, 1) → B276
  552. RandomElement(coin) → A277
  553. If(A277 ≟ A276, B276 + 1, 1) → B277
  554. RandomElement(coin) → A278
  555. If(A278 ≟ A277, B277 + 1, 1) → B278
  556. RandomElement(coin) → A279
  557. If(A279 ≟ A278, B278 + 1, 1) → B279
  558. RandomElement(coin) → A280
  559. If(A280 ≟ A279, B279 + 1, 1) → B280
  560. RandomElement(coin) → A281
  561. If(A281 ≟ A280, B280 + 1, 1) → B281
  562. RandomElement(coin) → A282
  563. If(A282 ≟ A281, B281 + 1, 1) → B282
  564. RandomElement(coin) → A283
  565. If(A283 ≟ A282, B282 + 1, 1) → B283
  566. RandomElement(coin) → A284
  567. If(A284 ≟ A283, B283 + 1, 1) → B284
  568. RandomElement(coin) → A285
  569. If(A285 ≟ A284, B284 + 1, 1) → B285
  570. RandomElement(coin) → A286
  571. If(A286 ≟ A285, B285 + 1, 1) → B286
  572. RandomElement(coin) → A287
  573. If(A287 ≟ A286, B286 + 1, 1) → B287
  574. RandomElement(coin) → A288
  575. If(A288 ≟ A287, B287 + 1, 1) → B288
  576. RandomElement(coin) → A289
  577. If(A289 ≟ A288, B288 + 1, 1) → B289
  578. RandomElement(coin) → A290
  579. If(A290 ≟ A289, B289 + 1, 1) → B290
  580. RandomElement(coin) → A291
  581. If(A291 ≟ A290, B290 + 1, 1) → B291
  582. RandomElement(coin) → A292
  583. If(A292 ≟ A291, B291 + 1, 1) → B292
  584. RandomElement(coin) → A293
  585. If(A293 ≟ A292, B292 + 1, 1) → B293
  586. RandomElement(coin) → A294
  587. If(A294 ≟ A293, B293 + 1, 1) → B294
  588. RandomElement(coin) → A295
  589. If(A295 ≟ A294, B294 + 1, 1) → B295
  590. RandomElement(coin) → A296
  591. If(A296 ≟ A295, B295 + 1, 1) → B296
  592. RandomElement(coin) → A297
  593. If(A297 ≟ A296, B296 + 1, 1) → B297
  594. RandomElement(coin) → A298
  595. If(A298 ≟ A297, B297 + 1, 1) → B298
  596. RandomElement(coin) → A299
  597. If(A299 ≟ A298, B298 + 1, 1) → B299
  598. RandomElement(coin) → A300
  599. If(A300 ≟ A299, B299 + 1, 1) → B300
  600. RandomElement(coin) → A301
  601. If(A301 ≟ A300, B300 + 1, 1) → B301
  602. RandomElement(coin) → A302
  603. If(A302 ≟ A301, B301 + 1, 1) → B302
  604. RandomElement(coin) → A303
  605. If(A303 ≟ A302, B302 + 1, 1) → B303
  606. RandomElement(coin) → A304
  607. If(A304 ≟ A303, B303 + 1, 1) → B304
  608. RandomElement(coin) → A305
  609. If(A305 ≟ A304, B304 + 1, 1) → B305
  610. RandomElement(coin) → A306
  611. If(A306 ≟ A305, B305 + 1, 1) → B306
  612. RandomElement(coin) → A307
  613. If(A307 ≟ A306, B306 + 1, 1) → B307
  614. RandomElement(coin) → A308
  615. If(A308 ≟ A307, B307 + 1, 1) → B308
  616. RandomElement(coin) → A309
  617. If(A309 ≟ A308, B308 + 1, 1) → B309
  618. RandomElement(coin) → A310
  619. If(A310 ≟ A309, B309 + 1, 1) → B310
  620. RandomElement(coin) → A311
  621. If(A311 ≟ A310, B310 + 1, 1) → B311
  622. RandomElement(coin) → A312
  623. If(A312 ≟ A311, B311 + 1, 1) → B312
  624. RandomElement(coin) → A313
  625. If(A313 ≟ A312, B312 + 1, 1) → B313
  626. RandomElement(coin) → A314
  627. If(A314 ≟ A313, B313 + 1, 1) → B314
  628. RandomElement(coin) → A315
  629. If(A315 ≟ A314, B314 + 1, 1) → B315
  630. RandomElement(coin) → A316
  631. If(A316 ≟ A315, B315 + 1, 1) → B316
  632. RandomElement(coin) → A317
  633. If(A317 ≟ A316, B316 + 1, 1) → B317
  634. RandomElement(coin) → A318
  635. If(A318 ≟ A317, B317 + 1, 1) → B318
  636. RandomElement(coin) → A319
  637. If(A319 ≟ A318, B318 + 1, 1) → B319
  638. RandomElement(coin) → A320
  639. If(A320 ≟ A319, B319 + 1, 1) → B320
  640. RandomElement(coin) → A321
  641. If(A321 ≟ A320, B320 + 1, 1) → B321
  642. RandomElement(coin) → A322
  643. If(A322 ≟ A321, B321 + 1, 1) → B322
  644. RandomElement(coin) → A323
  645. If(A323 ≟ A322, B322 + 1, 1) → B323
  646. RandomElement(coin) → A324
  647. If(A324 ≟ A323, B323 + 1, 1) → B324
  648. RandomElement(coin) → A325
  649. If(A325 ≟ A324, B324 + 1, 1) → B325
  650. RandomElement(coin) → A326
  651. If(A326 ≟ A325, B325 + 1, 1) → B326
  652. RandomElement(coin) → A327
  653. If(A327 ≟ A326, B326 + 1, 1) → B327
  654. RandomElement(coin) → A328
  655. If(A328 ≟ A327, B327 + 1, 1) → B328
  656. RandomElement(coin) → A329
  657. If(A329 ≟ A328, B328 + 1, 1) → B329
  658. RandomElement(coin) → A330
  659. If(A330 ≟ A329, B329 + 1, 1) → B330
  660. RandomElement(coin) → A331
  661. If(A331 ≟ A330, B330 + 1, 1) → B331
  662. RandomElement(coin) → A332
  663. If(A332 ≟ A331, B331 + 1, 1) → B332
  664. RandomElement(coin) → A333
  665. If(A333 ≟ A332, B332 + 1, 1) → B333
  666. RandomElement(coin) → A334
  667. If(A334 ≟ A333, B333 + 1, 1) → B334
  668. RandomElement(coin) → A335
  669. If(A335 ≟ A334, B334 + 1, 1) → B335
  670. RandomElement(coin) → A336
  671. If(A336 ≟ A335, B335 + 1, 1) → B336
  672. RandomElement(coin) → A337
  673. If(A337 ≟ A336, B336 + 1, 1) → B337
  674. RandomElement(coin) → A338
  675. If(A338 ≟ A337, B337 + 1, 1) → B338
  676. RandomElement(coin) → A339
  677. If(A339 ≟ A338, B338 + 1, 1) → B339
  678. RandomElement(coin) → A340
  679. If(A340 ≟ A339, B339 + 1, 1) → B340
  680. RandomElement(coin) → A341
  681. If(A341 ≟ A340, B340 + 1, 1) → B341
  682. RandomElement(coin) → A342
  683. If(A342 ≟ A341, B341 + 1, 1) → B342
  684. RandomElement(coin) → A343
  685. If(A343 ≟ A342, B342 + 1, 1) → B343
  686. RandomElement(coin) → A344
  687. If(A344 ≟ A343, B343 + 1, 1) → B344
  688. RandomElement(coin) → A345
  689. If(A345 ≟ A344, B344 + 1, 1) → B345
  690. RandomElement(coin) → A346
  691. If(A346 ≟ A345, B345 + 1, 1) → B346
  692. RandomElement(coin) → A347
  693. If(A347 ≟ A346, B346 + 1, 1) → B347
  694. RandomElement(coin) → A348
  695. If(A348 ≟ A347, B347 + 1, 1) → B348
  696. RandomElement(coin) → A349
  697. If(A349 ≟ A348, B348 + 1, 1) → B349
  698. RandomElement(coin) → A350
  699. If(A350 ≟ A349, B349 + 1, 1) → B350
  700. RandomElement(coin) → A351
  701. If(A351 ≟ A350, B350 + 1, 1) → B351
  702. RandomElement(coin) → A352
  703. If(A352 ≟ A351, B351 + 1, 1) → B352
  704. RandomElement(coin) → A353
  705. If(A353 ≟ A352, B352 + 1, 1) → B353
  706. RandomElement(coin) → A354
  707. If(A354 ≟ A353, B353 + 1, 1) → B354
  708. RandomElement(coin) → A355
  709. If(A355 ≟ A354, B354 + 1, 1) → B355
  710. RandomElement(coin) → A356
  711. If(A356 ≟ A355, B355 + 1, 1) → B356
  712. RandomElement(coin) → A357
  713. If(A357 ≟ A356, B356 + 1, 1) → B357
  714. RandomElement(coin) → A358
  715. If(A358 ≟ A357, B357 + 1, 1) → B358
  716. RandomElement(coin) → A359
  717. If(A359 ≟ A358, B358 + 1, 1) → B359
  718. RandomElement(coin) → A360
  719. If(A360 ≟ A359, B359 + 1, 1) → B360
  720. RandomElement(coin) → A361
  721. If(A361 ≟ A360, B360 + 1, 1) → B361
  722. RandomElement(coin) → A362
  723. If(A362 ≟ A361, B361 + 1, 1) → B362
  724. RandomElement(coin) → A363
  725. If(A363 ≟ A362, B362 + 1, 1) → B363
  726. RandomElement(coin) → A364
  727. If(A364 ≟ A363, B363 + 1, 1) → B364
  728. RandomElement(coin) → A365
  729. If(A365 ≟ A364, B364 + 1, 1) → B365
  730. RandomElement(coin) → A366
  731. If(A366 ≟ A365, B365 + 1, 1) → B366
  732. RandomElement(coin) → A367
  733. If(A367 ≟ A366, B366 + 1, 1) → B367
  734. RandomElement(coin) → A368
  735. If(A368 ≟ A367, B367 + 1, 1) → B368
  736. RandomElement(coin) → A369
  737. If(A369 ≟ A368, B368 + 1, 1) → B369
  738. RandomElement(coin) → A370
  739. If(A370 ≟ A369, B369 + 1, 1) → B370
  740. RandomElement(coin) → A371
  741. If(A371 ≟ A370, B370 + 1, 1) → B371
  742. RandomElement(coin) → A372
  743. If(A372 ≟ A371, B371 + 1, 1) → B372
  744. RandomElement(coin) → A373
  745. If(A373 ≟ A372, B372 + 1, 1) → B373
  746. RandomElement(coin) → A374
  747. If(A374 ≟ A373, B373 + 1, 1) → B374
  748. RandomElement(coin) → A375
  749. If(A375 ≟ A374, B374 + 1, 1) → B375
  750. RandomElement(coin) → A376
  751. If(A376 ≟ A375, B375 + 1, 1) → B376
  752. RandomElement(coin) → A377
  753. If(A377 ≟ A376, B376 + 1, 1) → B377
  754. RandomElement(coin) → A378
  755. If(A378 ≟ A377, B377 + 1, 1) → B378
  756. RandomElement(coin) → A379
  757. If(A379 ≟ A378, B378 + 1, 1) → B379
  758. RandomElement(coin) → A380
  759. If(A380 ≟ A379, B379 + 1, 1) → B380
  760. RandomElement(coin) → A381
  761. If(A381 ≟ A380, B380 + 1, 1) → B381
  762. RandomElement(coin) → A382
  763. If(A382 ≟ A381, B381 + 1, 1) → B382
  764. RandomElement(coin) → A383
  765. If(A383 ≟ A382, B382 + 1, 1) → B383
  766. RandomElement(coin) → A384
  767. If(A384 ≟ A383, B383 + 1, 1) → B384
  768. RandomElement(coin) → A385
  769. If(A385 ≟ A384, B384 + 1, 1) → B385
  770. RandomElement(coin) → A386
  771. If(A386 ≟ A385, B385 + 1, 1) → B386
  772. RandomElement(coin) → A387
  773. If(A387 ≟ A386, B386 + 1, 1) → B387
  774. RandomElement(coin) → A388
  775. If(A388 ≟ A387, B387 + 1, 1) → B388
  776. RandomElement(coin) → A389
  777. If(A389 ≟ A388, B388 + 1, 1) → B389
  778. RandomElement(coin) → A390
  779. If(A390 ≟ A389, B389 + 1, 1) → B390
  780. RandomElement(coin) → A391
  781. If(A391 ≟ A390, B390 + 1, 1) → B391
  782. RandomElement(coin) → A392
  783. If(A392 ≟ A391, B391 + 1, 1) → B392
  784. RandomElement(coin) → A393
  785. If(A393 ≟ A392, B392 + 1, 1) → B393
  786. RandomElement(coin) → A394
  787. If(A394 ≟ A393, B393 + 1, 1) → B394
  788. RandomElement(coin) → A395
  789. If(A395 ≟ A394, B394 + 1, 1) → B395
  790. RandomElement(coin) → A396
  791. If(A396 ≟ A395, B395 + 1, 1) → B396
  792. RandomElement(coin) → A397
  793. If(A397 ≟ A396, B396 + 1, 1) → B397
  794. RandomElement(coin) → A398
  795. If(A398 ≟ A397, B397 + 1, 1) → B398
  796. RandomElement(coin) → A399
  797. If(A399 ≟ A398, B398 + 1, 1) → B399
  798. RandomElement(coin) → A400
  799. If(A400 ≟ A399, B399 + 1, 1) → B400
  800. RandomElement(coin) → A401
  801. If(A401 ≟ A400, B400 + 1, 1) → B401
  802. RandomElement(coin) → A402
  803. If(A402 ≟ A401, B401 + 1, 1) → B402
  804. RandomElement(coin) → A403
  805. If(A403 ≟ A402, B402 + 1, 1) → B403
  806. RandomElement(coin) → A404
  807. If(A404 ≟ A403, B403 + 1, 1) → B404
  808. RandomElement(coin) → A405
  809. If(A405 ≟ A404, B404 + 1, 1) → B405
  810. RandomElement(coin) → A406
  811. If(A406 ≟ A405, B405 + 1, 1) → B406
  812. RandomElement(coin) → A407
  813. If(A407 ≟ A406, B406 + 1, 1) → B407
  814. RandomElement(coin) → A408
  815. If(A408 ≟ A407, B407 + 1, 1) → B408
  816. RandomElement(coin) → A409
  817. If(A409 ≟ A408, B408 + 1, 1) → B409
  818. RandomElement(coin) → A410
  819. If(A410 ≟ A409, B409 + 1, 1) → B410
  820. RandomElement(coin) → A411
  821. If(A411 ≟ A410, B410 + 1, 1) → B411
  822. RandomElement(coin) → A412
  823. If(A412 ≟ A411, B411 + 1, 1) → B412
  824. RandomElement(coin) → A413
  825. If(A413 ≟ A412, B412 + 1, 1) → B413
  826. RandomElement(coin) → A414
  827. If(A414 ≟ A413, B413 + 1, 1) → B414
  828. RandomElement(coin) → A415
  829. If(A415 ≟ A414, B414 + 1, 1) → B415
  830. RandomElement(coin) → A416
  831. If(A416 ≟ A415, B415 + 1, 1) → B416
  832. RandomElement(coin) → A417
  833. If(A417 ≟ A416, B416 + 1, 1) → B417
  834. RandomElement(coin) → A418
  835. If(A418 ≟ A417, B417 + 1, 1) → B418
  836. RandomElement(coin) → A419
  837. If(A419 ≟ A418, B418 + 1, 1) → B419
  838. RandomElement(coin) → A420
  839. If(A420 ≟ A419, B419 + 1, 1) → B420
  840. RandomElement(coin) → A421
  841. If(A421 ≟ A420, B420 + 1, 1) → B421
  842. RandomElement(coin) → A422
  843. If(A422 ≟ A421, B421 + 1, 1) → B422
  844. RandomElement(coin) → A423
  845. If(A423 ≟ A422, B422 + 1, 1) → B423
  846. RandomElement(coin) → A424
  847. If(A424 ≟ A423, B423 + 1, 1) → B424
  848. RandomElement(coin) → A425
  849. If(A425 ≟ A424, B424 + 1, 1) → B425
  850. RandomElement(coin) → A426
  851. If(A426 ≟ A425, B425 + 1, 1) → B426
  852. RandomElement(coin) → A427
  853. If(A427 ≟ A426, B426 + 1, 1) → B427
  854. RandomElement(coin) → A428
  855. If(A428 ≟ A427, B427 + 1, 1) → B428
  856. RandomElement(coin) → A429
  857. If(A429 ≟ A428, B428 + 1, 1) → B429
  858. RandomElement(coin) → A430
  859. If(A430 ≟ A429, B429 + 1, 1) → B430
  860. RandomElement(coin) → A431
  861. If(A431 ≟ A430, B430 + 1, 1) → B431
  862. RandomElement(coin) → A432
  863. If(A432 ≟ A431, B431 + 1, 1) → B432
  864. RandomElement(coin) → A433
  865. If(A433 ≟ A432, B432 + 1, 1) → B433
  866. RandomElement(coin) → A434
  867. If(A434 ≟ A433, B433 + 1, 1) → B434
  868. RandomElement(coin) → A435
  869. If(A435 ≟ A434, B434 + 1, 1) → B435
  870. RandomElement(coin) → A436
  871. If(A436 ≟ A435, B435 + 1, 1) → B436
  872. RandomElement(coin) → A437
  873. If(A437 ≟ A436, B436 + 1, 1) → B437
  874. RandomElement(coin) → A438
  875. If(A438 ≟ A437, B437 + 1, 1) → B438
  876. RandomElement(coin) → A439
  877. If(A439 ≟ A438, B438 + 1, 1) → B439
  878. RandomElement(coin) → A440
  879. If(A440 ≟ A439, B439 + 1, 1) → B440
  880. RandomElement(coin) → A441
  881. If(A441 ≟ A440, B440 + 1, 1) → B441
  882. RandomElement(coin) → A442
  883. If(A442 ≟ A441, B441 + 1, 1) → B442
  884. RandomElement(coin) → A443
  885. If(A443 ≟ A442, B442 + 1, 1) → B443
  886. RandomElement(coin) → A444
  887. If(A444 ≟ A443, B443 + 1, 1) → B444
  888. RandomElement(coin) → A445
  889. If(A445 ≟ A444, B444 + 1, 1) → B445
  890. RandomElement(coin) → A446
  891. If(A446 ≟ A445, B445 + 1, 1) → B446
  892. RandomElement(coin) → A447
  893. If(A447 ≟ A446, B446 + 1, 1) → B447
  894. RandomElement(coin) → A448
  895. If(A448 ≟ A447, B447 + 1, 1) → B448
  896. RandomElement(coin) → A449
  897. If(A449 ≟ A448, B448 + 1, 1) → B449
  898. RandomElement(coin) → A450
  899. If(A450 ≟ A449, B449 + 1, 1) → B450
  900. RandomElement(coin) → A451
  901. If(A451 ≟ A450, B450 + 1, 1) → B451
  902. RandomElement(coin) → A452
  903. If(A452 ≟ A451, B451 + 1, 1) → B452
  904. RandomElement(coin) → A453
  905. If(A453 ≟ A452, B452 + 1, 1) → B453
  906. RandomElement(coin) → A454
  907. If(A454 ≟ A453, B453 + 1, 1) → B454
  908. RandomElement(coin) → A455
  909. If(A455 ≟ A454, B454 + 1, 1) → B455
  910. RandomElement(coin) → A456
  911. If(A456 ≟ A455, B455 + 1, 1) → B456
  912. RandomElement(coin) → A457
  913. If(A457 ≟ A456, B456 + 1, 1) → B457
  914. RandomElement(coin) → A458
  915. If(A458 ≟ A457, B457 + 1, 1) → B458
  916. RandomElement(coin) → A459
  917. If(A459 ≟ A458, B458 + 1, 1) → B459
  918. RandomElement(coin) → A460
  919. If(A460 ≟ A459, B459 + 1, 1) → B460
  920. RandomElement(coin) → A461
  921. If(A461 ≟ A460, B460 + 1, 1) → B461
  922. RandomElement(coin) → A462
  923. If(A462 ≟ A461, B461 + 1, 1) → B462
  924. RandomElement(coin) → A463
  925. If(A463 ≟ A462, B462 + 1, 1) → B463
  926. RandomElement(coin) → A464
  927. If(A464 ≟ A463, B463 + 1, 1) → B464
  928. RandomElement(coin) → A465
  929. If(A465 ≟ A464, B464 + 1, 1) → B465
  930. RandomElement(coin) → A466
  931. If(A466 ≟ A465, B465 + 1, 1) → B466
  932. RandomElement(coin) → A467
  933. If(A467 ≟ A466, B466 + 1, 1) → B467
  934. RandomElement(coin) → A468
  935. If(A468 ≟ A467, B467 + 1, 1) → B468
  936. RandomElement(coin) → A469
  937. If(A469 ≟ A468, B468 + 1, 1) → B469
  938. RandomElement(coin) → A470
  939. If(A470 ≟ A469, B469 + 1, 1) → B470
  940. RandomElement(coin) → A471
  941. If(A471 ≟ A470, B470 + 1, 1) → B471
  942. RandomElement(coin) → A472
  943. If(A472 ≟ A471, B471 + 1, 1) → B472
  944. RandomElement(coin) → A473
  945. If(A473 ≟ A472, B472 + 1, 1) → B473
  946. RandomElement(coin) → A474
  947. If(A474 ≟ A473, B473 + 1, 1) → B474
  948. RandomElement(coin) → A475
  949. If(A475 ≟ A474, B474 + 1, 1) → B475
  950. RandomElement(coin) → A476
  951. If(A476 ≟ A475, B475 + 1, 1) → B476
  952. RandomElement(coin) → A477
  953. If(A477 ≟ A476, B476 + 1, 1) → B477
  954. RandomElement(coin) → A478
  955. If(A478 ≟ A477, B477 + 1, 1) → B478
  956. RandomElement(coin) → A479
  957. If(A479 ≟ A478, B478 + 1, 1) → B479
  958. RandomElement(coin) → A480
  959. If(A480 ≟ A479, B479 + 1, 1) → B480
  960. RandomElement(coin) → A481
  961. If(A481 ≟ A480, B480 + 1, 1) → B481
  962. RandomElement(coin) → A482
  963. If(A482 ≟ A481, B481 + 1, 1) → B482
  964. RandomElement(coin) → A483
  965. If(A483 ≟ A482, B482 + 1, 1) → B483
  966. RandomElement(coin) → A484
  967. If(A484 ≟ A483, B483 + 1, 1) → B484
  968. RandomElement(coin) → A485
  969. If(A485 ≟ A484, B484 + 1, 1) → B485
  970. RandomElement(coin) → A486
  971. If(A486 ≟ A485, B485 + 1, 1) → B486
  972. RandomElement(coin) → A487
  973. If(A487 ≟ A486, B486 + 1, 1) → B487
  974. RandomElement(coin) → A488
  975. If(A488 ≟ A487, B487 + 1, 1) → B488
  976. RandomElement(coin) → A489
  977. If(A489 ≟ A488, B488 + 1, 1) → B489
  978. RandomElement(coin) → A490
  979. If(A490 ≟ A489, B489 + 1, 1) → B490
  980. RandomElement(coin) → A491
  981. If(A491 ≟ A490, B490 + 1, 1) → B491
  982. RandomElement(coin) → A492
  983. If(A492 ≟ A491, B491 + 1, 1) → B492
  984. RandomElement(coin) → A493
  985. If(A493 ≟ A492, B492 + 1, 1) → B493
  986. RandomElement(coin) → A494
  987. If(A494 ≟ A493, B493 + 1, 1) → B494
  988. RandomElement(coin) → A495
  989. If(A495 ≟ A494, B494 + 1, 1) → B495
  990. RandomElement(coin) → A496
  991. If(A496 ≟ A495, B495 + 1, 1) → B496
  992. RandomElement(coin) → A497
  993. If(A497 ≟ A496, B496 + 1, 1) → B497
  994. RandomElement(coin) → A498
  995. If(A498 ≟ A497, B497 + 1, 1) → B498
  996. RandomElement(coin) → A499
  997. If(A499 ≟ A498, B498 + 1, 1) → B499
  998. RandomElement(coin) → A500
  999. If(A500 ≟ A499, B499 + 1, 1) → B500
  1000. CountIf(x ≟ "H", flips) → a
  1001. CountIf(x ≟ "T", flips) → b
  1002. If(A1 ≟ "H", 1, -1) → C1
  1003. If(A2 ≟ "H", C1 + 1, C1 - 1) → C2
  1004. If(A3 ≟ "H", C2 + 1, C2 - 1) → C3
  1005. If(A4 ≟ "H", C3 + 1, C3 - 1) → C4
  1006. If(A5 ≟ "H", C4 + 1, C4 - 1) → C5
  1007. If(A6 ≟ "H", C5 + 1, C5 - 1) → C6
  1008. If(A7 ≟ "H", C6 + 1, C6 - 1) → C7
  1009. If(A8 ≟ "H", C7 + 1, C7 - 1) → C8
  1010. If(A9 ≟ "H", C8 + 1, C8 - 1) → C9
  1011. If(A10 ≟ "H", C9 + 1, C9 - 1) → C10
  1012. If(A11 ≟ "H", C10 + 1, C10 - 1) → C11
  1013. If(A12 ≟ "H", C11 + 1, C11 - 1) → C12
  1014. If(A13 ≟ "H", C12 + 1, C12 - 1) → C13
  1015. If(A14 ≟ "H", C13 + 1, C13 - 1) → C14
  1016. If(A15 ≟ "H", C14 + 1, C14 - 1) → C15
  1017. If(A16 ≟ "H", C15 + 1, C15 - 1) → C16
  1018. If(A17 ≟ "H", C16 + 1, C16 - 1) → C17
  1019. If(A18 ≟ "H", C17 + 1, C17 - 1) → C18
  1020. If(A19 ≟ "H", C18 + 1, C18 - 1) → C19
  1021. If(A20 ≟ "H", C19 + 1, C19 - 1) → C20
  1022. If(A21 ≟ "H", C20 + 1, C20 - 1) → C21
  1023. If(A22 ≟ "H", C21 + 1, C21 - 1) → C22
  1024. If(A23 ≟ "H", C22 + 1, C22 - 1) → C23
  1025. If(A24 ≟ "H", C23 + 1, C23 - 1) → C24
  1026. If(A25 ≟ "H", C24 + 1, C24 - 1) → C25
  1027. If(A26 ≟ "H", C25 + 1, C25 - 1) → C26
  1028. If(A27 ≟ "H", C26 + 1, C26 - 1) → C27
  1029. If(A28 ≟ "H", C27 + 1, C27 - 1) → C28
  1030. If(A29 ≟ "H", C28 + 1, C28 - 1) → C29
  1031. If(A30 ≟ "H", C29 + 1, C29 - 1) → C30
  1032. If(A31 ≟ "H", C30 + 1, C30 - 1) → C31
  1033. If(A32 ≟ "H", C31 + 1, C31 - 1) → C32
  1034. If(A33 ≟ "H", C32 + 1, C32 - 1) → C33
  1035. If(A34 ≟ "H", C33 + 1, C33 - 1) → C34
  1036. If(A35 ≟ "H", C34 + 1, C34 - 1) → C35
  1037. If(A36 ≟ "H", C35 + 1, C35 - 1) → C36
  1038. If(A37 ≟ "H", C36 + 1, C36 - 1) → C37
  1039. If(A38 ≟ "H", C37 + 1, C37 - 1) → C38
  1040. If(A39 ≟ "H", C38 + 1, C38 - 1) → C39
  1041. If(A40 ≟ "H", C39 + 1, C39 - 1) → C40
  1042. If(A41 ≟ "H", C40 + 1, C40 - 1) → C41
  1043. If(A42 ≟ "H", C41 + 1, C41 - 1) → C42
  1044. If(A43 ≟ "H", C42 + 1, C42 - 1) → C43
  1045. If(A44 ≟ "H", C43 + 1, C43 - 1) → C44
  1046. If(A45 ≟ "H", C44 + 1, C44 - 1) → C45
  1047. If(A46 ≟ "H", C45 + 1, C45 - 1) → C46
  1048. If(A47 ≟ "H", C46 + 1, C46 - 1) → C47
  1049. If(A48 ≟ "H", C47 + 1, C47 - 1) → C48
  1050. If(A49 ≟ "H", C48 + 1, C48 - 1) → C49
  1051. If(A50 ≟ "H", C49 + 1, C49 - 1) → C50
  1052. If(A51 ≟ "H", C50 + 1, C50 - 1) → C51
  1053. If(A52 ≟ "H", C51 + 1, C51 - 1) → C52
  1054. If(A53 ≟ "H", C52 + 1, C52 - 1) → C53
  1055. If(A54 ≟ "H", C53 + 1, C53 - 1) → C54
  1056. If(A55 ≟ "H", C54 + 1, C54 - 1) → C55
  1057. If(A56 ≟ "H", C55 + 1, C55 - 1) → C56
  1058. If(A57 ≟ "H", C56 + 1, C56 - 1) → C57
  1059. If(A58 ≟ "H", C57 + 1, C57 - 1) → C58
  1060. If(A59 ≟ "H", C58 + 1, C58 - 1) → C59
  1061. If(A60 ≟ "H", C59 + 1, C59 - 1) → C60
  1062. If(A61 ≟ "H", C60 + 1, C60 - 1) → C61
  1063. If(A62 ≟ "H", C61 + 1, C61 - 1) → C62
  1064. If(A63 ≟ "H", C62 + 1, C62 - 1) → C63
  1065. If(A64 ≟ "H", C63 + 1, C63 - 1) → C64
  1066. If(A65 ≟ "H", C64 + 1, C64 - 1) → C65
  1067. If(A66 ≟ "H", C65 + 1, C65 - 1) → C66
  1068. If(A67 ≟ "H", C66 + 1, C66 - 1) → C67
  1069. If(A68 ≟ "H", C67 + 1, C67 - 1) → C68
  1070. If(A69 ≟ "H", C68 + 1, C68 - 1) → C69
  1071. If(A70 ≟ "H", C69 + 1, C69 - 1) → C70
  1072. If(A71 ≟ "H", C70 + 1, C70 - 1) → C71
  1073. If(A72 ≟ "H", C71 + 1, C71 - 1) → C72
  1074. If(A73 ≟ "H", C72 + 1, C72 - 1) → C73
  1075. If(A74 ≟ "H", C73 + 1, C73 - 1) → C74
  1076. If(A75 ≟ "H", C74 + 1, C74 - 1) → C75
  1077. If(A76 ≟ "H", C75 + 1, C75 - 1) → C76
  1078. If(A77 ≟ "H", C76 + 1, C76 - 1) → C77
  1079. If(A78 ≟ "H", C77 + 1, C77 - 1) → C78
  1080. If(A79 ≟ "H", C78 + 1, C78 - 1) → C79
  1081. If(A80 ≟ "H", C79 + 1, C79 - 1) → C80
  1082. If(A81 ≟ "H", C80 + 1, C80 - 1) → C81
  1083. If(A82 ≟ "H", C81 + 1, C81 - 1) → C82
  1084. If(A83 ≟ "H", C82 + 1, C82 - 1) → C83
  1085. If(A84 ≟ "H", C83 + 1, C83 - 1) → C84
  1086. If(A85 ≟ "H", C84 + 1, C84 - 1) → C85
  1087. If(A86 ≟ "H", C85 + 1, C85 - 1) → C86
  1088. If(A87 ≟ "H", C86 + 1, C86 - 1) → C87
  1089. If(A88 ≟ "H", C87 + 1, C87 - 1) → C88
  1090. If(A89 ≟ "H", C88 + 1, C88 - 1) → C89
  1091. If(A90 ≟ "H", C89 + 1, C89 - 1) → C90
  1092. If(A91 ≟ "H", C90 + 1, C90 - 1) → C91
  1093. If(A92 ≟ "H", C91 + 1, C91 - 1) → C92
  1094. If(A93 ≟ "H", C92 + 1, C92 - 1) → C93
  1095. If(A94 ≟ "H", C93 + 1, C93 - 1) → C94
  1096. If(A95 ≟ "H", C94 + 1, C94 - 1) → C95
  1097. If(A96 ≟ "H", C95 + 1, C95 - 1) → C96
  1098. If(A97 ≟ "H", C96 + 1, C96 - 1) → C97
  1099. If(A98 ≟ "H", C97 + 1, C97 - 1) → C98
  1100. If(A99 ≟ "H", C98 + 1, C98 - 1) → C99
  1101. If(A100 ≟ "H", C99 + 1, C99 - 1) → C100
  1102. If(A101 ≟ "H", C100 + 1, C100 - 1) → C101
  1103. If(A102 ≟ "H", C101 + 1, C101 - 1) → C102
  1104. If(A103 ≟ "H", C102 + 1, C102 - 1) → C103
  1105. If(A104 ≟ "H", C103 + 1, C103 - 1) → C104
  1106. If(A105 ≟ "H", C104 + 1, C104 - 1) → C105
  1107. If(A106 ≟ "H", C105 + 1, C105 - 1) → C106
  1108. If(A107 ≟ "H", C106 + 1, C106 - 1) → C107
  1109. If(A108 ≟ "H", C107 + 1, C107 - 1) → C108
  1110. If(A109 ≟ "H", C108 + 1, C108 - 1) → C109
  1111. If(A110 ≟ "H", C109 + 1, C109 - 1) → C110
  1112. If(A111 ≟ "H", C110 + 1, C110 - 1) → C111
  1113. If(A112 ≟ "H", C111 + 1, C111 - 1) → C112
  1114. If(A113 ≟ "H", C112 + 1, C112 - 1) → C113
  1115. If(A114 ≟ "H", C113 + 1, C113 - 1) → C114
  1116. If(A115 ≟ "H", C114 + 1, C114 - 1) → C115
  1117. If(A116 ≟ "H", C115 + 1, C115 - 1) → C116
  1118. If(A117 ≟ "H", C116 + 1, C116 - 1) → C117
  1119. If(A118 ≟ "H", C117 + 1, C117 - 1) → C118
  1120. If(A119 ≟ "H", C118 + 1, C118 - 1) → C119
  1121. If(A120 ≟ "H", C119 + 1, C119 - 1) → C120
  1122. If(A121 ≟ "H", C120 + 1, C120 - 1) → C121
  1123. If(A122 ≟ "H", C121 + 1, C121 - 1) → C122
  1124. If(A123 ≟ "H", C122 + 1, C122 - 1) → C123
  1125. If(A124 ≟ "H", C123 + 1, C123 - 1) → C124
  1126. If(A125 ≟ "H", C124 + 1, C124 - 1) → C125
  1127. If(A126 ≟ "H", C125 + 1, C125 - 1) → C126
  1128. If(A127 ≟ "H", C126 + 1, C126 - 1) → C127
  1129. If(A128 ≟ "H", C127 + 1, C127 - 1) → C128
  1130. If(A129 ≟ "H", C128 + 1, C128 - 1) → C129
  1131. If(A130 ≟ "H", C129 + 1, C129 - 1) → C130
  1132. If(A131 ≟ "H", C130 + 1, C130 - 1) → C131
  1133. If(A132 ≟ "H", C131 + 1, C131 - 1) → C132
  1134. If(A133 ≟ "H", C132 + 1, C132 - 1) → C133
  1135. If(A134 ≟ "H", C133 + 1, C133 - 1) → C134
  1136. If(A135 ≟ "H", C134 + 1, C134 - 1) → C135
  1137. If(A136 ≟ "H", C135 + 1, C135 - 1) → C136
  1138. If(A137 ≟ "H", C136 + 1, C136 - 1) → C137
  1139. If(A138 ≟ "H", C137 + 1, C137 - 1) → C138
  1140. If(A139 ≟ "H", C138 + 1, C138 - 1) → C139
  1141. If(A140 ≟ "H", C139 + 1, C139 - 1) → C140
  1142. If(A141 ≟ "H", C140 + 1, C140 - 1) → C141
  1143. If(A142 ≟ "H", C141 + 1, C141 - 1) → C142
  1144. If(A143 ≟ "H", C142 + 1, C142 - 1) → C143
  1145. If(A144 ≟ "H", C143 + 1, C143 - 1) → C144
  1146. If(A145 ≟ "H", C144 + 1, C144 - 1) → C145
  1147. If(A146 ≟ "H", C145 + 1, C145 - 1) → C146
  1148. If(A147 ≟ "H", C146 + 1, C146 - 1) → C147
  1149. If(A148 ≟ "H", C147 + 1, C147 - 1) → C148
  1150. If(A149 ≟ "H", C148 + 1, C148 - 1) → C149
  1151. If(A150 ≟ "H", C149 + 1, C149 - 1) → C150
  1152. If(A151 ≟ "H", C150 + 1, C150 - 1) → C151
  1153. If(A152 ≟ "H", C151 + 1, C151 - 1) → C152
  1154. If(A153 ≟ "H", C152 + 1, C152 - 1) → C153
  1155. If(A154 ≟ "H", C153 + 1, C153 - 1) → C154
  1156. If(A155 ≟ "H", C154 + 1, C154 - 1) → C155
  1157. If(A156 ≟ "H", C155 + 1, C155 - 1) → C156
  1158. If(A157 ≟ "H", C156 + 1, C156 - 1) → C157
  1159. If(A158 ≟ "H", C157 + 1, C157 - 1) → C158
  1160. If(A159 ≟ "H", C158 + 1, C158 - 1) → C159
  1161. If(A160 ≟ "H", C159 + 1, C159 - 1) → C160
  1162. If(A161 ≟ "H", C160 + 1, C160 - 1) → C161
  1163. If(A162 ≟ "H", C161 + 1, C161 - 1) → C162
  1164. If(A163 ≟ "H", C162 + 1, C162 - 1) → C163
  1165. If(A164 ≟ "H", C163 + 1, C163 - 1) → C164
  1166. If(A165 ≟ "H", C164 + 1, C164 - 1) → C165
  1167. If(A166 ≟ "H", C165 + 1, C165 - 1) → C166
  1168. If(A167 ≟ "H", C166 + 1, C166 - 1) → C167
  1169. If(A168 ≟ "H", C167 + 1, C167 - 1) → C168
  1170. If(A169 ≟ "H", C168 + 1, C168 - 1) → C169
  1171. If(A170 ≟ "H", C169 + 1, C169 - 1) → C170
  1172. If(A171 ≟ "H", C170 + 1, C170 - 1) → C171
  1173. If(A172 ≟ "H", C171 + 1, C171 - 1) → C172
  1174. If(A173 ≟ "H", C172 + 1, C172 - 1) → C173
  1175. If(A174 ≟ "H", C173 + 1, C173 - 1) → C174
  1176. If(A175 ≟ "H", C174 + 1, C174 - 1) → C175
  1177. If(A176 ≟ "H", C175 + 1, C175 - 1) → C176
  1178. If(A177 ≟ "H", C176 + 1, C176 - 1) → C177
  1179. If(A178 ≟ "H", C177 + 1, C177 - 1) → C178
  1180. If(A179 ≟ "H", C178 + 1, C178 - 1) → C179
  1181. If(A180 ≟ "H", C179 + 1, C179 - 1) → C180
  1182. If(A181 ≟ "H", C180 + 1, C180 - 1) → C181
  1183. If(A182 ≟ "H", C181 + 1, C181 - 1) → C182
  1184. If(A183 ≟ "H", C182 + 1, C182 - 1) → C183
  1185. If(A184 ≟ "H", C183 + 1, C183 - 1) → C184
  1186. If(A185 ≟ "H", C184 + 1, C184 - 1) → C185
  1187. If(A186 ≟ "H", C185 + 1, C185 - 1) → C186
  1188. If(A187 ≟ "H", C186 + 1, C186 - 1) → C187
  1189. If(A188 ≟ "H", C187 + 1, C187 - 1) → C188
  1190. If(A189 ≟ "H", C188 + 1, C188 - 1) → C189
  1191. If(A190 ≟ "H", C189 + 1, C189 - 1) → C190
  1192. If(A191 ≟ "H", C190 + 1, C190 - 1) → C191
  1193. If(A192 ≟ "H", C191 + 1, C191 - 1) → C192
  1194. If(A193 ≟ "H", C192 + 1, C192 - 1) → C193
  1195. If(A194 ≟ "H", C193 + 1, C193 - 1) → C194
  1196. If(A195 ≟ "H", C194 + 1, C194 - 1) → C195
  1197. If(A196 ≟ "H", C195 + 1, C195 - 1) → C196
  1198. If(A197 ≟ "H", C196 + 1, C196 - 1) → C197
  1199. If(A198 ≟ "H", C197 + 1, C197 - 1) → C198
  1200. If(A199 ≟ "H", C198 + 1, C198 - 1) → C199
  1201. If(A200 ≟ "H", C199 + 1, C199 - 1) → C200
  1202. If(A201 ≟ "H", C200 + 1, C200 - 1) → C201
  1203. If(A202 ≟ "H", C201 + 1, C201 - 1) → C202
  1204. If(A203 ≟ "H", C202 + 1, C202 - 1) → C203
  1205. If(A204 ≟ "H", C203 + 1, C203 - 1) → C204
  1206. If(A205 ≟ "H", C204 + 1, C204 - 1) → C205
  1207. If(A206 ≟ "H", C205 + 1, C205 - 1) → C206
  1208. If(A207 ≟ "H", C206 + 1, C206 - 1) → C207
  1209. If(A208 ≟ "H", C207 + 1, C207 - 1) → C208
  1210. If(A209 ≟ "H", C208 + 1, C208 - 1) → C209
  1211. If(A210 ≟ "H", C209 + 1, C209 - 1) → C210
  1212. If(A211 ≟ "H", C210 + 1, C210 - 1) → C211
  1213. If(A212 ≟ "H", C211 + 1, C211 - 1) → C212
  1214. If(A213 ≟ "H", C212 + 1, C212 - 1) → C213
  1215. If(A214 ≟ "H", C213 + 1, C213 - 1) → C214
  1216. If(A215 ≟ "H", C214 + 1, C214 - 1) → C215
  1217. If(A216 ≟ "H", C215 + 1, C215 - 1) → C216
  1218. If(A217 ≟ "H", C216 + 1, C216 - 1) → C217
  1219. If(A218 ≟ "H", C217 + 1, C217 - 1) → C218
  1220. If(A219 ≟ "H", C218 + 1, C218 - 1) → C219
  1221. If(A220 ≟ "H", C219 + 1, C219 - 1) → C220
  1222. If(A221 ≟ "H", C220 + 1, C220 - 1) → C221
  1223. If(A222 ≟ "H", C221 + 1, C221 - 1) → C222
  1224. If(A223 ≟ "H", C222 + 1, C222 - 1) → C223
  1225. If(A224 ≟ "H", C223 + 1, C223 - 1) → C224
  1226. If(A225 ≟ "H", C224 + 1, C224 - 1) → C225
  1227. If(A226 ≟ "H", C225 + 1, C225 - 1) → C226
  1228. If(A227 ≟ "H", C226 + 1, C226 - 1) → C227
  1229. If(A228 ≟ "H", C227 + 1, C227 - 1) → C228
  1230. If(A229 ≟ "H", C228 + 1, C228 - 1) → C229
  1231. If(A230 ≟ "H", C229 + 1, C229 - 1) → C230
  1232. If(A231 ≟ "H", C230 + 1, C230 - 1) → C231
  1233. If(A232 ≟ "H", C231 + 1, C231 - 1) → C232
  1234. If(A233 ≟ "H", C232 + 1, C232 - 1) → C233
  1235. If(A234 ≟ "H", C233 + 1, C233 - 1) → C234
  1236. If(A235 ≟ "H", C234 + 1, C234 - 1) → C235
  1237. If(A236 ≟ "H", C235 + 1, C235 - 1) → C236
  1238. If(A237 ≟ "H", C236 + 1, C236 - 1) → C237
  1239. If(A238 ≟ "H", C237 + 1, C237 - 1) → C238
  1240. If(A239 ≟ "H", C238 + 1, C238 - 1) → C239
  1241. If(A240 ≟ "H", C239 + 1, C239 - 1) → C240
  1242. If(A241 ≟ "H", C240 + 1, C240 - 1) → C241
  1243. If(A242 ≟ "H", C241 + 1, C241 - 1) → C242
  1244. If(A243 ≟ "H", C242 + 1, C242 - 1) → C243
  1245. If(A244 ≟ "H", C243 + 1, C243 - 1) → C244
  1246. If(A245 ≟ "H", C244 + 1, C244 - 1) → C245
  1247. If(A246 ≟ "H", C245 + 1, C245 - 1) → C246
  1248. If(A247 ≟ "H", C246 + 1, C246 - 1) → C247
  1249. If(A248 ≟ "H", C247 + 1, C247 - 1) → C248
  1250. If(A249 ≟ "H", C248 + 1, C248 - 1) → C249
  1251. If(A250 ≟ "H", C249 + 1, C249 - 1) → C250
  1252. If(A251 ≟ "H", C250 + 1, C250 - 1) → C251
  1253. If(A252 ≟ "H", C251 + 1, C251 - 1) → C252
  1254. If(A253 ≟ "H", C252 + 1, C252 - 1) → C253
  1255. If(A254 ≟ "H", C253 + 1, C253 - 1) → C254
  1256. If(A255 ≟ "H", C254 + 1, C254 - 1) → C255
  1257. If(A256 ≟ "H", C255 + 1, C255 - 1) → C256
  1258. If(A257 ≟ "H", C256 + 1, C256 - 1) → C257
  1259. If(A258 ≟ "H", C257 + 1, C257 - 1) → C258
  1260. If(A259 ≟ "H", C258 + 1, C258 - 1) → C259
  1261. If(A260 ≟ "H", C259 + 1, C259 - 1) → C260
  1262. If(A261 ≟ "H", C260 + 1, C260 - 1) → C261
  1263. If(A262 ≟ "H", C261 + 1, C261 - 1) → C262
  1264. If(A263 ≟ "H", C262 + 1, C262 - 1) → C263
  1265. If(A264 ≟ "H", C263 + 1, C263 - 1) → C264
  1266. If(A265 ≟ "H", C264 + 1, C264 - 1) → C265
  1267. If(A266 ≟ "H", C265 + 1, C265 - 1) → C266
  1268. If(A267 ≟ "H", C266 + 1, C266 - 1) → C267
  1269. If(A268 ≟ "H", C267 + 1, C267 - 1) → C268
  1270. If(A269 ≟ "H", C268 + 1, C268 - 1) → C269
  1271. If(A270 ≟ "H", C269 + 1, C269 - 1) → C270
  1272. If(A271 ≟ "H", C270 + 1, C270 - 1) → C271
  1273. If(A272 ≟ "H", C271 + 1, C271 - 1) → C272
  1274. If(A273 ≟ "H", C272 + 1, C272 - 1) → C273
  1275. If(A274 ≟ "H", C273 + 1, C273 - 1) → C274
  1276. If(A275 ≟ "H", C274 + 1, C274 - 1) → C275
  1277. If(A276 ≟ "H", C275 + 1, C275 - 1) → C276
  1278. If(A277 ≟ "H", C276 + 1, C276 - 1) → C277
  1279. If(A278 ≟ "H", C277 + 1, C277 - 1) → C278
  1280. If(A279 ≟ "H", C278 + 1, C278 - 1) → C279
  1281. If(A280 ≟ "H", C279 + 1, C279 - 1) → C280
  1282. If(A281 ≟ "H", C280 + 1, C280 - 1) → C281
  1283. If(A282 ≟ "H", C281 + 1, C281 - 1) → C282
  1284. If(A283 ≟ "H", C282 + 1, C282 - 1) → C283
  1285. If(A284 ≟ "H", C283 + 1, C283 - 1) → C284
  1286. If(A285 ≟ "H", C284 + 1, C284 - 1) → C285
  1287. If(A286 ≟ "H", C285 + 1, C285 - 1) → C286
  1288. If(A287 ≟ "H", C286 + 1, C286 - 1) → C287
  1289. If(A288 ≟ "H", C287 + 1, C287 - 1) → C288
  1290. If(A289 ≟ "H", C288 + 1, C288 - 1) → C289
  1291. If(A290 ≟ "H", C289 + 1, C289 - 1) → C290
  1292. If(A291 ≟ "H", C290 + 1, C290 - 1) → C291
  1293. If(A292 ≟ "H", C291 + 1, C291 - 1) → C292
  1294. If(A293 ≟ "H", C292 + 1, C292 - 1) → C293
  1295. If(A294 ≟ "H", C293 + 1, C293 - 1) → C294
  1296. If(A295 ≟ "H", C294 + 1, C294 - 1) → C295
  1297. If(A296 ≟ "H", C295 + 1, C295 - 1) → C296
  1298. If(A297 ≟ "H", C296 + 1, C296 - 1) → C297
  1299. If(A298 ≟ "H", C297 + 1, C297 - 1) → C298
  1300. If(A299 ≟ "H", C298 + 1, C298 - 1) → C299
  1301. If(A300 ≟ "H", C299 + 1, C299 - 1) → C300
  1302. If(A301 ≟ "H", C300 + 1, C300 - 1) → C301
  1303. If(A302 ≟ "H", C301 + 1, C301 - 1) → C302
  1304. If(A303 ≟ "H", C302 + 1, C302 - 1) → C303
  1305. If(A304 ≟ "H", C303 + 1, C303 - 1) → C304
  1306. If(A305 ≟ "H", C304 + 1, C304 - 1) → C305
  1307. If(A306 ≟ "H", C305 + 1, C305 - 1) → C306
  1308. If(A307 ≟ "H", C306 + 1, C306 - 1) → C307
  1309. If(A308 ≟ "H", C307 + 1, C307 - 1) → C308
  1310. If(A309 ≟ "H", C308 + 1, C308 - 1) → C309
  1311. If(A310 ≟ "H", C309 + 1, C309 - 1) → C310
  1312. If(A311 ≟ "H", C310 + 1, C310 - 1) → C311
  1313. If(A312 ≟ "H", C311 + 1, C311 - 1) → C312
  1314. If(A313 ≟ "H", C312 + 1, C312 - 1) → C313
  1315. If(A314 ≟ "H", C313 + 1, C313 - 1) → C314
  1316. If(A315 ≟ "H", C314 + 1, C314 - 1) → C315
  1317. If(A316 ≟ "H", C315 + 1, C315 - 1) → C316
  1318. If(A317 ≟ "H", C316 + 1, C316 - 1) → C317
  1319. If(A318 ≟ "H", C317 + 1, C317 - 1) → C318
  1320. If(A319 ≟ "H", C318 + 1, C318 - 1) → C319
  1321. If(A320 ≟ "H", C319 + 1, C319 - 1) → C320
  1322. If(A321 ≟ "H", C320 + 1, C320 - 1) → C321
  1323. If(A322 ≟ "H", C321 + 1, C321 - 1) → C322
  1324. If(A323 ≟ "H", C322 + 1, C322 - 1) → C323
  1325. If(A324 ≟ "H", C323 + 1, C323 - 1) → C324
  1326. If(A325 ≟ "H", C324 + 1, C324 - 1) → C325
  1327. If(A326 ≟ "H", C325 + 1, C325 - 1) → C326
  1328. If(A327 ≟ "H", C326 + 1, C326 - 1) → C327
  1329. If(A328 ≟ "H", C327 + 1, C327 - 1) → C328
  1330. If(A329 ≟ "H", C328 + 1, C328 - 1) → C329
  1331. If(A330 ≟ "H", C329 + 1, C329 - 1) → C330
  1332. If(A331 ≟ "H", C330 + 1, C330 - 1) → C331
  1333. If(A332 ≟ "H", C331 + 1, C331 - 1) → C332
  1334. If(A333 ≟ "H", C332 + 1, C332 - 1) → C333
  1335. If(A334 ≟ "H", C333 + 1, C333 - 1) → C334
  1336. If(A335 ≟ "H", C334 + 1, C334 - 1) → C335
  1337. If(A336 ≟ "H", C335 + 1, C335 - 1) → C336
  1338. If(A337 ≟ "H", C336 + 1, C336 - 1) → C337
  1339. If(A338 ≟ "H", C337 + 1, C337 - 1) → C338
  1340. If(A339 ≟ "H", C338 + 1, C338 - 1) → C339
  1341. If(A340 ≟ "H", C339 + 1, C339 - 1) → C340
  1342. If(A341 ≟ "H", C340 + 1, C340 - 1) → C341
  1343. If(A342 ≟ "H", C341 + 1, C341 - 1) → C342
  1344. If(A343 ≟ "H", C342 + 1, C342 - 1) → C343
  1345. If(A344 ≟ "H", C343 + 1, C343 - 1) → C344
  1346. If(A345 ≟ "H", C344 + 1, C344 - 1) → C345
  1347. If(A346 ≟ "H", C345 + 1, C345 - 1) → C346
  1348. If(A347 ≟ "H", C346 + 1, C346 - 1) → C347
  1349. If(A348 ≟ "H", C347 + 1, C347 - 1) → C348
  1350. If(A349 ≟ "H", C348 + 1, C348 - 1) → C349
  1351. If(A350 ≟ "H", C349 + 1, C349 - 1) → C350
  1352. If(A351 ≟ "H", C350 + 1, C350 - 1) → C351
  1353. If(A352 ≟ "H", C351 + 1, C351 - 1) → C352
  1354. If(A353 ≟ "H", C352 + 1, C352 - 1) → C353
  1355. If(A354 ≟ "H", C353 + 1, C353 - 1) → C354
  1356. If(A355 ≟ "H", C354 + 1, C354 - 1) → C355
  1357. If(A356 ≟ "H", C355 + 1, C355 - 1) → C356
  1358. If(A357 ≟ "H", C356 + 1, C356 - 1) → C357
  1359. If(A358 ≟ "H", C357 + 1, C357 - 1) → C358
  1360. If(A359 ≟ "H", C358 + 1, C358 - 1) → C359
  1361. If(A360 ≟ "H", C359 + 1, C359 - 1) → C360
  1362. If(A361 ≟ "H", C360 + 1, C360 - 1) → C361
  1363. If(A362 ≟ "H", C361 + 1, C361 - 1) → C362
  1364. If(A363 ≟ "H", C362 + 1, C362 - 1) → C363
  1365. If(A364 ≟ "H", C363 + 1, C363 - 1) → C364
  1366. If(A365 ≟ "H", C364 + 1, C364 - 1) → C365
  1367. If(A366 ≟ "H", C365 + 1, C365 - 1) → C366
  1368. If(A367 ≟ "H", C366 + 1, C366 - 1) → C367
  1369. If(A368 ≟ "H", C367 + 1, C367 - 1) → C368
  1370. If(A369 ≟ "H", C368 + 1, C368 - 1) → C369
  1371. If(A370 ≟ "H", C369 + 1, C369 - 1) → C370
  1372. If(A371 ≟ "H", C370 + 1, C370 - 1) → C371
  1373. If(A372 ≟ "H", C371 + 1, C371 - 1) → C372
  1374. If(A373 ≟ "H", C372 + 1, C372 - 1) → C373
  1375. If(A374 ≟ "H", C373 + 1, C373 - 1) → C374
  1376. If(A375 ≟ "H", C374 + 1, C374 - 1) → C375
  1377. If(A376 ≟ "H", C375 + 1, C375 - 1) → C376
  1378. If(A377 ≟ "H", C376 + 1, C376 - 1) → C377
  1379. If(A378 ≟ "H", C377 + 1, C377 - 1) → C378
  1380. If(A379 ≟ "H", C378 + 1, C378 - 1) → C379
  1381. If(A380 ≟ "H", C379 + 1, C379 - 1) → C380
  1382. If(A381 ≟ "H", C380 + 1, C380 - 1) → C381
  1383. If(A382 ≟ "H", C381 + 1, C381 - 1) → C382
  1384. If(A383 ≟ "H", C382 + 1, C382 - 1) → C383
  1385. If(A384 ≟ "H", C383 + 1, C383 - 1) → C384
  1386. If(A385 ≟ "H", C384 + 1, C384 - 1) → C385
  1387. If(A386 ≟ "H", C385 + 1, C385 - 1) → C386
  1388. If(A387 ≟ "H", C386 + 1, C386 - 1) → C387
  1389. If(A388 ≟ "H", C387 + 1, C387 - 1) → C388
  1390. If(A389 ≟ "H", C388 + 1, C388 - 1) → C389
  1391. If(A390 ≟ "H", C389 + 1, C389 - 1) → C390
  1392. If(A391 ≟ "H", C390 + 1, C390 - 1) → C391
  1393. If(A392 ≟ "H", C391 + 1, C391 - 1) → C392
  1394. If(A393 ≟ "H", C392 + 1, C392 - 1) → C393
  1395. If(A394 ≟ "H", C393 + 1, C393 - 1) → C394
  1396. If(A395 ≟ "H", C394 + 1, C394 - 1) → C395
  1397. If(A396 ≟ "H", C395 + 1, C395 - 1) → C396
  1398. If(A397 ≟ "H", C396 + 1, C396 - 1) → C397
  1399. If(A398 ≟ "H", C397 + 1, C397 - 1) → C398
  1400. If(A399 ≟ "H", C398 + 1, C398 - 1) → C399
  1401. If(A400 ≟ "H", C399 + 1, C399 - 1) → C400
  1402. If(A401 ≟ "H", C400 + 1, C400 - 1) → C401
  1403. If(A402 ≟ "H", C401 + 1, C401 - 1) → C402
  1404. If(A403 ≟ "H", C402 + 1, C402 - 1) → C403
  1405. If(A404 ≟ "H", C403 + 1, C403 - 1) → C404
  1406. If(A405 ≟ "H", C404 + 1, C404 - 1) → C405
  1407. If(A406 ≟ "H", C405 + 1, C405 - 1) → C406
  1408. If(A407 ≟ "H", C406 + 1, C406 - 1) → C407
  1409. If(A408 ≟ "H", C407 + 1, C407 - 1) → C408
  1410. If(A409 ≟ "H", C408 + 1, C408 - 1) → C409
  1411. If(A410 ≟ "H", C409 + 1, C409 - 1) → C410
  1412. If(A411 ≟ "H", C410 + 1, C410 - 1) → C411
  1413. If(A412 ≟ "H", C411 + 1, C411 - 1) → C412
  1414. If(A413 ≟ "H", C412 + 1, C412 - 1) → C413
  1415. If(A414 ≟ "H", C413 + 1, C413 - 1) → C414
  1416. If(A415 ≟ "H", C414 + 1, C414 - 1) → C415
  1417. If(A416 ≟ "H", C415 + 1, C415 - 1) → C416
  1418. If(A417 ≟ "H", C416 + 1, C416 - 1) → C417
  1419. If(A418 ≟ "H", C417 + 1, C417 - 1) → C418
  1420. If(A419 ≟ "H", C418 + 1, C418 - 1) → C419
  1421. If(A420 ≟ "H", C419 + 1, C419 - 1) → C420
  1422. If(A421 ≟ "H", C420 + 1, C420 - 1) → C421
  1423. If(A422 ≟ "H", C421 + 1, C421 - 1) → C422
  1424. If(A423 ≟ "H", C422 + 1, C422 - 1) → C423
  1425. If(A424 ≟ "H", C423 + 1, C423 - 1) → C424
  1426. If(A425 ≟ "H", C424 + 1, C424 - 1) → C425
  1427. If(A426 ≟ "H", C425 + 1, C425 - 1) → C426
  1428. If(A427 ≟ "H", C426 + 1, C426 - 1) → C427
  1429. If(A428 ≟ "H", C427 + 1, C427 - 1) → C428
  1430. If(A429 ≟ "H", C428 + 1, C428 - 1) → C429
  1431. If(A430 ≟ "H", C429 + 1, C429 - 1) → C430
  1432. If(A431 ≟ "H", C430 + 1, C430 - 1) → C431
  1433. If(A432 ≟ "H", C431 + 1, C431 - 1) → C432
  1434. If(A433 ≟ "H", C432 + 1, C432 - 1) → C433
  1435. If(A434 ≟ "H", C433 + 1, C433 - 1) → C434
  1436. If(A435 ≟ "H", C434 + 1, C434 - 1) → C435
  1437. If(A436 ≟ "H", C435 + 1, C435 - 1) → C436
  1438. If(A437 ≟ "H", C436 + 1, C436 - 1) → C437
  1439. If(A438 ≟ "H", C437 + 1, C437 - 1) → C438
  1440. If(A439 ≟ "H", C438 + 1, C438 - 1) → C439
  1441. If(A440 ≟ "H", C439 + 1, C439 - 1) → C440
  1442. If(A441 ≟ "H", C440 + 1, C440 - 1) → C441
  1443. If(A442 ≟ "H", C441 + 1, C441 - 1) → C442
  1444. If(A443 ≟ "H", C442 + 1, C442 - 1) → C443
  1445. If(A444 ≟ "H", C443 + 1, C443 - 1) → C444
  1446. If(A445 ≟ "H", C444 + 1, C444 - 1) → C445
  1447. If(A446 ≟ "H", C445 + 1, C445 - 1) → C446
  1448. If(A447 ≟ "H", C446 + 1, C446 - 1) → C447
  1449. If(A448 ≟ "H", C447 + 1, C447 - 1) → C448
  1450. If(A449 ≟ "H", C448 + 1, C448 - 1) → C449
  1451. If(A450 ≟ "H", C449 + 1, C449 - 1) → C450
  1452. If(A451 ≟ "H", C450 + 1, C450 - 1) → C451
  1453. If(A452 ≟ "H", C451 + 1, C451 - 1) → C452
  1454. If(A453 ≟ "H", C452 + 1, C452 - 1) → C453
  1455. If(A454 ≟ "H", C453 + 1, C453 - 1) → C454
  1456. If(A455 ≟ "H", C454 + 1, C454 - 1) → C455
  1457. If(A456 ≟ "H", C455 + 1, C455 - 1) → C456
  1458. If(A457 ≟ "H", C456 + 1, C456 - 1) → C457
  1459. If(A458 ≟ "H", C457 + 1, C457 - 1) → C458
  1460. If(A459 ≟ "H", C458 + 1, C458 - 1) → C459
  1461. If(A460 ≟ "H", C459 + 1, C459 - 1) → C460
  1462. If(A461 ≟ "H", C460 + 1, C460 - 1) → C461
  1463. If(A462 ≟ "H", C461 + 1, C461 - 1) → C462
  1464. If(A463 ≟ "H", C462 + 1, C462 - 1) → C463
  1465. If(A464 ≟ "H", C463 + 1, C463 - 1) → C464
  1466. If(A465 ≟ "H", C464 + 1, C464 - 1) → C465
  1467. If(A466 ≟ "H", C465 + 1, C465 - 1) → C466
  1468. If(A467 ≟ "H", C466 + 1, C466 - 1) → C467
  1469. If(A468 ≟ "H", C467 + 1, C467 - 1) → C468
  1470. If(A469 ≟ "H", C468 + 1, C468 - 1) → C469
  1471. If(A470 ≟ "H", C469 + 1, C469 - 1) → C470
  1472. If(A471 ≟ "H", C470 + 1, C470 - 1) → C471
  1473. If(A472 ≟ "H", C471 + 1, C471 - 1) → C472
  1474. If(A473 ≟ "H", C472 + 1, C472 - 1) → C473
  1475. If(A474 ≟ "H", C473 + 1, C473 - 1) → C474
  1476. If(A475 ≟ "H", C474 + 1, C474 - 1) → C475
  1477. If(A476 ≟ "H", C475 + 1, C475 - 1) → C476
  1478. If(A477 ≟ "H", C476 + 1, C476 - 1) → C477
  1479. If(A478 ≟ "H", C477 + 1, C477 - 1) → C478
  1480. If(A479 ≟ "H", C478 + 1, C478 - 1) → C479
  1481. If(A480 ≟ "H", C479 + 1, C479 - 1) → C480
  1482. If(A481 ≟ "H", C480 + 1, C480 - 1) → C481
  1483. If(A482 ≟ "H", C481 + 1, C481 - 1) → C482
  1484. If(A483 ≟ "H", C482 + 1, C482 - 1) → C483
  1485. If(A484 ≟ "H", C483 + 1, C483 - 1) → C484
  1486. If(A485 ≟ "H", C484 + 1, C484 - 1) → C485
  1487. If(A486 ≟ "H", C485 + 1, C485 - 1) → C486
  1488. If(A487 ≟ "H", C486 + 1, C486 - 1) → C487
  1489. If(A488 ≟ "H", C487 + 1, C487 - 1) → C488
  1490. If(A489 ≟ "H", C488 + 1, C488 - 1) → C489
  1491. If(A490 ≟ "H", C489 + 1, C489 - 1) → C490
  1492. If(A491 ≟ "H", C490 + 1, C490 - 1) → C491
  1493. If(A492 ≟ "H", C491 + 1, C491 - 1) → C492
  1494. If(A493 ≟ "H", C492 + 1, C492 - 1) → C493
  1495. If(A494 ≟ "H", C493 + 1, C493 - 1) → C494
  1496. If(A495 ≟ "H", C494 + 1, C494 - 1) → C495
  1497. If(A496 ≟ "H", C495 + 1, C495 - 1) → C496
  1498. If(A497 ≟ "H", C496 + 1, C496 - 1) → C497
  1499. If(A498 ≟ "H", C497 + 1, C497 - 1) → C498
  1500. If(A499 ≟ "H", C498 + 1, C498 - 1) → C499
  1501. If(A500 ≟ "H", C499 + 1, C499 - 1) → C500
  1502. Sequence((w, count(w)), w, 1, 500) → L_1
  1503. Sequence(Segment[L_1(w), L_1(w + 1)], w, 1, 499) → L_2
  1504. Max(streaks) → c
  1505. Sequence(CountIf[x ≟ w, streaks], w, 1, c) → L_3
  1506. Sequence(w, w, 1, c) → L_4
  1507. TableText({Join[{{"streak"}, L_4}], Join[{{"how many"}, L_3}]}, "c|h") → text1
  1508. Point(yAxis) → A
  1509. Point(yAxis) → B
  1510. Sequence(count(w), w, 50, 500, 50) → L_5
  1511. Sequence(w, w, 50, 500, 50) → L_6
  1512. TableText({Join[{{"flips"}, L_6}], Join[{{"H/T"}, L_5}]}, "c|h") → text4
  1513. Point(L_1) → C