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 y | ]/]HOL-Word:threads=6elapsed=9.057cpu=41.720gc=1.432factor=4.617zXZִF! ]ŗXf1-q恈e*[#M?Hfaw :+LvsZ#DḰ;6(xI^7u]O«ǘ};*lszieߒ9#IK<"gta!Ko3o1Z\;k\$_9x&.M#KaKu@&ߢr4&OF;lJ:uɷz-)Of_falr`<(_p0c웿QJSH /軹̂Gn%ؗѻ?+U~yF#tTh(8&9^ $Qm}:\I(r"U~"%rK(EƘo_AEKb>6T~3f)V[[WG1UA6 ʵ7E{MgBE8z0y|,֋ ?AE7.~ p,9H 1{p+I?~a yG(Wj7@iۿD״pX̲jehHPMd=O4:VNIU)mFv gYZ7zXZִF! w]ŗXiɟ1}?қѱfدyQ2$2|B.AlG:p ;9|=)R|Kqe˯a>`["ZC\rѕ4-ڊ } DK"Co&8*rrՍv%ib_/⸆c̥;2kïG.5i A@VHړQܼb qyiDv=$D!28 +M)bO4:bŕ/%_m9[ׇu),E<%e>.E5X#yqr{.Tx[q'2lk3R,-Rr[ a74Uqs[3ϔ#Z!뚊:ӶYre\;3ԗ kIL$e^S  Xih t^p۸Jy7aǓc7{RM],k"`[OJmkYzXizw<^'+Q(#h M+UxғvV4N U{Gg9kO\Ou O⪾\ |Xe=(¸,Ճl-vWӠ.ݔfI8a#: il!ǷZE1-c2qWx>6­HNSR1OM%/u` ,+v|;3z?9{8*%FҦi(Ƈc05}\8#|'^E;/MW?'o/[/6qD Ԡeh!EF/cW*?[X߱' #2ۻ:gѣ̲LԸdB9$>k|1ujL -1y9Tsl5Лm Lɐ^HRT'\ ):.O;z"?Mvkx +g`sT0ӛ(_pݶ|?.J)_ձ| XS?E|)/N$3@Y̺gYZ9ab5a24e2336ffb49cdcd5a565a20ffe2585c65e5422efde7cb6d9163378abac38277ec5e6492f3e c3b8cdb1a9872d53a481a837a5767dd6c1d96ab2a74c1fcabb5e07fb825e1561a8451e1e7a3c0ba6   HOL-Word