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 - l$ ]/ ZF-Constructible:threads=2elapsed=18.562cpu=35.552gc=7.076factor=1.927zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ύ MRr$|6 R? `K~6|0#}&УJjlopy;)xWDm2.)ؼD3Dggd5eX`b%'AHuݞkfzoV[vUkܟ&f&,/!/x|brԶ+%%W`sB 793Fe.$ra6 i哸r/nXjZFkl_c>N|3rm1Q2B)@ ne*D&VTޙLfrPy4٨I~Z*DJhoNhX Es{6wXko~Otwx Z;0I._׎LJ쏬+sT=u/EgYZ7zXZִF! m]ŗXiɟ95ZrY!Zg>3gAKrgaY_)J&q Sh`x.sa1mY] SԆ+H6 pZN $PT=n/ M=Hs,eaȁ3}J] Ou1 El¹!L:6f>  ;BBa0g_'V pQ_%lqZTrL tze]a7ԁ} Ҿ6N7;#Xb/Ԁ8K-55xss)Z _hL;o1֮n/jZ!Hvl#@ :Ns8$R^>:}V0fv@#(7bb'6fD`b@!X sF|h51ՙbB)%i҉/m ~5ՎZf%D-Ww@ @Q>ējcM,tŧ^Nc3(nV{Y ]S s?ȽOa`A;/`7=vڕ1 `Z,I&U~tBqaz#9ْȸ6p FplBMWmf@u vj¤=mreB}k ;sDΖf2k;Te 8-\?ס} g5PBKfS* ۠Ǜzluf`:Y#&LMB\XLK)inPsw)92ֿ>}.-xNX&D5/¾oxV7U"(:n$ y o8D J;g{'Oj:HNgĴNBΪFR ^NJd)F(bձC%fgOJmJQQb* S!n+tSt~[ctf~ЊɂUC|aCj$~LfaB Riqjo)72K(pjoǷE>ib;֬D8) X{N^?w_cչh D{E1y<M?%>uHNH y6a nkT1MVJOx pwh̉HP05S"ݛrbV.lz AmëT4[8-.A4gz/wA$]9ibT3g +T:~LvyIǼS7L(G]as7>A^j_gaISě2:n{H7rܬCMhwUփSLI0 i(0"ݡ|u+JtԲ7y=Mθ1S7݅߬ 4$P"h샽?DKMs1Cg.tU" :JQPJCf$GI)f~O#l2Db4)(R*c_H2sif_FWUzw V|O ә Lo%\Hi] .m>gYZb41861745eef4001a0e3256b92349a61f2b5491319126f922e3aa9c20f5a31237f68a37a6d2cdfb1 9537ef226ff0acac6599218dab9b4d7b8176a2f3 - ZF-Constructible