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 kk 4l ]]]ZF:threads=6elapsed=12.236cpu=43.880gc=2.516factor=3.597zXZִF! 2]ŗXf1-)9\l ݺn= bŚ&3(/.G_Twf&Nނ9P7WP60c *M659jccD RR<ӶwՐnN[n" x[ 8#]L%/@ m(g[iVBFL̦ JiI,虞vuYu/RS:KDknM͑~7$ ,_k|<0y*~XOvR('}W 'PT?O ^<3D<:-HeO{)@>o]U Gl= nl5/,Dd9-W#H6G%#( 6}w=' Kh==7̇MõY5#O~ncU=]jrc#L,}ӀR#{ĔŕmñgYZ7zXZִF! -]ŗXiɟ 1FE`穱 <Δ}X}0L*M Hm\y( ʜFC/ H' E?hN,G[XQs| Yt,YnuK|&:PdxBRB*g Vw; Ru.gOCw&P,A ma Jl-ɳ7чr﷛|<;+Kn',z~ٯTC,a@۶%l8t Eg0TJJ$M?J>1ٯޭc=^b$W3G$ ,PvhotxblT Y Z=k}/ނ?Tl)ORj'{GmzXS֠ۑ;RԃkcG"rcS͇ Y:CѾg%TLv<9ݳ~\1ȔN :M`V pg Ow%b,Z:s~L2iJfhDkOp^[Uq4ڳ#0[0-`ڹ_e`gYZ7zXZִF! <]ŗXi%>pmii+@Tsߚƕ{{KQ {.G-7h$ 7q O{Uۦ| 77rl㶁Uʄ+E 9(6" oMIcaCR9gnhHIE-i_=w U3 Ge}}AJRYn\Kp&I^v$(1CvSFCI m13wWG!h/ .۽Sen .\AQ@%D/Q /gO6nuk3 L,TP3O<.gkľޚKz})CY*dOAfXD8mTD@E+t쁍qlu8)soh-tӎ|=GpAs?bR߭JVIk8heerR}-I%%!'l]KCŶKae/gSw@¤tXkUGPtzep*ܐE4I;L(Kxbhɡ*H a&[_s!_Gy8t!Ev5^{%bg"%rBYFVժ!EhߖZ{Q%Zv}űI\qdK[=B }br?hEzLwto!&P]TD 8o^il[ј0W]ʭ:A 3cA9yuIm}L[1ʳ,WKX%T`j!gd%Qƶ;0maHne͹ɪ+9d3+@-OrdG4twC|d[8S"iўU0uО5DiÅJTlDK?Xk!0b̺a|'EjL޷[ wF<FdJm#`w?;e;ȨzOOAZ F Ch+Ge.`(ʄ\%Z[\T`ZIhI9&y,T*`O\;yqe%7آcbYV96XW7'C;]n;[A&U!8o rAak\c3,:- fļga,d 3;,JCs9d A yLgYZc2ab9a72003a0b9028512959b9b0302db60ffc975a4801f0c143f74de5fafb369b13a773b3d622f5f6ebc462e831388740e8b604e628880f69c56c0e  ZF