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 TT)) ,4 ] HOL-TLA-Memory:threads=2elapsed=12.817cpu=22.572gc=0.588factor=1.767zXZִF! h]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE׻_.&-*<} z?1[Gr.pD 2 :'sƮ p{v<@Č>figwE|RENej9?ܯMsG!yƀ"(F=^01rgZ!]pvU#af8![=)QDbMi~=YgHxB`048[u_ #u_( 1+~P:.bLi]裟mX_-ϬߘC. Y^dx5 {Kjq}gYZ7zXZִF! <]ŗXi%9*Wθp`p(kk%!O#oR<)Ϸ.>Qku.4=)$(yx8j@vKsPnrh8v]]$^Tda?22!fq/o5L_|t=gYfeEf"tJ/yƙ\Bѐyfa r} \Jа `5)꾒?P@}[ѡNRg0[W+B4i}0nvPj=3K_Tt67az0Ǔ1e=tArx-[ȜUپrˏOЦq@e)Jv =g*OP:/2XTui- r'e!خv"@RahXW>7Y66(^ Mp*Si!”W  FCdMa.`&D^qb+_9Ika3I%dA[P&FD 뗤4.<PJ]R4a&!Kuo%4⨄IK1 L%VRu<ήK^(]Zojz:o8Ӛ11T*i+" ͆!gDh?^bq<:i8ZF>nJ:U$%бOY-gR7 D*aAZ*b3bd#nT/ΛH|-\jf51vLD47۴igi7:csrTIj"I KmѮ=ͭKvԁ^4a̯=GrvoÍ{u^2Ɗ8ңKdJ:@>`?|Gt2RP