积极 AI Logo 积极 AI

无放回抽样：超几何分布

无放回抽样：超几何分布
几何画板及绘图内容加载中，请稍等……
2015-12-15 13:22
概率统计
①本范例演示了从一个包含红黄两种球的罐子中抽取一定数量球时，计算特定数量红球出现的概率；②涉及的核心数学概念为超几何分布、概率统计；③作图要点提炼自构造摘要，使用了Random、Sequence、Product、CircumcircleArc、If、Min、Sum、Segment、Binomial、CountIf、HyperGeometric等GeoGebra命令与对象；④适合高中及以上数学学习者，用于理解超几何分布的实际应用与可视化。

GeoGebra 命令及参数

  1. Random(1, N) → a
  2. Sequence((k - j) / (N - j), j, 0, n - 1, 1) → list1
  3. Product(list1) → b
  4. Sequence(j, j, 1, k) → list2
  5. Sequence(C + ℯ^((((2 * π) * ί) * j / Y)), j, 0, Y) → list5
  6. Sequence(B + (2 * ℯ^((((2 * π) * ί) * j / k))), j, 0, k) → list4
  7. CircumcircleArc(A, D, E) → e
  8. Random(1, N) → B15
  9. Random(1, N) → B16
  10. Random(1, N) → B17
  11. Random(1, N) → B18
  12. Random(1, N) → B19
  13. Random(1, N) → B20
  14. Random(1, N) → B21
  15. Random(1, N) → B22
  16. Random(1, N) → B23
  17. Random(1, N) → B24
  18. Random(1, N) → B25
  19. Random(1, N) → B26
  20. Random(1, N) → B27
  21. Random(1, N) → B28
  22. Random(1, N) → B29
  23. Random(1, N) → B30
  24. Random(1, N) → B31
  25. Random(1, N) → B32
  26. Random(1, N) → B33
  27. Random(1, N) → B34
  28. Random(1, N) → B35
  29. Random(1, N) → B36
  30. Random(1, N) → B37
  31. Random(1, N) → B38
  32. Random(1, N) → B39
  33. Random(1, N) → B40
  34. Random(1, N) → B41
  35. Random(1, N) → B42
  36. Random(1, N) → B43
  37. Random(1, N) → B44
  38. Random(1, N) → B45
  39. Random(1, N) → B46
  40. Random(1, N) → B47
  41. Random(1, N) → B48
  42. Random(1, N) → B49
  43. Random(1, N) → B50
  44. Random(1, N) → B51
  45. Random(1, N) → B52
  46. Random(1, N) → B53
  47. Random(1, N) → B54
  48. Random(1, N) → B55
  49. Random(1, N) → B56
  50. Random(1, N) → B57
  51. Random(1, N) → B58
  52. Random(1, N) → B59
  53. Random(1, N) → B60
  54. Random(1, N) → B61
  55. Random(1, N) → B62
  56. Random(1, N) → B63
  57. Random(1, N) → B64
  58. Random(1, N) → B65
  59. Random(1, N) → B66
  60. Random(1, N) → B67
  61. Random(1, N) → B68
  62. Random(1, N) → B69
  63. Random(1, N) → B70
  64. Random(1, N) → B71
  65. Random(1, N) → B72
  66. Random(1, N) → B73
  67. Random(1, N) → B74
  68. Random(1, N) → B75
  69. Random(1, N) → B76
  70. Random(1, N) → B77
  71. Random(1, N) → B78
  72. Random(1, N) → B79
  73. Random(1, N) → B80
  74. Random(1, N) → B81
  75. Random(1, N) → B82
  76. Random(1, N) → B83
  77. Random(1, N) → B84
  78. Random(1, N) → B85
  79. Random(1, N) → B86
  80. Random(1, N) → B87
  81. Random(1, N) → B88
  82. Random(1, N) → B89
  83. Random(1, N) → B90
  84. Random(1, N) → B91
  85. Random(1, N) → B92
  86. Random(1, N) → B93
  87. Random(1, N) → B94
  88. Random(1, N) → B95
  89. Random(1, N) → B96
  90. Random(1, N) → B97
  91. Random(1, N) → B98
  92. Random(1, N) → B99
  93. Random(1, N) → B100
  94. Random(1, N) → B101
  95. Random(1, N) → B102
  96. Random(1, N) → B103
  97. Random(1, N) → B104
  98. Random(1, N) → B105
  99. Random(1, N) → B106
  100. Random(1, N) → B107
  101. Random(1, N) → B108
  102. Random(1, N) → B109
  103. Random(1, N) → B110
  104. Random(1, N) → B111
  105. Random(1, N) → B112
  106. Random(1, N) → B113
  107. Random(1, N) → B114
  108. If(B15 < k + 1, 1, 0) → C15
  109. If(B16 < k + 1, 1, 0) → C16
  110. If(B17 < k + 1, 1, 0) → C17
  111. If(B18 < k + 1, 1, 0) → C18
  112. If(B19 < k + 1, 1, 0) → C19
  113. If(B20 < k + 1, 1, 0) → C20
  114. If(B21 < k + 1, 1, 0) → C21
  115. If(B22 < k + 1, 1, 0) → C22
  116. If(B23 < k + 1, 1, 0) → C23
  117. If(B24 < k + 1, 1, 0) → C24
  118. If(B25 < k + 1, 1, 0) → C25
  119. If(B26 < k + 1, 1, 0) → C26
  120. If(B27 < k + 1, 1, 0) → C27
  121. If(B28 < k + 1, 1, 0) → C28
  122. If(B29 < k + 1, 1, 0) → C29
  123. If(B30 < k + 1, 1, 0) → C30
  124. If(B31 < k + 1, 1, 0) → C31
  125. If(B32 < k + 1, 1, 0) → C32
  126. If(B33 < k + 1, 1, 0) → C33
  127. If(B34 < k + 1, 1, 0) → C34
  128. If(B35 < k + 1, 1, 0) → C35
  129. If(B36 < k + 1, 1, 0) → C36
  130. If(B37 < k + 1, 1, 0) → C37
  131. If(B38 < k + 1, 1, 0) → C38
  132. If(B39 < k + 1, 1, 0) → C39
  133. If(B40 < k + 1, 1, 0) → C40
  134. If(B41 < k + 1, 1, 0) → C41
  135. If(B42 < k + 1, 1, 0) → C42
  136. If(B43 < k + 1, 1, 0) → C43
  137. If(B44 < k + 1, 1, 0) → C44
  138. If(B45 < k + 1, 1, 0) → C45
  139. If(B46 < k + 1, 1, 0) → C46
  140. If(B47 < k + 1, 1, 0) → C47
  141. If(B48 < k + 1, 1, 0) → C48
  142. If(B49 < k + 1, 1, 0) → C49
  143. If(B50 < k + 1, 1, 0) → C50
  144. If(B51 < k + 1, 1, 0) → C51
  145. If(B52 < k + 1, 1, 0) → C52
  146. If(B53 < k + 1, 1, 0) → C53
  147. If(B54 < k + 1, 1, 0) → C54
  148. If(B55 < k + 1, 1, 0) → C55
  149. If(B56 < k + 1, 1, 0) → C56
  150. If(B57 < k + 1, 1, 0) → C57
  151. If(B58 < k + 1, 1, 0) → C58
  152. If(B59 < k + 1, 1, 0) → C59
  153. If(B60 < k + 1, 1, 0) → C60
  154. If(B61 < k + 1, 1, 0) → C61
  155. If(B62 < k + 1, 1, 0) → C62
  156. If(B63 < k + 1, 1, 0) → C63
  157. If(B64 < k + 1, 1, 0) → C64
  158. If(B65 < k + 1, 1, 0) → C65
  159. If(B66 < k + 1, 1, 0) → C66
  160. If(B67 < k + 1, 1, 0) → C67
  161. If(B68 < k + 1, 1, 0) → C68
  162. If(B69 < k + 1, 1, 0) → C69
  163. If(B70 < k + 1, 1, 0) → C70
  164. If(B71 < k + 1, 1, 0) → C71
  165. If(B72 < k + 1, 1, 0) → C72
  166. If(B73 < k + 1, 1, 0) → C73
  167. If(B74 < k + 1, 1, 0) → C74
  168. If(B75 < k + 1, 1, 0) → C75
  169. If(B76 < k + 1, 1, 0) → C76
  170. If(B77 < k + 1, 1, 0) → C77
  171. If(B78 < k + 1, 1, 0) → C78
  172. If(B79 < k + 1, 1, 0) → C79
  173. If(B80 < k + 1, 1, 0) → C80
  174. If(B81 < k + 1, 1, 0) → C81
  175. If(B82 < k + 1, 1, 0) → C82
  176. If(B83 < k + 1, 1, 0) → C83
  177. If(B84 < k + 1, 1, 0) → C84
  178. If(B85 < k + 1, 1, 0) → C85
  179. If(B86 < k + 1, 1, 0) → C86
  180. If(B87 < k + 1, 1, 0) → C87
  181. If(B88 < k + 1, 1, 0) → C88
  182. If(B89 < k + 1, 1, 0) → C89
  183. If(B90 < k + 1, 1, 0) → C90
  184. If(B91 < k + 1, 1, 0) → C91
  185. If(B92 < k + 1, 1, 0) → C92
  186. If(B93 < k + 1, 1, 0) → C93
  187. If(B94 < k + 1, 1, 0) → C94
  188. If(B95 < k + 1, 1, 0) → C95
  189. If(B96 < k + 1, 1, 0) → C96
  190. If(B97 < k + 1, 1, 0) → C97
  191. If(B98 < k + 1, 1, 0) → C98
  192. If(B99 < k + 1, 1, 0) → C99
  193. If(B100 < k + 1, 1, 0) → C100
  194. If(B101 < k + 1, 1, 0) → C101
  195. If(B102 < k + 1, 1, 0) → C102
  196. If(B103 < k + 1, 1, 0) → C103
  197. If(B104 < k + 1, 1, 0) → C104
  198. If(B105 < k + 1, 1, 0) → C105
  199. If(B106 < k + 1, 1, 0) → C106
  200. If(B107 < k + 1, 1, 0) → C107
  201. If(B108 < k + 1, 1, 0) → C108
  202. If(B109 < k + 1, 1, 0) → C109
  203. If(B110 < k + 1, 1, 0) → C110
  204. If(B111 < k + 1, 1, 0) → C111
  205. If(B112 < k + 1, 1, 0) → C112
  206. If(B113 < k + 1, 1, 0) → C113
  207. If(B114 < k + 1, 1, 0) → C114
  208. Random(2, N) → D15
  209. Random(2, N) → D16
  210. Random(2, N) → D17
  211. Random(2, N) → D18
  212. Random(2, N) → D19
  213. Random(2, N) → D20
  214. Random(2, N) → D21
  215. Random(2, N) → D22
  216. Random(2, N) → D23
  217. Random(2, N) → D24
  218. Random(2, N) → D25
  219. Random(2, N) → D26
  220. Random(2, N) → D27
  221. Random(2, N) → D28
  222. Random(2, N) → D29
  223. Random(2, N) → D30
  224. Random(2, N) → D31
  225. Random(2, N) → D32
  226. Random(2, N) → D33
  227. Random(2, N) → D34
  228. Random(2, N) → D35
  229. Random(2, N) → D36
  230. Random(2, N) → D37
  231. Random(2, N) → D38
  232. Random(2, N) → D39
  233. Random(2, N) → D40
  234. Random(2, N) → D41
  235. Random(2, N) → D42
  236. Random(2, N) → D43
  237. Random(2, N) → D44
  238. Random(2, N) → D45
  239. Random(2, N) → D46
  240. Random(2, N) → D47
  241. Random(2, N) → D48
  242. Random(2, N) → D49
  243. Random(2, N) → D50
  244. Random(2, N) → D51
  245. Random(2, N) → D52
  246. Random(2, N) → D53
  247. Random(2, N) → D54
  248. Random(2, N) → D55
  249. Random(2, N) → D56
  250. Random(2, N) → D57
  251. Random(2, N) → D58
  252. Random(2, N) → D59
  253. Random(2, N) → D60
  254. Random(2, N) → D61
  255. Random(2, N) → D62
  256. Random(2, N) → D63
  257. Random(2, N) → D64
  258. Random(2, N) → D65
  259. Random(2, N) → D66
  260. Random(2, N) → D67
  261. Random(2, N) → D68
  262. Random(2, N) → D69
  263. Random(2, N) → D70
  264. Random(2, N) → D71
  265. Random(2, N) → D72
  266. Random(2, N) → D73
  267. Random(2, N) → D74
  268. Random(2, N) → D75
  269. Random(2, N) → D76
  270. Random(2, N) → D77
  271. Random(2, N) → D78
  272. Random(2, N) → D79
  273. Random(2, N) → D80
  274. Random(2, N) → D81
  275. Random(2, N) → D82
  276. Random(2, N) → D83
  277. Random(2, N) → D84
  278. Random(2, N) → D85
  279. Random(2, N) → D86
  280. Random(2, N) → D87
  281. Random(2, N) → D88
  282. Random(2, N) → D89
  283. Random(2, N) → D90
  284. Random(2, N) → D91
  285. Random(2, N) → D92
  286. Random(2, N) → D93
  287. Random(2, N) → D94
  288. Random(2, N) → D95
  289. Random(2, N) → D96
  290. Random(2, N) → D97
  291. Random(2, N) → D98
  292. Random(2, N) → D99
  293. Random(2, N) → D100
  294. Random(2, N) → D101
  295. Random(2, N) → D102
  296. Random(2, N) → D103
  297. Random(2, N) → D104
  298. Random(2, N) → D105
  299. Random(2, N) → D106
  300. Random(2, N) → D107
  301. Random(2, N) → D108
  302. Random(2, N) → D109
  303. Random(2, N) → D110
  304. Random(2, N) → D111
  305. Random(2, N) → D112
  306. Random(2, N) → D113
  307. Random(2, N) → D114
  308. If(D15 < k + 1, 1, 0) → E15
  309. If(D16 < k + 1, 1, 0) → E16
  310. If(D17 < k + 1, 1, 0) → E17
  311. If(D18 < k + 1, 1, 0) → E18
  312. If(D19 < k + 1, 1, 0) → E19
  313. If(D20 < k + 1, 1, 0) → E20
  314. If(D21 < k + 1, 1, 0) → E21
  315. If(D22 < k + 1, 1, 0) → E22
  316. If(D23 < k + 1, 1, 0) → E23
  317. If(D24 < k + 1, 1, 0) → E24
  318. If(D25 < k + 1, 1, 0) → E25
  319. If(D26 < k + 1, 1, 0) → E26
  320. If(D27 < k + 1, 1, 0) → E27
  321. If(D28 < k + 1, 1, 0) → E28
  322. If(D29 < k + 1, 1, 0) → E29
  323. If(D30 < k + 1, 1, 0) → E30
  324. If(D31 < k + 1, 1, 0) → E31
  325. If(D32 < k + 1, 1, 0) → E32
  326. If(D33 < k + 1, 1, 0) → E33
  327. If(D34 < k + 1, 1, 0) → E34
  328. If(D35 < k + 1, 1, 0) → E35
  329. If(D36 < k + 1, 1, 0) → E36
  330. If(D37 < k + 1, 1, 0) → E37
  331. If(D38 < k + 1, 1, 0) → E38
  332. If(D39 < k + 1, 1, 0) → E39
  333. If(D40 < k + 1, 1, 0) → E40
  334. If(D41 < k + 1, 1, 0) → E41
  335. If(D42 < k + 1, 1, 0) → E42
  336. If(D43 < k + 1, 1, 0) → E43
  337. If(D44 < k + 1, 1, 0) → E44
  338. If(D45 < k + 1, 1, 0) → E45
  339. If(D46 < k + 1, 1, 0) → E46
  340. If(D47 < k + 1, 1, 0) → E47
  341. If(D48 < k + 1, 1, 0) → E48
  342. If(D49 < k + 1, 1, 0) → E49
  343. If(D50 < k + 1, 1, 0) → E50
  344. If(D51 < k + 1, 1, 0) → E51
  345. If(D52 < k + 1, 1, 0) → E52
  346. If(D53 < k + 1, 1, 0) → E53
  347. If(D54 < k + 1, 1, 0) → E54
  348. If(D55 < k + 1, 1, 0) → E55
  349. If(D56 < k + 1, 1, 0) → E56
  350. If(D57 < k + 1, 1, 0) → E57
  351. If(D58 < k + 1, 1, 0) → E58
  352. If(D59 < k + 1, 1, 0) → E59
  353. If(D60 < k + 1, 1, 0) → E60
  354. If(D61 < k + 1, 1, 0) → E61
  355. If(D62 < k + 1, 1, 0) → E62
  356. If(D63 < k + 1, 1, 0) → E63
  357. If(D64 < k + 1, 1, 0) → E64
  358. If(D65 < k + 1, 1, 0) → E65
  359. If(D66 < k + 1, 1, 0) → E66
  360. If(D67 < k + 1, 1, 0) → E67
  361. If(D68 < k + 1, 1, 0) → E68
  362. If(D69 < k + 1, 1, 0) → E69
  363. If(D70 < k + 1, 1, 0) → E70
  364. If(D71 < k + 1, 1, 0) → E71
  365. If(D72 < k + 1, 1, 0) → E72
  366. If(D73 < k + 1, 1, 0) → E73
  367. If(D74 < k + 1, 1, 0) → E74
  368. If(D75 < k + 1, 1, 0) → E75
  369. If(D76 < k + 1, 1, 0) → E76
  370. If(D77 < k + 1, 1, 0) → E77
  371. If(D78 < k + 1, 1, 0) → E78
  372. If(D79 < k + 1, 1, 0) → E79
  373. If(D80 < k + 1, 1, 0) → E80
  374. If(D81 < k + 1, 1, 0) → E81
  375. If(D82 < k + 1, 1, 0) → E82
  376. If(D83 < k + 1, 1, 0) → E83
  377. If(D84 < k + 1, 1, 0) → E84
  378. If(D85 < k + 1, 1, 0) → E85
  379. If(D86 < k + 1, 1, 0) → E86
  380. If(D87 < k + 1, 1, 0) → E87
  381. If(D88 < k + 1, 1, 0) → E88
  382. If(D89 < k + 1, 1, 0) → E89
  383. If(D90 < k + 1, 1, 0) → E90
  384. If(D91 < k + 1, 1, 0) → E91
  385. If(D92 < k + 1, 1, 0) → E92
  386. If(D93 < k + 1, 1, 0) → E93
  387. If(D94 < k + 1, 1, 0) → E94
  388. If(D95 < k + 1, 1, 0) → E95
  389. If(D96 < k + 1, 1, 0) → E96
  390. If(D97 < k + 1, 1, 0) → E97
  391. If(D98 < k + 1, 1, 0) → E98
  392. If(D99 < k + 1, 1, 0) → E99
  393. If(D100 < k + 1, 1, 0) → E100
  394. If(D101 < k + 1, 1, 0) → E101
  395. If(D102 < k + 1, 1, 0) → E102
  396. If(D103 < k + 1, 1, 0) → E103
  397. If(D104 < k + 1, 1, 0) → E104
  398. If(D105 < k + 1, 1, 0) → E105
  399. If(D106 < k + 1, 1, 0) → E106
  400. If(D107 < k + 1, 1, 0) → E107
  401. If(D108 < k + 1, 1, 0) → E108
  402. If(D109 < k + 1, 1, 0) → E109
  403. If(D110 < k + 1, 1, 0) → E110
  404. If(D111 < k + 1, 1, 0) → E111
  405. If(D112 < k + 1, 1, 0) → E112
  406. If(D113 < k + 1, 1, 0) → E113
  407. If(D114 < k + 1, 1, 0) → E114
  408. Random(3, N) → F15
  409. If(F15 < k + 1, 1, 0) → G15
  410. If(n < 2, 1, E116) → E117
  411. If(n < 3, 1, G116) → G117
  412. Random(4, N) → H15
  413. If(H15 < k + 1, 1, 0) → I15
  414. Random(5, N) → J15
  415. If(J15 < k + 1, 1, 0) → K15
  416. If(n < 4, 1, I116) → I117
  417. If(n < 5, 1, K116) → K117
  418. Random(6, N) → L15
  419. If(L15 < k + 1, 1, 0) → M15
  420. If(n < 6, 1, M116) → M117
  421. Random(7, N) → N15
  422. If(N15 < k + 1, 1, 0) → O15
  423. If(n < 7, 1, O116) → O117
  424. Random(8, N) → P15
  425. If(P15 < k + 1, 1, 0) → Q15
  426. If(n < 8, 1, Q116) → Q117
  427. Random(9, N) → R15
  428. If(n < 9, 1, S116) → S117
  429. Min(C117:S117) → B117
  430. Random(3, N) → F16
  431. If(F16 < k + 1, 1, 0) → G16
  432. Random(3, N) → F17
  433. If(F17 < k + 1, 1, 0) → G17
  434. Random(3, N) → F18
  435. If(F18 < k + 1, 1, 0) → G18
  436. Random(3, N) → F19
  437. If(F19 < k + 1, 1, 0) → G19
  438. Random(3, N) → F20
  439. If(F20 < k + 1, 1, 0) → G20
  440. Random(3, N) → F21
  441. If(F21 < k + 1, 1, 0) → G21
  442. Random(3, N) → F22
  443. If(F22 < k + 1, 1, 0) → G22
  444. Random(3, N) → F23
  445. If(F23 < k + 1, 1, 0) → G23
  446. Random(3, N) → F24
  447. If(F24 < k + 1, 1, 0) → G24
  448. Random(3, N) → F25
  449. If(F25 < k + 1, 1, 0) → G25
  450. Random(3, N) → F26
  451. If(F26 < k + 1, 1, 0) → G26
  452. Random(3, N) → F27
  453. If(F27 < k + 1, 1, 0) → G27
  454. Random(3, N) → F28
  455. If(F28 < k + 1, 1, 0) → G28
  456. Random(3, N) → F29
  457. If(F29 < k + 1, 1, 0) → G29
  458. Random(3, N) → F30
  459. If(F30 < k + 1, 1, 0) → G30
  460. Random(3, N) → F31
  461. If(F31 < k + 1, 1, 0) → G31
  462. Random(3, N) → F32
  463. If(F32 < k + 1, 1, 0) → G32
  464. Random(3, N) → F33
  465. If(F33 < k + 1, 1, 0) → G33
  466. Random(3, N) → F34
  467. If(F34 < k + 1, 1, 0) → G34
  468. Random(3, N) → F35
  469. If(F35 < k + 1, 1, 0) → G35
  470. Random(3, N) → F36
  471. If(F36 < k + 1, 1, 0) → G36
  472. Random(3, N) → F37
  473. If(F37 < k + 1, 1, 0) → G37
  474. Random(3, N) → F38
  475. If(F38 < k + 1, 1, 0) → G38
  476. Random(3, N) → F39
  477. If(F39 < k + 1, 1, 0) → G39
  478. Random(3, N) → F40
  479. If(F40 < k + 1, 1, 0) → G40
  480. Random(3, N) → F41
  481. If(F41 < k + 1, 1, 0) → G41
  482. Random(3, N) → F42
  483. If(F42 < k + 1, 1, 0) → G42
  484. Random(3, N) → F43
  485. If(F43 < k + 1, 1, 0) → G43
  486. Random(3, N) → F44
  487. If(F44 < k + 1, 1, 0) → G44
  488. Random(3, N) → F45
  489. If(F45 < k + 1, 1, 0) → G45
  490. Random(3, N) → F46
  491. If(F46 < k + 1, 1, 0) → G46
  492. Random(3, N) → F47
  493. If(F47 < k + 1, 1, 0) → G47
  494. Random(3, N) → F48
  495. If(F48 < k + 1, 1, 0) → G48
  496. Random(3, N) → F49
  497. If(F49 < k + 1, 1, 0) → G49
  498. Random(3, N) → F50
  499. If(F50 < k + 1, 1, 0) → G50
  500. Random(3, N) → F51
  501. If(F51 < k + 1, 1, 0) → G51
  502. Random(3, N) → F52
  503. If(F52 < k + 1, 1, 0) → G52
  504. Random(3, N) → F53
  505. If(F53 < k + 1, 1, 0) → G53
  506. Random(3, N) → F54
  507. If(F54 < k + 1, 1, 0) → G54
  508. Random(3, N) → F55
  509. If(F55 < k + 1, 1, 0) → G55
  510. Random(3, N) → F56
  511. If(F56 < k + 1, 1, 0) → G56
  512. Random(3, N) → F57
  513. If(F57 < k + 1, 1, 0) → G57
  514. Random(3, N) → F58
  515. If(F58 < k + 1, 1, 0) → G58
  516. Random(3, N) → F59
  517. If(F59 < k + 1, 1, 0) → G59
  518. Random(3, N) → F60
  519. If(F60 < k + 1, 1, 0) → G60
  520. Random(3, N) → F61
  521. If(F61 < k + 1, 1, 0) → G61
  522. Random(3, N) → F62
  523. If(F62 < k + 1, 1, 0) → G62
  524. Random(3, N) → F63
  525. If(F63 < k + 1, 1, 0) → G63
  526. Random(3, N) → F64
  527. If(F64 < k + 1, 1, 0) → G64
  528. Random(3, N) → F65
  529. If(F65 < k + 1, 1, 0) → G65
  530. Random(3, N) → F66
  531. If(F66 < k + 1, 1, 0) → G66
  532. Random(3, N) → F67
  533. If(F67 < k + 1, 1, 0) → G67
  534. Random(3, N) → F68
  535. If(F68 < k + 1, 1, 0) → G68
  536. Random(3, N) → F69
  537. If(F69 < k + 1, 1, 0) → G69
  538. Random(3, N) → F70
  539. If(F70 < k + 1, 1, 0) → G70
  540. Random(3, N) → F71
  541. If(F71 < k + 1, 1, 0) → G71
  542. Random(3, N) → F72
  543. If(F72 < k + 1, 1, 0) → G72
  544. Random(3, N) → F73
  545. If(F73 < k + 1, 1, 0) → G73
  546. Random(3, N) → F74
  547. If(F74 < k + 1, 1, 0) → G74
  548. Random(3, N) → F75
  549. If(F75 < k + 1, 1, 0) → G75
  550. Random(3, N) → F76
  551. If(F76 < k + 1, 1, 0) → G76
  552. Random(3, N) → F77
  553. If(F77 < k + 1, 1, 0) → G77
  554. Random(3, N) → F78
  555. If(F78 < k + 1, 1, 0) → G78
  556. Random(3, N) → F79
  557. If(F79 < k + 1, 1, 0) → G79
  558. Random(3, N) → F80
  559. If(F80 < k + 1, 1, 0) → G80
  560. Random(3, N) → F81
  561. If(F81 < k + 1, 1, 0) → G81
  562. Random(3, N) → F82
  563. If(F82 < k + 1, 1, 0) → G82
  564. Random(3, N) → F83
  565. If(F83 < k + 1, 1, 0) → G83
  566. Random(3, N) → F84
  567. If(F84 < k + 1, 1, 0) → G84
  568. Random(3, N) → F85
  569. If(F85 < k + 1, 1, 0) → G85
  570. Random(3, N) → F86
  571. If(F86 < k + 1, 1, 0) → G86
  572. Random(3, N) → F87
  573. If(F87 < k + 1, 1, 0) → G87
  574. Random(3, N) → F88
  575. If(F88 < k + 1, 1, 0) → G88
  576. Random(3, N) → F89
  577. If(F89 < k + 1, 1, 0) → G89
  578. Random(3, N) → F90
  579. If(F90 < k + 1, 1, 0) → G90
  580. Random(3, N) → F91
  581. If(F91 < k + 1, 1, 0) → G91
  582. Random(3, N) → F92
  583. If(F92 < k + 1, 1, 0) → G92
  584. Random(3, N) → F93
  585. If(F93 < k + 1, 1, 0) → G93
  586. Random(3, N) → F94
  587. If(F94 < k + 1, 1, 0) → G94
  588. Random(3, N) → F95
  589. If(F95 < k + 1, 1, 0) → G95
  590. Random(3, N) → F96
  591. If(F96 < k + 1, 1, 0) → G96
  592. Random(3, N) → F97
  593. If(F97 < k + 1, 1, 0) → G97
  594. Random(3, N) → F98
  595. If(F98 < k + 1, 1, 0) → G98
  596. Random(3, N) → F99
  597. If(F99 < k + 1, 1, 0) → G99
  598. Random(3, N) → F100
  599. If(F100 < k + 1, 1, 0) → G100
  600. Random(3, N) → F101
  601. If(F101 < k + 1, 1, 0) → G101
  602. Random(3, N) → F102
  603. If(F102 < k + 1, 1, 0) → G102
  604. Random(3, N) → F103
  605. If(F103 < k + 1, 1, 0) → G103
  606. Random(3, N) → F104
  607. If(F104 < k + 1, 1, 0) → G104
  608. Random(3, N) → F105
  609. If(F105 < k + 1, 1, 0) → G105
  610. Random(3, N) → F106
  611. If(F106 < k + 1, 1, 0) → G106
  612. Random(3, N) → F107
  613. If(F107 < k + 1, 1, 0) → G107
  614. Random(3, N) → F108
  615. If(F108 < k + 1, 1, 0) → G108
  616. Random(3, N) → F109
  617. If(F109 < k + 1, 1, 0) → G109
  618. Random(3, N) → F110
  619. If(F110 < k + 1, 1, 0) → G110
  620. Random(3, N) → F111
  621. If(F111 < k + 1, 1, 0) → G111
  622. Random(3, N) → F112
  623. If(F112 < k + 1, 1, 0) → G112
  624. Random(3, N) → F113
  625. If(F113 < k + 1, 1, 0) → G113
  626. Random(3, N) → F114
  627. If(F114 < k + 1, 1, 0) → G114
  628. Random(4, N) → H16
  629. If(H16 < k + 1, 1, 0) → I16
  630. Random(4, N) → H17
  631. If(H17 < k + 1, 1, 0) → I17
  632. Random(4, N) → H18
  633. If(H18 < k + 1, 1, 0) → I18
  634. Random(4, N) → H19
  635. If(H19 < k + 1, 1, 0) → I19
  636. Random(4, N) → H20
  637. If(H20 < k + 1, 1, 0) → I20
  638. Random(4, N) → H21
  639. If(H21 < k + 1, 1, 0) → I21
  640. Random(4, N) → H22
  641. If(H22 < k + 1, 1, 0) → I22
  642. Random(4, N) → H23
  643. If(H23 < k + 1, 1, 0) → I23
  644. Random(4, N) → H24
  645. If(H24 < k + 1, 1, 0) → I24
  646. Random(4, N) → H25
  647. If(H25 < k + 1, 1, 0) → I25
  648. Random(4, N) → H26
  649. If(H26 < k + 1, 1, 0) → I26
  650. Random(4, N) → H27
  651. If(H27 < k + 1, 1, 0) → I27
  652. Random(4, N) → H28
  653. If(H28 < k + 1, 1, 0) → I28
  654. Random(4, N) → H29
  655. If(H29 < k + 1, 1, 0) → I29
  656. Random(4, N) → H30
  657. If(H30 < k + 1, 1, 0) → I30
  658. Random(4, N) → H31
  659. If(H31 < k + 1, 1, 0) → I31
  660. Random(4, N) → H32
  661. If(H32 < k + 1, 1, 0) → I32
  662. Random(4, N) → H33
  663. If(H33 < k + 1, 1, 0) → I33
  664. Random(4, N) → H34
  665. If(H34 < k + 1, 1, 0) → I34
  666. Random(4, N) → H35
  667. If(H35 < k + 1, 1, 0) → I35
  668. Random(4, N) → H36
  669. If(H36 < k + 1, 1, 0) → I36
  670. Random(4, N) → H37
  671. If(H37 < k + 1, 1, 0) → I37
  672. Random(4, N) → H38
  673. If(H38 < k + 1, 1, 0) → I38
  674. Random(4, N) → H39
  675. If(H39 < k + 1, 1, 0) → I39
  676. Random(4, N) → H40
  677. If(H40 < k + 1, 1, 0) → I40
  678. Random(4, N) → H41
  679. If(H41 < k + 1, 1, 0) → I41
  680. Random(4, N) → H42
  681. If(H42 < k + 1, 1, 0) → I42
  682. Random(4, N) → H43
  683. If(H43 < k + 1, 1, 0) → I43
  684. Random(4, N) → H44
  685. If(H44 < k + 1, 1, 0) → I44
  686. Random(4, N) → H45
  687. If(H45 < k + 1, 1, 0) → I45
  688. Random(4, N) → H46
  689. If(H46 < k + 1, 1, 0) → I46
  690. Random(4, N) → H47
  691. If(H47 < k + 1, 1, 0) → I47
  692. Random(4, N) → H48
  693. If(H48 < k + 1, 1, 0) → I48
  694. Random(4, N) → H49
  695. If(H49 < k + 1, 1, 0) → I49
  696. Random(4, N) → H50
  697. If(H50 < k + 1, 1, 0) → I50
  698. Random(4, N) → H51
  699. If(H51 < k + 1, 1, 0) → I51
  700. Random(4, N) → H52
  701. If(H52 < k + 1, 1, 0) → I52
  702. Random(4, N) → H53
  703. If(H53 < k + 1, 1, 0) → I53
  704. Random(4, N) → H54
  705. If(H54 < k + 1, 1, 0) → I54
  706. Random(4, N) → H55
  707. If(H55 < k + 1, 1, 0) → I55
  708. Random(4, N) → H56
  709. If(H56 < k + 1, 1, 0) → I56
  710. Random(4, N) → H57
  711. If(H57 < k + 1, 1, 0) → I57
  712. Random(4, N) → H58
  713. If(H58 < k + 1, 1, 0) → I58
  714. Random(4, N) → H59
  715. If(H59 < k + 1, 1, 0) → I59
  716. Random(4, N) → H60
  717. If(H60 < k + 1, 1, 0) → I60
  718. Random(4, N) → H61
  719. If(H61 < k + 1, 1, 0) → I61
  720. Random(4, N) → H62
  721. If(H62 < k + 1, 1, 0) → I62
  722. Random(4, N) → H63
  723. If(H63 < k + 1, 1, 0) → I63
  724. Random(4, N) → H64
  725. If(H64 < k + 1, 1, 0) → I64
  726. Random(4, N) → H65
  727. If(H65 < k + 1, 1, 0) → I65
  728. Random(4, N) → H66
  729. If(H66 < k + 1, 1, 0) → I66
  730. Random(4, N) → H67
  731. If(H67 < k + 1, 1, 0) → I67
  732. Random(4, N) → H68
  733. If(H68 < k + 1, 1, 0) → I68
  734. Random(4, N) → H69
  735. If(H69 < k + 1, 1, 0) → I69
  736. Random(4, N) → H70
  737. If(H70 < k + 1, 1, 0) → I70
  738. Random(4, N) → H71
  739. If(H71 < k + 1, 1, 0) → I71
  740. Random(4, N) → H72
  741. If(H72 < k + 1, 1, 0) → I72
  742. Random(4, N) → H73
  743. If(H73 < k + 1, 1, 0) → I73
  744. Random(4, N) → H74
  745. If(H74 < k + 1, 1, 0) → I74
  746. Random(4, N) → H75
  747. If(H75 < k + 1, 1, 0) → I75
  748. Random(4, N) → H76
  749. If(H76 < k + 1, 1, 0) → I76
  750. Random(4, N) → H77
  751. If(H77 < k + 1, 1, 0) → I77
  752. Random(4, N) → H78
  753. If(H78 < k + 1, 1, 0) → I78
  754. Random(4, N) → H79
  755. If(H79 < k + 1, 1, 0) → I79
  756. Random(4, N) → H80
  757. If(H80 < k + 1, 1, 0) → I80
  758. Random(4, N) → H81
  759. If(H81 < k + 1, 1, 0) → I81
  760. Random(4, N) → H82
  761. If(H82 < k + 1, 1, 0) → I82
  762. Random(4, N) → H83
  763. If(H83 < k + 1, 1, 0) → I83
  764. Random(4, N) → H84
  765. If(H84 < k + 1, 1, 0) → I84
  766. Random(4, N) → H85
  767. If(H85 < k + 1, 1, 0) → I85
  768. Random(4, N) → H86
  769. If(H86 < k + 1, 1, 0) → I86
  770. Random(4, N) → H87
  771. If(H87 < k + 1, 1, 0) → I87
  772. Random(4, N) → H88
  773. If(H88 < k + 1, 1, 0) → I88
  774. Random(4, N) → H89
  775. If(H89 < k + 1, 1, 0) → I89
  776. Random(4, N) → H90
  777. If(H90 < k + 1, 1, 0) → I90
  778. Random(4, N) → H91
  779. If(H91 < k + 1, 1, 0) → I91
  780. Random(4, N) → H92
  781. If(H92 < k + 1, 1, 0) → I92
  782. Random(4, N) → H93
  783. If(H93 < k + 1, 1, 0) → I93
  784. Random(4, N) → H94
  785. If(H94 < k + 1, 1, 0) → I94
  786. Random(4, N) → H95
  787. If(H95 < k + 1, 1, 0) → I95
  788. Random(4, N) → H96
  789. If(H96 < k + 1, 1, 0) → I96
  790. Random(4, N) → H97
  791. If(H97 < k + 1, 1, 0) → I97
  792. Random(4, N) → H98
  793. If(H98 < k + 1, 1, 0) → I98
  794. Random(4, N) → H99
  795. If(H99 < k + 1, 1, 0) → I99
  796. Random(4, N) → H100
  797. If(H100 < k + 1, 1, 0) → I100
  798. Random(4, N) → H101
  799. If(H101 < k + 1, 1, 0) → I101
  800. Random(4, N) → H102
  801. If(H102 < k + 1, 1, 0) → I102
  802. Random(4, N) → H103
  803. If(H103 < k + 1, 1, 0) → I103
  804. Random(4, N) → H104
  805. If(H104 < k + 1, 1, 0) → I104
  806. Random(4, N) → H105
  807. If(H105 < k + 1, 1, 0) → I105
  808. Random(4, N) → H106
  809. If(H106 < k + 1, 1, 0) → I106
  810. Random(4, N) → H107
  811. If(H107 < k + 1, 1, 0) → I107
  812. Random(4, N) → H108
  813. If(H108 < k + 1, 1, 0) → I108
  814. Random(4, N) → H109
  815. If(H109 < k + 1, 1, 0) → I109
  816. Random(4, N) → H110
  817. If(H110 < k + 1, 1, 0) → I110
  818. Random(4, N) → H111
  819. If(H111 < k + 1, 1, 0) → I111
  820. Random(4, N) → H112
  821. If(H112 < k + 1, 1, 0) → I112
  822. Random(4, N) → H113
  823. If(H113 < k + 1, 1, 0) → I113
  824. Random(4, N) → H114
  825. If(H114 < k + 1, 1, 0) → I114
  826. Random(5, N) → J16
  827. If(J16 < k + 1, 1, 0) → K16
  828. Random(5, N) → J17
  829. If(J17 < k + 1, 1, 0) → K17
  830. Random(5, N) → J18
  831. If(J18 < k + 1, 1, 0) → K18
  832. Random(5, N) → J19
  833. If(J19 < k + 1, 1, 0) → K19
  834. Random(5, N) → J20
  835. If(J20 < k + 1, 1, 0) → K20
  836. Random(5, N) → J21
  837. If(J21 < k + 1, 1, 0) → K21
  838. Random(5, N) → J22
  839. If(J22 < k + 1, 1, 0) → K22
  840. Random(5, N) → J23
  841. If(J23 < k + 1, 1, 0) → K23
  842. Random(5, N) → J24
  843. If(J24 < k + 1, 1, 0) → K24
  844. Random(5, N) → J25
  845. If(J25 < k + 1, 1, 0) → K25
  846. Random(5, N) → J26
  847. If(J26 < k + 1, 1, 0) → K26
  848. Random(5, N) → J27
  849. If(J27 < k + 1, 1, 0) → K27
  850. Random(5, N) → J28
  851. If(J28 < k + 1, 1, 0) → K28
  852. Random(5, N) → J29
  853. If(J29 < k + 1, 1, 0) → K29
  854. Random(5, N) → J30
  855. If(J30 < k + 1, 1, 0) → K30
  856. Random(5, N) → J31
  857. If(J31 < k + 1, 1, 0) → K31
  858. Random(5, N) → J32
  859. If(J32 < k + 1, 1, 0) → K32
  860. Random(5, N) → J33
  861. If(J33 < k + 1, 1, 0) → K33
  862. Random(5, N) → J34
  863. If(J34 < k + 1, 1, 0) → K34
  864. Random(5, N) → J35
  865. If(J35 < k + 1, 1, 0) → K35
  866. Random(5, N) → J36
  867. If(J36 < k + 1, 1, 0) → K36
  868. Random(5, N) → J37
  869. If(J37 < k + 1, 1, 0) → K37
  870. Random(5, N) → J38
  871. If(J38 < k + 1, 1, 0) → K38
  872. Random(5, N) → J39
  873. If(J39 < k + 1, 1, 0) → K39
  874. Random(5, N) → J40
  875. If(J40 < k + 1, 1, 0) → K40
  876. Random(5, N) → J41
  877. If(J41 < k + 1, 1, 0) → K41
  878. Random(5, N) → J42
  879. If(J42 < k + 1, 1, 0) → K42
  880. Random(5, N) → J43
  881. If(J43 < k + 1, 1, 0) → K43
  882. Random(5, N) → J44
  883. If(J44 < k + 1, 1, 0) → K44
  884. Random(5, N) → J45
  885. If(J45 < k + 1, 1, 0) → K45
  886. Random(5, N) → J46
  887. If(J46 < k + 1, 1, 0) → K46
  888. Random(5, N) → J47
  889. If(J47 < k + 1, 1, 0) → K47
  890. Random(5, N) → J48
  891. If(J48 < k + 1, 1, 0) → K48
  892. Random(5, N) → J49
  893. If(J49 < k + 1, 1, 0) → K49
  894. Random(5, N) → J50
  895. If(J50 < k + 1, 1, 0) → K50
  896. Random(5, N) → J51
  897. If(J51 < k + 1, 1, 0) → K51
  898. Random(5, N) → J52
  899. If(J52 < k + 1, 1, 0) → K52
  900. Random(5, N) → J53
  901. If(J53 < k + 1, 1, 0) → K53
  902. Random(5, N) → J54
  903. If(J54 < k + 1, 1, 0) → K54
  904. Random(5, N) → J55
  905. If(J55 < k + 1, 1, 0) → K55
  906. Random(5, N) → J56
  907. If(J56 < k + 1, 1, 0) → K56
  908. Random(5, N) → J57
  909. If(J57 < k + 1, 1, 0) → K57
  910. Random(5, N) → J58
  911. If(J58 < k + 1, 1, 0) → K58
  912. Random(5, N) → J59
  913. If(J59 < k + 1, 1, 0) → K59
  914. Random(5, N) → J60
  915. If(J60 < k + 1, 1, 0) → K60
  916. Random(5, N) → J61
  917. If(J61 < k + 1, 1, 0) → K61
  918. Random(5, N) → J62
  919. If(J62 < k + 1, 1, 0) → K62
  920. Random(5, N) → J63
  921. If(J63 < k + 1, 1, 0) → K63
  922. Random(5, N) → J64
  923. If(J64 < k + 1, 1, 0) → K64
  924. Random(5, N) → J65
  925. If(J65 < k + 1, 1, 0) → K65
  926. Random(5, N) → J66
  927. If(J66 < k + 1, 1, 0) → K66
  928. Random(5, N) → J67
  929. If(J67 < k + 1, 1, 0) → K67
  930. Random(5, N) → J68
  931. If(J68 < k + 1, 1, 0) → K68
  932. Random(5, N) → J69
  933. If(J69 < k + 1, 1, 0) → K69
  934. Random(5, N) → J70
  935. If(J70 < k + 1, 1, 0) → K70
  936. Random(5, N) → J71
  937. If(J71 < k + 1, 1, 0) → K71
  938. Random(5, N) → J72
  939. If(J72 < k + 1, 1, 0) → K72
  940. Random(5, N) → J73
  941. If(J73 < k + 1, 1, 0) → K73
  942. Random(5, N) → J74
  943. If(J74 < k + 1, 1, 0) → K74
  944. Random(5, N) → J75
  945. If(J75 < k + 1, 1, 0) → K75
  946. Random(5, N) → J76
  947. If(J76 < k + 1, 1, 0) → K76
  948. Random(5, N) → J77
  949. If(J77 < k + 1, 1, 0) → K77
  950. Random(5, N) → J78
  951. If(J78 < k + 1, 1, 0) → K78
  952. Random(5, N) → J79
  953. If(J79 < k + 1, 1, 0) → K79
  954. Random(5, N) → J80
  955. If(J80 < k + 1, 1, 0) → K80
  956. Random(5, N) → J81
  957. If(J81 < k + 1, 1, 0) → K81
  958. Random(5, N) → J82
  959. If(J82 < k + 1, 1, 0) → K82
  960. Random(5, N) → J83
  961. If(J83 < k + 1, 1, 0) → K83
  962. Random(5, N) → J84
  963. If(J84 < k + 1, 1, 0) → K84
  964. Random(5, N) → J85
  965. If(J85 < k + 1, 1, 0) → K85
  966. Random(5, N) → J86
  967. If(J86 < k + 1, 1, 0) → K86
  968. Random(5, N) → J87
  969. If(J87 < k + 1, 1, 0) → K87
  970. Random(5, N) → J88
  971. If(J88 < k + 1, 1, 0) → K88
  972. Random(5, N) → J89
  973. If(J89 < k + 1, 1, 0) → K89
  974. Random(5, N) → J90
  975. If(J90 < k + 1, 1, 0) → K90
  976. Random(5, N) → J91
  977. If(J91 < k + 1, 1, 0) → K91
  978. Random(5, N) → J92
  979. If(J92 < k + 1, 1, 0) → K92
  980. Random(5, N) → J93
  981. If(J93 < k + 1, 1, 0) → K93
  982. Random(5, N) → J94
  983. If(J94 < k + 1, 1, 0) → K94
  984. Random(5, N) → J95
  985. If(J95 < k + 1, 1, 0) → K95
  986. Random(5, N) → J96
  987. If(J96 < k + 1, 1, 0) → K96
  988. Random(5, N) → J97
  989. If(J97 < k + 1, 1, 0) → K97
  990. Random(5, N) → J98
  991. If(J98 < k + 1, 1, 0) → K98
  992. Random(5, N) → J99
  993. If(J99 < k + 1, 1, 0) → K99
  994. Random(5, N) → J100
  995. If(J100 < k + 1, 1, 0) → K100
  996. Random(5, N) → J101
  997. If(J101 < k + 1, 1, 0) → K101
  998. Random(5, N) → J102
  999. If(J102 < k + 1, 1, 0) → K102
  1000. Random(5, N) → J103
  1001. If(J103 < k + 1, 1, 0) → K103
  1002. Random(5, N) → J104
  1003. If(J104 < k + 1, 1, 0) → K104
  1004. Random(5, N) → J105
  1005. If(J105 < k + 1, 1, 0) → K105
  1006. Random(5, N) → J106
  1007. If(J106 < k + 1, 1, 0) → K106
  1008. Random(5, N) → J107
  1009. If(J107 < k + 1, 1, 0) → K107
  1010. Random(5, N) → J108
  1011. If(J108 < k + 1, 1, 0) → K108
  1012. Random(5, N) → J109
  1013. If(J109 < k + 1, 1, 0) → K109
  1014. Random(5, N) → J110
  1015. If(J110 < k + 1, 1, 0) → K110
  1016. Random(5, N) → J111
  1017. If(J111 < k + 1, 1, 0) → K111
  1018. Random(5, N) → J112
  1019. If(J112 < k + 1, 1, 0) → K112
  1020. Random(5, N) → J113
  1021. If(J113 < k + 1, 1, 0) → K113
  1022. Random(5, N) → J114
  1023. If(J114 < k + 1, 1, 0) → K114
  1024. Random(6, N) → L16
  1025. Random(6, N) → L17
  1026. Random(6, N) → L18
  1027. Random(6, N) → L19
  1028. Random(6, N) → L20
  1029. Random(6, N) → L21
  1030. Random(6, N) → L22
  1031. Random(6, N) → L23
  1032. Random(6, N) → L24
  1033. Random(6, N) → L25
  1034. Random(6, N) → L26
  1035. Random(6, N) → L27
  1036. Random(6, N) → L28
  1037. Random(6, N) → L29
  1038. Random(6, N) → L30
  1039. Random(6, N) → L31
  1040. Random(6, N) → L32
  1041. Random(6, N) → L33
  1042. Random(6, N) → L34
  1043. Random(6, N) → L35
  1044. Random(6, N) → L36
  1045. Random(6, N) → L37
  1046. Random(6, N) → L38
  1047. Random(6, N) → L39
  1048. Random(6, N) → L40
  1049. Random(6, N) → L41
  1050. Random(6, N) → L42
  1051. Random(6, N) → L43
  1052. Random(6, N) → L44
  1053. Random(6, N) → L45
  1054. Random(6, N) → L46
  1055. Random(6, N) → L47
  1056. Random(6, N) → L48
  1057. Random(6, N) → L49
  1058. Random(6, N) → L50
  1059. Random(6, N) → L51
  1060. Random(6, N) → L52
  1061. Random(6, N) → L53
  1062. Random(6, N) → L54
  1063. Random(6, N) → L55
  1064. Random(6, N) → L56
  1065. Random(6, N) → L57
  1066. Random(6, N) → L58
  1067. Random(6, N) → L59
  1068. Random(6, N) → L60
  1069. Random(6, N) → L61
  1070. Random(6, N) → L62
  1071. Random(6, N) → L63
  1072. Random(6, N) → L64
  1073. Random(6, N) → L65
  1074. Random(6, N) → L66
  1075. Random(6, N) → L67
  1076. Random(6, N) → L68
  1077. Random(6, N) → L69
  1078. Random(6, N) → L70
  1079. Random(6, N) → L71
  1080. Random(6, N) → L72
  1081. Random(6, N) → L73
  1082. Random(6, N) → L74
  1083. Random(6, N) → L75
  1084. Random(6, N) → L76
  1085. Random(6, N) → L77
  1086. Random(6, N) → L78
  1087. Random(6, N) → L79
  1088. Random(6, N) → L80
  1089. Random(6, N) → L81
  1090. Random(6, N) → L82
  1091. Random(6, N) → L83
  1092. Random(6, N) → L84
  1093. Random(6, N) → L85
  1094. Random(6, N) → L86
  1095. Random(6, N) → L87
  1096. Random(6, N) → L88
  1097. Random(6, N) → L89
  1098. Random(6, N) → L90
  1099. Random(6, N) → L91
  1100. Random(6, N) → L92
  1101. Random(6, N) → L93
  1102. Random(6, N) → L94
  1103. Random(6, N) → L95
  1104. Random(6, N) → L96
  1105. Random(6, N) → L97
  1106. Random(6, N) → L98
  1107. Random(6, N) → L99
  1108. Random(6, N) → L100
  1109. Random(6, N) → L101
  1110. Random(6, N) → L102
  1111. Random(6, N) → L103
  1112. Random(6, N) → L104
  1113. Random(6, N) → L105
  1114. Random(6, N) → L106
  1115. Random(6, N) → L107
  1116. Random(6, N) → L108
  1117. Random(6, N) → L109
  1118. Random(6, N) → L110
  1119. Random(6, N) → L111
  1120. Random(6, N) → L112
  1121. Random(6, N) → L113
  1122. Random(6, N) → L114
  1123. If(L16 < k + 1, 1, 0) → M16
  1124. If(L17 < k + 1, 1, 0) → M17
  1125. If(L18 < k + 1, 1, 0) → M18
  1126. If(L19 < k + 1, 1, 0) → M19
  1127. If(L20 < k + 1, 1, 0) → M20
  1128. If(L21 < k + 1, 1, 0) → M21
  1129. If(L22 < k + 1, 1, 0) → M22
  1130. If(L23 < k + 1, 1, 0) → M23
  1131. If(L24 < k + 1, 1, 0) → M24
  1132. If(L25 < k + 1, 1, 0) → M25
  1133. If(L26 < k + 1, 1, 0) → M26
  1134. If(L27 < k + 1, 1, 0) → M27
  1135. If(L28 < k + 1, 1, 0) → M28
  1136. If(L29 < k + 1, 1, 0) → M29
  1137. If(L30 < k + 1, 1, 0) → M30
  1138. If(L31 < k + 1, 1, 0) → M31
  1139. If(L32 < k + 1, 1, 0) → M32
  1140. If(L33 < k + 1, 1, 0) → M33
  1141. If(L34 < k + 1, 1, 0) → M34
  1142. If(L35 < k + 1, 1, 0) → M35
  1143. If(L36 < k + 1, 1, 0) → M36
  1144. If(L37 < k + 1, 1, 0) → M37
  1145. If(L38 < k + 1, 1, 0) → M38
  1146. If(L39 < k + 1, 1, 0) → M39
  1147. If(L40 < k + 1, 1, 0) → M40
  1148. If(L41 < k + 1, 1, 0) → M41
  1149. If(L42 < k + 1, 1, 0) → M42
  1150. If(L43 < k + 1, 1, 0) → M43
  1151. If(L44 < k + 1, 1, 0) → M44
  1152. If(L45 < k + 1, 1, 0) → M45
  1153. If(L46 < k + 1, 1, 0) → M46
  1154. If(L47 < k + 1, 1, 0) → M47
  1155. If(L48 < k + 1, 1, 0) → M48
  1156. If(L49 < k + 1, 1, 0) → M49
  1157. If(L50 < k + 1, 1, 0) → M50
  1158. If(L51 < k + 1, 1, 0) → M51
  1159. If(L52 < k + 1, 1, 0) → M52
  1160. If(L53 < k + 1, 1, 0) → M53
  1161. If(L54 < k + 1, 1, 0) → M54
  1162. If(L55 < k + 1, 1, 0) → M55
  1163. If(L56 < k + 1, 1, 0) → M56
  1164. If(L57 < k + 1, 1, 0) → M57
  1165. If(L58 < k + 1, 1, 0) → M58
  1166. If(L59 < k + 1, 1, 0) → M59
  1167. If(L60 < k + 1, 1, 0) → M60
  1168. If(L61 < k + 1, 1, 0) → M61
  1169. If(L62 < k + 1, 1, 0) → M62
  1170. If(L63 < k + 1, 1, 0) → M63
  1171. If(L64 < k + 1, 1, 0) → M64
  1172. If(L65 < k + 1, 1, 0) → M65
  1173. If(L66 < k + 1, 1, 0) → M66
  1174. If(L67 < k + 1, 1, 0) → M67
  1175. If(L68 < k + 1, 1, 0) → M68
  1176. If(L69 < k + 1, 1, 0) → M69
  1177. If(L70 < k + 1, 1, 0) → M70
  1178. If(L71 < k + 1, 1, 0) → M71
  1179. If(L72 < k + 1, 1, 0) → M72
  1180. If(L73 < k + 1, 1, 0) → M73
  1181. If(L74 < k + 1, 1, 0) → M74
  1182. If(L75 < k + 1, 1, 0) → M75
  1183. If(L76 < k + 1, 1, 0) → M76
  1184. If(L77 < k + 1, 1, 0) → M77
  1185. If(L78 < k + 1, 1, 0) → M78
  1186. If(L79 < k + 1, 1, 0) → M79
  1187. If(L80 < k + 1, 1, 0) → M80
  1188. If(L81 < k + 1, 1, 0) → M81
  1189. If(L82 < k + 1, 1, 0) → M82
  1190. If(L83 < k + 1, 1, 0) → M83
  1191. If(L84 < k + 1, 1, 0) → M84
  1192. If(L85 < k + 1, 1, 0) → M85
  1193. If(L86 < k + 1, 1, 0) → M86
  1194. If(L87 < k + 1, 1, 0) → M87
  1195. If(L88 < k + 1, 1, 0) → M88
  1196. If(L89 < k + 1, 1, 0) → M89
  1197. If(L90 < k + 1, 1, 0) → M90
  1198. If(L91 < k + 1, 1, 0) → M91
  1199. If(L92 < k + 1, 1, 0) → M92
  1200. If(L93 < k + 1, 1, 0) → M93
  1201. If(L94 < k + 1, 1, 0) → M94
  1202. If(L95 < k + 1, 1, 0) → M95
  1203. If(L96 < k + 1, 1, 0) → M96
  1204. If(L97 < k + 1, 1, 0) → M97
  1205. If(L98 < k + 1, 1, 0) → M98
  1206. If(L99 < k + 1, 1, 0) → M99
  1207. If(L100 < k + 1, 1, 0) → M100
  1208. If(L101 < k + 1, 1, 0) → M101
  1209. If(L102 < k + 1, 1, 0) → M102
  1210. If(L103 < k + 1, 1, 0) → M103
  1211. If(L104 < k + 1, 1, 0) → M104
  1212. If(L105 < k + 1, 1, 0) → M105
  1213. If(L106 < k + 1, 1, 0) → M106
  1214. If(L107 < k + 1, 1, 0) → M107
  1215. If(L108 < k + 1, 1, 0) → M108
  1216. If(L109 < k + 1, 1, 0) → M109
  1217. If(L110 < k + 1, 1, 0) → M110
  1218. If(L111 < k + 1, 1, 0) → M111
  1219. If(L112 < k + 1, 1, 0) → M112
  1220. If(L113 < k + 1, 1, 0) → M113
  1221. If(L114 < k + 1, 1, 0) → M114
  1222. Random(7, N) → N16
  1223. If(N16 < k + 1, 1, 0) → O16
  1224. Random(7, N) → N17
  1225. If(N17 < k + 1, 1, 0) → O17
  1226. Random(7, N) → N18
  1227. If(N18 < k + 1, 1, 0) → O18
  1228. Random(7, N) → N19
  1229. If(N19 < k + 1, 1, 0) → O19
  1230. Random(7, N) → N20
  1231. If(N20 < k + 1, 1, 0) → O20
  1232. Random(7, N) → N21
  1233. If(N21 < k + 1, 1, 0) → O21
  1234. Random(7, N) → N22
  1235. If(N22 < k + 1, 1, 0) → O22
  1236. Random(7, N) → N23
  1237. If(N23 < k + 1, 1, 0) → O23
  1238. Random(7, N) → N24
  1239. If(N24 < k + 1, 1, 0) → O24
  1240. Random(7, N) → N25
  1241. If(N25 < k + 1, 1, 0) → O25
  1242. Random(7, N) → N26
  1243. If(N26 < k + 1, 1, 0) → O26
  1244. Random(7, N) → N27
  1245. If(N27 < k + 1, 1, 0) → O27
  1246. Random(7, N) → N28
  1247. If(N28 < k + 1, 1, 0) → O28
  1248. Random(7, N) → N29
  1249. If(N29 < k + 1, 1, 0) → O29
  1250. Random(7, N) → N30
  1251. If(N30 < k + 1, 1, 0) → O30
  1252. Random(7, N) → N31
  1253. If(N31 < k + 1, 1, 0) → O31
  1254. Random(7, N) → N32
  1255. If(N32 < k + 1, 1, 0) → O32
  1256. Random(7, N) → N33
  1257. If(N33 < k + 1, 1, 0) → O33
  1258. Random(7, N) → N34
  1259. If(N34 < k + 1, 1, 0) → O34
  1260. Random(7, N) → N35
  1261. If(N35 < k + 1, 1, 0) → O35
  1262. Random(7, N) → N36
  1263. If(N36 < k + 1, 1, 0) → O36
  1264. Random(7, N) → N37
  1265. If(N37 < k + 1, 1, 0) → O37
  1266. Random(7, N) → N38
  1267. If(N38 < k + 1, 1, 0) → O38
  1268. Random(7, N) → N39
  1269. If(N39 < k + 1, 1, 0) → O39
  1270. Random(7, N) → N40
  1271. If(N40 < k + 1, 1, 0) → O40
  1272. Random(7, N) → N41
  1273. If(N41 < k + 1, 1, 0) → O41
  1274. Random(7, N) → N42
  1275. If(N42 < k + 1, 1, 0) → O42
  1276. Random(7, N) → N43
  1277. If(N43 < k + 1, 1, 0) → O43
  1278. Random(7, N) → N44
  1279. If(N44 < k + 1, 1, 0) → O44
  1280. Random(7, N) → N45
  1281. If(N45 < k + 1, 1, 0) → O45
  1282. Random(7, N) → N46
  1283. If(N46 < k + 1, 1, 0) → O46
  1284. Random(7, N) → N47
  1285. If(N47 < k + 1, 1, 0) → O47
  1286. Random(7, N) → N48
  1287. If(N48 < k + 1, 1, 0) → O48
  1288. Random(7, N) → N49
  1289. If(N49 < k + 1, 1, 0) → O49
  1290. Random(7, N) → N50
  1291. If(N50 < k + 1, 1, 0) → O50
  1292. Random(7, N) → N51
  1293. If(N51 < k + 1, 1, 0) → O51
  1294. Random(7, N) → N52
  1295. If(N52 < k + 1, 1, 0) → O52
  1296. Random(7, N) → N53
  1297. If(N53 < k + 1, 1, 0) → O53
  1298. Random(7, N) → N54
  1299. If(N54 < k + 1, 1, 0) → O54
  1300. Random(7, N) → N55
  1301. If(N55 < k + 1, 1, 0) → O55
  1302. Random(7, N) → N56
  1303. If(N56 < k + 1, 1, 0) → O56
  1304. Random(7, N) → N57
  1305. If(N57 < k + 1, 1, 0) → O57
  1306. Random(7, N) → N58
  1307. If(N58 < k + 1, 1, 0) → O58
  1308. Random(7, N) → N59
  1309. If(N59 < k + 1, 1, 0) → O59
  1310. Random(7, N) → N60
  1311. If(N60 < k + 1, 1, 0) → O60
  1312. Random(7, N) → N61
  1313. If(N61 < k + 1, 1, 0) → O61
  1314. Random(7, N) → N62
  1315. If(N62 < k + 1, 1, 0) → O62
  1316. Random(7, N) → N63
  1317. If(N63 < k + 1, 1, 0) → O63
  1318. Random(7, N) → N64
  1319. If(N64 < k + 1, 1, 0) → O64
  1320. Random(7, N) → N65
  1321. If(N65 < k + 1, 1, 0) → O65
  1322. Random(7, N) → N66
  1323. If(N66 < k + 1, 1, 0) → O66
  1324. Random(7, N) → N67
  1325. If(N67 < k + 1, 1, 0) → O67
  1326. Random(7, N) → N68
  1327. If(N68 < k + 1, 1, 0) → O68
  1328. Random(7, N) → N69
  1329. If(N69 < k + 1, 1, 0) → O69
  1330. Random(7, N) → N70
  1331. If(N70 < k + 1, 1, 0) → O70
  1332. Random(7, N) → N71
  1333. If(N71 < k + 1, 1, 0) → O71
  1334. Random(7, N) → N72
  1335. If(N72 < k + 1, 1, 0) → O72
  1336. Random(7, N) → N73
  1337. If(N73 < k + 1, 1, 0) → O73
  1338. Random(7, N) → N74
  1339. If(N74 < k + 1, 1, 0) → O74
  1340. Random(7, N) → N75
  1341. If(N75 < k + 1, 1, 0) → O75
  1342. Random(7, N) → N76
  1343. If(N76 < k + 1, 1, 0) → O76
  1344. Random(7, N) → N77
  1345. If(N77 < k + 1, 1, 0) → O77
  1346. Random(7, N) → N78
  1347. If(N78 < k + 1, 1, 0) → O78
  1348. Random(7, N) → N79
  1349. If(N79 < k + 1, 1, 0) → O79
  1350. Random(7, N) → N80
  1351. If(N80 < k + 1, 1, 0) → O80
  1352. Random(7, N) → N81
  1353. If(N81 < k + 1, 1, 0) → O81
  1354. Random(7, N) → N82
  1355. If(N82 < k + 1, 1, 0) → O82
  1356. Random(7, N) → N83
  1357. If(N83 < k + 1, 1, 0) → O83
  1358. Random(7, N) → N84
  1359. If(N84 < k + 1, 1, 0) → O84
  1360. Random(7, N) → N85
  1361. If(N85 < k + 1, 1, 0) → O85
  1362. Random(7, N) → N86
  1363. If(N86 < k + 1, 1, 0) → O86
  1364. Random(7, N) → N87
  1365. If(N87 < k + 1, 1, 0) → O87
  1366. Random(7, N) → N88
  1367. If(N88 < k + 1, 1, 0) → O88
  1368. Random(7, N) → N89
  1369. If(N89 < k + 1, 1, 0) → O89
  1370. Random(7, N) → N90
  1371. If(N90 < k + 1, 1, 0) → O90
  1372. Random(7, N) → N91
  1373. If(N91 < k + 1, 1, 0) → O91
  1374. Random(7, N) → N92
  1375. If(N92 < k + 1, 1, 0) → O92
  1376. Random(7, N) → N93
  1377. If(N93 < k + 1, 1, 0) → O93
  1378. Random(7, N) → N94
  1379. If(N94 < k + 1, 1, 0) → O94
  1380. Random(7, N) → N95
  1381. If(N95 < k + 1, 1, 0) → O95
  1382. Random(7, N) → N96
  1383. If(N96 < k + 1, 1, 0) → O96
  1384. Random(7, N) → N97
  1385. If(N97 < k + 1, 1, 0) → O97
  1386. Random(7, N) → N98
  1387. If(N98 < k + 1, 1, 0) → O98
  1388. Random(7, N) → N99
  1389. If(N99 < k + 1, 1, 0) → O99
  1390. Random(7, N) → N100
  1391. If(N100 < k + 1, 1, 0) → O100
  1392. Random(7, N) → N101
  1393. If(N101 < k + 1, 1, 0) → O101
  1394. Random(7, N) → N102
  1395. If(N102 < k + 1, 1, 0) → O102
  1396. Random(7, N) → N103
  1397. If(N103 < k + 1, 1, 0) → O103
  1398. Random(7, N) → N104
  1399. If(N104 < k + 1, 1, 0) → O104
  1400. Random(7, N) → N105
  1401. If(N105 < k + 1, 1, 0) → O105
  1402. Random(7, N) → N106
  1403. If(N106 < k + 1, 1, 0) → O106
  1404. Random(7, N) → N107
  1405. If(N107 < k + 1, 1, 0) → O107
  1406. Random(7, N) → N108
  1407. If(N108 < k + 1, 1, 0) → O108
  1408. Random(7, N) → N109
  1409. If(N109 < k + 1, 1, 0) → O109
  1410. Random(7, N) → N110
  1411. If(N110 < k + 1, 1, 0) → O110
  1412. Random(7, N) → N111
  1413. If(N111 < k + 1, 1, 0) → O111
  1414. Random(7, N) → N112
  1415. If(N112 < k + 1, 1, 0) → O112
  1416. Random(7, N) → N113
  1417. If(N113 < k + 1, 1, 0) → O113
  1418. Random(7, N) → N114
  1419. If(N114 < k + 1, 1, 0) → O114
  1420. Random(8, N) → P16
  1421. If(P16 < k + 1, 1, 0) → Q16
  1422. Random(8, N) → P17
  1423. If(P17 < k + 1, 1, 0) → Q17
  1424. Random(8, N) → P18
  1425. If(P18 < k + 1, 1, 0) → Q18
  1426. Random(8, N) → P19
  1427. If(P19 < k + 1, 1, 0) → Q19
  1428. Random(8, N) → P20
  1429. If(P20 < k + 1, 1, 0) → Q20
  1430. Random(8, N) → P21
  1431. If(P21 < k + 1, 1, 0) → Q21
  1432. Random(8, N) → P22
  1433. If(P22 < k + 1, 1, 0) → Q22
  1434. Random(8, N) → P23
  1435. If(P23 < k + 1, 1, 0) → Q23
  1436. Random(8, N) → P24
  1437. If(P24 < k + 1, 1, 0) → Q24
  1438. Random(8, N) → P25
  1439. If(P25 < k + 1, 1, 0) → Q25
  1440. Random(8, N) → P26
  1441. If(P26 < k + 1, 1, 0) → Q26
  1442. Random(8, N) → P27
  1443. If(P27 < k + 1, 1, 0) → Q27
  1444. Random(8, N) → P28
  1445. If(P28 < k + 1, 1, 0) → Q28
  1446. Random(8, N) → P29
  1447. If(P29 < k + 1, 1, 0) → Q29
  1448. Random(8, N) → P30
  1449. If(P30 < k + 1, 1, 0) → Q30
  1450. Random(8, N) → P31
  1451. If(P31 < k + 1, 1, 0) → Q31
  1452. Random(8, N) → P32
  1453. If(P32 < k + 1, 1, 0) → Q32
  1454. Random(8, N) → P33
  1455. If(P33 < k + 1, 1, 0) → Q33
  1456. Random(8, N) → P34
  1457. If(P34 < k + 1, 1, 0) → Q34
  1458. Random(8, N) → P35
  1459. If(P35 < k + 1, 1, 0) → Q35
  1460. Random(8, N) → P36
  1461. If(P36 < k + 1, 1, 0) → Q36
  1462. Random(8, N) → P37
  1463. If(P37 < k + 1, 1, 0) → Q37
  1464. Random(8, N) → P38
  1465. If(P38 < k + 1, 1, 0) → Q38
  1466. Random(8, N) → P39
  1467. If(P39 < k + 1, 1, 0) → Q39
  1468. Random(8, N) → P40
  1469. If(P40 < k + 1, 1, 0) → Q40
  1470. Random(8, N) → P41
  1471. If(P41 < k + 1, 1, 0) → Q41
  1472. Random(8, N) → P42
  1473. If(P42 < k + 1, 1, 0) → Q42
  1474. Random(8, N) → P43
  1475. If(P43 < k + 1, 1, 0) → Q43
  1476. Random(8, N) → P44
  1477. If(P44 < k + 1, 1, 0) → Q44
  1478. Random(8, N) → P45
  1479. If(P45 < k + 1, 1, 0) → Q45
  1480. Random(8, N) → P46
  1481. If(P46 < k + 1, 1, 0) → Q46
  1482. Random(8, N) → P47
  1483. If(P47 < k + 1, 1, 0) → Q47
  1484. Random(8, N) → P48
  1485. If(P48 < k + 1, 1, 0) → Q48
  1486. Random(8, N) → P49
  1487. If(P49 < k + 1, 1, 0) → Q49
  1488. Random(8, N) → P50
  1489. If(P50 < k + 1, 1, 0) → Q50
  1490. Random(8, N) → P51
  1491. If(P51 < k + 1, 1, 0) → Q51
  1492. Random(8, N) → P52
  1493. If(P52 < k + 1, 1, 0) → Q52
  1494. Random(8, N) → P53
  1495. If(P53 < k + 1, 1, 0) → Q53
  1496. Random(8, N) → P54
  1497. If(P54 < k + 1, 1, 0) → Q54
  1498. Random(8, N) → P55
  1499. If(P55 < k + 1, 1, 0) → Q55
  1500. Random(8, N) → P56
  1501. If(P56 < k + 1, 1, 0) → Q56
  1502. Random(8, N) → P57
  1503. If(P57 < k + 1, 1, 0) → Q57
  1504. Random(8, N) → P58
  1505. If(P58 < k + 1, 1, 0) → Q58
  1506. Random(8, N) → P59
  1507. If(P59 < k + 1, 1, 0) → Q59
  1508. Random(8, N) → P60
  1509. If(P60 < k + 1, 1, 0) → Q60
  1510. Random(8, N) → P61
  1511. If(P61 < k + 1, 1, 0) → Q61
  1512. Random(8, N) → P62
  1513. If(P62 < k + 1, 1, 0) → Q62
  1514. Random(8, N) → P63
  1515. If(P63 < k + 1, 1, 0) → Q63
  1516. Random(8, N) → P64
  1517. If(P64 < k + 1, 1, 0) → Q64
  1518. Random(8, N) → P65
  1519. If(P65 < k + 1, 1, 0) → Q65
  1520. Random(8, N) → P66
  1521. If(P66 < k + 1, 1, 0) → Q66
  1522. Random(8, N) → P67
  1523. If(P67 < k + 1, 1, 0) → Q67
  1524. Random(8, N) → P68
  1525. If(P68 < k + 1, 1, 0) → Q68
  1526. Random(8, N) → P69
  1527. If(P69 < k + 1, 1, 0) → Q69
  1528. Random(8, N) → P70
  1529. If(P70 < k + 1, 1, 0) → Q70
  1530. Random(8, N) → P71
  1531. If(P71 < k + 1, 1, 0) → Q71
  1532. Random(8, N) → P72
  1533. If(P72 < k + 1, 1, 0) → Q72
  1534. Random(8, N) → P73
  1535. If(P73 < k + 1, 1, 0) → Q73
  1536. Random(8, N) → P74
  1537. If(P74 < k + 1, 1, 0) → Q74
  1538. Random(8, N) → P75
  1539. If(P75 < k + 1, 1, 0) → Q75
  1540. Random(8, N) → P76
  1541. If(P76 < k + 1, 1, 0) → Q76
  1542. Random(8, N) → P77
  1543. If(P77 < k + 1, 1, 0) → Q77
  1544. Random(8, N) → P78
  1545. If(P78 < k + 1, 1, 0) → Q78
  1546. Random(8, N) → P79
  1547. If(P79 < k + 1, 1, 0) → Q79
  1548. Random(8, N) → P80
  1549. If(P80 < k + 1, 1, 0) → Q80
  1550. Random(8, N) → P81
  1551. If(P81 < k + 1, 1, 0) → Q81
  1552. Random(8, N) → P82
  1553. If(P82 < k + 1, 1, 0) → Q82
  1554. Random(8, N) → P83
  1555. If(P83 < k + 1, 1, 0) → Q83
  1556. Random(8, N) → P84
  1557. If(P84 < k + 1, 1, 0) → Q84
  1558. Random(8, N) → P85
  1559. If(P85 < k + 1, 1, 0) → Q85
  1560. Random(8, N) → P86
  1561. If(P86 < k + 1, 1, 0) → Q86
  1562. Random(8, N) → P87
  1563. If(P87 < k + 1, 1, 0) → Q87
  1564. Random(8, N) → P88
  1565. If(P88 < k + 1, 1, 0) → Q88
  1566. Random(8, N) → P89
  1567. If(P89 < k + 1, 1, 0) → Q89
  1568. Random(8, N) → P90
  1569. If(P90 < k + 1, 1, 0) → Q90
  1570. Random(8, N) → P91
  1571. If(P91 < k + 1, 1, 0) → Q91
  1572. Random(8, N) → P92
  1573. If(P92 < k + 1, 1, 0) → Q92
  1574. Random(8, N) → P93
  1575. If(P93 < k + 1, 1, 0) → Q93
  1576. Random(8, N) → P94
  1577. If(P94 < k + 1, 1, 0) → Q94
  1578. Random(8, N) → P95
  1579. If(P95 < k + 1, 1, 0) → Q95
  1580. Random(8, N) → P96
  1581. If(P96 < k + 1, 1, 0) → Q96
  1582. Random(8, N) → P97
  1583. If(P97 < k + 1, 1, 0) → Q97
  1584. Random(8, N) → P98
  1585. If(P98 < k + 1, 1, 0) → Q98
  1586. Random(8, N) → P99
  1587. If(P99 < k + 1, 1, 0) → Q99
  1588. Random(8, N) → P100
  1589. If(P100 < k + 1, 1, 0) → Q100
  1590. Random(8, N) → P101
  1591. If(P101 < k + 1, 1, 0) → Q101
  1592. Random(8, N) → P102
  1593. If(P102 < k + 1, 1, 0) → Q102
  1594. Random(8, N) → P103
  1595. If(P103 < k + 1, 1, 0) → Q103
  1596. Random(8, N) → P104
  1597. If(P104 < k + 1, 1, 0) → Q104
  1598. Random(8, N) → P105
  1599. If(P105 < k + 1, 1, 0) → Q105
  1600. Random(8, N) → P106
  1601. If(P106 < k + 1, 1, 0) → Q106
  1602. Random(8, N) → P107
  1603. If(P107 < k + 1, 1, 0) → Q107
  1604. Random(8, N) → P108
  1605. If(P108 < k + 1, 1, 0) → Q108
  1606. Random(8, N) → P109
  1607. If(P109 < k + 1, 1, 0) → Q109
  1608. Random(8, N) → P110
  1609. If(P110 < k + 1, 1, 0) → Q110
  1610. Random(8, N) → P111
  1611. If(P111 < k + 1, 1, 0) → Q111
  1612. Random(8, N) → P112
  1613. If(P112 < k + 1, 1, 0) → Q112
  1614. Random(8, N) → P113
  1615. If(P113 < k + 1, 1, 0) → Q113
  1616. Random(8, N) → P114
  1617. If(P114 < k + 1, 1, 0) → Q114
  1618. Random(9, N) → R16
  1619. Random(9, N) → R17
  1620. Random(9, N) → R18
  1621. Random(9, N) → R19
  1622. Random(9, N) → R20
  1623. Random(9, N) → R21
  1624. Random(9, N) → R22
  1625. Random(9, N) → R23
  1626. Random(9, N) → R24
  1627. Random(9, N) → R25
  1628. Random(9, N) → R26
  1629. Random(9, N) → R27
  1630. Random(9, N) → R28
  1631. Random(9, N) → R29
  1632. Random(9, N) → R30
  1633. Random(9, N) → R31
  1634. Random(9, N) → R32
  1635. Random(9, N) → R33
  1636. Random(9, N) → R34
  1637. Random(9, N) → R35
  1638. Random(9, N) → R36
  1639. Random(9, N) → R37
  1640. Random(9, N) → R38
  1641. Random(9, N) → R39
  1642. Random(9, N) → R40
  1643. Random(9, N) → R41
  1644. Random(9, N) → R42
  1645. Random(9, N) → R43
  1646. Random(9, N) → R44
  1647. Random(9, N) → R45
  1648. Random(9, N) → R46
  1649. Random(9, N) → R47
  1650. Random(9, N) → R48
  1651. Random(9, N) → R49
  1652. Random(9, N) → R50
  1653. Random(9, N) → R51
  1654. Random(9, N) → R52
  1655. Random(9, N) → R53
  1656. Random(9, N) → R54
  1657. Random(9, N) → R55
  1658. Random(9, N) → R56
  1659. Random(9, N) → R57
  1660. Random(9, N) → R58
  1661. Random(9, N) → R59
  1662. Random(9, N) → R60
  1663. Random(9, N) → R61
  1664. Random(9, N) → R62
  1665. Random(9, N) → R63
  1666. Random(9, N) → R64
  1667. Random(9, N) → R65
  1668. Random(9, N) → R66
  1669. Random(9, N) → R67
  1670. Random(9, N) → R68
  1671. Random(9, N) → R69
  1672. Random(9, N) → R70
  1673. Random(9, N) → R71
  1674. Random(9, N) → R72
  1675. Random(9, N) → R73
  1676. Random(9, N) → R74
  1677. Random(9, N) → R75
  1678. Random(9, N) → R76
  1679. Random(9, N) → R77
  1680. Random(9, N) → R78
  1681. Random(9, N) → R79
  1682. Random(9, N) → R80
  1683. Random(9, N) → R81
  1684. Random(9, N) → R82
  1685. Random(9, N) → R83
  1686. Random(9, N) → R84
  1687. Random(9, N) → R85
  1688. Random(9, N) → R86
  1689. Random(9, N) → R87
  1690. Random(9, N) → R88
  1691. Random(9, N) → R89
  1692. Random(9, N) → R90
  1693. Random(9, N) → R91
  1694. Random(9, N) → R92
  1695. Random(9, N) → R93
  1696. Random(9, N) → R94
  1697. Random(9, N) → R95
  1698. Random(9, N) → R96
  1699. Random(9, N) → R97
  1700. Random(9, N) → R98
  1701. Random(9, N) → R99
  1702. Random(9, N) → R100
  1703. Random(9, N) → R101
  1704. Random(9, N) → R102
  1705. Random(9, N) → R103
  1706. Random(9, N) → R104
  1707. Random(9, N) → R105
  1708. Random(9, N) → R106
  1709. Random(9, N) → R107
  1710. Random(9, N) → R108
  1711. Random(9, N) → R109
  1712. Random(9, N) → R110
  1713. Random(9, N) → R111
  1714. Random(9, N) → R112
  1715. Random(9, N) → R113
  1716. Random(9, N) → R114
  1717. Sequence((k - j) / (N - j), j, 0, k - 1, 1) → list3
  1718. Sum(list3) → d
  1719. Product(Sequence[(k - j) / (N - j), j, 0, 1, 1]) → f
  1720. Product(Sequence[(k - j) / (N - j), j, 0, 2, 1]) → g
  1721. Product(Sequence[(k - j) / (N - j), j, 0, 3, 1]) → h
  1722. Product(Sequence[(k - j) / (N - j), j, 0, 0, 1]) → n_2
  1723. Segment(F, G) → p
  1724. Product(Sequence[(k - j) / (N - j), j, 0, 0, 1]) → n_1
  1725. Segment(H, I) → q
  1726. Product(Sequence[(k - j) / (N - j), j, 0, 1, 1]) → f_1
  1727. Segment(J, K) → s
  1728. Product(Sequence[(k - j) / (N - j), j, 0, 2, 1]) → g_1
  1729. Segment(L, M) → t
  1730. Product(Sequence[(k - j) / (N - j), j, 0, 3, 1]) → h_1
  1731. Segment(O, P) → a_1
  1732. Segment(Q, S) → b_1
  1733. Sequence((x(T) + (j * (x(U) - x(T)) / n), y(T) + (j * (y(U) - y(T)) / n)), j, 0, n - 1, 1) → list6
  1734. CircumcircleArc(A_1, D_1, E_1) → e_1
  1735. Binomial(k, X) → l
  1736. Binomial(N - k, n - X) → m
  1737. Binomial(N, n) → r
  1738. If(R15 < k + 1, 1, 0) → S15
  1739. If(R16 < k + 1, 1, 0) → S16
  1740. If(R17 < k + 1, 1, 0) → S17
  1741. If(R18 < k + 1, 1, 0) → S18
  1742. If(R19 < k + 1, 1, 0) → S19
  1743. If(R20 < k + 1, 1, 0) → S20
  1744. If(R21 < k + 1, 1, 0) → S21
  1745. If(R22 < k + 1, 1, 0) → S22
  1746. If(R23 < k + 1, 1, 0) → S23
  1747. If(R24 < k + 1, 1, 0) → S24
  1748. If(R25 < k + 1, 1, 0) → S25
  1749. If(R26 < k + 1, 1, 0) → S26
  1750. If(R27 < k + 1, 1, 0) → S27
  1751. If(R28 < k + 1, 1, 0) → S28
  1752. If(R29 < k + 1, 1, 0) → S29
  1753. If(R30 < k + 1, 1, 0) → S30
  1754. If(R31 < k + 1, 1, 0) → S31
  1755. If(R32 < k + 1, 1, 0) → S32
  1756. If(R33 < k + 1, 1, 0) → S33
  1757. If(R34 < k + 1, 1, 0) → S34
  1758. If(R35 < k + 1, 1, 0) → S35
  1759. If(R36 < k + 1, 1, 0) → S36
  1760. If(R37 < k + 1, 1, 0) → S37
  1761. If(R38 < k + 1, 1, 0) → S38
  1762. If(R39 < k + 1, 1, 0) → S39
  1763. If(R40 < k + 1, 1, 0) → S40
  1764. If(R41 < k + 1, 1, 0) → S41
  1765. If(R42 < k + 1, 1, 0) → S42
  1766. If(R43 < k + 1, 1, 0) → S43
  1767. If(R44 < k + 1, 1, 0) → S44
  1768. If(R45 < k + 1, 1, 0) → S45
  1769. If(R46 < k + 1, 1, 0) → S46
  1770. If(R47 < k + 1, 1, 0) → S47
  1771. If(R48 < k + 1, 1, 0) → S48
  1772. If(R49 < k + 1, 1, 0) → S49
  1773. If(R50 < k + 1, 1, 0) → S50
  1774. If(R51 < k + 1, 1, 0) → S51
  1775. If(R52 < k + 1, 1, 0) → S52
  1776. If(R53 < k + 1, 1, 0) → S53
  1777. If(R54 < k + 1, 1, 0) → S54
  1778. If(R55 < k + 1, 1, 0) → S55
  1779. If(R56 < k + 1, 1, 0) → S56
  1780. If(R57 < k + 1, 1, 0) → S57
  1781. If(R58 < k + 1, 1, 0) → S58
  1782. If(R59 < k + 1, 1, 0) → S59
  1783. If(R60 < k + 1, 1, 0) → S60
  1784. If(R61 < k + 1, 1, 0) → S61
  1785. If(R62 < k + 1, 1, 0) → S62
  1786. If(R63 < k + 1, 1, 0) → S63
  1787. If(R64 < k + 1, 1, 0) → S64
  1788. If(R65 < k + 1, 1, 0) → S65
  1789. If(R66 < k + 1, 1, 0) → S66
  1790. If(R67 < k + 1, 1, 0) → S67
  1791. If(R68 < k + 1, 1, 0) → S68
  1792. If(R69 < k + 1, 1, 0) → S69
  1793. If(R70 < k + 1, 1, 0) → S70
  1794. If(R71 < k + 1, 1, 0) → S71
  1795. If(R72 < k + 1, 1, 0) → S72
  1796. If(R73 < k + 1, 1, 0) → S73
  1797. If(R74 < k + 1, 1, 0) → S74
  1798. If(R75 < k + 1, 1, 0) → S75
  1799. If(R76 < k + 1, 1, 0) → S76
  1800. If(R77 < k + 1, 1, 0) → S77
  1801. If(R78 < k + 1, 1, 0) → S78
  1802. If(R79 < k + 1, 1, 0) → S79
  1803. If(R80 < k + 1, 1, 0) → S80
  1804. If(R81 < k + 1, 1, 0) → S81
  1805. If(R82 < k + 1, 1, 0) → S82
  1806. If(R83 < k + 1, 1, 0) → S83
  1807. If(R84 < k + 1, 1, 0) → S84
  1808. If(R85 < k + 1, 1, 0) → S85
  1809. If(R86 < k + 1, 1, 0) → S86
  1810. If(R87 < k + 1, 1, 0) → S87
  1811. If(R88 < k + 1, 1, 0) → S88
  1812. If(R89 < k + 1, 1, 0) → S89
  1813. If(R90 < k + 1, 1, 0) → S90
  1814. If(R91 < k + 1, 1, 0) → S91
  1815. If(R92 < k + 1, 1, 0) → S92
  1816. If(R93 < k + 1, 1, 0) → S93
  1817. If(R94 < k + 1, 1, 0) → S94
  1818. If(R95 < k + 1, 1, 0) → S95
  1819. If(R96 < k + 1, 1, 0) → S96
  1820. If(R97 < k + 1, 1, 0) → S97
  1821. If(R98 < k + 1, 1, 0) → S98
  1822. If(R99 < k + 1, 1, 0) → S99
  1823. If(R100 < k + 1, 1, 0) → S100
  1824. If(R101 < k + 1, 1, 0) → S101
  1825. If(R102 < k + 1, 1, 0) → S102
  1826. If(R103 < k + 1, 1, 0) → S103
  1827. If(R104 < k + 1, 1, 0) → S104
  1828. If(R105 < k + 1, 1, 0) → S105
  1829. If(R106 < k + 1, 1, 0) → S106
  1830. If(R107 < k + 1, 1, 0) → S107
  1831. If(R108 < k + 1, 1, 0) → S108
  1832. If(R109 < k + 1, 1, 0) → S109
  1833. If(R110 < k + 1, 1, 0) → S110
  1834. If(R111 < k + 1, 1, 0) → S111
  1835. If(R112 < k + 1, 1, 0) → S112
  1836. If(R113 < k + 1, 1, 0) → S113
  1837. If(R114 < k + 1, 1, 0) → S114
  1838. Sum(T1:T10) → T11
  1839. Sum(U1:U10) → U11
  1840. Sum(V1:V10) → V11
  1841. Sum(W1:W10) → W11
  1842. Sum(X1:X10) → X11
  1843. Sum(Y1:Y10) → Y11
  1844. Sum(Z1:Z10) → Z11
  1845. Sum(AA1:AA10) → AA11
  1846. Sum(AB1:AB10) → AB11
  1847. CountIf(x ≟ $S1, T$15:T$114) → T1
  1848. CountIf(x ≟ $S2, T$15:T$114) → T2
  1849. CountIf(x ≟ $S3, T$15:T$114) → T3
  1850. CountIf(x ≟ $S4, T$15:T$114) → T4
  1851. CountIf(x ≟ $S5, T$15:T$114) → T5
  1852. CountIf(x ≟ $S6, T$15:T$114) → T6
  1853. CountIf(x ≟ $S7, T$15:T$114) → T7
  1854. CountIf(x ≟ $S8, T$15:T$114) → T8
  1855. CountIf(x ≟ $S9, T$15:T$114) → T9
  1856. CountIf(x ≟ $S10, T$15:T$114) → T10
  1857. CountIf(x ≟ $S1, U$15:U$114) → U1
  1858. CountIf(x ≟ $S2, U$15:U$114) → U2
  1859. CountIf(x ≟ $S3, U$15:U$114) → U3
  1860. CountIf(x ≟ $S4, U$15:U$114) → U4
  1861. CountIf(x ≟ $S5, U$15:U$114) → U5
  1862. CountIf(x ≟ $S6, U$15:U$114) → U6
  1863. CountIf(x ≟ $S7, U$15:U$114) → U7
  1864. CountIf(x ≟ $S8, U$15:U$114) → U8
  1865. CountIf(x ≟ $S9, U$15:U$114) → U9
  1866. CountIf(x ≟ $S10, U$15:U$114) → U10
  1867. CountIf(x ≟ $S1, V$15:V$114) → V1
  1868. CountIf(x ≟ $S2, V$15:V$114) → V2
  1869. CountIf(x ≟ $S3, V$15:V$114) → V3
  1870. CountIf(x ≟ $S4, V$15:V$114) → V4
  1871. CountIf(x ≟ $S5, V$15:V$114) → V5
  1872. CountIf(x ≟ $S6, V$15:V$114) → V6
  1873. CountIf(x ≟ $S7, V$15:V$114) → V7
  1874. CountIf(x ≟ $S8, V$15:V$114) → V8
  1875. CountIf(x ≟ $S9, V$15:V$114) → V9
  1876. CountIf(x ≟ $S10, V$15:V$114) → V10
  1877. CountIf(x ≟ $S1, W$15:W$114) → W1
  1878. CountIf(x ≟ $S2, W$15:W$114) → W2
  1879. CountIf(x ≟ $S3, W$15:W$114) → W3
  1880. CountIf(x ≟ $S4, W$15:W$114) → W4
  1881. CountIf(x ≟ $S5, W$15:W$114) → W5
  1882. CountIf(x ≟ $S6, W$15:W$114) → W6
  1883. CountIf(x ≟ $S7, W$15:W$114) → W7
  1884. CountIf(x ≟ $S8, W$15:W$114) → W8
  1885. CountIf(x ≟ $S9, W$15:W$114) → W9
  1886. CountIf(x ≟ $S10, W$15:W$114) → W10
  1887. CountIf(x ≟ $S1, X$15:X$114) → X1
  1888. CountIf(x ≟ $S2, X$15:X$114) → X2
  1889. CountIf(x ≟ $S3, X$15:X$114) → X3
  1890. CountIf(x ≟ $S4, X$15:X$114) → X4
  1891. CountIf(x ≟ $S5, X$15:X$114) → X5
  1892. CountIf(x ≟ $S6, X$15:X$114) → X6
  1893. CountIf(x ≟ $S7, X$15:X$114) → X7
  1894. CountIf(x ≟ $S8, X$15:X$114) → X8
  1895. CountIf(x ≟ $S9, X$15:X$114) → X9
  1896. CountIf(x ≟ $S10, X$15:X$114) → X10
  1897. CountIf(x ≟ $S1, Y$15:Y$114) → Y1
  1898. CountIf(x ≟ $S2, Y$15:Y$114) → Y2
  1899. CountIf(x ≟ $S3, Y$15:Y$114) → Y3
  1900. CountIf(x ≟ $S4, Y$15:Y$114) → Y4
  1901. CountIf(x ≟ $S5, Y$15:Y$114) → Y5
  1902. CountIf(x ≟ $S6, Y$15:Y$114) → Y6
  1903. CountIf(x ≟ $S7, Y$15:Y$114) → Y7
  1904. CountIf(x ≟ $S8, Y$15:Y$114) → Y8
  1905. CountIf(x ≟ $S9, Y$15:Y$114) → Y9
  1906. CountIf(x ≟ $S10, Y$15:Y$114) → Y10
  1907. CountIf(x ≟ $S1, Z$15:Z$114) → Z1
  1908. CountIf(x ≟ $S2, Z$15:Z$114) → Z2
  1909. CountIf(x ≟ $S3, Z$15:Z$114) → Z3
  1910. CountIf(x ≟ $S4, Z$15:Z$114) → Z4
  1911. CountIf(x ≟ $S5, Z$15:Z$114) → Z5
  1912. CountIf(x ≟ $S6, Z$15:Z$114) → Z6
  1913. CountIf(x ≟ $S7, Z$15:Z$114) → Z7
  1914. CountIf(x ≟ $S8, Z$15:Z$114) → Z8
  1915. CountIf(x ≟ $S9, Z$15:Z$114) → Z9
  1916. CountIf(x ≟ $S10, Z$15:Z$114) → Z10
  1917. CountIf(x ≟ $S1, AA$15:AA$114) → AA1
  1918. CountIf(x ≟ $S2, AA$15:AA$114) → AA2
  1919. CountIf(x ≟ $S3, AA$15:AA$114) → AA3
  1920. CountIf(x ≟ $S4, AA$15:AA$114) → AA4
  1921. CountIf(x ≟ $S5, AA$15:AA$114) → AA5
  1922. CountIf(x ≟ $S6, AA$15:AA$114) → AA6
  1923. CountIf(x ≟ $S7, AA$15:AA$114) → AA7
  1924. CountIf(x ≟ $S8, AA$15:AA$114) → AA8
  1925. CountIf(x ≟ $S9, AA$15:AA$114) → AA9
  1926. CountIf(x ≟ $S10, AA$15:AA$114) → AA10
  1927. CountIf(x ≟ $S1, AB$15:AB$114) → AB1
  1928. CountIf(x ≟ $S2, AB$15:AB$114) → AB2
  1929. CountIf(x ≟ $S3, AB$15:AB$114) → AB3
  1930. CountIf(x ≟ $S4, AB$15:AB$114) → AB4
  1931. CountIf(x ≟ $S5, AB$15:AB$114) → AB5
  1932. CountIf(x ≟ $S6, AB$15:AB$114) → AB6
  1933. CountIf(x ≟ $S7, AB$15:AB$114) → AB7
  1934. CountIf(x ≟ $S8, AB$15:AB$114) → AB8
  1935. CountIf(x ≟ $S9, AB$15:AB$114) → AB9
  1936. CountIf(x ≟ $S10, AB$15:AB$114) → AB10
  1937. HyperGeometric(N, X, k) → v
  1938. Segment(R, W) → c_1
  1939. Sequence((x(R) + (j * (x(W) - x(R)) / X), y(R) + (j * (y(W) - y(R)) / X)), j, 0, X - 1, 1) → list10
  1940. Segment(Z, B_1) → d_1
  1941. Sequence((x(Z) + (j * (x(B_1) - x(Z)) / (n - X)), y(Z) + (j * (y(B_1) - y(Z)) / (n - X))), j, 0, n - X - 1, 1) → list9
  1942. Sequence(V + (2 * ℯ^((((2 * π) * ί) * j / (k - X)))), j, 0, k - X) → list7
  1943. Min(k, n) → w
  1944. Max(n - Y, 0) → l_1
  1945. Sequence(V + ℯ^((((2 * π) * ί) * j / (Y - (n - X)))), j, 0, Y - (n - X)) → list8
  1946. Min(k, n) → w_3
  1947. Segment(C_1, F_1) → b_2
  1948. Segment(G_1, H_1) → c_2
  1949. Segment(I_1, J_1) → d_2
  1950. Sequence(((j * Binomial[k, j]) * Binomial[N - k, n - j] / Binomial[N, n]), j, 0, n, 1) → list11
  1951. Segment(K_1, L_1) → e_2
  1952. Sum(list11) → f_2
  1953. Product(Sequence[(k - j) / (N - j), j, 0, 1, 1]) → f_4
  1954. Product(Sequence[(k - j) / (N - j), j, 0, 1, 1]) → f_5
  1955. Binomial(N, n) → r_2
  1956. Sequence((((j - f_1)^(2) * Binomial[k, j]) * Binomial[N - k, n - j] / Binomial[N, n]), j, 0, n, 1) → list12
  1957. Sum(list12) → i