Penthema darlisa

Penthema darlisa, the blue kaiser, is a species of satyrine butterfly found along the Himalayas, extending into Southeast Asia.

Blue kaiser
Scientific classification
Kingdom:
Animalia
Phylum:
Arthropoda
Class:
Insecta
Order:
Lepidoptera
Family:
Nymphalidae
Genus:
Penthema
Species:
P. darlisa
Binomial name
Penthema darlisa
Moore, 1879
Synonyms
  • Penthema binghami mimetica Lathy, 1900
  • Penthema binghami godreyi Riley, 1932
  • Penthema binghami annamitica Fruhstorfer, 1902
  • Penthema binghami mergula Evans, 1924
  • Penthema darlisa miyashitai Okano, 1986

Subspecies
  • Penthema darlisa darlisa (Assam to Burma, Yunnan, West Thailand)
  • Penthema darlisa mimetica Lathy, 1900 (south-eastern Thailand)
  • Penthema darlisa melema Riley & Godfrey, 1921 (northern Thailand, Laos, Vietnam)
  • Penthema darlisa merguia Evans, 1924 (southern Burma, Peninsular Thailand)
  • Penthema darlisa pallida Li, 1994 (Yunnan)
gollark: Broadly speaking, yes.
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.

References


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