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 o \ s/]HOL-Word:threads=6elapsed=8.692cpu=37.692gc=1.264factor=4.347zXZִF! ]ŗXf1-q恈e*[#M?Hfaw :+LvsZ#DK4PU/"QHT'ۊmչӆJ֨+}<н U3S/%?L63Y~2[gA\g'fF$^vk|cLE 5!$ г,#˰|;_")Vvo[-i%Xv|23:/ vv)yw˃%Mdf2J2w@.uj%{x}lBs 42]I;,5+Ʊap?)7G_:^Ucwss.=K@:p,!@dGqs`Vȷ9gĞ># X~yϣjȩUReG_ցNMcտ|R*c.zS搌Yl\V jf?)m+[$ru-ifƼl qI4Uޟ`a׾N-]x1`:yo| !WKY9r+d)HtHbiO*5Pb#ۉb?&4ޓPH.:u RPM#UgYZ7zXZִF! *m]ŗXi%6۳J>^6}Z(ݣjOys4zjЋi5͢PoɖIN|n՗@Dp3GIu,RGa\bؕgiۺ9{-yŰUdOIӴg1$U%m-}6I/8IoM7\͔ѻdμv31o F"IĵvMAjNt H"elx%#%p]93ശRUpVLl"l=/͵O W)ʏ_'wr G0?*O~>=X[U %眔8ہ.|sԦ˨65֖anip-٤_ʥ |yqV\qx+@aKUH/0Z52ɪ cEjpW]<ؿl /P+<8dž6F uPWpJd^mht Ney0D45ؙwO;þ~ݴ鐋EG6)_^ř5jqNPd93?*i\cpdI֠!$e; Ogܱ!;=ֺ0gƇG#$"?__ᯊ >ΘU(£j~]&dy8~h2o&+OT )MA-/f{o8HA hAH /u%g3ն* "]\R`mZ흯5H@NqL)_`C}.Ŗj$tn2) 걋X1=LIY#$VX;j_Rg vWi9h9