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 ss  d$< ]/]HOL-Word:threads=6elapsed=10.550cpu=47.432gc=1.952factor=4.507zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?z@?JdM+QA=$k~& umq/-FN):EQ@L84ԓYqP剦1<&6ذ+mt[e$\#dSfy ]Y$PRsD!D w /3pxxy87yahkZS #r}Ue/F/0WN pocd_mհd} cFfgYSEµ.wH^a a`_ѷdtwN-hcE#@LGL#|B`DǖV`] 3@25 X#F'G=0|fx|`d-ilGC &g""pc[L4xjRJҟ"5弾%Eh;>4g՟h{JJt-+t兏i !tG$]3 YIr_-9 }k^c^OGY*J"qk[}6HCY+QUgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AZ(QTI|@|, @֟9t'%y2Gñ]^N<}+Pʒs;iG\$Jr9)+(?oݹ[B:ã*m^ @`bex[{|nL5lL&Uף)ײ&ȃ:T-4pPM5>#7׬fG #"nWWs2 O +sERX ~f𷦇t63A@mssrr$}@[' z@sBo 8 8^,sYD@M8u-Շ Gw@b.  6gYZ7zXZִF! 3U]ŗXi%;P0 S{gG)r6|DT\gj)4U?3]G (xO̥JC** Qd]=<;hFBRo,f_9 즂̖pby`%y_Dcd2φpyz5<0?K t;F\|-OΎ*-uR'.Ӱ⡖)MQح haثpPqz­7P&L5`Zh &A|}"f Z뤢:~ []SCQ$ײ.ưE1^r?8BGps&`&qpcjxn리a$ CA{ie&*|} qU8)XuEpGNl64N䱍Y[0c2HΎqM^bVNXQߎ҉zFt=r$Нї/J ӆ]7Z1ͷĜuUGA`5ӊOϖ[<q$:'khš$!0ϋ'>m0rrm!s⺟ǀR ~N  HuAI+y1^x FbGd8NOHd{*ݬ|EOڗtzRxSosZ[GF u jI_aѕn PsZB"2Ufe*;/hACFA>.V/,&aeJH TlY|+&p^V?߻, vx8j(CDzhyvgYZb2d3960bf74672e0d514823a1c856a9392921e2f7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da 173ebb4f87bc782b63cf102fdfc8b061631d5b0ff9ae76bb24d0974cb68fa1b77e7dac563f9796f5   HOL-Word