SQLite format 3 @ - l l B77#tableisabelle_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, "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 ^ ^ c=L/ Incredible_Proof_Machine:threads=2elapsed=68.143cpu=130.148gc=7.248factor=1.917zXZ ִF ! !] ŗXf1-q恈͐7ӺVw;GOy:Cir8% NVhE|wK]az"kx7GD ZV9ɓ+9n&`=μ?d7*lL<7 `?L5h78P;Jj_@(&1{n"~l-e)P!|-W_أ*L{oM[R + Jҷ= ,{q`6[V";;K2F,F?:K߸8VP(u7$L{۔s:~},N
yS3WQءhPnԇ~K_|dz(^̇aa!XiT`"[.-SD]\U5#mҊQ;
P;7nPC$qA
-eJS˄h)]F`,2ELv=π
7aGMC57k0M{At:μ飒R{Dc$3tVt
= Incredible_Proof_Machine <6DJP6cHB#K1+0գ4c/zo@ҦJtCy|a믦"oc훟`Ыש\łۜ+Ck=cV[
~v eu=nX\*MZ?LI&-8y[gIl,dơ@!"P>Edu5V'
Ӆ H~`pkΓYjL*)KDav6߲^d7!9]Y>dvJ`"/é,Mq-R9vMC~)0K fGE -݀Rb}Fr'I0
"9#;
慓{镨sskL"7pɡ@PF/ڛ
N{⃰KG{ TItkvY~ԐN7KJ;_QM<Ѐv0K5
#rTnD4>NS;<"\֑-c'yA{
TĞXŀ,|O@@U3ս{U45oTVs%&AJ~>Nk*P1PShXш>ͅjl?dV':@!Nqf2 ?ΟW