SQLite format 3@ - llB77#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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 11DDT S/ CYK:threads=2elapsed=5.094cpu=9.412gc=0.392factor=1.857zXZִF! ]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣ|ޚ_|>9ߌeN-AZ,h߆lFRsķ/gREU+bڨ=̳ +r%&\,},h&k,l'o-zze .Be*FpO 8ޢ{Rퟖzx%Djlu޽KW VkJ״èa ׶An.k>iW}|Xd.QQ+7_`Ǝ@ɚj5ҥ!2  L' nz.6e%P{  Pz'y l0o-~|ˆhy+ە?jΚje,JlBykC-&}B6A"Q(lVCqw Uh\}XaH. d_ ?~?kr:́ATdbӗyL4u\Ir~: 3 C+Kjw.d`=/gYZ7zXZִF! #  CYK]ŗXi%\Ǚg֮ŇGQyᛦ](_E+t\/BShij:)DK|?9}^ף~$brjtb+|Up(QbwCBЦqp\=F _:RHE[vQ'l:@9I> sވ&d;pj3WV-.g|Ch׳Ys?4&\B׬$}7M{$w#o7AY_~9cegb=j%v]mjd]^v=T=g#9EW:>n{ } r 34nF!piٵ9}\]ePfVѥ &vcT/}qU6<{ST&¦nx