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 ~ t,l ]]]ZF:threads=6elapsed=13.980cpu=50.404gc=6.016factor=3.617zXZִF! ]ŗXf1-) enȈA$jB80l,v8-qFN}seG_ck|0Omޥ6`h@qGL޴ʶ#9ngYZ7zXZִF! N]ŗXiɟ 1FE`穵]#?&݁05.fsVۜLdž{s;xjeVܼ1T9ȳ`hWlǾ;WUQ( G]otLT7Sw Rh'פp3H!−~=dt82sOג赹`5ޡֲW5VPI29/\B4)F8$|Şm52:kĝ*z G$g\`O+4;z/>ٸ(J#GnY9:_vkGŦ JqkQ2Wrݚ6_E[, |蝕{`zC~m+k@{_?Pq^@56s&{4vjvxߒ^:{܅(I'Q庉3:rgǘ9I;5gv :'@Xf&b\V N$VNQOyh.]_KWJP><]I i ]gYZ7zXZִF! An]ŗXi%@`lN3sq>:WOT 5*0񛭃#N{;ջN:h9`Kh}'o`'Y0z |_tJt|,q/U/\$(Ř"ZG>hC/q%Lg4.NiN E(}^rhxy,uw cB Αևs%idhC*'KY!$aS,=_!I!A!BZu:5Ӟ%nh#wG(dye,ѴH(ñ'.OI3V,)@0Tw3d?T%!ܣ H˪VA8h"Q# !R(pum-6y@SU>uUJXSO|V{ #bMݵNi*[]ӢU*>n~20ytA%V֠MvEd-Jmc[!]WD! h0v >'yb ԂSלf,Huyb˰QTD:;v 8|kNAkqM!>}=LGj12ZZm]Uy3,gd@}B{hOW[6-}kgAIy_7(}sUڰ^g63O)()# V3kV_HZfV?ٙқR.?}ΟsΤDžR--=i~sET j']w:f o!+`fFo@dYDb)2XFr'|̀[?V̠OO'Rɀ<ޒ3___٣sRV։Ը6!C-;Rv 翢Ye.r\@)ěEikg