SQLite format 3 @ ._
5
T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1 indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
s1~JF ]%
UHOL-Decision_Procs:threads=6elapsed=273.342cpu=1296.918gc=150.792(/4 z' obS#X,L]lݽS& }&WyJZpZMilոx]͟eφ):]Oh0(H<ƼLR#W2Q[_y79bU'#Y]ߴWӴ27PItS;-\q^d 0Oq e'_JSdA DdghP8]ED$.8_?,L25@@$Z*)5"i{
"xP"@B#-kq!EC`8 QPD0
9GM
E+v J84FxP8H8"|4(,ЀieX8"
G4$ Bah aP( P`D p
7qD00,4" CA
05%mݮe(M)d̷͕҅̕Nf<7k92I鱕J2؟ e,a|l=vɈ+y/R4L+ $q8$zwg}e2աʑñp0^_z> [[;٪r[Obh?[l.K2'k7%=I%;˔`,ue+d49-vy2L]F"2Uy$@h@W}5aw}6r/dsw>&_h8(
<&x!#d{vaQ@ވvڵBHrve56Vf7hiMٹGMgOhIWŦaMU1s
%-t+IW'
*-rDωL;N9"27w'~z~=L5S<ވ.STdNmӚ'7]ӳej>h(*Hkm2.+ \Xt9vUN~Biz4tJ39qKv])^,DhviC[;BcVwM|)&jM'48*C+wVLg'δr&ݱ`G1krr/$UG{[2q)l(ӲT&«*|iɤiTlBH)!ʤ&+U ɌsHSsDGx2EF틫gJ~Ģ\en,#7I*F3)T%d'dBeiyUٜtFIN2rD!ue