Mikhaylovskaya, Vozhegodsky District, Vologda Oblast

Mikhaylovskaya (Russian: Михайловская) is a rural locality (a village) in Yavengskoye Rural Settlement, Vozhegodsky District, Vologda Oblast, Russia. The population was 125 as of 2002.[2]

Mikhaylovskaya

Михайловская
Village
Mikhaylovskaya
Mikhaylovskaya
Coordinates: 60°35′N 40°17′E[1]
CountryRussia
RegionVologda Oblast
DistrictVozhegodsky District
Time zoneUTC+3:00

Geography

The distance to Vozhega is 28 km, to Baza is 8 km. Belavinskaya, Khodinskaya, Nefedovskaya, Panteleyevskaya are the nearest rural localities.

gollark: Esobot... hurry up.
gollark: <@435756251205468160> esowiki WHY
gollark: It was to prove to <@!341618941317349376> that COMPILED DOES NOT MEAN FAST.
gollark: Yep!
gollark: Execute THIS!```pythonimport argparseimport subprocessparser = argparse.ArgumentParser(description="Compile a WHY program")parser.add_argument("input", help="File containing WHY source code")parser.add_argument("-o", "--output", help="Filename of the output executable to make", default="./a.why")parser.add_argument("-O", "--optimize", help="Optimization level", type=int, default="0")args = parser.parse_args()def build_C(args): template = """#define QUITELONG long long intconst QUITELONG max = @max@;int main() { QUITELONG i = 0; while (i < max) { i++; } @code@} """ for k, v in args.items(): template = template.replace(f"@{k}@", str(v)) return templateinput = args.inputoutput = args.outputtemp = "ignore-this-please"with open(input, "r") as f: contents = f.read() looplen = max(1000, (2 ** -args.optimize) * 1000000000) code = build_C({ "code": contents, "max": looplen }) with open(temp, "w") as out: out.write(code)subprocess.run(["gcc", "-x", "c", "-o", output, temp])```

References

  1. Карта Вожегодского района Вологодской области
  2. Данные переписи 2002 года: таблица 2С. М.: Федеральная служба государственной статистики, 2004.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.