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 ? DD$ ] ZF-UNITY:threads=2elapsed=18.405cpu=32.312gc=1.212factor=1.767zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,Ԁe`{7/\w .y?itz"E 8Wv V:(f2OZ͇*XR!_(ލ:`$Fv-O0W7<>,zWlΔFԮIU'ftX5hcƋ\|p/JFLY9Ew`e8̈ޞ6=Mh[!^'eXkvKbm<E݆ {NY0~xU`Gy ?AQ~\*ՔhSD lLZCLښ+}DQ,bo; ٖ,>*9>[RQrnL, (Mz{Gsˉ>i0102d;nAOH '8vf59qU@U5Bv ǘкQȼ*STԵ۽y%-EZX;nU#\I|\Cg>TS2_~!6tiJga\s)As! "zôX_m _TY~\UQSJEX3TYYDq~8sl=খ!պ"?Q"^l{BDk^J~xI"eW _J7܁XȉeF! GMzp4͓'Q q/XLʂ;mPg9L 0l߉Oqsn s*3(a|Vփ{c RsQw&tPwvfX& k]bu-E(N`xk>ŒJ*a[Z+$T3(9P)h&nE}SQʣu^ecU',.&6( Et࿛X+YfhF(v0,g{>k9S QHibDTڬZ<;^^_w <C>\{ǏB}H (Ѻ#hAݔtYsq1bݣn@q9[ȗUV~3lՉrw]DC 5֩V"l:O8 !);cO`"eX*S;0Yr3c9'7e56H"SpmonGB^bFf[)S弚s*(/]lg2Y9DMHͨ9žǿ@YphTZ8-@*d{CKa\\VT[o/!3T4{ǦS@=:Q_߈%|X_.zDzS{/1^Ԯ[.b=.8a.A; ***k1o[ mYg:aF)zG y!|/Ho! 9hG7nfUֹ ݰ IZxw&R'6T@wRL0 NNqbYX& ۲S^ogYZf885476b5fce9081148028253d9b119453610eca19126f922e3aa9c20f5a31237f68a37a6d2cdfb1 9537ef226ff0acac6599218dab9b4d7b8176a2f3 fb799a939db05248167a90c0dbd936125d2b153f   ZF-UNITY