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 QQ,p |l ]/ Logics_ZF:threads=4elapsed=0.321cpu=0.712gc=0.0007zXZִF! 4(?]ŗXiɟd)&]khR9luQS'ELk:`\7 خLɂViܠhʇ.1"5kEk /ȧR{)B}+!cez1e{ŁF6X A -W7=nf+Ci9??ms1ZDs<.mϝwaᵿL;n[k6QP׋!qWpN9XE6=в,h\9*H4ty|';>%dhd^[)MHl/lKN$emn4K5 gK9N6//c:rY7=5:>SL1cYB».ˢNⱮW= G^Q-{2z׼$& luDb[= &NRq nF e) I"V\*6։82Vh+LLGx scyyU$>FQ+2/_&Pb?-_l1+1iUj{^F/ h( ΍(졦6 mA: "Z3 M՞׫{/d5hwLhSX:hSWXy5f4a̭/me!n>A9`y*a;>6q $S=*X٦,A/g(3uu#Lt,Ӑhd{;+5rlE wp}Ot)]T'I p1tI-DxK-)_C|;xAJrQr-ިa-\G?4}m,Q {_®~58,t]hS`MR~Sh&7vH^~F9G=ʿo)*F)*_R$zR]5| elSK%U<5GQ40r(zVI ^yge]'x (F^yAM:e/h"yrfH§Esz^e7K {=~j@ovbS9B=V@I$e^z2kٲ h컇gYZ7zXZִF! gv]ŗXiɟrf^-Վ)!iMu^l;NF>;_ Jh%!*"kHTF qa ա#OɿdK6 J_mҞ܀TrԾgYZ7zXZִF! dm]ŗXi%L&óY^3Q K|m]]ΌܰUGj%U0vSkP{ #s*{kk /OB@7N$5@~DX&j#eqĹMу ;1d>R vЄ OF86 w [L!+ w gI%g5.j',6-\G% G]`YGۓ1f&ewt:e=tP:7, L\hF[=Ėht턍3!&}V-\'N3g_ϐ͵\Q_͹֓j7-ׄ:/?B/t˯O.