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 + | ] Epistemic_Logic:threads=4elapsed=5.577cpu=11.672gc=0.404factor=2.097zXZִF! !]ŗXf[&$`IGqOS+26C/~.a,cl\lU GgT﬙X PzPH;.-cfӉgG-p9L {e_0'葐oJ9 dn.'"{Ǡ=kv9^ê50$xc?@rYe}|\ʱgYZ7zXZִF! SF]ŗXiɟP6.zs߄yt$ILյV'C|cߌX;DÑ,ONgbT)K}YZ7zXZִF! 4]7]ŗXi%L SۿS|By!PM^ZHӟw|=زNXn9\$< |~i&'3ۀEpd#'CݨP0"E$MN}hwC1@N!N媡iv?Vs/TM!J"=,C10bIgm?р봡-ܛqp+!N]Z2`]+t 3xx$.?4죰\*o67JSAơ|Nv]2[>YR^:&  pZMMB;:`BIG,| L_#fR#[VZ)~h(+>œv=]u(n|D7VC!´<[Lz2M1Kc+QkRZg ͗agvȘ63S9KiO6_ҝҧZ#ۥ^ NG@J\:?jQ=YP7bIn]ӟgL*#*XD1ed#‚ I4q/1).NsFUdL>+}͒W2*TppNRCԵLnv{0Y'& HJ4ɖaQz\r(׫~|5tH 5םSj n7_: ꓣSԐ y],/,׊,P R/gw H mx.Cj5tݒB'`YsAS3Fz;J.,xDJL`1? L4Rģt7 ,az8ϐ\]i,-x|! !8~ex\L`N+.-%+8-Msg(KOb/*Bjk;*.