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 8' \T ]]List-Infinite:threads=2elapsed=22.392cpu=40.308gc=2.092factor=1.807zXZִF! ']ŗXf1-/6vRZڕ`0 lO"EuQ^K ځ@4^/64{Wr#aI ǩ$uqr&,`m $3=VqY͘Ig Bd?Vޢ6(O*:njM<_/.<t_ K_䩃=w:&AVBq#gYZ7zXZִF! !]ŗXi%>g3( m5^,]H[ňь Rws~=aІ/aI<x^Wk#""ŰUH:YW(n'|%vZFRɜޚ],'q7kV JgHf08S I&_wO-*z(JQ,F)X`oh+R&Gy[L5M(I:v;`-j:n̡WjDLKL}N#r=r.<\iR47P(khTE7Lཅ:w{\ΒYx";>mBћ_?6r^/T{$T)>i=ψ U_lض,-4tʶs&x&ϤAEc8+/y /ˡ/REEFN-xJD{Pc|3O)4mԞ/ 4UJ #K 4{5#1Z|]:5h'e</pi9jڠ0?4˷x'b\Zw}2T3:ƔMm;)(W{ kPg8mm'TdS09 |߉}:]73T{t=JOjHf-|vM$+rO!: lV԰$s` O}+SaJL]T0F,@эKzQņr1t] RqffdpBo7?`2bsG`%^#nj;c? Ȥ9aBLV/e[ zF,r|@t*-.܌:a+O7FJ5Nb3Hh~^ȹ.R8urnn#v,CB'N,'Hݞ؞O_p7ժaɎbC-)xZ,u!+)O J Mvus8_\ݳIMdM>ݓ)r2r5E3țO{ k^ +λBfd JЋ8ko]:~^x$ =,n4ӭˬUjDN =ec/HHhR˓ ,Dƞ=H|ˀ)һЉvSL[K(z.<;F31c?4K2dxv/v^T߮Q*3H--ɵQ\ތjѯ@GiW8_ǘY֥Hޥ)i)ꨢA{{