SQLite format 3@ .  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 V t< ]/ ZF-ex:threads=4elapsed=7.744cpu=18.680gc=0.656factor=2.417zXZִF! =]ŗXf1-W(T LII%)'k"IB5͟J{dRRm/U5BKpw Ҁ%U>\F#CZN%c{`pjX? ݹDS&;B%HnWj9f=bʼn }Nʯ:Z^MENXp!HUb;xέr/$EdJos*y~͏`c@}b)CT;mYZf:|PJ U=-k7J,k2OGA 3L5pފ1B؆j7<`pŐwjMT<y mX's=ZfU;짦  H`VK6Q=?QtC> tlON}I䇺 5/`i| ayh]9W3b"eaH1)oi^eYn 9h%o4xR9}]7e=ԥaZW}=yWBcJ݊taMCM%h3Vn;\ϰ- ~% _#Ս޷zM+B\Gz#6Ԥ-d0>V@mZr2wP٬LQxt9Up0jT1i '_Ј?IgYZ4bff310bcb3eef5424e0c9a8ec99819351c98d22c3b947847b1e58dfe1077ffbed892968d4b16441 c051a5600712d9d4130a08bcb4835518168e006d  ZF-ex