SQLite format 3@ . BBh77otableisabelle_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  g g 4G.&zY\GG/"aGe$ *Ulra&bVBL(g+cUp&BTu;[lB*ۇgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|^]`u.#q3lkMp!=D`q,:btܸAh+"\^`ryz( Jxϼ{ܳE^*zFPT]֊QBS)PRj>ضl5mڭ>˄<n+=5&$3°9|nb8ǁU#Be7xʝH܀Xu:C041kiS[>rE$]ޒ-gYZ7zXZִF! "]ŗXi%9,{yNk'q2/MotYz.L>3ox2zWUrccH<\7 \ ;rR* ţ^yV"=HXrHDge*p^yqmf|ܚmNVS~厵wR&w9X+(U!}7=* Wl4n~kb~['~LU+8 FQcR8 3sX3Cj)(PD(,anY3H˴!Ҧb;5%.̨ (pz}U>MQ}}&)'8TlrR¯kT-&2:U0A~#X]2%9Ց.xA-\y?%%A"֞QH~@gŁCqn/Xu"^[a&?9#3nFb =b-Ζډ{X*pw&IBkAJEgYZc24b7f9e2ced7c7abb0c789054ea0537be7906f0f6449ef5e9bc96dd5096a5a71dae4e1ccaaa800e bad8d3bd0cce8bc430412c373ab18b0b8e819fbcc3bdc2c479d2c3e6a68fe1f017747be81cf3d403   ZF-Induct