SQLite format 3@ .  B --?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_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  }+ t ] Epistemic_Logic:threads=4elapsed=5.924cpu=13.084gc=0.384factor=2.217zXZִF! ]ŗXf[&$`IGqOS+26C/!u!Xsě˳*|X-%k(ZXN1{Jpw>c^XUQ*.2xG)^ kv$~b]|`|jHb>MV?E^vEfA`^4 %(gYZ7zXZִF! SG]ŗXiɟP6.zs߄yt$ILյV'C|h/e!EiT ZQZB4|0 ~cTP}YZ7zXZִF! 7u4]ŗXi%B !B+a-.bv~C}{&@z-'iPkQ)󚴲,5MÛo$@\ѼV"f̢}b +[N$t U (/w =MWr8t$^IN(``G. ԛu4ͣf>:q}1筁[U@dql`S9j,q=,wpl3$!tҍ 8Ph ;˭hk)]2딊5ŕx?ԭ㈳$=G;e;{„,/-Ah$HTIFG{+۫;L 2jN G,J3"Lo?맥oeuIUbÎq5L)+)8eySslFJU4@,jI{_+,VJԚzK`TY^ΝS,%v ǹ. 2~]O ?ZdLa\DѪJY㠽 ,S owL\B/e>?E*($ojй9l([KTfY}w.bBՈ&s[v'kKk\YӴ֏goIq!`+[ VPJV{2Ff 6M0O+/Sʡ= MԲR{r/47HÀzq ssY{l92ڷ2X0fXo~tk1lp=l9[llLVˆ"i">HӘ~mG-wUZęVw&.B\e &ZZh&]Z6~yyA3C&}@Lgr 6炳u=v'YiL.E$۫*֯ Gh pnb,_gYZe03cac17f379af3f03aa2dce394ae162e9b54c33c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c + Epistemic_Logic