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 kk \l ] ZF-UNITY:threads=6elapsed=5.438cpu=26.788gc=0.904factor=4.937zXZִF! b=]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđOtQ'%f5?U z| Lꮟ5Ϭ!ߧi\ 0Ve #ek!E*j+Çi9uCoO޼DslԎT.Œo_J66L-;mIK ^<s.0;AfvF=t2k[06/6=sJ+&GƜ+U}־ijE>U)6c21 K=GдܑRz'cIZ04ȹl{&XPM5 ȠY9EהOBWj\oj@Cfi"v-eSlGMbXOsRcs qWgj8d}~~p"%T p 3gBC{CQ|#+}ͯ\L|{+cZ$=mf Elg 4'9 &_&^oivћ HCkg\/|#b@c gRmV_ѱgYZ7zXZִF! hg]ŗXiɟ9 i:4V;}A<<ګMP7&a=cMA⯽GpiɎS*jlR^{Wm [CzsE‡,@9 gCYc?y H`8LShuҬh8e_슷^.Cj>u:83̨ΧƐ$ 7. ?*f{+b~O|_5i0RUfu;7֠#JcYI1tLH}^,Onn2w y@;xCgʍ `)N/;{v*A<@:c{lZoimwZr`sy C1gYZ7zXZִF! J-]ŗXi%6Us4Y0IH8yo[ASD'9T,Y‰?jQҁu!gFkK~}z uDZs&"t钅ɫz SM 1pW͡ej(s>bJYF1G 7L&Z+K4TvM#>YyQ2]Y'uƠXNP>=|h<$%!RW#r?p~%ƊjI1,–# ᣕX,]ijw$O]i޼"fΡXDB@A@CjZo)5=:q*Ņp{5!G/'IyX~܃i"Z%b?2.hְB*Cx7vD~0#m/[CXT_C *vIt#wCkõ↘&;67\GnAù.ѧ "ˠ:< ,fiҩR!{WݿgGN^&獦fkK՟+8ChJxMל^k~JH<1 A{8%TeXkqL Ws-AO4e,%3^# {ӛ*Y @I:@?oheDoQts%g2˧B'?Rgܺ%bw$\BB)[{!m Zh b$.5`WD8.gYZac523ec97e0f77d4b791847b3459b2ea419008a7af1e669e0b71dd56bcba24adf3b86252347d5dfd f923925ca0b8fe5c408e5fa95027a5fd392770b7 77c3f2abbfef0de92b7113ab3126ff29cc5dc330   ZF-UNITY