Managers rankings

The manager earns a seasonal rating for wins in official games, including national and in ranking mode games.
Manager Nat Team League Points
1. Dredus Mimic Raiders MHL 8 52
2. ramasasha Wrangel island  BELIE MISHKI LHL 2 27
3. Rustam Red Hawks  PHL 20
4. Iron121 HC Spartak PHL 20
5. Pollo XK OyKC PHL 20
6. MDM Lions de Lyon SHL 2 18
7. Vladyan Amur-Khabarovsk SHL 1 17
8. baschok Сеславино PHL 16
9. SMike HK Zunda  PHL 16
10. Kot Garfild PHL 16
11. zubrus Montreal-Canadiens PHL 16
12. mister_Wayne Wild Catrans PHL 16
13. zorro LADOGA PHL 16
14. Master_Damon Burevestnik NN PHL 16
15. Voland Novosibirsk PHL 16
16. Westler Jet Fighter LHL 2 15
17. Skafinn I Gatti Rossi LHL 2 15
18. Bender Alkohooligans LHL 2 15
19. fin dast LHL 1 15
20. gonzza HC Pozornye Shmygy LHL 4 15
21. And_Zhur Avanteam SHL 1 15
22. FVA Geyser LHL 1 15
23. Fbi PoliceAcademy LHL 3 15
24. Lavins33 Modo LHL 4 15
25. Tafrial Moscow horses LHL 1 15
26. lalala0 banda muhomorov MHL 4 15
27. Forester SUBARU TECNICA INTERNATIONAL SHL 1 12
28. thunder Korolyov Rockets SHL 2 12
29. Zerowin Ozimandius SHL 1 12
30. Anger RebellioN LHL 1 12
31. Mad_Mind Black Horse PHL 12
32. kesha-brat Блюзмены SHL 2 12
33. Scorpi ScorpionS Bratislava PHL 12
34. DustGreat Dust PHL 12
35. Uravnitel Vegas Golden Knights SHL 1 12
36. Andron Avangard 55 LHL 4 12
37. Levani borjomi LHL 4 12
38. Steve Red Bull Munchen SHL 2 12
39. Bure777 HK Niwniy Tagil LHL 3 12
40. Gloria HC Magistrale Warriors PHL 12
41. Skuderof Lordi SHL 2 12
42. Lidia_05 HC LIDIA SHL 1 12
43. Jefferson Falun Scandinavians SHL 2 12
44. fedora Lethbridge Hurricanes LHL 4 12
45. romchik Windsor Aces SHL 1 12
46. Rust2201603 HC UFA LHL 3 12
47. Denuf Habanero LHL 3 12
48. Qwentinb Draguns LHL 2 12
49. CARP CARP-Sibir PHL 12
50. Hamrun Quebec Remparts LHL 1 12
51. DayBreak_ New York Islanders LHL 1 12
52. Corsar Tortuga Corsairs SHL 1 12
53. SCOOBBY DOOBBY LHL 2 12
54. romakocha77 Lok LHL 4 12
55. ToxeDo PupS0iD LHL 1 12
56. vl_roma Kirov Capitals LHL 1 12
57. Erbol1977 Ereke-77 LHL 3 12
58. Jozh Kitchener Beavers LHL 4 12
59. TABYN Unikum LHL 4 12
60. Sibman Sibir NSO LHL 3 12
61. Xus Salavat Yulaev Ufa SHL 2 12
62. Scull Mighty Skulls Hockey Club LHL 1 12
63. slavian Peregudovo Jackals LHL 4 12
64. dbmuz gorskoe LHL 1 12
65. Daniil Xiaomi Ufa MHL 1 11
66. igorvini VORHUT SHL 2 10
67. avangard80 avangard80 Omsk MHL 3 10
68. Rusnur AMAROK MHL 5 10
69. Alexandr Laval Rocket MHL 4 10
70. Malvina Malvina MHL 1 10
71. belorus Veska United MHL 7 10
72. M_Vadim Torpedo Ust-Kamenogorsk LHL 3 10
73. Henke Tre Kronor Malmo MHL 3 10
74. Brdk BRDK MHL 8 10
75. viksna Daugava Riga MHL 2 10
76. Klasnic New York City SHL 1 10
77. leshabazarov1982 Buldox1982 MHL 2 10
78. freezers Freezers Marseille MHL 7 10
79. Jaromir_Jagr IceBerg MHL 6 10
80. Little_Squirrel Little Squirrel MHL 1 10
81. step_andrey Avangard55 MHL 5 10
82. Flyers Flyers Ogre MHL 4 10
83. Sergei Sensitivity MHL 8 10
84. Ranger Minsk Rangers MHL 1 10
85. Chimichanga Chimichurri IHL 11 10
86. Ural-batyr Tolpar Ufa MHL 6 10
87. Fioletovenkii HC Kramatorsk MHL 4 10
88. slava-876 Gefest MHL 2 10
89. RoyFox Antares MHL 7 10
90. Maestro75 Hockeybeast MHL 5 10
91. KAZ Kazakhstan MHL 8 10
92. vlone1chief memus IHL 5 10
93. Brodnik HC Kaunas MHL 7 10
94. Stupidest_manager_in_the_world Great Novgorod Barbarians MHL 4 10
95. WelderM HK Umka MHL 8 10
96. Pokoritel HK Traktor IHL 7 10
97. AM82 Russian Wolf IHL 3 10
98. DED KAZAN Capitals MHL 6 10
99. Scarecrow Coyotes Saint-Petersburg MHL 3 10
100. SNA Dinamo-M MHL 3 10
101. balticshark kalev IHL 7 10
102. Riga HC Dinamo Riga MHL 2 10
103. MD_IDRIS_ALI ALI AVENGERS MHL 4 10
104. Vlastimir Grand Tartaria Asgard LHL 2 9
105. spokoyniy ХК \\\"Лоси\\\" LHL 4 9
106. svema Свема Шостка SHL 2 9
107. alex46 Бригантина-16 LHL 2 9
108. Fizik Сброд Шефа LHL 4 9
109. listopat listopat SHL 1 9
110. AJK STENOVIK SHL 2 9
111. Purity Torolis Daugavpils MHL 2 9
112. alex_bezmen NEW HOPE LHL 3 9
113. Veronika_1010 -Avangard- SHL 2 9
114. Suomi-2011 Suomi95 Helsinki LHL 2 9
115. evgeniy-1984 seva SHL 1 9
116. NooBosh HC Rostov LHL 3 9
117. olgino DELTA LHL 3 9
118. chicago Chicago2014 LHL 2 9
119. miss Minnesota North Stars LHL 1 9
120. santa Calgary Flames SHL 2 9
121. dimas Anaheim Ducks LHL 3 9
122. Geno Arizona Coyotes LHL 4 9
123. Nasta Tigra SHL 1 9
124. GM_Ivan_Vetrov HC PACHUCA MARLINS SHL 1 9
125. Mirda55 Karlovy Vary Devils SHL 1 9
126. Gammgubben Pinetop Hockey LHL 2 9
127. nadin Snowflake LHL 1 9
128. allexx AllexxBand SHL 2 9
129. dima-fortuna Toronto Maple Leafs LHL 2 9
130. Mark_Kennedy Manchester Giants LHL 4 9
131. SextonX Hc Valmieras Vikings LHL 4 9
132. JanuksLV HC Flames Lounge Riga LHL 3 9
133. scientia PINGVINI LHL 1 9
134. Tankograd Tankograd SHL 2 9
135. Kostyan_Fox Avangard SHL 1 9
136. IronMan Boston Bruins USA SHL 1 9
137. Andreyka HC Meteor LHL 4 9
138. Sokol Vladivostok  Admiral SHL 2 9
139. olexey18 Red lions Krasnoyarsk LHL 4 9
140. AnIsImOv -Severstal- Cherepovets SHL 2 9
141. NEA-80 USSR LHL 1 9
142. Sinaps Forestwill WereWolves LHL 4 9
143. Matematik SINUS LHL 1 9
144. Dikosh Dikosh2015 LHL 1 9
145. MaxaON Dark Tranquility LHL 2 9
146. Rishat19 Brown Tomatoes LHL 2 9
147. Thugau Hc Thurgau Tukums LHL 3 9
148. Glen_Sather Edmonton Oilers LHL 3 9
149. Zummer KOLNER HAIE LHL 1 9
150. Maximus GazooRacing PHL 9
151. disa SATAN CLUB LHL 3 9
152. Ovi Washington Capitals Russian LHL 3 9
153. Buksir Otrada MHL 8 8
154. timon96 ehc rheinfelden SHL 2 8
155. Scooter Juventus MHL 5 8
156. Metallurg_NK Metallurg NK PHL 8
157. Dron Liga55 MHL 5 8
158. kuzya Kuzy LHL 4 8
159. koroli_bzda koroli bzda MHL 2 8
160. AVA55 AVA55 MHL 7 8
161. Nata Torpeda PHL 8
162. Niko15 Down syndrome MHL 6 8
163. Alex_Boss Paris Lexus Monsters LHL 2 8
164. Dneprospezstal Dneprospezstal MHL 1 8
165. OlegZnarok Dynamo Peterhof MHL 2 8
166. Brodeur Belleville Senators PHL 8
167. Gretzky  Quebec Nordiques PHL 8
168. Serebrynka8 Zsv MHL 1 8
169. lasvegas Golden Knights MHL 3 8
170. BOGOTOL HC Spartak Moscow   MHL 7 8
171. TheLastDance The Last Dance MHL 6 8
172. Florida Florida Panthers MHL 7 8
173. freezer Freezer Nicaea MHL 8 8
174. Soulker Dryfty MHL 7 8
175. Mex80 Olimp MHL 4 8
176. Fara Praga Warriors MHL 1 8
177. urbanist Detroit RW MHL 3 8
178. Andrey__3010 ZapSib Novosibirsk MHL 3 8
179. Hejduk86 HMS Stalkers MHL 2 8
180. Jelgava Zemgale MHL 7 8
181. Phantoms Hc Phantoms MHL 5 8
182. Michael_Devlin Iowa Heartlanders MHL 4 8
183. ivangennich Tiger IHL 9 8
184. SergeyM Iron Beers MHL 3 8
185. varyag_236789 LENINGRAD MHL 2 8
186. Leon Don beavers MHL 5 8
187. Anton_Valov Black Angels MHL 6 8
188. Amazing Ruskus IHL 13 8
189. Arty Eagles MHL 6 8
190. whatislove Chertanovo MHL 7 8
191. Kurbads HC Kurbads MHL 8 8
192. Tornado  Tornado Black White MHL 8 8
193. pavlov_stepan Milano Rossoblu MHL 6 8
194. Akbars3 Alesha team IHL 15 8
195. migasof Rostov Don IHL 7 8
196. AKTOBE-2025 AKTOBE-2025 MHL 5 8
197. landest Fortuna MHL 1 8
198. abaklykov -Chebureks with kittens- MHL 5 8
199. jasterout Moscow Apache MHL 4 8
200. Spectre22 Dinamo-Altay MHL 6 8
201. raymond41 LOKO-76 MHL 6 8
202. Oleg_Volkoff Zvezda MHL 1 8
203. Ural Ural Orsk MHL 6 8
204. BobHartley AVG MHL 5 8
205. Vetlapperij Saint Hannah Sharks MHL 1 8
206. McRobbedoes Taxandria Towers MHL 3 8
207. Rotermel-a HC Rotermel MHL 2 8
208. aziz77 Sweden Knights IHL 15 8
209. Ertugrul_Gazi Ertugrul IHL 10 8
210. Barron_k South Dakota Selects IHL 5 8
211. Master Ural X-Men LHL 2 7
212. ara02 Novosibirskie volki LHL 3 7
213. Vjik Frozen Fury MHL 5 7
214. bvdorjo  8 - Golden hORDE -8 MHL 4 7
215. Livo CRUZE MHL 5 7
216. Seppo Karjalan Fishers LHL 3 6
217. Hitrook Ibis LHL 4 6
218. Vzeki Rusty rhinoceros SHL 1 6
219. nurlandus ХК Барыс LHL 3 6
220. matador  Philadelphia SHL 2 6
221. blazen atletic hockey team Karlovy vary LHL 3 6
222. Dryer Hotline Miami SHL 1 6
223. BuggyS Tooth Fairies LHL 2 6
224. Corey_Taylor SK Rapid Wien SHL 1 6
225. Andrei _Спартак_ LHL 3 6
226. diluted-sasha Austrumu Cesis MHL 6 6
227. zlobnyi Region59 SHL 1 6
228. Aza Viking SHL 2 6
229. VIG Kladno LHL 1 6
230. dragon_cave Montreal Forever LHL 2 6
231. Kubinka Sovjet Wings SHL 1 6
232. Kari_Jalonen XK Czech Gladiators LHL 3 6
233. ulia HC Sparta Praha SHL 2 6
234. Schera77 Psixi SHL 2 6
235. VVM Mogilev SHL 2 6
236. traktor traktor chel LHL 2 6
237. igorrr-64 igorrr-64 MHL 3 6
238. Hoverla Hoverla LHL 4 6
239. lex Minskie volki LHL 2 6
240. andrwell Well Command MHL 5 6
241. Gundos991 HC Stroitel SHL 1 6
242. Alexandr-1_ Metallurg NVK Novokuznetsk MHL 3 6
243. BORIS BAD CANARIES MHL 6 6
244. mwptak Motor City Madmen LHL 1 6
245. Betto  Sevastopol Senators LHL 3 6
246. Hunekop JensieTeam MHL 7 6
247. Rommaru HC Argentum Equites LHL 3 6
248. ReDFoX FinnAir MHL 4 6
249. EXPORTER Rimouski Oceanic SHL 2 6
250. NikoSolo999 Colorado Avalanche  LHL 2 6
251. Whitesnake Blackhawks SHL 2 6
252. KukolevRyazan Dyadkovo Ryazan SHL 1 6
253. 74Chlb Chelmet74 SHL 2 6
254. Myshonok78 SKOPIN CATS MHL 3 6
255. bibhats Spirtok  Masckwo LHL 2 6
256. AlMaz Staya Omsk LHL 2 6
257. Bismark87 Dynamo Msc SHL 2 6
258. vladim CHAIKA HH SHL 1 6
259. Rubene Rubenes Vilki MHL 4 6
260. Vito70 Battle ants SHL 2 6
261. HCNIKOLSK HC NIKOLSK LHL 1 6
262. Catanzaro Catanzaro HC MHL 2 6
263. Max_First HC Avengers LHL 2 6
264. Kyzylzhar Kyzylzhar LHL 4 6
265. user126788 20th Century Fox LHL 4 6
266. Avalon Avalon HC MHL 8 6
267. ClassiC Mogilev Trees SHL 1 6
268. ShineSport1 Bay Tampa Lightning MHL 4 6
269. _Dzmitry_ Die ADLER Mannheim LHL 2 6
270. RoNik Canadian lumbermans MHL 4 6
271. DarkNezz Monolit MHL 2 6
272. Alia ALIYA LHL 3 6
273. Redman Redman Stars MHL 2 6
274. Colorado Colorado beetles MHL 7 6
275. Romario Hershey Bears MHL 7 6
276. JekVorobey Water Devil MHL 1 6
277. Flopcrazy Pushkino AVANGARDmo MHL 1 6
278. ex3000 One leg mans MHL 6 6
279. juri_timofejev HC ESTONIA MHL 3 6
280. s158949 Salavat STR MHL 1 6
281. Warthog CKA-X LHL 2 6
282. RusBars Barsuk MHL 8 6
283. kuznetsov9696 Amur Habarovsk MHL 6 6
284. Tktng BD IHL 9 6
285. blue_fences Novgorod Mutants MHL 2 6
286. rayogetafe Latvian Spaniards IHL 9 6
287. AndrivA dream-team MHL 8 6
288. Mihay HC Slovan MHL 6 6
289. BishGO Crystal LHL 3 6
290. TheNightWolf Saint John Sea Dogs LHL 4 6
291. Sergei1313 Sibir Nsk154 MHL 4 6
292. MadMax HC DIESELIST MHL 3 6
293. dhskwnemdidusydmwnwosodptyush Aura ht MHL 4 6
294. Tim Polet Rybinsk MHL 1 6
295. 9I_Eugeniy EK Hockey Club MHL 3 6
296. Vas Antarktida MHL 8 6
297. Kadazarinuskisz2 Hrubeshuvas Zvirbulu OHL 10 6
298. nevova Streletskaya Druzhina MHL 2 6
299. Nothing_Else Nothing Else MHL 1 6
300. IDRIS_ALI Green Wood MHL 7 6
301. MD_YASIN_ALI LEO II IHL 7 6
302. White_Oak White Oak IHL 14 6
303. Microwave Microwave IHL 3 6
304. Bad_Boys Bad Boys IHL 14 6
305. dalton14andy HC KUNEY PHL 5
306. Grin Lokomotiv Yaroslavl LHL 1 5
307. KAKTAKTAA Salavat Ylayev MHL 8 5
308. torpedo66 torpedo66 MHL 1 4
309. malec31 Dinamo33 MHL 7 4
310. WOLF WOLF-04 PHL 4
311. IvanTsupikov Red Dragon Omsk PHL 4
312. ponzio Ponzio MHL 3 4
313. paravoz хк локо PHL 4
314. Baffalo Waykimas PHL 4
315. Tarasov Himik Warriors MHL 7 4
316. Arhie Cornwall Braves PHL 4
317. rriemerje Riemer Flyers MHL 6 4
318. Odissey Pukkala Kakkala PHL 4
319. Chelentan HC Sputnik PHL 4
320. severok Zlobny Kuropatki MHL 8 4
321. JIDDE  Texas Stars MHL 7 4
322. FINnik TAPPARA PHL 4
323. Choochelo Gretchko MHL 5 4
324. Slavan NJ Devils MHL 3 4
325. Ochko Assduck MHL 3 4
326. Napalm AKM MHL 2 4
327. jerdon Salda Blue Cats MHL 5 4
328. Goliath Gerdsgardens IF MHL 7 4
329. Couch Clouds MHL 4 4
330. Green-Boss Green men MHL 2 4
331. Rusik Ice leopards MHL 5 4
332. GrossToss Tatarsk MHL 4 4
333. Zaq_Wsx HC Zaq Wsx MHL 1 4
334. Lechuga Brighton Bolts MHL 3 4
335. Avalanche Dukla MHL 5 4
336. Andrey NewLiga MHL 1 4
337. Artkkkkssj WhatASigma MHL 5 4
338. Sanych Roere fra fjorden MHL 7 4
339. Erruptor Gaz - Meat MHL 8 4
340. BadBoys BadBoys IHL 11 4
341. HockeyTeam MetalHeads MHL 2 4
342. HNT3R Blues Rocking MHL 7 4
343. Bbiwa BbIW MHL 7 4
344. MAUGENIO SKA  MHL 3 4
345. silfgonnasilf Muskegon Heights MHL 2 4
346. yartema HCLokomotiv MHL 6 4
347. 2025 Storm 2025 MHL 8 4
348. Urozhay HC Urozhay MHL 4 4
349. Niko HC Tosno MHL 7 4
350. Tractor HHK TRAKTOR MHL 8 4
351. Perturabo Grey Oaks MHL 6 4
352. dash97 Omsk Hawks MHL 3 4
353. Filimon Houston Juliki MHL 4 4
354. Baltik Bars MHL 8 4
355. dimabedrok2015 ROSS IHL 9 4
356. flo1d Zorachka MHL 8 4
357. Sven Tre Kronor88 IHL 11 4
358. MatherRussia Sharks VMTP MHL 4 4
359. aloha1104 Brown Bears MHL 3 4
360. Poacher Aviator  MHL 5 4
361. NeOnyX1k Neo Gang MHL 8 4
362. Arseniy Lokomotiv-YAR MHL 7 4
363. Veligosh Red and White MHL 3 4
364. Makron Brest Wolves MHL 6 4
365. Laba Legia Laugaricio MHL 5 4
366. Anton13122025 Ufa HK Salavat Ylaev Ufa RB MHL 8 4
367. SarTa72 EspressO MHL 1 4
368. tf3qw77 Torpedo Irkutsk MHL 1 4
369. FCSpZ18155 HC Spez MHL 1 4
370. alzyab91 HC SEVER IHL 3 4
371. fasaby  fasaby foxes MHL 5 4
372. 1996 1996 MHL 6 4
373. X_FACTOR X FACTOR IHL 9 4
374. tomi  SKA Petrohrad Bieli Draci MHL 7 4
375. kxg Traktor Churilovo MHL 4 4
376. iop011 имя LHL 4 3
377. Ruff Vancouver Canucks SHL 1 3
378. Pavel813 Pavel Team LHL 4 3
379. dimon_smt_27 hc gomel LHL 1 3
380. Ermion HC Donbass SHL 1 3
381. sigrunen Kenora Thistles SHL 1 3
382. Nummann Munchen1860 LHL 4 3
383. sanyasbelozerov81 Cherep SHL 2 3
384. mf_bodun KSM Grodno LHL 1 3
385. Golfstream Florida Panthers SHL 1 3
386. svyresh Tornado Togliatti LHL 1 3
387. Gladiators HC Gladiators Kyiv LHL 2 3
388. Berkut New Orlean Berkuts SHL 2 3
389. Buldozer Vorkuta White Wolves LHL 3 3
390. EFES_NN EFES LHL 1 3
391. krosby Kipsburg LHL 2 3
392. Lorens Lorenskog IK SHL 2 3
393. FoRwaRd BVB - Dortmund SHL 2 3
394. Openok Palermo LHL 1 3
395. Dimaus Zmajevi LHL 1 3
396. Kulagin Hc Condors Wolmar LHL 1 3
397. Balderis Griffins LHL 1 3
398. Ghost Siberian snipers LHL 2 3
399. Faber Faber Ice Moscow LHL 3 3
400. Kysh GazMyas LHL 4 3
401. PASHTIG SORTAVALA LHL 4 3
402. Motorio Motor Zav LHL 2 3
403. Ruslan PbICEHOK LHL 2 3
404. Lorencs Hockey MHL 8 3
405. Oleg Moscow Stars MHL 6 2
406. kerl Pleshki Alkanafts LHL 3 2
407. Marat Spartak Karaganda MHL 3 2
408. lazarro HC ProtivGazonov MHL 1 2
409. Pavel HC Luninec Sity MHL 4 2
410. Gonza80 Laperanta MHL 1 2
411. kaunismuna Panthers MHL 6 2
412. spez MOSKVA DEBLOIDI MHL 2 2
413. Pookers Savannah Muckdogs MHL 1 2
414. Vel HC Traktor  Kopeisk MHL 8 2
415. NicoloPaganini Shlenkin MHL 4 2
416. Kartoplya_s_Cibuleyu Nejnost MHL 8 2
417. NikPVO Rostov Veliki MHL 1 2
418. Osetr XPEHOBEPTbI MHL 5 2
419. SokoloSS Sokoloss MHL 5 2
420. 79272058208 Lada Togliatti IHL 3 2
421. herofuk Hobart Diggler Star MHL 8 2
422. Tiger95 Steel Penguins MHL 4 2
423. HunterOfDay Crimean Bears MHL 4 2
424. Metallurg2024 Metallurg MMG Magnitogorsk MHL 8 2
425. anna_safonova05 SafMomen10 MHL 1 2
426. SvaroG_689 VARVAR MHL 2 2
427. romao Steelfox MHL 1 2
428. Criminal Metallurgs NK MHL 1 2
429. Don_Carleone Detroit Red VViNGS MHL 5 2
430. Gradovich Dnepropetrovsk MHL 2 2
431. Dormik Rhinos MHL 8 2
432. Spelii_baban Metal wolfs MHL 6 2
433. Narfi BUAR MHL 6 2
434. Artemka Black Bears MHL 3 2
435. roman Zavodskie Saratov MHL 2 2
436. aslankan Aktobe MHL 6 2
437. perla SWH MHL 6 2
438. hakypeh Polar bear MHL 2 2
439. Kenbourne Volga Sharks Ulyanovsk MHL 7 2
440. logan_8 HC BYD MHL 3 2
441. coach_filler Florescu Timberwolves MHL 2 2
442. YuZhe tangchao MHL 5 2
443. Sergante Strela MHL 2 2
444. SVoronin Tigeris IHL 11 2
445. MaJ0r Tavistock MaJ0rs MHL 5 2
446. markovkiny Molot MHL 1 2
447. czluku HC Luku Tabor MHL 1 2
448. remax94 Maple sharks MHL 5 2
449. Ylitken Excavatorschik MHL 3 2
450. Lost NHK MHL 3 2
451. daniilmarkaitis daniilmarkaitis MHL 2 2
452. Frog Dmitrov MHL 2 2
453. varhok Dimamo-MSK MHL 8 2
454. Sero Sero I IHL 15 2
455. Black_Panther Black Panther MHL 3 2
456. dkfl7060 VMIK MSU MHL 7 2
457. dilczech Saints MHL 7 0
© 2009-2025 HOL version 4.4.3.2. All rights reserved. Turn on device adaptivity
Loading