Kasirayi Sita
Kasirayi Sita (born July 29, 1978) is a male long-distance runner from Zimbabwe. He won the 2005 edition of the Stockholm Marathon. Sita set his personal best (2:12:42) in the men's marathon on October 9, 2005 in Eindhoven, Netherlands.
Achievements
| Year | Competition | Venue | Position | Event | Notes |
|---|---|---|---|---|---|
Representing  | |||||
| 2005 | Stockholm Marathon | Stockholm, Sweden | 1st | Marathon | 2:13:28 |
gollark: Oh hypermemetic ultrabees.
gollark: ```pythonfrom z3 import *iters = [ Int(f"x{i}") for i in range(40) ]solver = Solver()for n,x in enumerate(iters): if n == 0: solver.add(x == 1111111) else: last = iters[n - 1] solver.add(Or(x == last, (x * 2) == last, x == ((last * 3) + 1)))solver.add(iters[-1] == 1)print(solver.check())print(solver.model())```This is the *best* way to do collatz.
gollark: It's a theorem prover. It can tell you if certain statements/sets of statements are satisfiable, and if so how.
gollark: And I don't think rust does TCO in general.
gollark: Halting is a side effect though.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.