SQLite format 3@ .  YYQ77Atableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info <<A \\ O Optics:threads=2elapsed=11.367cpu=19.304gc=0.328factor=1.707zXZִF! ]ŗXf1-/6vR[$G~fBn6OE.woLܝdYS XA<4; N ǜb[>w+U/I^":ryNMLĺ4 5)IMQNs2!O`<̪كq#@_ Jz@-YS#oH~ñB8_tDF68< -p-w:VUj)mHd]tQLPmF3 `Pg!Z]<0rx=X6qP19fä0n\ܯ=+>I͟f`H 9 jU&<(AΞMNJbo6Ex: E{CKp 3'zY|0WqI?gYZ7zXZִF! ?J]ŗXi%{K*MLwLjk/~WTSdJ~_cG*fO%,.|@WSnca8b1cfR!aEDp(w,F}I|T,% >}~^ \C|qqgZ2fv`#Z&!O&p{,. ت6dǓy bD>9bFwIIO="ŵ[T7|\2ȉ FseZq'Ci:˂G P_SJ #- 2j'}1_D 4pz1׺K;$&hv=(^-nJW~<"[B0f/#CG`I4 oq-R/G=k:SWzVd(%"m*DӪ *A'HBL.3A+~c̏~j":+EzGF2`r6u*ibW|oPQJŵQnJ{Oq]C6ElKɓ ?Ymk䁑I ܄N=)[h3(mqQW(wd#⅞0F?]