SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info j d\$ ]]]ZF:threads=6elapsed=12.455cpu=46.996gc=3.256factor=3.777zXZִF! l]ŗXf1-) enȈA XR„V\*6??6eG*24-:gh_w&!8cY#:m~FZx;{6\QKs%TMГA1zKg$՗1&CκTASK hz}WUSȰ VT|mF @//VY6%>o1fn3o\+i;֣r W)T|{PFf~YCqi,򍄂aB9 =΂g{ w-e$Pb6C"dB"Jb.߻s.ĴfInHqXW,7* YK ?G _+]S#P-N zQ At⳥`4f @Q@!* Kia7VasO 9gYZ7zXZִF! (]ŗXiɟ 1FE`空'%`Y"ZmEm,U- < g4̠+vR Wux)*>rU6ߢkZu> [ IU/"+M-dIa2`%{r ^_oeBl٦ H- Lp 00dH§r UDUYҊ tBj$}.uJ:9w|~}6ֆWxW;&4.yia>85\qIGKǁj],g_ byYf5ogaG02LC]sƎg a&s|7i7`P8H0L0elO)Tm,qxJ"H%TD$'Vk"HG|.CT\[lL:łl 9'GDӊ蓠QVSS:ByUt++:&h`_"KZ-+LSFǁqr$鞏}1J@.rl`ȏl51] mK̿&;kg]Tb]p\wk @T{ZXdw7t:lZ^3XSAh?"Q`!HL\Q. ann;sPL (Ye1`QjDn<}YYJK&RW!GS퓬diY#f򵈤f:˥7bY_)5C,ONaKl57\gިS3AE WF5=bPu0WdbR F_euvP gz3!iis.[)̩^)AP8fq˿Xk-%Pڌ!>`/}>(M/9ʽ#\{}Qft̀2Pؕ/;S뢆&.OU8v أaf!F@.#v'VYm댔,H"p$-zL^v=".E@_S.[&ExS&s|iɢcv Q45Jr4+xp;-[c^¤*Zx|KO0.XiA)9sр#0Hef]$43+ ݺrugYZ1bdb4223e6bd4292d4c62c83e1faa25fb07722633ef6c9a0eb470e4693e1ab85852721e78e1c146aa5bfce158ea1be1cd1ba3e9b5b0d5ad983fb1d22  ZF