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 s D ]/ ZF-ex:threads=2elapsed=12.902cpu=18.616gc=0.624factor=1.447zXZִF! J]ŗXf1-W(TUK`NDdQم+%t;6(4;0B SX}sƿ+M2woxiM=%TC|r}SeؖbkwA lݠ^wl=ap0hJ$o-78 7H?Tԣay/^B-XZyqLӆi[ _18"iN)t^Wf1ϵg iDPX[JK$GgYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\ذ[. Z*<\~d1D 6Jv6)8VFeʰ3W6nZQסޮ#X&h=-?REݒڣAȯl9؇eD,i7 Ai`AR:nRJnCgN r11+^R??`)jXp]ŗXi%;BN㫰?U}[]rA('JEPUp @0~4 ͒/v=%Fj>՟Nff/EH]7!UR2@nb"ܼM˶."!#$6lE )xʃ=lؑcS/X6;C~V+Z'M 1QBW=GmM#6U`(-EcQbCN*Nm;]` A|V jZ EM횺D֬#jOR QY(x ޸i5EPXQu+?0xEqLnL뗦Gfu5q8W^bє _3K8Nۗ'zҾ-Ty#⩻퍳!;n1Ȁ'w}}+p,eD vS+ J8KRcCs$nrv| q3]I Ufe *{b<"{n&AD{NBEcĐMбu w x;ϓ"2 3S4hۤŠɉD{+k+!χlѠTO%{~gHȁU^*Ho?ePIR!<~-/ؕ+gVjcr?uc9GrqbBg]`+0Z<8{> y +$'͊xHD|2%οfuT!iRi*u@8iHdNz| 1nz'G*˞H@f8morevħ/EUs҄McG`1h]mto?;Jò ԶbPÃ}.uSW2X,b;@ɂnܬI=Jb[Ͷ2A6`(65g](MwBYI >P}*7ip&Rj} gYZ53600f8bee1eb329a5ce3606bf8c98297e395a02071f7fa30665cd1599ab0688c2ebc3134f4d53a1 48c7724705a2af50367b3133c44292d679828a88  ZF-ex