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 ^ Dl ]]]ZF:threads=6elapsed=12.136cpu=44.052gc=2.772factor=3.637zXZִF! Z]ŗXf1-) enȈA XR„&SsXiؽrG\읆u Qc)ȬNP|K||/+pR/B%(R~A dȬ-zVTD!ߵ{@O`dׄO:? sSrY俶Xp5B8s/}KxUb6HlE#kK<0R$zsbhy)3 闶\7I %o(-gYZ7zXZִF! <]ŗXi%>wĬEKG6[liM|ШƉ7)4 /!D sD٢& _ BҿQ'+kWOND\v@6E=c Wb պR_!|~65X#*:16fJEK]BFd(~t萄-o7a3z4C L.{sW1qq;LF\*3rZiuj FQ ]ܚse$@9\ =P ·I`i3$l8`V{rSTp9jgRAo`f(mA9C4"A%>q61|L~[K+ʇ1?uRYZ( d" QA#ZֱrQU'<@5%F 8,REv3:xkZ3D֜b#t(+0[% ֏uMŜb08=sSI9]'[:~Vq8 ذ\goQhqnaS'7p,v@1{t%d=R-B6ԟ BB& 1V'M.$aLW:ԥIbS? ӆG)kB60;N8 H-0vlHz#1F"P.e Bʹey#6*ǃdL&G`P}^p# :'Q(0rˬ:ZCڹ{QB`!Ct@GH93jFIv~F6X܄fzp첁XV*8 Q3@ P2w1;+jXnz,_bI[y$SA#7ZԺ F?;\d?q6*?)EeͫtEC¢jLҨO8&h;*DԖ *r^D0j4}WFkfC;T 1Og` y1ѱgYZc2ab9a72003a0b9028512959b9b0302db60ffc971a50fa50a5733030b299d3e325bb45ea88e85f95046e4b61669a7c18a63026ef0d66bc65718d5155  ZF