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   ]$$ S/ CYK:threads=2elapsed=5.179cpu=9.584gc=0.468factor=1.857zXZִF! L]ŗXf1-/6vRZy/``$%%|f.a־yd0ݣeJf|(.HE)}NDiZ:d_DPv_-%Md1Jxzдfѩ bHs` ?u9M*EG~(3oٕe6̃s* lAğ P5LkC{Ҭ\cR"PWkv14ĨkHG 3ܤ|V*%g_'$)^ Y) 9o)‰̜=dpYnv(ch^w}Uѐ+ , fIJ."舣Q˸f4Y8{o/yM7C=fsM+6NRFos8j|N1滮yFSlob?׼̙mZBL do]TS4B̆?vm%O良qFYۤ*9ͪ,BeM$'δʠ,ĬW׊^Iݶy /WuopQ";:_ahِSڃh,<3&yr[\T WI eqM:*'$3ߩඋBI=ǂG7jUп}l:ҁ6< &`U8l.,iGk  Ew$=d͸ ^~St#"|c{PvyL~eRá? -q 1dm]E/KaD,` mY dF&AֱgYZ7zXZִF! ]ŗXi%!W;*D( dYk5GLbnȜ -3 </HO2+_~~+Ǧ}X}}u<Pi=2e| 0N0 FzDH=u *u@Dh6dZ=g-B.sG LML{ ֠:2 Y 5 c"[0ܲYֆ4ÉI Kv'19ə4{ZǓhP `N M*pxL1Of~sZDOZ!tVwBpKa*<