SQLite format 3@ .0:  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   e+ L ] Epistemic_Logic:threads=4elapsed=5.148cpu=10.556gc=0.236factor=2.057zXZִF! ]ŗXf[&$`IGqOS+26C/!u!Xsě˲mB@,ΜEچd+Lx#7DI^|΂b&9~:sAy\ZkL38[ mRggYZ7zXZִF! SG]ŗXiɟP6.zs߄yt$ILյV'CyxpT<I 9bĠ\vǑʊcTP}YZ7zXZִF! 4u=]ŗXi%ES3*:.5#s!/,'`"G(⵴IdmB6}M\ h4O4g#u8}~DP01%o=D0; `!K4Mg DS6 Klӆ1߰~:pCSK_IRfx?ZgYooڜ"&2=d5̿G_F`6S,ѫ)j;%*vwXOvRI-u1y8R|by׊;j3cꢠҾcQ ;~{}6kaCz=π]Oa&sV#[n5a'6qH?3H,HkuY,@JM(h,ƻV= ]l|XvjON"9RTB`ʜ[F p2pJM,m%0.5֣$\ov=YF \~w#\Ͻ@ wͲ$XJ3U>rE}$ѐv|SkP5ٽ !̑*U#F lCyeu4ћ D?4'G V]ʍѪ:&v@1Y:t+Do)#~[Eh My.!@!A "Tq4:;%PtAJ' qEm8(IE;yQ ^" ĩ%ӟNtkp)SowvFB0j4='2gq FcNDtIV$ff*anAt hQ >'b3Ԣ:Z0ez~ݠ[+}cnQrh#gYZf19a342691ca4c2854856d667ed76e7908c64f6f76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 + Epistemic_Logic