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 <<A <t ]/]HOL-Word:threads=6elapsed=9.072cpu=40.796gc=1.368factor=4.507zXZִF! C]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z]zSsf})0$ B49"TouAUrD tv-|\}%T=?lyR8rfwZ[}{4g7I.mOO&=EHAɖ~n|B&)ڻr/@v7ֹG*-qBDzlnQm)װJiҽ Kzt[Q)Yæ,Șiߔ#e)kɂ@(lGrC2iOUBl (rd 5QfiRcp|Ϡ%,0k5D8o+xX3w 4j%}.Ⱥvmn] ZY (%*QX.a;1XqH6DyTㄓdK j~e3B/Msk{M>6mE uG272fSr̻ΣޱMk̳3 V<>aex&\4ʵU 9F,ơ0G\ P%U<$~ܚgYZ7zXZִF! {]ŗXiɟ1}?қѱfدyQ2$2|B.AW,ZE`Jr pyn$\!_<~9W qISrriϵBnOZh=8U^֭(ޫ5oVrBK΀ PӐ J׻eJ{3[BT<&=΋` &KlI^=}g3ɅN-;SbO!w|Ȉ3Ǽ%a! ptro qjpmJi Ѯ`Fpf|MPܔ9Տ+~[("0c[)wkB p%'وϒY4!OYkj+Cg^ܠ CeTz#:*ZQu*p1rP&NO}؈2Wc\ yϚ)x-q$"A*O>NX~ԉ5 (أ6̛6I6;n暓N=:E` ݏ*u *8Ž\:K-Z慌t;!xnZsPx#a> Җ+ZV+uӜp׺*]G%6 y8nmSKC\НzgTkp֮DgUb}^V)Ė'MxK4u4'l\@y +,Ut9gYZdccebe485567e9f39b740d0538541033c7b8f212af1e669e0b71dd56bcba24adf3b86252347d5dfd 2069bdbc553872fd9e4a20143262cdd7b09dfec6158088d0cc9f7464fa6de47177bed58f22ed054c   HOL-Word