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  ,$4 ]S Lp:threads=2elapsed=36.702cpu=62.076gc=1.444factor=1.697zXZִF! ]ŗXf1-/6vRZektZZ/BcHkIv[ W %s%/[)V\f,c6@ /ۤ?_zj[eh;9Mw"̜BMF; !9_"bbl;J{,^WVx =ˑD"h, 6jbI^[ݓÙZXca֘ŠB"O\,7`/ej&4t{kMBcVy9S^Y X$5{a0U4Q.iZl8㡱v TC ጏH*5e>tUssn}NِAG`^St2ڌbߖIE ΋{,=N'"8 !m+kYL_,Vϧ'C[]IC-ʉ̛y#p=X',ȃܰj-!D.30Q!QP!PKcͧt;QKzxp>?e'] NJ*W"VFYe $3 Έ7aЉa[5{围z͗STĭ5'l%ruiRhFN%Q*hS 'IfynW4yd$O`. |$ rM뒰Ĝ3Ę4~0R .ɀe.'+`R{`Iy"R2qXj*ou$;p]`x8ng9 Ձ״tH;,N%ɠeX&%AujgYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qpbhbL!q%٨Pf0{:_3R詗G=W };&ڱgYZ7zXZִF! $ ]ŗXi%9(ObP]ͳKW`Y =R!Νg*]eucKfGp)d <qĎ̷R=p%W>dv@Llcqp|ŏi9Zi- ׳/jGQ)JY!Y]Kn( F*3z¢p4l0Ɩ Gn,NpPgeX0ls!nSsA4~Z $bUI:2]s`o/2׌XBP8!{b!hT.Dw (9xzW}y_k3E_a$s5jj5ܐӁi*Gіk Y`rH1XXIvE ǽ]+ ##X-z[+zT+J ~-_fz&@9J7kU%xo# D8w 6fgqo8 UcfǡaI̷(em^"ن wFb-I,rE\m$>yNR3"81rI:/G&n7p`kNI-xSƼȧ&2M<_L[Gy(noyh_^@ ˊ<o>)s=4d)Awq*!#lRl^FN1MR(lp?BDSc~| z >9Cw'Nqd`-6ϚOǤ҆BDDn>dwĈp8-Yr,Nʢ+R21HT͌:̥Iu oy)whFn!1Y>0:!}-*:i::+UgsGnLٵd|GujjBz֒Cc*s.PQzh@<.PsUA=DVļa9a\>xɻ(_kq'YpgTvpKYA>npKǜhpa|B֣[?EɲTpe~/U@olS9gYZ2baa2069687884996d4adbefc0342ddc15a50b373bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 3109ebb80bade0add97a25bda6f087f50eb33144 7e2e0eff77da80b156d0c2ba00ff916952c078ca  Lp