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 f t4$ ]/ Tutorial:threads=2elapsed=31.644cpu=55.340gc=6.720factor=1.757zXZִF! 4]ŗXf1-"oވ? VòSE{ l› M;CX:TdMMb \Zk,.e,D3qVP.:ۗe k֙U0ub^@ .|S&1Sd)7[Z [`"=uBh /;&=sUUzߩNe:fey"Ō`b͖.4Ba5/j2kQɳcˡa2S xU)Vojʹ[S@grÀ$`   Tutorial쑖MLdDJ/A6I𮷓s?+qҵE= UÝ_z| 'ho߾` nuO@AzUXfԊvL@ᾁz+|_b?'=曱9 n)Ẕ2[GX\͑^G}c&yU} :P͵s9xD<WbIh3B[=x"C<JAAaac΋zߵXQJ"Qq[Rr ޻4+T;gYZ7zXZִF! ;]ŗXiɟrj#>׋DĩOTL}e4[VIGUhe_Wq?\AVl1p:F{q Ycb-a`nfW! Xi7rKSF<"Ġ ;C~`;Gby'65 0X 3w7zNbI?ˇ`GUOvѕ@fe/~Q$YwšJ%ULWĕ Bl }Ǫ,ކ]'[+WCpqK o56! àq+cqDʜ/U D1UL>V!1RлI cþ5LۀBKCq_Q bޯ@D $Ӡޤ(`^p6]sdWe`wP̮{u<#[*YI%rbzXvKj3G[3ȑ-@PTa]VMZvp<{Ý:sn1 'eSh嶴ݿ3)42f\u(dc)]tnBD $K$kfKLi8ASY}s&%5}"c惭$J]j[YV7:kzK?oaϲթVͰ<_Rba2Q6AbQӜ4ԃ{R`;}N%r?^$9(Woz{Hco ~0B- =ֆPMgYZ7zXZִF! A ]ŗXi%9*Wθ)di'˂kQ L?H?֢Ek˜l;MwJ`+!JJnUf$df}K_nOYYvTFiv)z)( =s_q Ć .2 .>#C{b&&w2+t?CP7T#b A}P7rs" I4lQ `IץlՂÀHG̭C_*Pc&2N=`OHrѣ'"Vr91lQgE)<>" MsN$ofxR>~Ř䯰Hބj#ZQuu]۰nrİ7=wPX /($Y{>ۄV0`>§}.lUpC1rG)֭6]ةd:>g(tx& NN)P<ת)=/B(%Ètg:4Yq iA|ËʻqdkhJ^g/ryqЅ6?N2^JET|faw*)ArS\(u˟F Jj%B&c^"wIsLuE*A5Չ"T^c-p鞙"J/?5оλBԵr#QBNK%4.1u_('ٛ{t蔡_{?),&w(nHZ;u0HO}`Vt"AN~C? ghc,"rCBE똵ZdƓ?1i""Pԝ1gF2z_ re(pA xLݕ%;CW2}.FSY]q<-%\/qk^6"5Iqұ.(;(߁So,&[[}$Gs^b#a/:^? zP3:qkQl08e1!R"zEͮC̊j^c]2c>@36f]^A . \;9Q< P#8yeWoB5jgt1j޻*ݘԭ@Md(O+|5O E k54^l͜{0L]ZFe 1+dxD)/ui:?=!:j1ާ' `o%w<ܨn,@~F@XJi~VC^6/-f$Hahe@A`ANS’JIgYZ11d0634ccadfef0b54ae77a3d5fc43868ce036aa1f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a