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 + t ] Epistemic_Logic:threads=4elapsed=5.305cpu=11.256gc=0.308factor=2.127zXZִF! ]ŗXf[&$`IGqOS+26C/!u!Xsě˲g<֜oWkZa%Za'o4gA c}Pˑ?-CJߣL HaS(U=M|{+h]Q 6[o+6c3N.{U޷{u,1Z_ym ؞gYZ7zXZִF! SF]ŗXiɟP6.zs߄yt$ILյV'C{c8J<2#Bs<!ōǧbT)K}YZ7zXZִF! 4N3]ŗXi%B:g&#j?cTwd$)Bi0&֥b~i B o@ɊoTd:Y2[֒&39T7eBHQ0&ʱ`[{yL6iӔ_uܙan?r41'Ra.̉]~3}{F#6#Māygs^X܍BC(dYKkXښЌ"vDМ /W7HܐӓaWn Guns֓(&f?#ipE0>}bIvN*kzh_^Zމu\J"yϘU'DˎQ/9V̐]*b(Bk7)Nnh`ǫ8 C!ҹk)=^1^eкj+A2wjDt?p bqs*=a9'̝36wu$K!{*]!PVk2_^d!̶J˻݂DVbnPV,U/xS)urt/gpZRqhe$&8СkOW6$!9DP,HaGNx:BF!^'~)Ēep4S!_ z&d[LM]ZEwM1WT~6+Z!-2mpE/^V^??/ohnB˲x;@l>1W|^|Kŋ5G $ `UQ׻wdlO%(Vu7/rI iU@~xdֆa%\??lsV0Ub&`Z%la20jK_¹GSЪ٪@K8|'@Se WӞO&ljtߒ +IyVR=!0"sx&w3N .\Iޱ`pgw?-:5X2~Ey%oY /X2hWq{gYZc0e991a5ff8df87330273b8a8f73e3a8f7a8770a13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 + Epistemic_Logic