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   q) ,D ] HOL-TLA-Memory:threads=2elapsed=14.684cpu=24.812gc=0.844factor=1.697zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋEfO< x4noi E}1H+?"-鐽MTt>l LSY=BgS1omGyC^ hTVWP,:-f_-aۿƟﲖ/.fZ `~U"^)?k3qmk=Yk $ JOHZsxiʣ?Rx]$O[|~1` 8X!%ya琠R'މe]Ѧ'_rI2UpP1X/c/,|O';!>`:ALY/Itm'@:: <:4CܛbR<+&Aog‰Gw=m̏Ea>R[նg-Vo{uD_|'Nc gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWjnQ `;]Hm@yZ3:MgǝOύ k+\wz,Ql&)Z`NcWC}=_q[+ _<b;)RcN|nX;<"MµөHhVq|DuQPN]l$±gYZ7zXZִF! Fi[]ŗXi%96UZ,3H\ 3X2G񯣌Wsau-mSlbNm/>_K YҐ˖] gUS~}eNI+1d_;%3;;tCmNye4ԡrv+}BhKb|+[y ݋n}QS~B\j7 (`OMaD{фy"NW ]nK;'apǴ׏AK6w{;!,JT(xTrq~w9e~Pn/iVIa\c0mB~HN9ҁ>_Tby@xzN 37w~_%<ۮ$ܬ^}3]hxrA8bӖ,%kQ"U F#e- |7Ϭ(})$Ppyy5_"/kͅ#zϸBVQM/1CO(L"ܻ:&a8pI aBK78w/B&gAŖL 'QAEX@{OZ?fP܂$x7՜4<wV;&g۟hIPf1j.[LtKwXūֽ Ƅ-#GVű+Gx|$]PP3 ?"TWbU25? ٢8agS]Fgwhyp9*Rn9TsȻ9_!HxSoA5=cb3"R Oa<2J=P s,iJFch#LE pt2"*wVɒM}(o`(UgP}qWUЮZzBZ)[H\A USɁ8mw\P&1Loʸ pB (^&*e_ScA& j!6Brs#Xlo;D>yrI!ߧiF#8071 "[y/ f ۉ*fJ6XʂҥDoNRMDDgYZ40022734eeb0e1d109c5917b84c56f1958f20d53e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 d8052b375d845d4f36c3be0d03c4ce989e4b517f ) HOL-TLA-Memory