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 Z $<\ ]/ ZF-ex:threads=4elapsed=7.726cpu=17.508gc=0.636factor=2.277zXZִF!  ]ŗXf1-W(T#0P=ITß86WK /gṰǕ7]E^[hšnJ/.4ZAlb#^ܝ_eFi, ]NPأd>HsEr@s| -vJ1HZfOvn()l\_\_H¾m&Ycʦ O`VK>|Oş>䬉}-r8d^Zl&ՉT @gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\y*/?}rv7Guslqu^LU_0 ꞟ-ZfjXC[:2!'ݜP4uiS)IK@U!]#jʴflGR|os 뜪`%HSBI:7HkNilYG;ήK%f`űgYZ7zXZִF! ,]ŗXi%EbbV^O2I} :` l~ޡt<0$Vgc+OrkhK5 JgNbb,.!Kg+t%O0N^qgnd[v0l>ys~T@2QSekq#W(Lj r39ve0Vq6)ǟ>g.q]΢jkFWy]Ox拳^H/ IM- yA̗ }aB)u_rO"1-zV"t^mG .&#d9v ycۥdn/KOV)Щ.V+VuU9\ XQfad0kfX/R3G۲'vu*+N $H:牍)qJHGH+jYmwX#wl}U޷ |% m 'NqJinUOC($_H gD>O5BQ82e+Vc ɰIM$dg(|+?FVq W1"eNV%+Qf?Nٿ7lG?P8)0OoOrZ6%JqPS<$pJ>WomҘ=ƪEQ)'t6⥔P qaatquPXO>''xҥ(W<6X qVF\DƔhF5SSV.vi7Xt_*]yF(py f$8I$Egr2D^dSmx6ơwu(>ʲnY(ԱgYZf429826a4d8dd363d5a0eb027f012d456900e51d87d722a51b70602a06e4a7b7d793ad6a8bd08e87 71ece054648c7677be1b389e68c54bc48399d8b0  ZF-ex