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 J 44, ]/ Tutorial:threads=2elapsed=34.874cpu=61.764gc=8.480factor=1.777zXZִF! LS]ŗXf1-"oވ? VòSE{ l› M;CXf ~"Lg)ݎnw,7);ڃE@Zʧ~aÈ{r1[IBVŠK H'צAe.IAMSjA-Ia/&h,W*NдD5Z.OnVB#JSP,Ԅp 8/ &pj*g³MqK~ G+ۢ䕘<_"Z$}]_b U' g%fx&̃FcB&T   Tutorialh#Dh UtEkqشMQ^"EVVt`\l] /8~4ɧ}R ='131`|r57?F⇜\!q+.)*m_đS=n=w%ZgSz!Q[,E( 3_f4,͓ `H*Q`!"\#o cER[`ハ8^_4)):NC2@Ŷh` }z0bA0]MƂZB+U=I(dO>swO(K^{ufONsџ: "B_:xUE0!IN<1aO4kn 7GHbHz X/j\;^HmO_LJd9`T׋DĩOTL}e4[VIGUh @7eĈlUWk?mr/ {)j7'TSUA&>8)ԣ_a2-T})aa?$nF7ޢ :C~'/V)t6(Ri_#9Ey(QyC]gpcIY]ƌppukNvT ^G Q "M>#UXm ](5N?9X>6yǫ"?j0T G?~΀] cAPCj5[`i $hE1 V91v } 6USs†u1lœan^ ]|;f!/CgYZ7zXZִF! N]ŗXi%9(PψԪ~(e_vwr߷\I qm7A;lH pGyXSo;ܣBS(m$YjR1h^S7RT"ƪkWƓ< O1 9J^`kAjk0lď1nXzc,od)!2/0F{: X7 &T[{dK@QI%6V&No%q$<ⴓz 8Fvj#YW`Jh6atV@E隗U>r 4IP;16إ _fK̖')@n_ʯ_N))g%9BxfsZ4 K^)WUo$]\e&( OJO)t+1Ckl֫L /2~unuMZ,iw@;Ctݷ0rq?&;\eLA{=XQW(Q75 sKea|^ю8Q5M^h=-}-2E'`'0}5WZS-(SyTcr\GqB)s) R,!\by#8od`wP'n)wZci{FnM'x߲Y#f: rxx֟'MId^LXO{/Lf!- / Z,,mLȓ 33uU4FWʪ( U40tUqX3SyvENj#~ q(q_;l4X=