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 qq G gt{NT~irlͨK^nWu,9F@: 5X ("Ns܉2_?O #rD :;_▅ث퐵g`.T,{<,\LEѠ'ӢDLQٶN!#rat= SϤ4KpA &ij~5זՓ|& WIgwwL{R78q͋$t=3CXR+Or[o69@(V\YY-`ɢD![no!p_DS/k"42cqQά)>`5]& V4TFF'6O?Pʙ;}Zه+,qV;?LjHBL]\ۄXzf_S;W3)ߊsd,zCA^ 1ִ/h|DgBS=zXxdq qnJZblMSKr[/3bή]ٺcCEMۦ}FߵTMb1o<o`oN3w"Q̒=)I͜Q5|BX[\ agk{~i']Gca0?(<ш/ރ|iA|.t|8cb R"!P[c I.iy_Q!{?:\o #Tfzo9N+.! Gu8#/ZN?ùLqY `/UI8=?Fu3؉wK:*}q-ABZq' :or4ܚuoIN{ >^V7)`8ɝ{`TYtX_ QWj12c <(D'hȚ́\ MՆm8hvE5[^}ȯ%~k~gҹ4VmnA *e(Gg,~o|aeXKX`9s|Es2: \`A(ga :,7*/s ʷ8MQ\tJ"oE l JƙvtxPARVe`?VdwX)znQ[~әM=a\xyn<{jj>˸a )?: [bj[u˱~lUH88a=euܛ(]',nM+k,fb1}eBOӢc!\<׷(bBlHdDf {syR׆RfJ-p)d[]u{e.Y~^W[Vfv\4r6C*_'ۍ4[|toml<7Xm+'D#.HkwuV0N405(1-b"hSxMuA(n4PI (jfd!F۔ ^F|vmL';[51TkTaFTwmgsV&ܥm(ǃN q%[/RYQdG;R?o?~b ZRera0?^N$YPq~]vpg&>{r wsw ,۱gYZ557f9c1e6dc4cce8af5d0bd337dc7d9270c1436497833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 28c701d29bb3453132b1214a9015bfc334954436  G Kuratowski_Closure_Complement