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  \d$ ] ZF-UNITY:threads=6elapsed=5.927cpu=31.468gc=1.436factor=5.317zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%bIE5:PRirQ?s)%؆G]shQ[fS$cwFԎ7}1t\I~ތw bH{/u9à)-B[$I > e$K:py<]Ts$1^{?.$v$OO|-\v-Ar;UH1[?6BٷUvמB(_БP(ܕB"ZGɽ9'r״qZʣ9%>rk!Z_}7;܍&1ca .g'4dubR\wY2$R@]KwJjQw]pvZr2[x< &Ф|U̎-o;6h,ӯvN.8uZn>3mrYo?|H1joQۋP 뙿l~y2.b 5C0G•,~'DWm~Z6T>ꓐD߾uKT7h%Gho" <D E2dsy JznGW'Y8pgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP8'J%KmكJH4` +QOU| GKR7nKLL _CD^}̉DPt` v }R ^D;V|(/# F78|wm?*| 8h5.ר\C*t];^Y '93ș:0m9R̤ު|uweELGwU8@) QRVzb,S L\yD-ui >[@PnLHtɹ0Z;^+Xfm;R,5wng~q !gYZ7zXZִF! tL]ŗXi%@_Рɫ¼X Auw|Or?O-$,$ +p-0,zO:43 Gt)9'\]=|Y%JPvT S"朾'(& O3i ,$0Jޯr"c0ź 3}%hfΝrҨvIN !Shfȝ{m]9 Qs="+c W~%[ [:ǘ"$S7CX~O, w^PHbz'Dj WNMKjtgM%zzxӔ{e܀`Zot4h56|^OUX0ن9P鏐$Pv)b!_9>O)gYZ9ffaa268ebbf61526812c82c21b5b6472a8e74bbbcb48639fbb7341b689b138997e7d93ac6626bd1 0f90a0f2246648fd34be2b4f01cc07381ce104b5 6aff7b111a3757a8714b35fb3e1a368e89993151   ZF-UNITY