SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 zzo/ 4D ]HOLCF-HOL-Library:threads=2elapsed=16.855cpu=29.888gc=1.280factor=1.777zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*X/oXX ӧX&ۓ ]n}qqQ84Ex4C.ˬ2M>c1ڵqo8M\eӍ+8Z0UV5t%6m~rD؝VZǭ]4R5G&;y*M/plqGڛ((4xvbDP6SRQQH~dMau~ [|s_ErO>yr "NK?]p1`m4jw| up~ua4`)? AF lkwCdgY䊗~~ʶI@mܞWa6G-Vh䕗<0$%->q]X5iJ 8j{+kHx=t&z<>JV!xzV`*r?zb}E^^Eɟ=N,*@h1CE^Cz$xqt_MeX3\FiEn2؞{-  S1p=!,9H9j T/a| 9"OLZW4e4:n=j߻bP V[4oE- / HOLCF-HOL-LibraryB7gnPљ֪oqIx&}syrd Mo-JEYd09Ϣ76-S5kWiN-#("5ۓ hJXq7cg͓TYL-</e2g ccWsɞd,* ir࿛M}mskk uBqq8SyB֛]s[_]YJtW*:EEDz lUoJ۬aB&,ղwpȽoQOa'X*Mܦy( ]}>lk(hm:ߐWZY#E<ŜiO m;vh'XTd5APVuDCwG`Q]XP=uox r9:U]) Gcd좼ÉNݪ^ef*CΰAj#w=Ftoоs{ T|Xhgo @`Pc%0Ä{w2XMs:F 2!$y DgXOndyDԻ->mG~/D CgP@[cKֽ񵮲'ro"'%xŲ)0jUCs`:`T?W(1k..I,#_iVB[|3/ H)XD2hI֜DLpGdmY̢,u VՄ7HzA.`s-lS >2 HYv<'ΉϋgYZ7zXZִF! O]ŗXi%HcxxT&qk1] "jЭ@x$P@?Orp Ę%D@QIz ` sdXj>p*έ\j۾>μ%qT; ]L+zJP˷OSt 4]Z(kIU%V,3vV OqRA/\kߎUN>h  k)A;;cӚ fĆE.`o_M0c_EAz6 е`גn7"ǵ~y.( 5O͹Qh uid] 4)1wD/A-;tѱ}TMcseoPJ(:Xl/nh[{R G+w~'V4fZyK ջ$3 `z`4URu/޷mҬj.6]{wh["u_ԉ`Bnw`oe ~ecVɅz>Jfݐ{~nYs"au82,$gޑ6vw~a-*y܁SgeȻ'6qۋ){:y7SKppl.=QeE9աdde& T[E9sKPWtaagpKqIB`oXWȇ59.9zĿgr/+[JmpxCNRUѾV_ִ((r