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 N  ]]]ZF:threads=6elapsed=12.198cpu=36.932gc=2.052factor=3.037zXZִF! V]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tv PxbWՋr!j ;Brs# lw3_xNq=Lٗ6Pbm%hB,d#h#^"2Jvҙ>=c4C=s_8R"[?Hۉ>ҧxf<ܓ*/.[$ Lgo E,2^@{_RzbX=wD 1UfjǴzЦswkg1( l)Gc~剶 }XfMJx/UoΩ-i wDdy_0C^#S%51J&YЁWWzZw(msEPv WK~PZm[ ՛P"!U,uF0e WݍWtgYZ7zXZִF! A]ŗXiɟ 1FE`穱 rx H$υ0U K)5mf1*m4)7j$1Po,1`tܜ &@r9:ҹ{\?&Z\c:kӛ{pqï# Mf g.QuFmypUm%ɷӿ;-˶Ti)֌&4[Óq٧Gl[*QxѕTڲ]kV|/?O7!#PQ\!]QaۜKT>ub_%;aC8,m{TUb(PWAAH-vv!.#ly~PRSׁV2i9g!~f}Ƙ/d}ʑ393ƧT}DJ<^Z05tX­/mXf L.&χƗ[>smϚuec&>)H)HErjY^C*@do|,a|Br%pQ7 O*ɧWCkR&X0\oodnܕR.{_m/NPNQ6n?:x#T·Eޮ+jnTc B|<_^ xR&]ќ@KjCq5%{B0A?TsNzVzK[#?è{nQH8\,_*O^j}uy#o#s*!8ŝP"L3eڸoqwǵk">bDnL{W p*YYE!H`r',}q<)}1-'C:곾ǿ2)ȠH1鞼B4s3HI> ;i$ad~O6x`-~ؖ7Ovkqv^nzɭ$tvкj"3,*H5Զa1USjAM~>;);Ó{"H۟UI2 v*JP#GO\ni~5Fo(T]jTn/2ڠxg6O|>k YӨ+tmM(~?U~K$!ŧMM%٪LaTQ+.jݑЛ'&FhWM{ ]:HCoN[' )lP*DEGW7Aàz,e7T/ " a#ȷ  T.!ա}ۤ@q/n52=罔pvXȾӹ cdD8h>V֨1v_{UEFjfzw;lAzjQ? 0l/=@T<%qrR2"S;!Nx3br|Qqt0ӲB,nn6y~k2,؟W6@ՃCSSq&kNv=Tn4n/ŰS)`ܬL vͤʱgYZ4d4ddedc5d42ad5f7ae905607ca401348981552bf854ea4eb03a9c8a56164c4c9f9900e0cc800a633d37f9fc1d335105901a2fb93ad50f17e15b9248  ZF