SQLite format 3 @ . Y Y Q77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info SI,< c/ Abortable_Linearizable_Modules:threads=2elapsed=86.874cpu=125.136gc=4.016factor=1.447zXZ ִF ! ^;] ŗXf1-/6vRZ\RZܸvkp {Xjas-\_D>3L=>xi%`r&5 !$1ۘKHfT'!v4sm㎩ڀ $)ۧFbLpPwyc|xRzppRi[Р.urJ%ǢĶJկ^8ޗ ./Q6rݥl_wVIEq) %Iq8 'O#}nKdYNyT @vem'[kf Ui0KK]aF b=Toeʒɱϸ5܍Jr|:VtR)&_@0kT2av{/.9<۪| O0:_f Qtð}{lI? 6>g~[%(reQa_{VyŊ<9śwwn 4Y2,эժ=]INXU&Jk2lFZ} OKN<0(l
1*]Iӌ@{0}I hx^Zlv~qp7/?p}FdH1i2a۽Z h5"K-rUho-g WY~zTn>e:MQRQ,?i*T.597Sq&\
|P0/ުcοU0^Au;r4ܻ+P+:6n~Z.bMP(/Ùl("5A;chs,To단vsƛ +|W1蠒'UqNF`RH^~(-0Xj<0nڂ[V"eb ICw9TYb3ݡ)pe$Drᰔ|ZraA{YR%UJn5mriX4tI"w|к/螂_bUVn&?l]A/{.]#IqCN#L}Đ4*[a9C*pzqD?ȸ:pgRu/*dg\]'U&x!Jd~}/TH_՚bHWcꆛߔ7D96oX:'i^#;]L·.dP̢`NX
ߤښbLI
̈f#K6MXL=m)n49e;}`fFϨxx}#vH#Rb2M;tqF$/;NHPzUI/