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 ]] 1 ll4 ]]HereditarilyFinite:threads=8elapsed=6.216cpu=29.018gc=1.027factor=4.677zXZִF! ]ŗXf[&pC* s]`[M7*6DsQP*.~;r;K&B'NP?_I+/yɈ^4n\/ek5|)Rm$֫f"OJ-52x.AS~1TaAhY1@:K[^Lq$IM k }G=*dѷQn[btr}(C1rS]v>0H_ Cy1 i7$殈-܅ȬyS?!gYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{'KKVifK9 4g Џz]cW$f_|S*bWdD_y ǴTzJpkiMzYsQVÀAOd+I<9i gYZ7zXZִF! 3nQ]ŗXi%>rԳE/s`s ,Yt,uvSA6E=VTSlZug /ʦx(APkFDa@gsL-oԵ6o]k0k?'e*Dpsj8a$lSF5,B]k[gA}YZKb2O V:"# զ_$5b!Eb 4%%@U$mp R8j(<y>Һ‘HxsLkNhΉ׊LHkDN4iH Qm5QkH-D7^\&V4xնZm`A[>q&I $LU*,0bl fKa r%'Xm`{3a+dN]olo5<8|gNvoi.Z&7ww{L$,5d@6jvx/䚗A-Ά0^Ô P}؈tت+I".ّU[3pA45/W8jl5b C}w B4Wz0<diD^[@ZgYej vŽ4٨*ʌC(KՕWyڣsW;ĩ#VQq 0 Y-ka?~PJP9\DYIj94:"5j"Li|Ms)w3"›rfRg