SQLite format 3@ .;  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  / dD\ ]/ HOL-Types_To_Sets:threads=4elapsed=15.341cpu=28.444gc=0.568factor=1.857zXZִF! ,]ŗXf1-q恈'+]&e}0mz_i'av&w;g=K0yRz`<[wV/2rvv(2a=Bltp(ߓC/+e߬#%r4m~26^b.#΍%w6vj@kQ<[O X.q6ƄЉ~V{ {^!}'J̀Ӵ?qU$;D,jvnKO%Nv!;:bA%Ť;PQc~nLlB?~M-~s\DH=k XeLA),Κs‚Gd |H%.qq',Cu-¶2mՖK ҕ6~k^Hk#M`<Ƨu%țUe fmnt0ɓr:!;`['^L&r ΅;8f6} @U[ Oj_?kP_!CbL`iJ'GrƇG ˆ*=cHZ~I c2)Do r_ѷuFV/ m܊gYZ7zXZִF! Ve]ŗXi%I oĦLxϢ#KLo;r);ĂuWӋ]:SCb7sv,O ;./5 4ߢZSac~JBA"?`$Rx3ޜmc?Jqe9\1,f,ǪM:aኞh]@U)1بv\-@嚱ILbŴNy$ h]?G;GEVYw"a2VܱUxBcMnFM'0kc@و>yp9=Sٵ?X靮 MmL(xQƳ?0 -(xQ>l<"VZeO9m1;*[g[xoY/N.[r JA@ĂO-< b+ jpEO}#˂7:ì#RdžQD Xx@yˎ7v ݭbL^7ih_Pj!%L1/ o ]N&8M|E` yvQLOGRiLNqX2 +OU܏th'3>orM $&a?RX18gU9:F,IR@Ԁc9ݭp}WtvpSk'R.QNV" K ar^q56/ ;uqݗk 7eU@vZo>1OZbVw\&[ D?5یi8TVOa$"fOZ?@5]+ =\Lh#BZ0tԠ4@#AVjw)8gT=Bg0]y6-<hz#m TcC{N ĹgYZ379634c6013bc283325c07e22a0b9fc870a20db95a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 / HOL-Types_To_Sets