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 998#\d ' Native_Word:threads=2elapsed=194.272cpu=171.068gc=6.448factor=0.887zXZִF! 6]ŗXf1-q恈͐7ӺV -fv~N!DBO84m}ˀw4?WP^aglH '7նi7iDO e^Ǖ[Kupǩ:q=IV J5z.S kFnBr=OrG8sQ>Wf<飌D }')upFc aiY"XPHpyydt&Љ7GjǣQmTs^ҷdDaŬBa s࿈̮ tڳ#-UӖ8IZDm`peJG%PM3ěД~$؄Z4`Ԭü?&d%%SGQչi8%$lH+wo @G7u:8md"Sp̲R;<}lT %U`OHh $0AJ5Țq(3$ (xrNCl~/eIb se3+KLģ'mK&Tp84J"X<]PenOvjB>_1Ӆ^4cfcS8[/i%,2;'5reY|3 <\k> xp(X* FUjQ64Pפ)I5N hn=,`mt`,>U=jzSFnu*xNͥSˆ4Gj r?]7Y `: =2$`/W;Ïb@}aOw=eбKe0`!Xr2i0uffZ_b{ CO-3 p5:dF+ U0#p Utvc{μfwZ-Sr֨&"kRu/[pW1-*8]:ԅH @v)5mq'RسVYFOډHWO`[#juꓙf@Tw0lDl`]Ց|e!BZY ) Ti%$FAO|ૃ!1e+esߍ]3XsE1Ž .u=Tk{6haaQz!R3+] ?dlъkb"%w,A)gf⹡ zYt%˦p/`ץ@3LA}ĻitQ~L(Prc2dr{mN@V4-fU.Z]kށ1z`s mX±gYZ7zXZִF! ]ŗXi%6uRՊH IZm?Dqߪ,BM2wv*aENomG B԰A\F?pd>5:uZB<@"隼"@B޿ᕲQ&5ڨI@~h etOȢ wPX_M N7lW?Dۋ҄W(bk5 \8[N] p 7qXUpomN+s^[ <=4_Ń:Ch(Y$t8ZW]6، KX&V1}q5cz5]{&5R'tz+q,Et^Z!bLcaW.'kC$y75Ht M3^9S}G_\7阊~|~Cf JU =; ă $ cyՎs60]A?$aڀ-7w\#I8/]&."jSy'6 LqݹrkMB۪FaKBv+>9/BsV^щ׆Ol;+Yܵi1LWD;Ȓ ]zXPN~a{l;ΊH_⢐t!&0rXj(a6Ίrslc:됗qP:=`v_~_BypQ$%ZuR0W?4raV.AT1{Jep}LZIq`[e]%(v=e)_^;+i^E\QqDY cMG]6%֬b">'"RzzSy&H?6X\"z0?*jSmQe^8K{GxO;C(1ez>YBlbvyHc_Y[,QD+p ױxgW4>9+jTp&&wD\v Y;I\3tHnyNũx7^֧Xka)ʕE(+rvquMe n9O(-Â?WFG@iY!#q6Ƒ1{v'ѻ} )r7dψYn[xgű"KB8Zc_n]]MJl{ bp&~J]vȿ]m$.ej6&pb d`C~5U0 ߨ>D d"@K^(W3N~:m@uʗTh9|_΄?~SS2(~u. 0Z[F+g֠4u¨6>Vhڗv4g1 -Alm-\GIiZAF׬ɫ@S蔸k)7o|1J: 5T~YgC*Jdrn&4_Őg ~ ZBYnLz{NȞas6g2JxWoaGv[\% 8Ŧ%.rXh57CL!nںϭ:SGEJ]7!*&|@YA,e 8liʶՎ(.d~zoaDdۥDC.tŧ+y6q3PXS/Ӧ臆=jF DB(dwm(XFVӜʇz;GVIdzIFiꎭ;^h,a"PNX^q@ѽb;,&Ji ?p+^0p/^{&DuF.)K4]@l*D |۴& W{<:Ϝgv85>>"th%bTT0R\Ϯi7:TalW6( X`C?T'ma9` R85·{Op.hJ={"p]l)T}m3j~u>֥p $_ei(M{D%ӟyZ>{5J=U LrHRbs: o N72Z+73ڬ1:qCHo#d^!Hh " bVO2䆎RySA jyhJ~Mس՜i;Y#\JcԤxn]:5Eً4z{^4baruýK3LBFm/?TX"!(oP﹂N4~#I ˃x$<+hq6 "ڂ;OtdZgrizńJ'Yv:b^A7ZDH 8 +%, (xxn,՟m;fs|ahr92-&ģJp>Qp#ӱ~= s>rKLP6RjC+!v$X&s-xqc@!&4rVKY&xcRzYqGjׯ/hʿ^p'ȸ.7jiosIEAwբtkQ-NIl8FlAF;~A+SܡFy jQ9S[0-B-7`=g4> 䏤۪6i0hb)Ɯk"HD>t|O_N$7A1EFtKvJὂ@vn5{I贞Oω7D u=>5YC/(변UBt0p[ɬW9e<[ESsqX&j#FFNG˃v :˪3Y=KIofoD,8+Y288u8 ໚}<+չxlƕ%gbZ*|5i=Ƕ y]|=IqtS,#)hhF1oV7dCp<*0^7Xi ݬߺh9r#K!fW Y֭Y t"~^a/I *ST%~g d{ c``1ēZya=[B K6>œ^Vʹd(Ȫ^< 5 =,9==yOQ*Hfv|Վ:t'"3' ~)SxwS6]Ÿ 4n+~fʽ!mކ&emu'WA‚ut[ o @z%J%P_V'߀`$V,Z;yX'X>q ha+4RVDӕ(j\!ₒ͔zĭVݷ^:ZF.M5TaÜ3ԖG{o䍿+.PL*ۃm.)VkgE]*:#u-;]ΟQ /rR; SZIŠ^ Y>sMt"Dь +—fv/"ZN/L7gy%ckܜaoj?zR ꥋݳ' *zU'O"M؂}4ˁ 0 YblʗԵ sD>=@csL,Z $5d}dr\n>!@u6@ڽ\AOewb_WJ_hC|毱RuH D&87dyk' `Ÿm_HȭGIy2l{src)a@ڻy;EU,&G9r{7>=(:OU!B^u)}p_0Z>A %P"@3:U^qUwc"rQ zJM >..hrB|wfNZ^D9R U2Z?T@j@/A+ {ٵ;eϪwK Vnuo:\PO)1O #@PP\sJ`5Bι;(7u}k\>5O6X}eex^ҡST-$/wRIxG_=S+)Q ,dn@t1(c7 j{IJ>gyF%zHV H-gپ3'D۟"6> '3b lv"_tӔSGhSE