All Sums of Riemann Sums

All Sums of Riemann Sums
Loading the math board and drawing, please wait…
2014-07-05 00:12
In collections BC Calculus
This example illustrates the concept of Riemann sums, approximating definite integrals by dividing intervals and calculating function values in each subinterval. Key mathematical concepts include definite integrals, functions, and limits. It utilizes Segment, Integral, Intersect, If, Sum, Polygon, and Textfield commands in GeoGebra. Suitable for high school students and calculus learners.

GeoGebra Commands & Parameters

  1. Segment((C1, 0), (C1, f(C1))) → D1
  2. Integral(f(C1), C1, C2) → E1
  3. Integral(f(C2), C1, C2) → F1
  4. Segment((Right + 3 * $A$4, f(C1)), (Right + 4 * $A$4, f(C1))) → G1
  5. Segment((Right + 3 * $A$4, f(C1)), (Right + 3 * $A$4, f(Right))) → A6
  6. Segment((Right + 4 * $A$4, f(C1)), (Right + 4 * $A$4, f(Right))) → A7
  7. Integral(f(C2), C2, C3) → E2
  8. Integral(f(C3), C3, C4) → E3
  9. Integral(f(C4), C4, C5) → E4
  10. Integral(f(C5), C5, C6) → E5
  11. Integral(f(C6), C6, C7) → E6
  12. Integral(f(C7), C7, C8) → E7
  13. Integral(f(C8), C8, C9) → E8
  14. Integral(f(C9), C9, C10) → E9
  15. Integral(f(C10), C10, C11) → E10
  16. Integral(f(C11), C11, C12) → E11
  17. Integral(f(C12), C12, C13) → E12
  18. Integral(f(C13), C13, C14) → E13
  19. Integral(f(C14), C14, C15) → E14
  20. Integral(f(C15), C15, C16) → E15
  21. Integral(f(C16), C16, C17) → E16
  22. Integral(f(C17), C17, C18) → E17
  23. Integral(f(C18), C18, C19) → E18
  24. Integral(f(C19), C19, C20) → E19
  25. Integral(f(C20), C20, C21) → E20
  26. Integral(f(C21), C21, C22) → E21
  27. Integral(f(C22), C22, C23) → E22
  28. Integral(f(C23), C23, C24) → E23
  29. Integral(f(C24), C24, C25) → E24
  30. Integral(f(C25), C25, C26) → E25
  31. Integral(f(C26), C26, C27) → E26
  32. Integral(f(C27), C27, C28) → E27
  33. Integral(f(C28), C28, C29) → E28
  34. Integral(f(C29), C29, C30) → E29
  35. Integral(f(C30), C30, C31) → E30
  36. Integral(f(C31), C31, C32) → E31
  37. Integral(f(C32), C32, C33) → E32
  38. Integral(f(C33), C33, C34) → E33
  39. Integral(f(C34), C34, C35) → E34
  40. Integral(f(C35), C35, C36) → E35
  41. Integral(f(C36), C36, C37) → E36
  42. Integral(f(C37), C37, C38) → E37
  43. Integral(f(C38), C38, C39) → E38
  44. Integral(f(C39), C39, C40) → E39
  45. Integral(f(C40), C40, C41) → E40
  46. Integral(f(C41), C41, C42) → E41
  47. Integral(f(C42), C42, C43) → E42
  48. Integral(f(C43), C43, C44) → E43
  49. Integral(f(C44), C44, C45) → E44
  50. Integral(f(C45), C45, C46) → E45
  51. Integral(f(C46), C46, C47) → E46
  52. Integral(f(C47), C47, C48) → E47
  53. Integral(f(C48), C48, C49) → E48
  54. Integral(f(C49), C49, C50) → E49
  55. Integral(f(C50), C50, C51) → E50
  56. Integral(f(C51), C51, C52) → E51
  57. Integral(f(C52), C52, C53) → E52
  58. Integral(f(C53), C53, C54) → E53
  59. Integral(f(C54), C54, C55) → E54
  60. Integral(f(C55), C55, C56) → E55
  61. Integral(f(C56), C56, C57) → E56
  62. Integral(f(C57), C57, C58) → E57
  63. Integral(f(C58), C58, C59) → E58
  64. Integral(f(C59), C59, C60) → E59
  65. Integral(f(C60), C60, C61) → E60
  66. Integral(f(C61), C61, C62) → E61
  67. Integral(f(C62), C62, C63) → E62
  68. Integral(f(C63), C63, C64) → E63
  69. Integral(f(C64), C64, C65) → E64
  70. Integral(f(C65), C65, C66) → E65
  71. Integral(f(C66), C66, C67) → E66
  72. Integral(f(C67), C67, C68) → E67
  73. Integral(f(C68), C68, C69) → E68
  74. Integral(f(C69), C69, C70) → E69
  75. Integral(f(C70), C70, C71) → E70
  76. Integral(f(C71), C71, C72) → E71
  77. Integral(f(C72), C72, C73) → E72
  78. Integral(f(C73), C73, C74) → E73
  79. Integral(f(C74), C74, C75) → E74
  80. Integral(f(C75), C75, C76) → E75
  81. Integral(f(C76), C76, C77) → E76
  82. Integral(f(C77), C77, C78) → E77
  83. Integral(f(C78), C78, C79) → E78
  84. Integral(f(C79), C79, C80) → E79
  85. Integral(f(C80), C80, C81) → E80
  86. Integral(f(C81), C81, C82) → E81
  87. Integral(f(C82), C82, C83) → E82
  88. Integral(f(C83), C83, C84) → E83
  89. Integral(f(C84), C84, C85) → E84
  90. Integral(f(C85), C85, C86) → E85
  91. Integral(f(C86), C86, C87) → E86
  92. Integral(f(C87), C87, C88) → E87
  93. Integral(f(C88), C88, C89) → E88
  94. Integral(f(C89), C89, C90) → E89
  95. Integral(f(C90), C90, C91) → E90
  96. Integral(f(C91), C91, C92) → E91
  97. Integral(f(C92), C92, C93) → E92
  98. Integral(f(C93), C93, C94) → E93
  99. Integral(f(C94), C94, C95) → E94
  100. Integral(f(C95), C95, C96) → E95
  101. Integral(f(C96), C96, C97) → E96
  102. Integral(f(C97), C97, C98) → E97
  103. Integral(f(C98), C98, C99) → E98
  104. Integral(f(C99), C99, C100) → E99
  105. Integral(f(C100), C100, C101) → E100
  106. Integral(f(C101), C101, C102) → E101
  107. Integral(f(C102), C102, C103) → E102
  108. Integral(f(C3), C2, C3) → F2
  109. Integral(f(C4), C3, C4) → F3
  110. Integral(f(C5), C4, C5) → F4
  111. Integral(f(C6), C5, C6) → F5
  112. Integral(f(C7), C6, C7) → F6
  113. Integral(f(C8), C7, C8) → F7
  114. Integral(f(C9), C8, C9) → F8
  115. Integral(f(C10), C9, C10) → F9
  116. Integral(f(C11), C10, C11) → F10
  117. Integral(f(C12), C11, C12) → F11
  118. Integral(f(C13), C12, C13) → F12
  119. Integral(f(C14), C13, C14) → F13
  120. Integral(f(C15), C14, C15) → F14
  121. Integral(f(C16), C15, C16) → F15
  122. Integral(f(C17), C16, C17) → F16
  123. Integral(f(C18), C17, C18) → F17
  124. Integral(f(C19), C18, C19) → F18
  125. Integral(f(C20), C19, C20) → F19
  126. Integral(f(C21), C20, C21) → F20
  127. Integral(f(C22), C21, C22) → F21
  128. Integral(f(C23), C22, C23) → F22
  129. Integral(f(C24), C23, C24) → F23
  130. Integral(f(C25), C24, C25) → F24
  131. Integral(f(C26), C25, C26) → F25
  132. Integral(f(C27), C26, C27) → F26
  133. Integral(f(C28), C27, C28) → F27
  134. Integral(f(C29), C28, C29) → F28
  135. Integral(f(C30), C29, C30) → F29
  136. Integral(f(C31), C30, C31) → F30
  137. Integral(f(C32), C31, C32) → F31
  138. Integral(f(C33), C32, C33) → F32
  139. Integral(f(C34), C33, C34) → F33
  140. Integral(f(C35), C34, C35) → F34
  141. Integral(f(C36), C35, C36) → F35
  142. Integral(f(C37), C36, C37) → F36
  143. Integral(f(C38), C37, C38) → F37
  144. Integral(f(C39), C38, C39) → F38
  145. Integral(f(C40), C39, C40) → F39
  146. Integral(f(C41), C40, C41) → F40
  147. Integral(f(C42), C41, C42) → F41
  148. Integral(f(C43), C42, C43) → F42
  149. Integral(f(C44), C43, C44) → F43
  150. Integral(f(C45), C44, C45) → F44
  151. Integral(f(C46), C45, C46) → F45
  152. Integral(f(C47), C46, C47) → F46
  153. Integral(f(C48), C47, C48) → F47
  154. Integral(f(C49), C48, C49) → F48
  155. Integral(f(C50), C49, C50) → F49
  156. Integral(f(C51), C50, C51) → F50
  157. Integral(f(C52), C51, C52) → F51
  158. Integral(f(C53), C52, C53) → F52
  159. Integral(f(C54), C53, C54) → F53
  160. Integral(f(C55), C54, C55) → F54
  161. Integral(f(C56), C55, C56) → F55
  162. Integral(f(C57), C56, C57) → F56
  163. Integral(f(C58), C57, C58) → F57
  164. Integral(f(C59), C58, C59) → F58
  165. Integral(f(C60), C59, C60) → F59
  166. Integral(f(C61), C60, C61) → F60
  167. Integral(f(C62), C61, C62) → F61
  168. Integral(f(C63), C62, C63) → F62
  169. Integral(f(C64), C63, C64) → F63
  170. Integral(f(C65), C64, C65) → F64
  171. Integral(f(C66), C65, C66) → F65
  172. Integral(f(C67), C66, C67) → F66
  173. Integral(f(C68), C67, C68) → F67
  174. Integral(f(C69), C68, C69) → F68
  175. Integral(f(C70), C69, C70) → F69
  176. Integral(f(C71), C70, C71) → F70
  177. Integral(f(C72), C71, C72) → F71
  178. Integral(f(C73), C72, C73) → F72
  179. Integral(f(C74), C73, C74) → F73
  180. Integral(f(C75), C74, C75) → F74
  181. Integral(f(C76), C75, C76) → F75
  182. Integral(f(C77), C76, C77) → F76
  183. Integral(f(C78), C77, C78) → F77
  184. Integral(f(C79), C78, C79) → F78
  185. Integral(f(C80), C79, C80) → F79
  186. Integral(f(C81), C80, C81) → F80
  187. Integral(f(C82), C81, C82) → F81
  188. Integral(f(C83), C82, C83) → F82
  189. Integral(f(C84), C83, C84) → F83
  190. Integral(f(C85), C84, C85) → F84
  191. Integral(f(C86), C85, C86) → F85
  192. Integral(f(C87), C86, C87) → F86
  193. Integral(f(C88), C87, C88) → F87
  194. Integral(f(C89), C88, C89) → F88
  195. Integral(f(C90), C89, C90) → F89
  196. Integral(f(C91), C90, C91) → F90
  197. Integral(f(C92), C91, C92) → F91
  198. Integral(f(C93), C92, C93) → F92
  199. Integral(f(C94), C93, C94) → F93
  200. Integral(f(C95), C94, C95) → F94
  201. Integral(f(C96), C95, C96) → F95
  202. Integral(f(C97), C96, C97) → F96
  203. Integral(f(C98), C97, C98) → F97
  204. Integral(f(C99), C98, C99) → F98
  205. Integral(f(C100), C99, C100) → F99
  206. Integral(f(C101), C100, C101) → F100
  207. Integral(f(C102), C101, C102) → F101
  208. Integral(f(C103), C102, C103) → F102
  209. Segment((Right + 3 * $A$4, f(C12)), (Right + 4 * $A$4, f(C12))) → G12
  210. Intersect(A6, G12) → A
  211. Intersect(A7, G12) → B
  212. Intersect(G1, A7) → C
  213. Intersect(G1, A6) → D
  214. Segment((C2, 0), (C2, f(C2))) → D2
  215. Segment((C3, 0), (C3, f(C3))) → D3
  216. Segment((C4, 0), (C4, f(C4))) → D4
  217. Segment((C5, 0), (C5, f(C5))) → D5
  218. Segment((C6, 0), (C6, f(C6))) → D6
  219. Segment((C7, 0), (C7, f(C7))) → D7
  220. Segment((C8, 0), (C8, f(C8))) → D8
  221. Segment((C9, 0), (C9, f(C9))) → D9
  222. Segment((C10, 0), (C10, f(C10))) → D10
  223. Segment((C11, 0), (C11, f(C11))) → D11
  224. Segment((C12, 0), (C12, f(C12))) → D12
  225. Segment((C13, 0), (C13, f(C13))) → D13
  226. Segment((C14, 0), (C14, f(C14))) → D14
  227. Segment((C15, 0), (C15, f(C15))) → D15
  228. Segment((C16, 0), (C16, f(C16))) → D16
  229. Segment((C17, 0), (C17, f(C17))) → D17
  230. Segment((C18, 0), (C18, f(C18))) → D18
  231. Segment((C19, 0), (C19, f(C19))) → D19
  232. Segment((C20, 0), (C20, f(C20))) → D20
  233. Segment((C21, 0), (C21, f(C21))) → D21
  234. Segment((C22, 0), (C22, f(C22))) → D22
  235. Segment((C23, 0), (C23, f(C23))) → D23
  236. Segment((C24, 0), (C24, f(C24))) → D24
  237. Segment((C25, 0), (C25, f(C25))) → D25
  238. Segment((C26, 0), (C26, f(C26))) → D26
  239. Segment((C27, 0), (C27, f(C27))) → D27
  240. Segment((C28, 0), (C28, f(C28))) → D28
  241. Segment((C29, 0), (C29, f(C29))) → D29
  242. Segment((C30, 0), (C30, f(C30))) → D30
  243. Segment((C31, 0), (C31, f(C31))) → D31
  244. Segment((C32, 0), (C32, f(C32))) → D32
  245. Segment((C33, 0), (C33, f(C33))) → D33
  246. Segment((C34, 0), (C34, f(C34))) → D34
  247. Segment((C35, 0), (C35, f(C35))) → D35
  248. Segment((C36, 0), (C36, f(C36))) → D36
  249. Segment((C37, 0), (C37, f(C37))) → D37
  250. Segment((C38, 0), (C38, f(C38))) → D38
  251. Segment((C39, 0), (C39, f(C39))) → D39
  252. Segment((C40, 0), (C40, f(C40))) → D40
  253. Segment((C41, 0), (C41, f(C41))) → D41
  254. Segment((C42, 0), (C42, f(C42))) → D42
  255. Segment((C43, 0), (C43, f(C43))) → D43
  256. Segment((C44, 0), (C44, f(C44))) → D44
  257. Segment((C45, 0), (C45, f(C45))) → D45
  258. Segment((C46, 0), (C46, f(C46))) → D46
  259. Segment((C47, 0), (C47, f(C47))) → D47
  260. Segment((C48, 0), (C48, f(C48))) → D48
  261. Segment((C49, 0), (C49, f(C49))) → D49
  262. Segment((C50, 0), (C50, f(C50))) → D50
  263. Segment((C51, 0), (C51, f(C51))) → D51
  264. Segment((C52, 0), (C52, f(C52))) → D52
  265. Segment((C53, 0), (C53, f(C53))) → D53
  266. Segment((C54, 0), (C54, f(C54))) → D54
  267. Segment((C55, 0), (C55, f(C55))) → D55
  268. Segment((C56, 0), (C56, f(C56))) → D56
  269. Segment((C57, 0), (C57, f(C57))) → D57
  270. Segment((C58, 0), (C58, f(C58))) → D58
  271. Segment((C59, 0), (C59, f(C59))) → D59
  272. Segment((C60, 0), (C60, f(C60))) → D60
  273. Segment((C61, 0), (C61, f(C61))) → D61
  274. Segment((C62, 0), (C62, f(C62))) → D62
  275. Segment((C63, 0), (C63, f(C63))) → D63
  276. Segment((C64, 0), (C64, f(C64))) → D64
  277. Segment((C65, 0), (C65, f(C65))) → D65
  278. Segment((C66, 0), (C66, f(C66))) → D66
  279. Segment((C67, 0), (C67, f(C67))) → D67
  280. Segment((C68, 0), (C68, f(C68))) → D68
  281. Segment((C69, 0), (C69, f(C69))) → D69
  282. Segment((C70, 0), (C70, f(C70))) → D70
  283. Segment((C71, 0), (C71, f(C71))) → D71
  284. Segment((C72, 0), (C72, f(C72))) → D72
  285. Segment((C73, 0), (C73, f(C73))) → D73
  286. Segment((C74, 0), (C74, f(C74))) → D74
  287. Segment((C75, 0), (C75, f(C75))) → D75
  288. Segment((C76, 0), (C76, f(C76))) → D76
  289. Segment((C77, 0), (C77, f(C77))) → D77
  290. Segment((C78, 0), (C78, f(C78))) → D78
  291. Segment((C79, 0), (C79, f(C79))) → D79
  292. Segment((C80, 0), (C80, f(C80))) → D80
  293. Segment((C81, 0), (C81, f(C81))) → D81
  294. Segment((C82, 0), (C82, f(C82))) → D82
  295. Segment((C83, 0), (C83, f(C83))) → D83
  296. Segment((C84, 0), (C84, f(C84))) → D84
  297. Segment((C85, 0), (C85, f(C85))) → D85
  298. Segment((C86, 0), (C86, f(C86))) → D86
  299. Segment((C87, 0), (C87, f(C87))) → D87
  300. Segment((C88, 0), (C88, f(C88))) → D88
  301. Segment((C89, 0), (C89, f(C89))) → D89
  302. Segment((C90, 0), (C90, f(C90))) → D90
  303. Segment((C91, 0), (C91, f(C91))) → D91
  304. Segment((C92, 0), (C92, f(C92))) → D92
  305. Segment((C93, 0), (C93, f(C93))) → D93
  306. Segment((C94, 0), (C94, f(C94))) → D94
  307. Segment((C95, 0), (C95, f(C95))) → D95
  308. Segment((C96, 0), (C96, f(C96))) → D96
  309. Segment((C97, 0), (C97, f(C97))) → D97
  310. Segment((C98, 0), (C98, f(C98))) → D98
  311. Segment((C99, 0), (C99, f(C99))) → D99
  312. Segment((C100, 0), (C100, f(C100))) → D100
  313. Segment((C101, 0), (C101, f(C101))) → D101
  314. Segment((C102, 0), (C102, f(C102))) → D102
  315. Segment((C103, 0), (C103, f(C103))) → D103
  316. If(C1 < Right, E1, 0) → H1
  317. If(C2 < Right, E2, 0) → H2
  318. If(C3 < Right, E3, 0) → H3
  319. If(C4 < Right, E4, 0) → H4
  320. If(C5 < Right, E5, 0) → H5
  321. If(C6 < Right, E6, 0) → H6
  322. If(C7 < Right, E7, 0) → H7
  323. If(C8 < Right, E8, 0) → H8
  324. If(C9 < Right, E9, 0) → H9
  325. If(C10 < Right, E10, 0) → H10
  326. If(C11 < Right, E11, 0) → H11
  327. If(C12 < Right, E12, 0) → H12
  328. If(C13 < Right, E13, 0) → H13
  329. If(C14 < Right, E14, 0) → H14
  330. If(C15 < Right, E15, 0) → H15
  331. If(C16 < Right, E16, 0) → H16
  332. If(C17 < Right, E17, 0) → H17
  333. If(C18 < Right, E18, 0) → H18
  334. If(C19 < Right, E19, 0) → H19
  335. If(C20 < Right, E20, 0) → H20
  336. If(C21 < Right, E21, 0) → H21
  337. If(C22 < Right, E22, 0) → H22
  338. If(C23 < Right, E23, 0) → H23
  339. If(C24 < Right, E24, 0) → H24
  340. If(C25 < Right, E25, 0) → H25
  341. If(C26 < Right, E26, 0) → H26
  342. If(C27 < Right, E27, 0) → H27
  343. If(C28 < Right, E28, 0) → H28
  344. If(C29 < Right, E29, 0) → H29
  345. If(C30 < Right, E30, 0) → H30
  346. If(C31 < Right, E31, 0) → H31
  347. If(C32 < Right, E32, 0) → H32
  348. If(C33 < Right, E33, 0) → H33
  349. If(C34 < Right, E34, 0) → H34
  350. If(C35 < Right, E35, 0) → H35
  351. If(C36 < Right, E36, 0) → H36
  352. If(C37 < Right, E37, 0) → H37
  353. If(C38 < Right, E38, 0) → H38
  354. If(C39 < Right, E39, 0) → H39
  355. If(C40 < Right, E40, 0) → H40
  356. If(C41 < Right, E41, 0) → H41
  357. If(C42 < Right, E42, 0) → H42
  358. If(C43 < Right, E43, 0) → H43
  359. If(C44 < Right, E44, 0) → H44
  360. If(C45 < Right, E45, 0) → H45
  361. If(C46 < Right, E46, 0) → H46
  362. If(C47 < Right, E47, 0) → H47
  363. If(C48 < Right, E48, 0) → H48
  364. If(C49 < Right, E49, 0) → H49
  365. If(C50 < Right, E50, 0) → H50
  366. If(C51 < Right, E51, 0) → H51
  367. If(C52 < Right, E52, 0) → H52
  368. If(C53 < Right, E53, 0) → H53
  369. If(C54 < Right, E54, 0) → H54
  370. If(C55 < Right, E55, 0) → H55
  371. If(C56 < Right, E56, 0) → H56
  372. If(C57 < Right, E57, 0) → H57
  373. If(C58 < Right, E58, 0) → H58
  374. If(C59 < Right, E59, 0) → H59
  375. If(C60 < Right, E60, 0) → H60
  376. If(C61 < Right, E61, 0) → H61
  377. If(C62 < Right, E62, 0) → H62
  378. If(C63 < Right, E63, 0) → H63
  379. If(C64 < Right, E64, 0) → H64
  380. If(C65 < Right, E65, 0) → H65
  381. If(C66 < Right, E66, 0) → H66
  382. If(C67 < Right, E67, 0) → H67
  383. If(C68 < Right, E68, 0) → H68
  384. If(C69 < Right, E69, 0) → H69
  385. If(C70 < Right, E70, 0) → H70
  386. If(C71 < Right, E71, 0) → H71
  387. If(C72 < Right, E72, 0) → H72
  388. If(C73 < Right, E73, 0) → H73
  389. If(C74 < Right, E74, 0) → H74
  390. If(C75 < Right, E75, 0) → H75
  391. If(C76 < Right, E76, 0) → H76
  392. If(C77 < Right, E77, 0) → H77
  393. If(C78 < Right, E78, 0) → H78
  394. If(C79 < Right, E79, 0) → H79
  395. If(C80 < Right, E80, 0) → H80
  396. If(C81 < Right, E81, 0) → H81
  397. If(C82 < Right, E82, 0) → H82
  398. If(C83 < Right, E83, 0) → H83
  399. If(C84 < Right, E84, 0) → H84
  400. If(C85 < Right, E85, 0) → H85
  401. If(C86 < Right, E86, 0) → H86
  402. If(C87 < Right, E87, 0) → H87
  403. If(C88 < Right, E88, 0) → H88
  404. If(C89 < Right, E89, 0) → H89
  405. If(C90 < Right, E90, 0) → H90
  406. If(C91 < Right, E91, 0) → H91
  407. If(C92 < Right, E92, 0) → H92
  408. If(C93 < Right, E93, 0) → H93
  409. If(C94 < Right, E94, 0) → H94
  410. If(C95 < Right, E95, 0) → H95
  411. If(C96 < Right, E96, 0) → H96
  412. If(C97 < Right, E97, 0) → H97
  413. If(C98 < Right, E98, 0) → H98
  414. If(C99 < Right, E99, 0) → H99
  415. If(C100 < Right, E100, 0) → H100
  416. Sum(H1:H100) → H104
  417. If(C101 < Right, E101, 0) → H101
  418. If(C102 < Right, E102, 0) → H102
  419. If(C1 < Right, F1, 0) → I1
  420. If(C2 < Right, F2, 0) → I2
  421. If(C3 < Right, F3, 0) → I3
  422. If(C4 < Right, F4, 0) → I4
  423. If(C5 < Right, F5, 0) → I5
  424. If(C6 < Right, F6, 0) → I6
  425. If(C7 < Right, F7, 0) → I7
  426. If(C8 < Right, F8, 0) → I8
  427. If(C9 < Right, F9, 0) → I9
  428. If(C10 < Right, F10, 0) → I10
  429. If(C11 < Right, F11, 0) → I11
  430. If(C12 < Right, F12, 0) → I12
  431. If(C13 < Right, F13, 0) → I13
  432. If(C14 < Right, F14, 0) → I14
  433. If(C15 < Right, F15, 0) → I15
  434. If(C16 < Right, F16, 0) → I16
  435. If(C17 < Right, F17, 0) → I17
  436. If(C18 < Right, F18, 0) → I18
  437. If(C19 < Right, F19, 0) → I19
  438. If(C20 < Right, F20, 0) → I20
  439. If(C21 < Right, F21, 0) → I21
  440. If(C22 < Right, F22, 0) → I22
  441. If(C23 < Right, F23, 0) → I23
  442. If(C24 < Right, F24, 0) → I24
  443. If(C25 < Right, F25, 0) → I25
  444. If(C26 < Right, F26, 0) → I26
  445. If(C27 < Right, F27, 0) → I27
  446. If(C28 < Right, F28, 0) → I28
  447. If(C29 < Right, F29, 0) → I29
  448. If(C30 < Right, F30, 0) → I30
  449. If(C31 < Right, F31, 0) → I31
  450. If(C32 < Right, F32, 0) → I32
  451. If(C33 < Right, F33, 0) → I33
  452. If(C34 < Right, F34, 0) → I34
  453. If(C35 < Right, F35, 0) → I35
  454. If(C36 < Right, F36, 0) → I36
  455. If(C37 < Right, F37, 0) → I37
  456. If(C38 < Right, F38, 0) → I38
  457. If(C39 < Right, F39, 0) → I39
  458. If(C40 < Right, F40, 0) → I40
  459. If(C41 < Right, F41, 0) → I41
  460. If(C42 < Right, F42, 0) → I42
  461. If(C43 < Right, F43, 0) → I43
  462. If(C44 < Right, F44, 0) → I44
  463. If(C45 < Right, F45, 0) → I45
  464. If(C46 < Right, F46, 0) → I46
  465. If(C47 < Right, F47, 0) → I47
  466. If(C48 < Right, F48, 0) → I48
  467. If(C49 < Right, F49, 0) → I49
  468. If(C50 < Right, F50, 0) → I50
  469. If(C51 < Right, F51, 0) → I51
  470. If(C52 < Right, F52, 0) → I52
  471. If(C53 < Right, F53, 0) → I53
  472. If(C54 < Right, F54, 0) → I54
  473. If(C55 < Right, F55, 0) → I55
  474. If(C56 < Right, F56, 0) → I56
  475. If(C57 < Right, F57, 0) → I57
  476. If(C58 < Right, F58, 0) → I58
  477. If(C59 < Right, F59, 0) → I59
  478. If(C60 < Right, F60, 0) → I60
  479. If(C61 < Right, F61, 0) → I61
  480. If(C62 < Right, F62, 0) → I62
  481. If(C63 < Right, F63, 0) → I63
  482. If(C64 < Right, F64, 0) → I64
  483. If(C65 < Right, F65, 0) → I65
  484. If(C66 < Right, F66, 0) → I66
  485. If(C67 < Right, F67, 0) → I67
  486. If(C68 < Right, F68, 0) → I68
  487. If(C69 < Right, F69, 0) → I69
  488. If(C70 < Right, F70, 0) → I70
  489. If(C71 < Right, F71, 0) → I71
  490. If(C72 < Right, F72, 0) → I72
  491. If(C73 < Right, F73, 0) → I73
  492. If(C74 < Right, F74, 0) → I74
  493. If(C75 < Right, F75, 0) → I75
  494. If(C76 < Right, F76, 0) → I76
  495. If(C77 < Right, F77, 0) → I77
  496. If(C78 < Right, F78, 0) → I78
  497. If(C79 < Right, F79, 0) → I79
  498. If(C80 < Right, F80, 0) → I80
  499. If(C81 < Right, F81, 0) → I81
  500. If(C82 < Right, F82, 0) → I82
  501. If(C83 < Right, F83, 0) → I83
  502. If(C84 < Right, F84, 0) → I84
  503. If(C85 < Right, F85, 0) → I85
  504. If(C86 < Right, F86, 0) → I86
  505. If(C87 < Right, F87, 0) → I87
  506. If(C88 < Right, F88, 0) → I88
  507. If(C89 < Right, F89, 0) → I89
  508. If(C90 < Right, F90, 0) → I90
  509. If(C91 < Right, F91, 0) → I91
  510. If(C92 < Right, F92, 0) → I92
  511. If(C93 < Right, F93, 0) → I93
  512. If(C94 < Right, F94, 0) → I94
  513. If(C95 < Right, F95, 0) → I95
  514. If(C96 < Right, F96, 0) → I96
  515. If(C97 < Right, F97, 0) → I97
  516. If(C98 < Right, F98, 0) → I98
  517. If(C99 < Right, F99, 0) → I99
  518. If(C100 < Right, F100, 0) → I100
  519. If(C101 < Right, F101, 0) → I101
  520. If(C102 < Right, F102, 0) → I102
  521. Sum(I1:I100) → I104
  522. Integral(f(J1), C1, C2) → K1
  523. Integral(f(J2), C2, C3) → K2
  524. Integral(f(J3), C3, C4) → K3
  525. Integral(f(J4), C4, C5) → K4
  526. Integral(f(J5), C5, C6) → K5
  527. Integral(f(J6), C6, C7) → K6
  528. Integral(f(J7), C7, C8) → K7
  529. Integral(f(J8), C8, C9) → K8
  530. Integral(f(J9), C9, C10) → K9
  531. Integral(f(J10), C10, C11) → K10
  532. Integral(f(J11), C11, C12) → K11
  533. Integral(f(J12), C12, C13) → K12
  534. Integral(f(J13), C13, C14) → K13
  535. Integral(f(J14), C14, C15) → K14
  536. Integral(f(J15), C15, C16) → K15
  537. Integral(f(J16), C16, C17) → K16
  538. Integral(f(J17), C17, C18) → K17
  539. Integral(f(J18), C18, C19) → K18
  540. Integral(f(J19), C19, C20) → K19
  541. Integral(f(J20), C20, C21) → K20
  542. Integral(f(J21), C21, C22) → K21
  543. Integral(f(J22), C22, C23) → K22
  544. Integral(f(J23), C23, C24) → K23
  545. Integral(f(J24), C24, C25) → K24
  546. Integral(f(J25), C25, C26) → K25
  547. Integral(f(J26), C26, C27) → K26
  548. Integral(f(J27), C27, C28) → K27
  549. Integral(f(J28), C28, C29) → K28
  550. Integral(f(J29), C29, C30) → K29
  551. Integral(f(J30), C30, C31) → K30
  552. Integral(f(J31), C31, C32) → K31
  553. Integral(f(J32), C32, C33) → K32
  554. Integral(f(J33), C33, C34) → K33
  555. Integral(f(J34), C34, C35) → K34
  556. Integral(f(J35), C35, C36) → K35
  557. Integral(f(J36), C36, C37) → K36
  558. Integral(f(J37), C37, C38) → K37
  559. Integral(f(J38), C38, C39) → K38
  560. Integral(f(J39), C39, C40) → K39
  561. Integral(f(J40), C40, C41) → K40
  562. Integral(f(J41), C41, C42) → K41
  563. Integral(f(J42), C42, C43) → K42
  564. Integral(f(J43), C43, C44) → K43
  565. Integral(f(J44), C44, C45) → K44
  566. Integral(f(J45), C45, C46) → K45
  567. Integral(f(J46), C46, C47) → K46
  568. Integral(f(J47), C47, C48) → K47
  569. Integral(f(J48), C48, C49) → K48
  570. Integral(f(J49), C49, C50) → K49
  571. Integral(f(J50), C50, C51) → K50
  572. Integral(f(J51), C51, C52) → K51
  573. Integral(f(J52), C52, C53) → K52
  574. Integral(f(J53), C53, C54) → K53
  575. Integral(f(J54), C54, C55) → K54
  576. Integral(f(J55), C55, C56) → K55
  577. Integral(f(J56), C56, C57) → K56
  578. Integral(f(J57), C57, C58) → K57
  579. Integral(f(J58), C58, C59) → K58
  580. Integral(f(J59), C59, C60) → K59
  581. Integral(f(J60), C60, C61) → K60
  582. Integral(f(J61), C61, C62) → K61
  583. Integral(f(J62), C62, C63) → K62
  584. Integral(f(J63), C63, C64) → K63
  585. Integral(f(J64), C64, C65) → K64
  586. Integral(f(J65), C65, C66) → K65
  587. Integral(f(J66), C66, C67) → K66
  588. Integral(f(J67), C67, C68) → K67
  589. Integral(f(J68), C68, C69) → K68
  590. Integral(f(J69), C69, C70) → K69
  591. Integral(f(J70), C70, C71) → K70
  592. Integral(f(J71), C71, C72) → K71
  593. Integral(f(J72), C72, C73) → K72
  594. Integral(f(J73), C73, C74) → K73
  595. Integral(f(J74), C74, C75) → K74
  596. Integral(f(J75), C75, C76) → K75
  597. Integral(f(J76), C76, C77) → K76
  598. Integral(f(J77), C77, C78) → K77
  599. Integral(f(J78), C78, C79) → K78
  600. Integral(f(J79), C79, C80) → K79
  601. Integral(f(J80), C80, C81) → K80
  602. Integral(f(J81), C81, C82) → K81
  603. Integral(f(J82), C82, C83) → K82
  604. Integral(f(J83), C83, C84) → K83
  605. Integral(f(J84), C84, C85) → K84
  606. Integral(f(J85), C85, C86) → K85
  607. Integral(f(J86), C86, C87) → K86
  608. Integral(f(J87), C87, C88) → K87
  609. Integral(f(J88), C88, C89) → K88
  610. Integral(f(J89), C89, C90) → K89
  611. Integral(f(J90), C90, C91) → K90
  612. Integral(f(J91), C91, C92) → K91
  613. Integral(f(J92), C92, C93) → K92
  614. Integral(f(J93), C93, C94) → K93
  615. Integral(f(J94), C94, C95) → K94
  616. Integral(f(J95), C95, C96) → K95
  617. Integral(f(J96), C96, C97) → K96
  618. Integral(f(J97), C97, C98) → K97
  619. Integral(f(J98), C98, C99) → K98
  620. Integral(f(J99), C99, C100) → K99
  621. Integral(f(J100), C100, C101) → K100
  622. Integral(f(J101), C101, C102) → K101
  623. Integral(f(J102), C102, C103) → K102
  624. If(C1 < Right, K1, 0) → L1
  625. If(C2 < Right, K2, 0) → L2
  626. If(C3 < Right, K3, 0) → L3
  627. If(C4 < Right, K4, 0) → L4
  628. If(C5 < Right, K5, 0) → L5
  629. If(C6 < Right, K6, 0) → L6
  630. If(C7 < Right, K7, 0) → L7
  631. If(C8 < Right, K8, 0) → L8
  632. If(C9 < Right, K9, 0) → L9
  633. If(C10 < Right, K10, 0) → L10
  634. If(C11 < Right, K11, 0) → L11
  635. If(C12 < Right, K12, 0) → L12
  636. If(C13 < Right, K13, 0) → L13
  637. If(C14 < Right, K14, 0) → L14
  638. If(C15 < Right, K15, 0) → L15
  639. If(C16 < Right, K16, 0) → L16
  640. If(C17 < Right, K17, 0) → L17
  641. If(C18 < Right, K18, 0) → L18
  642. If(C19 < Right, K19, 0) → L19
  643. If(C20 < Right, K20, 0) → L20
  644. If(C21 < Right, K21, 0) → L21
  645. If(C22 < Right, K22, 0) → L22
  646. If(C23 < Right, K23, 0) → L23
  647. If(C24 < Right, K24, 0) → L24
  648. If(C25 < Right, K25, 0) → L25
  649. If(C26 < Right, K26, 0) → L26
  650. If(C27 < Right, K27, 0) → L27
  651. If(C28 < Right, K28, 0) → L28
  652. If(C29 < Right, K29, 0) → L29
  653. If(C30 < Right, K30, 0) → L30
  654. If(C31 < Right, K31, 0) → L31
  655. If(C32 < Right, K32, 0) → L32
  656. If(C33 < Right, K33, 0) → L33
  657. If(C34 < Right, K34, 0) → L34
  658. If(C35 < Right, K35, 0) → L35
  659. If(C36 < Right, K36, 0) → L36
  660. If(C37 < Right, K37, 0) → L37
  661. If(C38 < Right, K38, 0) → L38
  662. If(C39 < Right, K39, 0) → L39
  663. If(C40 < Right, K40, 0) → L40
  664. If(C41 < Right, K41, 0) → L41
  665. If(C42 < Right, K42, 0) → L42
  666. If(C43 < Right, K43, 0) → L43
  667. If(C44 < Right, K44, 0) → L44
  668. If(C45 < Right, K45, 0) → L45
  669. If(C46 < Right, K46, 0) → L46
  670. If(C47 < Right, K47, 0) → L47
  671. If(C48 < Right, K48, 0) → L48
  672. If(C49 < Right, K49, 0) → L49
  673. If(C50 < Right, K50, 0) → L50
  674. If(C51 < Right, K51, 0) → L51
  675. If(C52 < Right, K52, 0) → L52
  676. If(C53 < Right, K53, 0) → L53
  677. If(C54 < Right, K54, 0) → L54
  678. If(C55 < Right, K55, 0) → L55
  679. If(C56 < Right, K56, 0) → L56
  680. If(C57 < Right, K57, 0) → L57
  681. If(C58 < Right, K58, 0) → L58
  682. If(C59 < Right, K59, 0) → L59
  683. If(C60 < Right, K60, 0) → L60
  684. If(C61 < Right, K61, 0) → L61
  685. If(C62 < Right, K62, 0) → L62
  686. If(C63 < Right, K63, 0) → L63
  687. If(C64 < Right, K64, 0) → L64
  688. If(C65 < Right, K65, 0) → L65
  689. If(C66 < Right, K66, 0) → L66
  690. If(C67 < Right, K67, 0) → L67
  691. If(C68 < Right, K68, 0) → L68
  692. If(C69 < Right, K69, 0) → L69
  693. If(C70 < Right, K70, 0) → L70
  694. If(C71 < Right, K71, 0) → L71
  695. If(C72 < Right, K72, 0) → L72
  696. If(C73 < Right, K73, 0) → L73
  697. If(C74 < Right, K74, 0) → L74
  698. If(C75 < Right, K75, 0) → L75
  699. If(C76 < Right, K76, 0) → L76
  700. If(C77 < Right, K77, 0) → L77
  701. If(C78 < Right, K78, 0) → L78
  702. If(C79 < Right, K79, 0) → L79
  703. If(C80 < Right, K80, 0) → L80
  704. If(C81 < Right, K81, 0) → L81
  705. If(C82 < Right, K82, 0) → L82
  706. If(C83 < Right, K83, 0) → L83
  707. If(C84 < Right, K84, 0) → L84
  708. If(C85 < Right, K85, 0) → L85
  709. If(C86 < Right, K86, 0) → L86
  710. If(C87 < Right, K87, 0) → L87
  711. If(C88 < Right, K88, 0) → L88
  712. If(C89 < Right, K89, 0) → L89
  713. If(C90 < Right, K90, 0) → L90
  714. If(C91 < Right, K91, 0) → L91
  715. If(C92 < Right, K92, 0) → L92
  716. If(C93 < Right, K93, 0) → L93
  717. If(C94 < Right, K94, 0) → L94
  718. If(C95 < Right, K95, 0) → L95
  719. If(C96 < Right, K96, 0) → L96
  720. If(C97 < Right, K97, 0) → L97
  721. If(C98 < Right, K98, 0) → L98
  722. If(C99 < Right, K99, 0) → L99
  723. If(C100 < Right, K100, 0) → L100
  724. Sum(L1:L100) → L104
  725. Integral(f) → p
  726. Integral(f, Left, Right) → l
  727. If(C101 < Right, K101, 0) → L101
  728. If(C102 < Right, K102, 0) → L102
  729. Polygon((C1, 0), (C2, 0), (C2, f(C2)), (C1, f(C1))) → M1, N1, O1, P1, Q1
  730. Polygon((C2, 0), (C3, 0), (C3, f(C3)), (C2, f(C2))) → M2, m, q, r, s
  731. Polygon((C3, 0), (C4, 0), (C4, f(C4)), (C3, f(C3))) → M3, t, a_1, b_1, c_1
  732. Polygon((C4, 0), (C5, 0), (C5, f(C5)), (C4, f(C4))) → M4, d_1, e_1, f_1, g_1
  733. Polygon((C5, 0), (C6, 0), (C6, f(C6)), (C5, f(C5))) → M5, h_1, i_1, j_1, k_1
  734. Polygon((C6, 0), (C7, 0), (C7, f(C7)), (C6, f(C6))) → M6, l_1, m_1, n_1, p_1
  735. Polygon((C7, 0), (C8, 0), (C8, f(C8)), (C7, f(C7))) → M7, q_1, r_1, s_1, t_1
  736. Polygon((C8, 0), (C9, 0), (C9, f(C9)), (C8, f(C8))) → M8, a_2, b_2, c_2, d_2
  737. Polygon((C9, 0), (C10, 0), (C10, f(C10)), (C9, f(C9))) → M9, e_2, f_2, g_2, h_2
  738. Polygon((C10, 0), (C11, 0), (C11, f(C11)), (C10, f(C10))) → M10, i_2, j_2, k_2, l_2
  739. Polygon((C11, 0), (C12, 0), (C12, f(C12)), (C11, f(C11))) → M11, m_2, n_2, p_2, q_2
  740. Polygon((C12, 0), (C13, 0), (C13, f(C13)), (C12, f(C12))) → M12, r_2, s_2, t_2, a_3
  741. Polygon((C13, 0), (C14, 0), (C14, f(C14)), (C13, f(C13))) → M13, b_3, c_3, d_3, e_3
  742. Polygon((C14, 0), (C15, 0), (C15, f(C15)), (C14, f(C14))) → M14, f_3, g_3, h_3, i_3
  743. Polygon((C15, 0), (C16, 0), (C16, f(C16)), (C15, f(C15))) → M15, j_3, k_3, l_3, m_3
  744. Polygon((C16, 0), (C17, 0), (C17, f(C17)), (C16, f(C16))) → M16, n_3, p_3, q_3, r_3
  745. Polygon((C17, 0), (C18, 0), (C18, f(C18)), (C17, f(C17))) → M17, s_3, t_3, a_4, b_4
  746. Polygon((C18, 0), (C19, 0), (C19, f(C19)), (C18, f(C18))) → M18, c_4, d_4, e_4, f_4
  747. Polygon((C19, 0), (C20, 0), (C20, f(C20)), (C19, f(C19))) → M19, g_4, h_4, i_4, j_4
  748. Polygon((C20, 0), (C21, 0), (C21, f(C21)), (C20, f(C20))) → M20, k_4, l_4, m_4, n_4
  749. Polygon((C21, 0), (C22, 0), (C22, f(C22)), (C21, f(C21))) → M21, p_4, q_4, r_4, s_4
  750. Polygon((C22, 0), (C23, 0), (C23, f(C23)), (C22, f(C22))) → M22, t_4, a_5, b_5, c_5
  751. Polygon((C23, 0), (C24, 0), (C24, f(C24)), (C23, f(C23))) → M23, d_5, e_5, f_5, g_5
  752. Polygon((C24, 0), (C25, 0), (C25, f(C25)), (C24, f(C24))) → M24, h_5, i_5, j_5, k_5
  753. Polygon((C25, 0), (C26, 0), (C26, f(C26)), (C25, f(C25))) → M25, l_5, m_5, n_5, p_5
  754. Polygon((C26, 0), (C27, 0), (C27, f(C27)), (C26, f(C26))) → M26, q_5, r_5, s_5, t_5
  755. Polygon((C27, 0), (C28, 0), (C28, f(C28)), (C27, f(C27))) → M27, a_6, b_6, c_6, d_6
  756. Polygon((C28, 0), (C29, 0), (C29, f(C29)), (C28, f(C28))) → M28, e_6, f_6, g_6, h_6
  757. Polygon((C29, 0), (C30, 0), (C30, f(C30)), (C29, f(C29))) → M29, i_6, j_6, k_6, l_6
  758. Polygon((C30, 0), (C31, 0), (C31, f(C31)), (C30, f(C30))) → M30, m_6, n_6, p_6, q_6
  759. Polygon((C31, 0), (C32, 0), (C32, f(C32)), (C31, f(C31))) → M31, r_6, s_6, t_6, a_7
  760. Polygon((C32, 0), (C33, 0), (C33, f(C33)), (C32, f(C32))) → M32, b_7, c_7, d_7, e_7
  761. Polygon((C33, 0), (C34, 0), (C34, f(C34)), (C33, f(C33))) → M33, f_7, g_7, h_7, i_7
  762. Polygon((C34, 0), (C35, 0), (C35, f(C35)), (C34, f(C34))) → M34, j_7, k_7, l_7, m_7
  763. Polygon((C35, 0), (C36, 0), (C36, f(C36)), (C35, f(C35))) → M35, n_7, p_7, q_7, r_7
  764. Polygon((C36, 0), (C37, 0), (C37, f(C37)), (C36, f(C36))) → M36, s_7, t_7, a_8, b_8
  765. Polygon((C37, 0), (C38, 0), (C38, f(C38)), (C37, f(C37))) → M37, c_8, d_8, e_8, f_8
  766. Polygon((C38, 0), (C39, 0), (C39, f(C39)), (C38, f(C38))) → M38, g_8, h_8, i_8, j_8
  767. Polygon((C39, 0), (C40, 0), (C40, f(C40)), (C39, f(C39))) → M39, k_8, l_8, m_8, n_8
  768. Polygon((C40, 0), (C41, 0), (C41, f(C41)), (C40, f(C40))) → M40, p_8, q_8, r_8, s_8
  769. Polygon((C41, 0), (C42, 0), (C42, f(C42)), (C41, f(C41))) → M41, t_8, a_9, b_9, c_9
  770. Polygon((C42, 0), (C43, 0), (C43, f(C43)), (C42, f(C42))) → M42, d_9, e_9, f_9, g_9
  771. Polygon((C43, 0), (C44, 0), (C44, f(C44)), (C43, f(C43))) → M43, h_9, i_9, j_9, k_9
  772. Polygon((C44, 0), (C45, 0), (C45, f(C45)), (C44, f(C44))) → M44, l_9, m_9, n_9, p_9
  773. Polygon((C45, 0), (C46, 0), (C46, f(C46)), (C45, f(C45))) → M45, q_9, r_9, s_9, t_9
  774. Polygon((C46, 0), (C47, 0), (C47, f(C47)), (C46, f(C46))) → M46, a_{10}, b_{10}, c_{10}, d_{10}
  775. Polygon((C47, 0), (C48, 0), (C48, f(C48)), (C47, f(C47))) → M47, e_{10}, f_{10}, g_{10}, h_{10}
  776. Polygon((C48, 0), (C49, 0), (C49, f(C49)), (C48, f(C48))) → M48, i_{10}, j_{10}, k_{10}, l_{10}
  777. Polygon((C49, 0), (C50, 0), (C50, f(C50)), (C49, f(C49))) → M49, m_{10}, n_{10}, p_{10}, q_{10}
  778. Polygon((C50, 0), (C51, 0), (C51, f(C51)), (C50, f(C50))) → M50, r_{10}, s_{10}, t_{10}, a_{11}
  779. Polygon((C51, 0), (C52, 0), (C52, f(C52)), (C51, f(C51))) → M51, b_{11}, c_{11}, d_{11}, e_{11}
  780. Polygon((C52, 0), (C53, 0), (C53, f(C53)), (C52, f(C52))) → M52, f_{11}, g_{11}, h_{11}, i_{11}
  781. Polygon((C53, 0), (C54, 0), (C54, f(C54)), (C53, f(C53))) → M53, j_{11}, k_{11}, l_{11}, m_{11}
  782. Polygon((C54, 0), (C55, 0), (C55, f(C55)), (C54, f(C54))) → M54, n_{11}, p_{11}, q_{11}, r_{11}
  783. Polygon((C55, 0), (C56, 0), (C56, f(C56)), (C55, f(C55))) → M55, s_{11}, t_{11}, a_{12}, b_{12}
  784. Polygon((C56, 0), (C57, 0), (C57, f(C57)), (C56, f(C56))) → M56, c_{12}, d_{12}, e_{12}, f_{12}
  785. Polygon((C57, 0), (C58, 0), (C58, f(C58)), (C57, f(C57))) → M57, g_{12}, h_{12}, i_{12}, j_{12}
  786. Polygon((C58, 0), (C59, 0), (C59, f(C59)), (C58, f(C58))) → M58, k_{12}, l_{12}, m_{12}, n_{12}
  787. Polygon((C59, 0), (C60, 0), (C60, f(C60)), (C59, f(C59))) → M59, p_{12}, q_{12}, r_{12}, s_{12}
  788. Polygon((C60, 0), (C61, 0), (C61, f(C61)), (C60, f(C60))) → M60, t_{12}, a_{13}, b_{13}, c_{13}
  789. Polygon((C61, 0), (C62, 0), (C62, f(C62)), (C61, f(C61))) → M61, d_{13}, e_{13}, f_{13}, g_{13}
  790. Polygon((C62, 0), (C63, 0), (C63, f(C63)), (C62, f(C62))) → M62, h_{13}, i_{13}, j_{13}, k_{13}
  791. Polygon((C63, 0), (C64, 0), (C64, f(C64)), (C63, f(C63))) → M63, l_{13}, m_{13}, n_{13}, p_{13}
  792. Polygon((C64, 0), (C65, 0), (C65, f(C65)), (C64, f(C64))) → M64, q_{13}, r_{13}, s_{13}, t_{13}
  793. Polygon((C65, 0), (C66, 0), (C66, f(C66)), (C65, f(C65))) → M65, a_{14}, b_{14}, c_{14}, d_{14}
  794. Polygon((C66, 0), (C67, 0), (C67, f(C67)), (C66, f(C66))) → M66, e_{14}, f_{14}, g_{14}, h_{14}
  795. Polygon((C67, 0), (C68, 0), (C68, f(C68)), (C67, f(C67))) → M67, i_{14}, j_{14}, k_{14}, l_{14}
  796. Polygon((C68, 0), (C69, 0), (C69, f(C69)), (C68, f(C68))) → M68, m_{14}, n_{14}, p_{14}, q_{14}
  797. Polygon((C69, 0), (C70, 0), (C70, f(C70)), (C69, f(C69))) → M69, r_{14}, s_{14}, t_{14}, a_{15}
  798. Polygon((C70, 0), (C71, 0), (C71, f(C71)), (C70, f(C70))) → M70, b_{15}, c_{15}, d_{15}, e_{15}
  799. Polygon((C71, 0), (C72, 0), (C72, f(C72)), (C71, f(C71))) → M71, f_{15}, g_{15}, h_{15}, i_{15}
  800. Polygon((C72, 0), (C73, 0), (C73, f(C73)), (C72, f(C72))) → M72, j_{15}, k_{15}, l_{15}, m_{15}
  801. Polygon((C73, 0), (C74, 0), (C74, f(C74)), (C73, f(C73))) → M73, n_{15}, p_{15}, q_{15}, r_{15}
  802. Polygon((C74, 0), (C75, 0), (C75, f(C75)), (C74, f(C74))) → M74, s_{15}, t_{15}, a_{16}, b_{16}
  803. Polygon((C75, 0), (C76, 0), (C76, f(C76)), (C75, f(C75))) → M75, c_{16}, d_{16}, e_{16}, f_{16}
  804. Polygon((C76, 0), (C77, 0), (C77, f(C77)), (C76, f(C76))) → M76, g_{16}, h_{16}, i_{16}, j_{16}
  805. Polygon((C77, 0), (C78, 0), (C78, f(C78)), (C77, f(C77))) → M77, k_{16}, l_{16}, m_{16}, n_{16}
  806. Polygon((C78, 0), (C79, 0), (C79, f(C79)), (C78, f(C78))) → M78, p_{16}, q_{16}, r_{16}, s_{16}
  807. Polygon((C79, 0), (C80, 0), (C80, f(C80)), (C79, f(C79))) → M79, t_{16}, a_{17}, b_{17}, c_{17}
  808. Polygon((C80, 0), (C81, 0), (C81, f(C81)), (C80, f(C80))) → M80, d_{17}, e_{17}, f_{17}, g_{17}
  809. Polygon((C81, 0), (C82, 0), (C82, f(C82)), (C81, f(C81))) → M81, h_{17}, i_{17}, j_{17}, k_{17}
  810. Polygon((C82, 0), (C83, 0), (C83, f(C83)), (C82, f(C82))) → M82, l_{17}, m_{17}, n_{17}, p_{17}
  811. Polygon((C83, 0), (C84, 0), (C84, f(C84)), (C83, f(C83))) → M83, q_{17}, r_{17}, s_{17}, t_{17}
  812. Polygon((C84, 0), (C85, 0), (C85, f(C85)), (C84, f(C84))) → M84, a_{18}, b_{18}, c_{18}, d_{18}
  813. Polygon((C85, 0), (C86, 0), (C86, f(C86)), (C85, f(C85))) → M85, e_{18}, f_{18}, g_{18}, h_{18}
  814. Polygon((C86, 0), (C87, 0), (C87, f(C87)), (C86, f(C86))) → M86, i_{18}, j_{18}, k_{18}, l_{18}
  815. Polygon((C87, 0), (C88, 0), (C88, f(C88)), (C87, f(C87))) → M87, m_{18}, n_{18}, p_{18}, q_{18}
  816. Polygon((C88, 0), (C89, 0), (C89, f(C89)), (C88, f(C88))) → M88, r_{18}, s_{18}, t_{18}, a_{19}
  817. Polygon((C89, 0), (C90, 0), (C90, f(C90)), (C89, f(C89))) → M89, b_{19}, c_{19}, d_{19}, e_{19}
  818. Polygon((C90, 0), (C91, 0), (C91, f(C91)), (C90, f(C90))) → M90, f_{19}, g_{19}, h_{19}, i_{19}
  819. Polygon((C91, 0), (C92, 0), (C92, f(C92)), (C91, f(C91))) → M91, j_{19}, k_{19}, l_{19}, m_{19}
  820. Polygon((C92, 0), (C93, 0), (C93, f(C93)), (C92, f(C92))) → M92, n_{19}, p_{19}, q_{19}, r_{19}
  821. Polygon((C93, 0), (C94, 0), (C94, f(C94)), (C93, f(C93))) → M93, s_{19}, t_{19}, a_{20}, b_{20}
  822. Polygon((C94, 0), (C95, 0), (C95, f(C95)), (C94, f(C94))) → M94, c_{20}, d_{20}, e_{20}, f_{20}
  823. Polygon((C95, 0), (C96, 0), (C96, f(C96)), (C95, f(C95))) → M95, g_{20}, h_{20}, i_{20}, j_{20}
  824. Polygon((C96, 0), (C97, 0), (C97, f(C97)), (C96, f(C96))) → M96, k_{20}, l_{20}, m_{20}, n_{20}
  825. Polygon((C97, 0), (C98, 0), (C98, f(C98)), (C97, f(C97))) → M97, p_{20}, q_{20}, r_{20}, s_{20}
  826. Polygon((C98, 0), (C99, 0), (C99, f(C99)), (C98, f(C98))) → M98, t_{20}, a_{21}, b_{21}, c_{21}
  827. Polygon((C99, 0), (C100, 0), (C100, f(C100)), (C99, f(C99))) → M99, d_{21}, e_{21}, f_{21}, g_{21}
  828. Polygon((C100, 0), (C101, 0), (C101, f(C101)), (C100, f(C100))) → M100, h_{21}, i_{21}, j_{21}, k_{21}
  829. Polygon((C101, 0), (C102, 0), (C102, f(C102)), (C101, f(C101))) → M101, l_{21}, m_{21}, n_{21}, p_{21}
  830. Polygon((C102, 0), (C103, 0), (C103, f(C103)), (C102, f(C102))) → M102, q_{21}, r_{21}, s_{21}, t_{21}
  831. Segment((C1, f(C1)), (C2, f(C2))) → R1
  832. Segment((C2, f(C2)), (C3, f(C3))) → R2
  833. Segment((C3, f(C3)), (C4, f(C4))) → R3
  834. Segment((C4, f(C4)), (C5, f(C5))) → R4
  835. Segment((C5, f(C5)), (C6, f(C6))) → R5
  836. Segment((C6, f(C6)), (C7, f(C7))) → R6
  837. Segment((C7, f(C7)), (C8, f(C8))) → R7
  838. Segment((C8, f(C8)), (C9, f(C9))) → R8
  839. Segment((C9, f(C9)), (C10, f(C10))) → R9
  840. Segment((C10, f(C10)), (C11, f(C11))) → R10
  841. Segment((C11, f(C11)), (C12, f(C12))) → R11
  842. Segment((C12, f(C12)), (C13, f(C13))) → R12
  843. Segment((C13, f(C13)), (C14, f(C14))) → R13
  844. Segment((C14, f(C14)), (C15, f(C15))) → R14
  845. Segment((C15, f(C15)), (C16, f(C16))) → R15
  846. Segment((C16, f(C16)), (C17, f(C17))) → R16
  847. Segment((C17, f(C17)), (C18, f(C18))) → R17
  848. Segment((C18, f(C18)), (C19, f(C19))) → R18
  849. Segment((C19, f(C19)), (C20, f(C20))) → R19
  850. Segment((C20, f(C20)), (C21, f(C21))) → R20
  851. Segment((C21, f(C21)), (C22, f(C22))) → R21
  852. Segment((C22, f(C22)), (C23, f(C23))) → R22
  853. Segment((C23, f(C23)), (C24, f(C24))) → R23
  854. Segment((C24, f(C24)), (C25, f(C25))) → R24
  855. Segment((C25, f(C25)), (C26, f(C26))) → R25
  856. Segment((C26, f(C26)), (C27, f(C27))) → R26
  857. Segment((C27, f(C27)), (C28, f(C28))) → R27
  858. Segment((C28, f(C28)), (C29, f(C29))) → R28
  859. Segment((C29, f(C29)), (C30, f(C30))) → R29
  860. Segment((C30, f(C30)), (C31, f(C31))) → R30
  861. Segment((C31, f(C31)), (C32, f(C32))) → R31
  862. Segment((C32, f(C32)), (C33, f(C33))) → R32
  863. Segment((C33, f(C33)), (C34, f(C34))) → R33
  864. Segment((C34, f(C34)), (C35, f(C35))) → R34
  865. Segment((C35, f(C35)), (C36, f(C36))) → R35
  866. Segment((C36, f(C36)), (C37, f(C37))) → R36
  867. Segment((C37, f(C37)), (C38, f(C38))) → R37
  868. Segment((C38, f(C38)), (C39, f(C39))) → R38
  869. Segment((C39, f(C39)), (C40, f(C40))) → R39
  870. Segment((C40, f(C40)), (C41, f(C41))) → R40
  871. Segment((C41, f(C41)), (C42, f(C42))) → R41
  872. Segment((C42, f(C42)), (C43, f(C43))) → R42
  873. Segment((C43, f(C43)), (C44, f(C44))) → R43
  874. Segment((C44, f(C44)), (C45, f(C45))) → R44
  875. Segment((C45, f(C45)), (C46, f(C46))) → R45
  876. Segment((C46, f(C46)), (C47, f(C47))) → R46
  877. Segment((C47, f(C47)), (C48, f(C48))) → R47
  878. Segment((C48, f(C48)), (C49, f(C49))) → R48
  879. Segment((C49, f(C49)), (C50, f(C50))) → R49
  880. Segment((C50, f(C50)), (C51, f(C51))) → R50
  881. Segment((C51, f(C51)), (C52, f(C52))) → R51
  882. Segment((C52, f(C52)), (C53, f(C53))) → R52
  883. Segment((C53, f(C53)), (C54, f(C54))) → R53
  884. Segment((C54, f(C54)), (C55, f(C55))) → R54
  885. Segment((C55, f(C55)), (C56, f(C56))) → R55
  886. Segment((C56, f(C56)), (C57, f(C57))) → R56
  887. Segment((C57, f(C57)), (C58, f(C58))) → R57
  888. Segment((C58, f(C58)), (C59, f(C59))) → R58
  889. Segment((C59, f(C59)), (C60, f(C60))) → R59
  890. Segment((C60, f(C60)), (C61, f(C61))) → R60
  891. Segment((C61, f(C61)), (C62, f(C62))) → R61
  892. Segment((C62, f(C62)), (C63, f(C63))) → R62
  893. Segment((C63, f(C63)), (C64, f(C64))) → R63
  894. Segment((C64, f(C64)), (C65, f(C65))) → R64
  895. Segment((C65, f(C65)), (C66, f(C66))) → R65
  896. Segment((C66, f(C66)), (C67, f(C67))) → R66
  897. Segment((C67, f(C67)), (C68, f(C68))) → R67
  898. Segment((C68, f(C68)), (C69, f(C69))) → R68
  899. Segment((C69, f(C69)), (C70, f(C70))) → R69
  900. Segment((C70, f(C70)), (C71, f(C71))) → R70
  901. Segment((C71, f(C71)), (C72, f(C72))) → R71
  902. Segment((C72, f(C72)), (C73, f(C73))) → R72
  903. Segment((C73, f(C73)), (C74, f(C74))) → R73
  904. Segment((C74, f(C74)), (C75, f(C75))) → R74
  905. Segment((C75, f(C75)), (C76, f(C76))) → R75
  906. Segment((C76, f(C76)), (C77, f(C77))) → R76
  907. Segment((C77, f(C77)), (C78, f(C78))) → R77
  908. Segment((C78, f(C78)), (C79, f(C79))) → R78
  909. Segment((C79, f(C79)), (C80, f(C80))) → R79
  910. Segment((C80, f(C80)), (C81, f(C81))) → R80
  911. Segment((C81, f(C81)), (C82, f(C82))) → R81
  912. Segment((C82, f(C82)), (C83, f(C83))) → R82
  913. Segment((C83, f(C83)), (C84, f(C84))) → R83
  914. Segment((C84, f(C84)), (C85, f(C85))) → R84
  915. Segment((C85, f(C85)), (C86, f(C86))) → R85
  916. Segment((C86, f(C86)), (C87, f(C87))) → R86
  917. Segment((C87, f(C87)), (C88, f(C88))) → R87
  918. Segment((C88, f(C88)), (C89, f(C89))) → R88
  919. Segment((C89, f(C89)), (C90, f(C90))) → R89
  920. Segment((C90, f(C90)), (C91, f(C91))) → R90
  921. Segment((C91, f(C91)), (C92, f(C92))) → R91
  922. Segment((C92, f(C92)), (C93, f(C93))) → R92
  923. Segment((C93, f(C93)), (C94, f(C94))) → R93
  924. Segment((C94, f(C94)), (C95, f(C95))) → R94
  925. Segment((C95, f(C95)), (C96, f(C96))) → R95
  926. Segment((C96, f(C96)), (C97, f(C97))) → R96
  927. Segment((C97, f(C97)), (C98, f(C98))) → R97
  928. Segment((C98, f(C98)), (C99, f(C99))) → R98
  929. Segment((C99, f(C99)), (C100, f(C100))) → R99
  930. Segment((C100, f(C100)), (C101, f(C101))) → R100
  931. Segment((C101, f(C101)), (C102, f(C102))) → R101
  932. Segment((C102, f(C102)), (C103, f(C103))) → R102
  933. If(C2 ≤ Right, If[f(C1) < f(C2), 0, 1], 0) → S1
  934. If(C3 ≤ Right, If[f(C2) < f(C3), 0, 1], 0) → S2
  935. If(C4 ≤ Right, If[f(C3) < f(C4), 0, 1], 0) → S3
  936. If(C5 ≤ Right, If[f(C4) < f(C5), 0, 1], 0) → S4
  937. If(C6 ≤ Right, If[f(C5) < f(C6), 0, 1], 0) → S5
  938. If(C7 ≤ Right, If[f(C6) < f(C7), 0, 1], 0) → S6
  939. If(C8 ≤ Right, If[f(C7) < f(C8), 0, 1], 0) → S7
  940. If(C9 ≤ Right, If[f(C8) < f(C9), 0, 1], 0) → S8
  941. If(C10 ≤ Right, If[f(C9) < f(C10), 0, 1], 0) → S9
  942. If(C11 ≤ Right, If[f(C10) < f(C11), 0, 1], 0) → S10
  943. If(C12 ≤ Right, If[f(C11) < f(C12), 0, 1], 0) → S11
  944. If(C13 ≤ Right, If[f(C12) < f(C13), 0, 1], 0) → S12
  945. If(C14 ≤ Right, If[f(C13) < f(C14), 0, 1], 0) → S13
  946. If(C15 ≤ Right, If[f(C14) < f(C15), 0, 1], 0) → S14
  947. If(C16 ≤ Right, If[f(C15) < f(C16), 0, 1], 0) → S15
  948. If(C17 ≤ Right, If[f(C16) < f(C17), 0, 1], 0) → S16
  949. If(C18 ≤ Right, If[f(C17) < f(C18), 0, 1], 0) → S17
  950. If(C19 ≤ Right, If[f(C18) < f(C19), 0, 1], 0) → S18
  951. If(C20 ≤ Right, If[f(C19) < f(C20), 0, 1], 0) → S19
  952. If(C21 ≤ Right, If[f(C20) < f(C21), 0, 1], 0) → S20
  953. If(C22 ≤ Right, If[f(C21) < f(C22), 0, 1], 0) → S21
  954. If(C23 ≤ Right, If[f(C22) < f(C23), 0, 1], 0) → S22
  955. If(C24 ≤ Right, If[f(C23) < f(C24), 0, 1], 0) → S23
  956. If(C25 ≤ Right, If[f(C24) < f(C25), 0, 1], 0) → S24
  957. If(C26 ≤ Right, If[f(C25) < f(C26), 0, 1], 0) → S25
  958. If(C27 ≤ Right, If[f(C26) < f(C27), 0, 1], 0) → S26
  959. If(C28 ≤ Right, If[f(C27) < f(C28), 0, 1], 0) → S27
  960. If(C29 ≤ Right, If[f(C28) < f(C29), 0, 1], 0) → S28
  961. If(C30 ≤ Right, If[f(C29) < f(C30), 0, 1], 0) → S29
  962. If(C31 ≤ Right, If[f(C30) < f(C31), 0, 1], 0) → S30
  963. If(C32 ≤ Right, If[f(C31) < f(C32), 0, 1], 0) → S31
  964. If(C33 ≤ Right, If[f(C32) < f(C33), 0, 1], 0) → S32
  965. If(C34 ≤ Right, If[f(C33) < f(C34), 0, 1], 0) → S33
  966. If(C35 ≤ Right, If[f(C34) < f(C35), 0, 1], 0) → S34
  967. If(C36 ≤ Right, If[f(C35) < f(C36), 0, 1], 0) → S35
  968. If(C37 ≤ Right, If[f(C36) < f(C37), 0, 1], 0) → S36
  969. If(C38 ≤ Right, If[f(C37) < f(C38), 0, 1], 0) → S37
  970. If(C39 ≤ Right, If[f(C38) < f(C39), 0, 1], 0) → S38
  971. If(C40 ≤ Right, If[f(C39) < f(C40), 0, 1], 0) → S39
  972. If(C41 ≤ Right, If[f(C40) < f(C41), 0, 1], 0) → S40
  973. If(C42 ≤ Right, If[f(C41) < f(C42), 0, 1], 0) → S41
  974. If(C43 ≤ Right, If[f(C42) < f(C43), 0, 1], 0) → S42
  975. If(C44 ≤ Right, If[f(C43) < f(C44), 0, 1], 0) → S43
  976. If(C45 ≤ Right, If[f(C44) < f(C45), 0, 1], 0) → S44
  977. If(C46 ≤ Right, If[f(C45) < f(C46), 0, 1], 0) → S45
  978. If(C47 ≤ Right, If[f(C46) < f(C47), 0, 1], 0) → S46
  979. If(C48 ≤ Right, If[f(C47) < f(C48), 0, 1], 0) → S47
  980. If(C49 ≤ Right, If[f(C48) < f(C49), 0, 1], 0) → S48
  981. If(C50 ≤ Right, If[f(C49) < f(C50), 0, 1], 0) → S49
  982. If(C51 ≤ Right, If[f(C50) < f(C51), 0, 1], 0) → S50
  983. If(C52 ≤ Right, If[f(C51) < f(C52), 0, 1], 0) → S51
  984. If(C53 ≤ Right, If[f(C52) < f(C53), 0, 1], 0) → S52
  985. If(C54 ≤ Right, If[f(C53) < f(C54), 0, 1], 0) → S53
  986. If(C55 ≤ Right, If[f(C54) < f(C55), 0, 1], 0) → S54
  987. If(C56 ≤ Right, If[f(C55) < f(C56), 0, 1], 0) → S55
  988. If(C57 ≤ Right, If[f(C56) < f(C57), 0, 1], 0) → S56
  989. If(C58 ≤ Right, If[f(C57) < f(C58), 0, 1], 0) → S57
  990. If(C59 ≤ Right, If[f(C58) < f(C59), 0, 1], 0) → S58
  991. If(C60 ≤ Right, If[f(C59) < f(C60), 0, 1], 0) → S59
  992. If(C61 ≤ Right, If[f(C60) < f(C61), 0, 1], 0) → S60
  993. If(C62 ≤ Right, If[f(C61) < f(C62), 0, 1], 0) → S61
  994. If(C63 ≤ Right, If[f(C62) < f(C63), 0, 1], 0) → S62
  995. If(C64 ≤ Right, If[f(C63) < f(C64), 0, 1], 0) → S63
  996. If(C65 ≤ Right, If[f(C64) < f(C65), 0, 1], 0) → S64
  997. If(C66 ≤ Right, If[f(C65) < f(C66), 0, 1], 0) → S65
  998. If(C67 ≤ Right, If[f(C66) < f(C67), 0, 1], 0) → S66
  999. If(C68 ≤ Right, If[f(C67) < f(C68), 0, 1], 0) → S67
  1000. If(C69 ≤ Right, If[f(C68) < f(C69), 0, 1], 0) → S68
  1001. If(C70 ≤ Right, If[f(C69) < f(C70), 0, 1], 0) → S69
  1002. If(C71 ≤ Right, If[f(C70) < f(C71), 0, 1], 0) → S70
  1003. If(C72 ≤ Right, If[f(C71) < f(C72), 0, 1], 0) → S71
  1004. If(C73 ≤ Right, If[f(C72) < f(C73), 0, 1], 0) → S72
  1005. If(C74 ≤ Right, If[f(C73) < f(C74), 0, 1], 0) → S73
  1006. If(C75 ≤ Right, If[f(C74) < f(C75), 0, 1], 0) → S74
  1007. If(C76 ≤ Right, If[f(C75) < f(C76), 0, 1], 0) → S75
  1008. If(C77 ≤ Right, If[f(C76) < f(C77), 0, 1], 0) → S76
  1009. If(C78 ≤ Right, If[f(C77) < f(C78), 0, 1], 0) → S77
  1010. If(C79 ≤ Right, If[f(C78) < f(C79), 0, 1], 0) → S78
  1011. If(C80 ≤ Right, If[f(C79) < f(C80), 0, 1], 0) → S79
  1012. If(C81 ≤ Right, If[f(C80) < f(C81), 0, 1], 0) → S80
  1013. If(C82 ≤ Right, If[f(C81) < f(C82), 0, 1], 0) → S81
  1014. If(C83 ≤ Right, If[f(C82) < f(C83), 0, 1], 0) → S82
  1015. If(C84 ≤ Right, If[f(C83) < f(C84), 0, 1], 0) → S83
  1016. If(C85 ≤ Right, If[f(C84) < f(C85), 0, 1], 0) → S84
  1017. If(C86 ≤ Right, If[f(C85) < f(C86), 0, 1], 0) → S85
  1018. If(C87 ≤ Right, If[f(C86) < f(C87), 0, 1], 0) → S86
  1019. If(C88 ≤ Right, If[f(C87) < f(C88), 0, 1], 0) → S87
  1020. If(C89 ≤ Right, If[f(C88) < f(C89), 0, 1], 0) → S88
  1021. If(C90 ≤ Right, If[f(C89) < f(C90), 0, 1], 0) → S89
  1022. If(C91 ≤ Right, If[f(C90) < f(C91), 0, 1], 0) → S90
  1023. If(C92 ≤ Right, If[f(C91) < f(C92), 0, 1], 0) → S91
  1024. If(C93 ≤ Right, If[f(C92) < f(C93), 0, 1], 0) → S92
  1025. If(C94 ≤ Right, If[f(C93) < f(C94), 0, 1], 0) → S93
  1026. If(C95 ≤ Right, If[f(C94) < f(C95), 0, 1], 0) → S94
  1027. If(C96 ≤ Right, If[f(C95) < f(C96), 0, 1], 0) → S95
  1028. If(C97 ≤ Right, If[f(C96) < f(C97), 0, 1], 0) → S96
  1029. If(C98 ≤ Right, If[f(C97) < f(C98), 0, 1], 0) → S97
  1030. If(C99 ≤ Right, If[f(C98) < f(C99), 0, 1], 0) → S98
  1031. If(C100 ≤ Right, If[f(C99) < f(C100), 0, 1], 0) → S99
  1032. If(C101 ≤ Right, If[f(C100) < f(C101), 0, 1], 0) → S100
  1033. If(C102 ≤ Right, If[f(C101) < f(C102), 0, 1], 0) → S101
  1034. If(C103 ≤ Right, If[f(C102) < f(C103), 0, 1], 0) → S102
  1035. If(C2 ≤ Right, If[f(C1) > f(C2), 0, 1], 0) → T1
  1036. If(C3 ≤ Right, If[f(C2) > f(C3), 0, 1], 0) → T2
  1037. If(C4 ≤ Right, If[f(C3) > f(C4), 0, 1], 0) → T3
  1038. If(C5 ≤ Right, If[f(C4) > f(C5), 0, 1], 0) → T4
  1039. If(C6 ≤ Right, If[f(C5) > f(C6), 0, 1], 0) → T5
  1040. If(C7 ≤ Right, If[f(C6) > f(C7), 0, 1], 0) → T6
  1041. If(C8 ≤ Right, If[f(C7) > f(C8), 0, 1], 0) → T7
  1042. If(C9 ≤ Right, If[f(C8) > f(C9), 0, 1], 0) → T8
  1043. If(C10 ≤ Right, If[f(C9) > f(C10), 0, 1], 0) → T9
  1044. If(C11 ≤ Right, If[f(C10) > f(C11), 0, 1], 0) → T10
  1045. If(C12 ≤ Right, If[f(C11) > f(C12), 0, 1], 0) → T11
  1046. If(C13 ≤ Right, If[f(C12) > f(C13), 0, 1], 0) → T12
  1047. If(C14 ≤ Right, If[f(C13) > f(C14), 0, 1], 0) → T13
  1048. If(C15 ≤ Right, If[f(C14) > f(C15), 0, 1], 0) → T14
  1049. If(C16 ≤ Right, If[f(C15) > f(C16), 0, 1], 0) → T15
  1050. If(C17 ≤ Right, If[f(C16) > f(C17), 0, 1], 0) → T16
  1051. If(C18 ≤ Right, If[f(C17) > f(C18), 0, 1], 0) → T17
  1052. If(C19 ≤ Right, If[f(C18) > f(C19), 0, 1], 0) → T18
  1053. If(C20 ≤ Right, If[f(C19) > f(C20), 0, 1], 0) → T19
  1054. If(C21 ≤ Right, If[f(C20) > f(C21), 0, 1], 0) → T20
  1055. If(C22 ≤ Right, If[f(C21) > f(C22), 0, 1], 0) → T21
  1056. If(C23 ≤ Right, If[f(C22) > f(C23), 0, 1], 0) → T22
  1057. If(C24 ≤ Right, If[f(C23) > f(C24), 0, 1], 0) → T23
  1058. If(C25 ≤ Right, If[f(C24) > f(C25), 0, 1], 0) → T24
  1059. If(C26 ≤ Right, If[f(C25) > f(C26), 0, 1], 0) → T25
  1060. If(C27 ≤ Right, If[f(C26) > f(C27), 0, 1], 0) → T26
  1061. If(C28 ≤ Right, If[f(C27) > f(C28), 0, 1], 0) → T27
  1062. If(C29 ≤ Right, If[f(C28) > f(C29), 0, 1], 0) → T28
  1063. If(C30 ≤ Right, If[f(C29) > f(C30), 0, 1], 0) → T29
  1064. If(C31 ≤ Right, If[f(C30) > f(C31), 0, 1], 0) → T30
  1065. If(C32 ≤ Right, If[f(C31) > f(C32), 0, 1], 0) → T31
  1066. If(C33 ≤ Right, If[f(C32) > f(C33), 0, 1], 0) → T32
  1067. If(C34 ≤ Right, If[f(C33) > f(C34), 0, 1], 0) → T33
  1068. If(C35 ≤ Right, If[f(C34) > f(C35), 0, 1], 0) → T34
  1069. If(C36 ≤ Right, If[f(C35) > f(C36), 0, 1], 0) → T35
  1070. If(C37 ≤ Right, If[f(C36) > f(C37), 0, 1], 0) → T36
  1071. If(C38 ≤ Right, If[f(C37) > f(C38), 0, 1], 0) → T37
  1072. If(C39 ≤ Right, If[f(C38) > f(C39), 0, 1], 0) → T38
  1073. If(C40 ≤ Right, If[f(C39) > f(C40), 0, 1], 0) → T39
  1074. If(C41 ≤ Right, If[f(C40) > f(C41), 0, 1], 0) → T40
  1075. If(C42 ≤ Right, If[f(C41) > f(C42), 0, 1], 0) → T41
  1076. If(C43 ≤ Right, If[f(C42) > f(C43), 0, 1], 0) → T42
  1077. If(C44 ≤ Right, If[f(C43) > f(C44), 0, 1], 0) → T43
  1078. If(C45 ≤ Right, If[f(C44) > f(C45), 0, 1], 0) → T44
  1079. If(C46 ≤ Right, If[f(C45) > f(C46), 0, 1], 0) → T45
  1080. If(C47 ≤ Right, If[f(C46) > f(C47), 0, 1], 0) → T46
  1081. If(C48 ≤ Right, If[f(C47) > f(C48), 0, 1], 0) → T47
  1082. If(C49 ≤ Right, If[f(C48) > f(C49), 0, 1], 0) → T48
  1083. If(C50 ≤ Right, If[f(C49) > f(C50), 0, 1], 0) → T49
  1084. If(C51 ≤ Right, If[f(C50) > f(C51), 0, 1], 0) → T50
  1085. If(C52 ≤ Right, If[f(C51) > f(C52), 0, 1], 0) → T51
  1086. If(C53 ≤ Right, If[f(C52) > f(C53), 0, 1], 0) → T52
  1087. If(C54 ≤ Right, If[f(C53) > f(C54), 0, 1], 0) → T53
  1088. If(C55 ≤ Right, If[f(C54) > f(C55), 0, 1], 0) → T54
  1089. If(C56 ≤ Right, If[f(C55) > f(C56), 0, 1], 0) → T55
  1090. If(C57 ≤ Right, If[f(C56) > f(C57), 0, 1], 0) → T56
  1091. If(C58 ≤ Right, If[f(C57) > f(C58), 0, 1], 0) → T57
  1092. If(C59 ≤ Right, If[f(C58) > f(C59), 0, 1], 0) → T58
  1093. If(C60 ≤ Right, If[f(C59) > f(C60), 0, 1], 0) → T59
  1094. If(C61 ≤ Right, If[f(C60) > f(C61), 0, 1], 0) → T60
  1095. If(C62 ≤ Right, If[f(C61) > f(C62), 0, 1], 0) → T61
  1096. If(C63 ≤ Right, If[f(C62) > f(C63), 0, 1], 0) → T62
  1097. If(C64 ≤ Right, If[f(C63) > f(C64), 0, 1], 0) → T63
  1098. If(C65 ≤ Right, If[f(C64) > f(C65), 0, 1], 0) → T64
  1099. If(C66 ≤ Right, If[f(C65) > f(C66), 0, 1], 0) → T65
  1100. If(C67 ≤ Right, If[f(C66) > f(C67), 0, 1], 0) → T66
  1101. If(C68 ≤ Right, If[f(C67) > f(C68), 0, 1], 0) → T67
  1102. If(C69 ≤ Right, If[f(C68) > f(C69), 0, 1], 0) → T68
  1103. If(C70 ≤ Right, If[f(C69) > f(C70), 0, 1], 0) → T69
  1104. If(C71 ≤ Right, If[f(C70) > f(C71), 0, 1], 0) → T70
  1105. If(C72 ≤ Right, If[f(C71) > f(C72), 0, 1], 0) → T71
  1106. If(C73 ≤ Right, If[f(C72) > f(C73), 0, 1], 0) → T72
  1107. If(C74 ≤ Right, If[f(C73) > f(C74), 0, 1], 0) → T73
  1108. If(C75 ≤ Right, If[f(C74) > f(C75), 0, 1], 0) → T74
  1109. If(C76 ≤ Right, If[f(C75) > f(C76), 0, 1], 0) → T75
  1110. If(C77 ≤ Right, If[f(C76) > f(C77), 0, 1], 0) → T76
  1111. If(C78 ≤ Right, If[f(C77) > f(C78), 0, 1], 0) → T77
  1112. If(C79 ≤ Right, If[f(C78) > f(C79), 0, 1], 0) → T78
  1113. If(C80 ≤ Right, If[f(C79) > f(C80), 0, 1], 0) → T79
  1114. If(C81 ≤ Right, If[f(C80) > f(C81), 0, 1], 0) → T80
  1115. If(C82 ≤ Right, If[f(C81) > f(C82), 0, 1], 0) → T81
  1116. If(C83 ≤ Right, If[f(C82) > f(C83), 0, 1], 0) → T82
  1117. If(C84 ≤ Right, If[f(C83) > f(C84), 0, 1], 0) → T83
  1118. If(C85 ≤ Right, If[f(C84) > f(C85), 0, 1], 0) → T84
  1119. If(C86 ≤ Right, If[f(C85) > f(C86), 0, 1], 0) → T85
  1120. If(C87 ≤ Right, If[f(C86) > f(C87), 0, 1], 0) → T86
  1121. If(C88 ≤ Right, If[f(C87) > f(C88), 0, 1], 0) → T87
  1122. If(C89 ≤ Right, If[f(C88) > f(C89), 0, 1], 0) → T88
  1123. If(C90 ≤ Right, If[f(C89) > f(C90), 0, 1], 0) → T89
  1124. If(C91 ≤ Right, If[f(C90) > f(C91), 0, 1], 0) → T90
  1125. If(C92 ≤ Right, If[f(C91) > f(C92), 0, 1], 0) → T91
  1126. If(C93 ≤ Right, If[f(C92) > f(C93), 0, 1], 0) → T92
  1127. If(C94 ≤ Right, If[f(C93) > f(C94), 0, 1], 0) → T93
  1128. If(C95 ≤ Right, If[f(C94) > f(C95), 0, 1], 0) → T94
  1129. If(C96 ≤ Right, If[f(C95) > f(C96), 0, 1], 0) → T95
  1130. If(C97 ≤ Right, If[f(C96) > f(C97), 0, 1], 0) → T96
  1131. If(C98 ≤ Right, If[f(C97) > f(C98), 0, 1], 0) → T97
  1132. If(C99 ≤ Right, If[f(C98) > f(C99), 0, 1], 0) → T98
  1133. If(C100 ≤ Right, If[f(C99) > f(C100), 0, 1], 0) → T99
  1134. If(C101 ≤ Right, If[f(C100) > f(C101), 0, 1], 0) → T100
  1135. If(C102 ≤ Right, If[f(C101) > f(C102), 0, 1], 0) → T101
  1136. If(C103 ≤ Right, If[f(C102) > f(C103), 0, 1], 0) → T102
  1137. Sum(S1:S102) → S104
  1138. Sum(T1:T102) → T104
  1139. If(S104 ≟ n ∨ T104 ≟ n, 1) → U104
  1140. Segment((Right + 3 * $A$4, f(C2)), (Right + 4 * $A$4, f(C2))) → G2
  1141. Segment((Right + 3 * $A$4, f(C3)), (Right + 4 * $A$4, f(C3))) → G3
  1142. Segment((Right + 3 * $A$4, f(C4)), (Right + 4 * $A$4, f(C4))) → G4
  1143. Segment((Right + 3 * $A$4, f(C5)), (Right + 4 * $A$4, f(C5))) → G5
  1144. Segment((Right + 3 * $A$4, f(C6)), (Right + 4 * $A$4, f(C6))) → G6
  1145. Segment((Right + 3 * $A$4, f(C7)), (Right + 4 * $A$4, f(C7))) → G7
  1146. Segment((Right + 3 * $A$4, f(C8)), (Right + 4 * $A$4, f(C8))) → G8
  1147. Segment((Right + 3 * $A$4, f(C9)), (Right + 4 * $A$4, f(C9))) → G9
  1148. Segment((Right + 3 * $A$4, f(C10)), (Right + 4 * $A$4, f(C10))) → G10
  1149. Segment((Right + 3 * $A$4, f(C11)), (Right + 4 * $A$4, f(C11))) → G11
  1150. Segment((Right + 3 * $A$4, f(C13)), (Right + 4 * $A$4, f(C13))) → G13
  1151. Segment((Right + 3 * $A$4, f(C14)), (Right + 4 * $A$4, f(C14))) → G14
  1152. Segment((Right + 3 * $A$4, f(C15)), (Right + 4 * $A$4, f(C15))) → G15
  1153. Segment((Right + 3 * $A$4, f(C16)), (Right + 4 * $A$4, f(C16))) → G16
  1154. Segment((Right + 3 * $A$4, f(C17)), (Right + 4 * $A$4, f(C17))) → G17
  1155. Segment((Right + 3 * $A$4, f(C18)), (Right + 4 * $A$4, f(C18))) → G18
  1156. Segment((Right + 3 * $A$4, f(C19)), (Right + 4 * $A$4, f(C19))) → G19
  1157. Segment((Right + 3 * $A$4, f(C20)), (Right + 4 * $A$4, f(C20))) → G20
  1158. Segment((Right + 3 * $A$4, f(C21)), (Right + 4 * $A$4, f(C21))) → G21
  1159. Segment((Right + 3 * $A$4, f(C22)), (Right + 4 * $A$4, f(C22))) → G22
  1160. Segment((Right + 3 * $A$4, f(C23)), (Right + 4 * $A$4, f(C23))) → G23
  1161. Segment((Right + 3 * $A$4, f(C24)), (Right + 4 * $A$4, f(C24))) → G24
  1162. Segment((Right + 3 * $A$4, f(C25)), (Right + 4 * $A$4, f(C25))) → G25
  1163. Segment((Right + 3 * $A$4, f(C26)), (Right + 4 * $A$4, f(C26))) → G26
  1164. Segment((Right + 3 * $A$4, f(C27)), (Right + 4 * $A$4, f(C27))) → G27
  1165. Segment((Right + 3 * $A$4, f(C28)), (Right + 4 * $A$4, f(C28))) → G28
  1166. Segment((Right + 3 * $A$4, f(C29)), (Right + 4 * $A$4, f(C29))) → G29
  1167. Segment((Right + 3 * $A$4, f(C30)), (Right + 4 * $A$4, f(C30))) → G30
  1168. Segment((Right + 3 * $A$4, f(C31)), (Right + 4 * $A$4, f(C31))) → G31
  1169. Segment((Right + 3 * $A$4, f(C32)), (Right + 4 * $A$4, f(C32))) → G32
  1170. Segment((Right + 3 * $A$4, f(C33)), (Right + 4 * $A$4, f(C33))) → G33
  1171. Segment((Right + 3 * $A$4, f(C34)), (Right + 4 * $A$4, f(C34))) → G34
  1172. Segment((Right + 3 * $A$4, f(C35)), (Right + 4 * $A$4, f(C35))) → G35
  1173. Segment((Right + 3 * $A$4, f(C36)), (Right + 4 * $A$4, f(C36))) → G36
  1174. Segment((Right + 3 * $A$4, f(C37)), (Right + 4 * $A$4, f(C37))) → G37
  1175. Segment((Right + 3 * $A$4, f(C38)), (Right + 4 * $A$4, f(C38))) → G38
  1176. Segment((Right + 3 * $A$4, f(C39)), (Right + 4 * $A$4, f(C39))) → G39
  1177. Segment((Right + 3 * $A$4, f(C40)), (Right + 4 * $A$4, f(C40))) → G40
  1178. Segment((Right + 3 * $A$4, f(C41)), (Right + 4 * $A$4, f(C41))) → G41
  1179. Segment((Right + 3 * $A$4, f(C42)), (Right + 4 * $A$4, f(C42))) → G42
  1180. Segment((Right + 3 * $A$4, f(C43)), (Right + 4 * $A$4, f(C43))) → G43
  1181. Segment((Right + 3 * $A$4, f(C44)), (Right + 4 * $A$4, f(C44))) → G44
  1182. Segment((Right + 3 * $A$4, f(C45)), (Right + 4 * $A$4, f(C45))) → G45
  1183. Segment((Right + 3 * $A$4, f(C46)), (Right + 4 * $A$4, f(C46))) → G46
  1184. Segment((Right + 3 * $A$4, f(C47)), (Right + 4 * $A$4, f(C47))) → G47
  1185. Segment((Right + 3 * $A$4, f(C48)), (Right + 4 * $A$4, f(C48))) → G48
  1186. Segment((Right + 3 * $A$4, f(C49)), (Right + 4 * $A$4, f(C49))) → G49
  1187. Segment((Right + 3 * $A$4, f(C50)), (Right + 4 * $A$4, f(C50))) → G50
  1188. Segment((Right + 3 * $A$4, f(C51)), (Right + 4 * $A$4, f(C51))) → G51
  1189. Segment((Right + 3 * $A$4, f(C52)), (Right + 4 * $A$4, f(C52))) → G52
  1190. Segment((Right + 3 * $A$4, f(C53)), (Right + 4 * $A$4, f(C53))) → G53
  1191. Segment((Right + 3 * $A$4, f(C54)), (Right + 4 * $A$4, f(C54))) → G54
  1192. Segment((Right + 3 * $A$4, f(C55)), (Right + 4 * $A$4, f(C55))) → G55
  1193. Segment((Right + 3 * $A$4, f(C56)), (Right + 4 * $A$4, f(C56))) → G56
  1194. Segment((Right + 3 * $A$4, f(C57)), (Right + 4 * $A$4, f(C57))) → G57
  1195. Segment((Right + 3 * $A$4, f(C58)), (Right + 4 * $A$4, f(C58))) → G58
  1196. Segment((Right + 3 * $A$4, f(C59)), (Right + 4 * $A$4, f(C59))) → G59
  1197. Segment((Right + 3 * $A$4, f(C60)), (Right + 4 * $A$4, f(C60))) → G60
  1198. Segment((Right + 3 * $A$4, f(C61)), (Right + 4 * $A$4, f(C61))) → G61
  1199. Segment((Right + 3 * $A$4, f(C62)), (Right + 4 * $A$4, f(C62))) → G62
  1200. Segment((Right + 3 * $A$4, f(C63)), (Right + 4 * $A$4, f(C63))) → G63
  1201. Segment((Right + 3 * $A$4, f(C64)), (Right + 4 * $A$4, f(C64))) → G64
  1202. Segment((Right + 3 * $A$4, f(C65)), (Right + 4 * $A$4, f(C65))) → G65
  1203. Segment((Right + 3 * $A$4, f(C66)), (Right + 4 * $A$4, f(C66))) → G66
  1204. Segment((Right + 3 * $A$4, f(C67)), (Right + 4 * $A$4, f(C67))) → G67
  1205. Segment((Right + 3 * $A$4, f(C68)), (Right + 4 * $A$4, f(C68))) → G68
  1206. Segment((Right + 3 * $A$4, f(C69)), (Right + 4 * $A$4, f(C69))) → G69
  1207. Segment((Right + 3 * $A$4, f(C70)), (Right + 4 * $A$4, f(C70))) → G70
  1208. Segment((Right + 3 * $A$4, f(C71)), (Right + 4 * $A$4, f(C71))) → G71
  1209. Segment((Right + 3 * $A$4, f(C72)), (Right + 4 * $A$4, f(C72))) → G72
  1210. Segment((Right + 3 * $A$4, f(C73)), (Right + 4 * $A$4, f(C73))) → G73
  1211. Segment((Right + 3 * $A$4, f(C74)), (Right + 4 * $A$4, f(C74))) → G74
  1212. Segment((Right + 3 * $A$4, f(C75)), (Right + 4 * $A$4, f(C75))) → G75
  1213. Segment((Right + 3 * $A$4, f(C76)), (Right + 4 * $A$4, f(C76))) → G76
  1214. Segment((Right + 3 * $A$4, f(C77)), (Right + 4 * $A$4, f(C77))) → G77
  1215. Segment((Right + 3 * $A$4, f(C78)), (Right + 4 * $A$4, f(C78))) → G78
  1216. Segment((Right + 3 * $A$4, f(C79)), (Right + 4 * $A$4, f(C79))) → G79
  1217. Segment((Right + 3 * $A$4, f(C80)), (Right + 4 * $A$4, f(C80))) → G80
  1218. Segment((Right + 3 * $A$4, f(C81)), (Right + 4 * $A$4, f(C81))) → G81
  1219. Segment((Right + 3 * $A$4, f(C82)), (Right + 4 * $A$4, f(C82))) → G82
  1220. Segment((Right + 3 * $A$4, f(C83)), (Right + 4 * $A$4, f(C83))) → G83
  1221. Segment((Right + 3 * $A$4, f(C84)), (Right + 4 * $A$4, f(C84))) → G84
  1222. Segment((Right + 3 * $A$4, f(C85)), (Right + 4 * $A$4, f(C85))) → G85
  1223. Segment((Right + 3 * $A$4, f(C86)), (Right + 4 * $A$4, f(C86))) → G86
  1224. Segment((Right + 3 * $A$4, f(C87)), (Right + 4 * $A$4, f(C87))) → G87
  1225. Segment((Right + 3 * $A$4, f(C88)), (Right + 4 * $A$4, f(C88))) → G88
  1226. Segment((Right + 3 * $A$4, f(C89)), (Right + 4 * $A$4, f(C89))) → G89
  1227. Segment((Right + 3 * $A$4, f(C90)), (Right + 4 * $A$4, f(C90))) → G90
  1228. Segment((Right + 3 * $A$4, f(C91)), (Right + 4 * $A$4, f(C91))) → G91
  1229. Segment((Right + 3 * $A$4, f(C92)), (Right + 4 * $A$4, f(C92))) → G92
  1230. Segment((Right + 3 * $A$4, f(C93)), (Right + 4 * $A$4, f(C93))) → G93
  1231. Segment((Right + 3 * $A$4, f(C94)), (Right + 4 * $A$4, f(C94))) → G94
  1232. Segment((Right + 3 * $A$4, f(C95)), (Right + 4 * $A$4, f(C95))) → G95
  1233. Segment((Right + 3 * $A$4, f(C96)), (Right + 4 * $A$4, f(C96))) → G96
  1234. Segment((Right + 3 * $A$4, f(C97)), (Right + 4 * $A$4, f(C97))) → G97
  1235. Segment((Right + 3 * $A$4, f(C98)), (Right + 4 * $A$4, f(C98))) → G98
  1236. Segment((Right + 3 * $A$4, f(C99)), (Right + 4 * $A$4, f(C99))) → G99
  1237. Segment((Right + 3 * $A$4, f(C100)), (Right + 4 * $A$4, f(C100))) → G100
  1238. Segment((Right + 3 * $A$4, f(C101)), (Right + 4 * $A$4, f(C101))) → G101
  1239. Segment((Right + 3 * $A$4, f(C102)), (Right + 4 * $A$4, f(C102))) → G102
  1240. Textfield(f) → inputBox1