Barrio Anglo
Barrio Anglo is a village in the Río Negro Department of Uruguay.
Barrio Anglo | |
---|---|
Village | |
Barrio Anglo, Fray Bentos. | |
Barrio Anglo Location in Uruguay | |
Coordinates: 33°7′10″S 58°19′37″W | |
Country | |
Department | Río Negro Department |
Population (2011) | |
• Total | 785 |
Time zone | UTC -3 |
Postal code | 65000 |
Dial plan | +598 456 (+5 digits) |
Location
It is located just across the stream Arroyo Fray Bentos from Fray Bentos, the capital of the department, being a western barrio (neighbourhood) of the city.
Population
In 2011 Barrio Anglo had a population of 785.[1]
Year | Population |
---|---|
1963 | 627 |
1975 | 708 |
1985 | 273 |
1996 | 664 |
2004 | 818 |
2011 | 785 |
Source: Instituto Nacional de Estadística de Uruguay[2]
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.
gollark: Hmm, I wonder if I can horribly abuse z3 for collatz like I abused it for mazes.
References
- "2004 Census of Rio Negro department" (XLS). INE. 2004. Retrieved 28 June 2011.
- "1963–1996 Statistics / B" (DOC). Instituto Nacional de Estadística de Uruguay. 2004. Archived from the original on 21 July 2011. Retrieved 28 June 2011.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.