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 00E/$,$ ]/ HOL-Proofs-Lambda:threads=6elapsed=119.561cpu=150.788gc=6.480factor=1.267zXZִF! ]ŗXf1-q恈ܗ4ޤ9ks}JspSm[aYa+gi>6I}z>9e#2bVX{B0(4܉g܀7Nh"sm%QT8>{&2ybEQRֽ{Vy%ґIz֊Y5W[i0uڱDjP,yaԶvP_GTxKVtìDamta gYZ7zXZִF! iM]ŗXiɟ1˦r+g'^.e#M˶pFrG5$,|pV ԋ`']i;W[EՂӟS=Wc?pk[c*y*OrpOZh5y?++c6oƏy :df\.H`ZTD9׈8 Y*ËP1; ;!d52'_EW=?gYZ7zXZִF! 2  ]ŗXi%;G CCczl"&f;~R~65ŋ"y.aMoyA C%FwVWT ͺ3BP8Iˡ&{ [Oj>1%:>U3pH8t"$ܷTQ%GwG_P7XE@рR;Tz/2hYjz|>}K/ xHy|HtYB'Hw;&-σaA;L>wMEUCG|x^ (r֝:t#ǿ %8fV;0RDIłZFR^|}3U:mH33“ǔȍ ǖKHƴzv_,8a|U.R^? Lz|Oj7p!j}ʂ8jH֪ӈk~*6}ei& `(G'b_{D(nUeõ%Ԣ"Nb3 H*$d>!3G$'7QP/syK+@^|4w<Gr*ҙ&i3ף{:L' ѳE>B=MĢBɬRzt ̪dq*7@3 Rb$5 Z] 4O3j:vT.{ / HOL-Proofs-LambdaДM >npar=<@ĹE8 Jam)Z9*ן)Q])Bf0q?k1"e6q8:n۠OY?F%?{C G\.4;7b98Pu%RJ[p#(ly\7(ްa鰄ߵGB˙/>m~ʕbײg_K?QMcܶai"ekX^ME_s`lR$~(8`M)g(\n,^>ᕘzoͳmg;?b{Sn:ɎŋuR#rLE~D ḟ5׋ ɆvGȅ|ck#c(OTRm*c)GqL(XJ_87/_tp\hଽ>P{*lI&6TŃgc*HWoS7n֥Yzs6Q߀A)mk O$΃uӀd5fۧU ]$"Gۀ p]v @eRX51 Q)Mn2и=;\1) g"9FRLC4B"]'>Xfq`=&tܺ0{Ё;[ |Ɖ$Z7Btd&IBtrxDt\NU c u#MFKll ](KG7v!HӤa -?# 3#UObʚ*J 3j(H[\^UK>Q며:/ң5dY&-z ɜ9]jYJXgrbar}tZ& \WVE|Hn oّQ~(?9ֵQ75ΤV 7 Z' 't x7̜n>VQ;=HQӾ~|p8q щPmjm]Ș=tJM|ũ\~m0 zYs @Q_Yv l!8>jT/LaZ~is*Z *^.k#3zJQwY*DrlklYb♌rdVdd?.YT?;5H-k:uId gh5sq>\YjD`'_w 3R.[L&S