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  #<4 ]S HOLCF-FOCUS:threads=4elapsed=2.973cpu=9.360gc=0.168factor=3.157zXZִF! ]ŗXf1-qNezGh)=|"*AvId^ŤhD{w\QOڒ[v ׯJRWZ+kJ]ϒ"&(Hk;Mic9_M",ΓEQr\{տ-gYZ7zXZִF! ]ŗXiɟ>Ӈ~{?A)X}|g3LAh̟ɸ5kC:<`@A6Aծ"r>1Jc%Ew'(Y0:g|رGNH7[8c]ўt8TPtgYZ7zXZִF! ]ŗXi%GV7|7(`myE5=0f"ǑOpu{f]xI4C1վhu!;[Xc ɆM^]S ($X{ʓdnfilÝ,ntF>g0NP9R,z=>djhVGhLXJpz| @yWPueB'ٵFkŲ'xz@eN] E?fs=bBnq?R]GjF Ux?l-$@)è1I:!+c$n;(FZY!<Њ  |po~J{0bD =JBԕn1M>R,8P=br$1>юj+&cVе~dpbc#G23R7/-~Q%{VgL^ct:E<8xgKXJl u?]7UAgo%&_,M=AY jqi\KX6 CǶ?i^?H;m@i\{f&mXϋ&6D6 I  g K`e3ا R/ԈP !VXS]\Q!V ٻbߴ>Խ+T']gYZ3fcaf5e75495f0735963dbf743494671d41db5e84b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 f3f649306a47784fa6d8a6fec93370899016cdd2 63a1e429dbf2b2bd76a8609378828b6be9968e30 # HOLCF-FOCUS