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  ? ?> D 4 ]/ ZF-AC:threads=2elapsed=6.287cpu=10.656gc=0.564factor=1.697zXZִF! e]ŗXf1-W'U=Oww '_Vj |0.r?*.A9З{/s4q8 `:L>}^inS:mf$(֙{jR%؟!I_tɔ슷E[+`K/VY(e Gׂz0竆E)!v'7] 5 zߐY<=E1%=1YgSwNx Ɉ_m0M I gYZ7zXZִF! ]ŗXiɟ98c tؠL\e ٴ7*S o}Y sҊj'TwPhG-ֺNf1 [F1x,V@#7W;u6T][kV7Kek/?G1tkIÍ,ܻgfHNg3 a}sP 껩/pf[zq,ĺ6X2KJ3T0h4˝5@zgsgYZ7zXZִF! *%]ŗXi%9*WW:s5P|;\}b_&f>}dwMQN !HuHv+2dp wcѦޛ j wA q CL!PsZ`b)Gsy'ʹqj`~Qz^U`ߗa؈0GN4H#|1Vk7 iTS|T#X0fGo8잛 _\Fcp]CS*Vr!:PʜCcr.nOO$ʑd0|_{Nfa/jcm7#9/}9a'؍iIo!WCVNdefS_ P({P%wOvF{ONi{ɬT o5ճT܃d n{(UɌQ%I?FT6v;5a0;P@`.4]iuc0?Yam<ʹSVn2,^s-1̉Zx_Fbgae(-fYJX7&^O%hpلH/LӘty[)?AWj FM=kT,N$ɓ ?V@=+IJPW=V †Gs&79F<,]qQK*`ٖR'}