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 1+ T ] Epistemic_Logic:threads=4elapsed=5.706cpu=11.856gc=0.328factor=2.087zXZִF! %]ŗXf[&$`IGqOS+26C/!u!Xsě˲걖銒Ic{+KIE+}s-}Gdx 8m,(pY7.%$~G Ktg -t'riV=eHj!ro GynSĐ+">EgYZ7zXZִF! SG]ŗXiɟP6.zs߄yt$ILյV'C{G4 ǿCkCJ0@4U]McTP}YZ7zXZִF! 4gd]ŗXi%G̉SvH0KSጸH-WgƊ,cs Jd]MF~e$a"7c~hg:~Ű*T+h)(ż>||M+]7WWE oFq(R!O/݋b^ <(F ˗zLvg,HU fW*831)mpLCc5/zoO*(uN{2S:V")CpUeKtRknȱy{n'jICbBXٳpUm # U"#\De@{&<:]0rvV\6I&^mh?;k˕VxaЎb}8XY:)an@ų8iRD`D[ON=pL=kӟ"D}*?V)Mw~VA$ USӺ|04b'HC.SeB=gKI|)flac;` h{ K&7OKEzk;pΙo%sc֗)ﵒpi0RKu8j#W؜4HaƒfShk椟( 9^,LLRL;};o)a ^)ee= oh24 m,axF1vj۫