SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 r! ,\ ]]VTcomp_Lib:threads=2elapsed=17.801cpu=24.964gc=0.992factor=1.407zXZִF! ]ŗXf1-/6vR[se?o0.u/J_?'đ}`:U&^\]>5jX2S.7rWt\x#PQ?k/ʹ^`XBSbt3s& T%nƊVf@? =Y6(8ƥҥa4.ni:=E(:ޭP|0%t,Q֊//VnAtG6a/~$Hn}4 \rn,ZRlunՆ>T0^|e{>?nAG̽0/ u~KY(nO7(Q)SK9E{z>2PЃt+XSD?=Zk$7HUXsʢNSRlT2ۃ(>`'\?XgaAsʟNӑ_YmEȄO-tB<%[Ϧdizwz(HתsS82cj]R|JX5qgN3{l$o2X|u]jV#'(,l]׽xBt5Qże-{{)`Q,j͐$zFoעsLEl!-R_Y\NG,7KP-U2qHʋy*)rp AҊ \emPʁTo+gYZ7zXZִF! V]ŗXi%;Y՚v>)+RИP!^;+6{(o~CFZDfǸͳ ÙR Hih@<;|]*u1X8Zg%a^iap➑'~?L 2A \ռޕjZZ8,*Fv;c;݄7\Dx_K<\l$S8P(vNאIGxUaMy[i/O!KƂy3Pu}@ſڊTj "˶rz4SC q]icmHP?|VD=ǬBGtXKp5I|lѪռGȃAV&@ %< <:%i4U#m)O̭\Ѯ@]_*r^{S]w6 ͡Y~i?a H P40r@?M0fΰ.0ce5c,yQu;%X y1s&Y KFd5֮(^9&1x B)eQU8O Y@OEdAdܠv