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 9E,4D ]S Formula_Derivatives-Examples:threads=2elapsed=37.144cpu=70.644gc=13.180factor=1.907zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6|NjcIanct/eOsK>bxE=P.1NבAGEbV;@IV[#-Jx--= 7(+J{]EK~[?7F5〛f)<[n" 4zwwό *&u800H*BCL^`u"CTCe3 2xhtlBe׾a @پ1Vw֎B҇ RaI0yi1qoN=͍0ݨ?Q5h7؋)Ba JP+\6C^̇zaxۋ+3wˣ> 5'neH&CAx9h3J1+V%TgYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼz͒Ϝo,ˤ4~j|tp=No=J>cZsYwyFѥnࡉd kÂ6 p"&P؆1B!C*a/ɾ|ƣyB/.줯Sl[㍱gYZ7zXZִF! ]ŗXi%;:>I+M)@9d]#怑qonBۺb^>rn/蕏UF9 *(}嫄N|&dRFk߄Ûf^C ķIn =6alp#툏m_wT9pqFFWTE^Ypis|4!7 ザ mvtS뀌Aj])q4]~n}@DIl2=>q@/"r^Ԟ l)ϕB$ՈC^n.| 5Nnk[P$ .ʷIӖ8fGk PJ"N;8I}AljuOhu1<`%Hɏ&"+D%&DzZ̠iYC-9fcJMlJ7 #ڰ8]F5xd<*+_xnϟ 8_v|Y1I4K#EXa]b[7BE2p"Dj9,_3F8[kp"wS&9:ٓeknuCȭߚ G)344t?CYe}G) N\E2edD&?ο9!^:ظG?Yf #EaE0|2uf]~,/Ӝ!kcvZEiaFn+/`4OxQshV:/fmC7Ǎڇe?1 [u] s(B(;WinI$D! ۭz9y$MMja oȒ?>_;&,M-f9E&z Cg$ Kh_- xG-w5JB\0ӄfp:oP+csY5:і"!vz6rk,u&718H;,2bAmɠtt a&q0\wn/O'S>c{DLvUFRvk)UY)29?d$h))E:|؇MˍBeusYuB=&+~s`-a7 \:-Y ĄBՂ )%xvgП toX'jݳ[GC O[|傝2#6\9r*)v e~?dQ& 4R nܭпӧ0 Iُ{eVR}4GNwAĩNG 7ێD] #{X!HA8zmǧ:]E\DZzΤ݃>GXr ;/1%.^r05T9J#xZS;dTalFD 0&z{/i -ԝrz2[K!"#pk^LGڥX& |rυj ǜĂ] M SȻi*aX.o /eBzҊhZ@IX