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 " 4tL ] ZF-UNITY:threads=6elapsed=6.243cpu=32.476gc=1.148factor=5.207zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b y9C{|cEx$Ok5$ $Uݶق͉RgfxHr p;H QsBB 4]rN;cǔs~qtX@/!@gI=nZISxx3Yi1Xdjq sUBB@@7 E@2"Ww?ꂫDb^K5N!ހK8Bm.57"m켻/}p{Vw(YG{v ث@&[_f`m3 fXi&w]2 jI(z?I?,/fi7vՓcQ"(QLx÷n/ntSӘ>/>[\`eEd <ΗʵN}&йش[<ז n #:Yλ{T}QߵTcNJnnAebUܚȀRE\@(Dz`0P+f`ȗLwI4|F2:- ŵ(HP}= ;1`.͖FxfaD4!m ٴlfn+.N*mDm(;Nw=?@I`"&*z?6gv>uTL,96.}rp^>!4XeU~#spÝ;0kQ6Cy$;xto.]Oh4R h|Q!2%``l#(7f @٢#wiPw&ςOm÷Wb2j6O>N᧭2f/{\K4 ]T PgYZ7zXZִF! '"_]ŗXi%Bj䞜خM|xK;跻]t qQ i2[gJa}@CA;D}H/4>GniͶT\Eq" K̺]u ** ?/$EG)cFz T)\Ў<&IIPcv8DŽGM~{tSU~GaIWHzv#3<$뉳ՔUY.L%Q;yNg r߫ b',b4HU0foˁ/Cv#q+9q.zҬn$?Vx-3k&<_eo@ތAANUFIgyxj).׾хn 5*k6a)To|AOwLEhP߆ܳj'*QX!UmGӈi/Ʃg ɏ'M h.t&jBLsեR3^jb6VQTѧ `i(K ,>i24rU([PFp* 05av@J8% Z .-*"H8 y4o䐕mxK κb,=nL8U<1ejF2(7C?AVȋ=eb:kb΃V^-"#}/8;J+bͫL9֏jUh" 7Cjg t˔lTvsnbo/F`9NJs'\I*I1Q },aQC\ eY$;I=d*[ mGJ~Rjv{:s [$=9-ɠp9}F vX/b,8 Z^m^Ȕz^tlIgZM r݈1(:&lq;U.4hԛC] fl47-ԋ&4m` tM&h 9]|ڌ ? ;{LѠ(~裍^е#7*Ac!/:0ﮡZaŖxQY @̃Vgu\49ΘƵm2aЬ~Սny=YN`gYZ7b58de8ebc594ef425388592b978881170f2f0e82de776be54086cd6f5d576144c34608108120821 179e7ab1e5f557e1ad70444272e2009ed10a8a91 7368ad7590e9f336f7536d8f7b582c3a1c0480a7   ZF-UNITY