Acolutha

Acolutha is a genus of moths in the family Geometridae described by Warren in 1894.[1]

Acolutha
Acolutha pictaria, Borneo
Scientific classification
Kingdom:
Animalia
Phylum:
Arthropoda
Class:
Insecta
Order:
Lepidoptera
Family:
Geometridae
Subfamily:
Larentiinae
Genus:
Acolutha

Warren, 1894

Species
  • Acolutha albipunctata (Holloway, 1976)
  • Acolutha bicristipennis
  • Acolutha canicosta
  • Acolutha flavifascia
  • Acolutha flavipictaria
  • Acolutha flavivitta
  • Acolutha imbecilla
  • Acolutha interposita
  • Acolutha pictaria (Moore, 1888)
  • Acolutha poiensis
  • Acolutha pulchella
  • Acolutha semifulva
  • Acolutha shirozui
  • Acolutha subflava
  • Acolutha subrotunda
  • Acolutha talis
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
  1. Savela, Markku. "Acolutha Warren, 1894". Lepidoptera and Some Other Life Forms. Retrieved April 24, 2019.
  • Pitkin, Brian & Jenkins, Paul (November 5, 2004). "Acolutha Warren, 1894". Butterflies and Moths of the World. Natural History Museum, London. Retrieved April 24, 2019.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.