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   <,d ]/]UPF:threads=2elapsed=32.878cpu=63.380gc=2.532factor=1.937zXZִF! ]ŗXf1-/6vR[y,o1=}8qՌY "9l>4RV$^zٱOe@C~nk+IKd7XA3 7煮<#o;Na;i0qay;aƄ \ZQnAEmkn.E@;  9I@ iZ9muKr*d9ʚ.΁@im*6m)Crc#P͟HhJwԕJX+= +R;&3~q60aAB4"0RՈXުBx}Fv}wbo6ױ* ϑb.{LdC1xE,5m-x#zA֞Z8l@Ј%q  Oa.׭^Ym)۳&.'w0ؘj9l; Kߋ8 ,Oj=VN-z-xpr$B-Lt{_D jTdU2ޔ{ŀnw}Cfj:AvgQ2V6|8r@_bx8gJcaNvD9"i'_uw 5(mYOnO B.38Tj^Ȥ&ޔƮzY?HHsW*"jM-5'kzE gb><9|b4Eգ_;g<}o9wG=@W7[-gYZ7zXZִF!  ]ŗXiɟܤ#k0{/!sYS7^F }w~ S!>Gv\#GV7q7KMӕ1mrK+gXʬ![z`p?>]r+?ɫK*TNr-jG ,Ibj2pJKS"f'iK,<s]D)/p qmOB&m2,fQhE`tbH\  RngYZ7zXZִF! *]ŗXi%9#H1х4/I1 [<:/RVVn!`)*s4ftfe.|AIm1lk2V-xys00: l)%~BN^ ,u2!dtnPc 21Q*ۓ8"FL. ~],-ڨX{ԳwB8p'Jݔt^:8+ŭ}a(P/#+1moJEA5#(&S<  W,Ǫg/ $YTFЏܘŒFURRS- -2imkCx:O:KE~齹xHx,ծ * Hǂ5e0G6g]*11cZ wixgE'X{`2ݠ vYL#0ke>cێ;Mvh̔!;qHwxVВ_~QP#5KsP:*eX,T1c3W()XEnD=K#i:\HC@WZo_[v+Ḻsh{Qa벊eίMnk[W 'g|[pPic1c&uI2.5Q}td-䭫KbvlͰ, S8H ´* z>E}Ξq'ӫ"N6ŞZ5XF?M&}|+T&- |* ;ބFƆxT]AzUlCP隦nPJ5IO ٠1W-|Kαӭ9EƄR ܋:R!1y—3ޱEd㵻-Ǥ\,ǏV5>aIP̒a9DΆnev½7;an0bUֶ]H5~w>XfnE]ӆ08;ؽU_ U|*1tOАpS]eJ+id~Z3D;qR$TX갹hSJS~s^Y(#{H#LKAک{cR(o=2=i",QeCOMMEߙVll5A%PH dr 4lӅnHL~OdN c~F(f@\|6|t&͒aˬX}g1eސKB؀u7@ ëkN@vV)vt=+xɖf)b:írgv+̬>ĥ"$}̡2 ^␹ܟ wUCqR'79vW0)D,Úsc/ w ,Hh2%.4o2ցY"# q p&A Q ~&.CGUH'n%ct4/9eZvO#Ng2>hiG{5>9)_\rʊn*;[śu4 D6E)3cbfJs.=ߙUlP?-$ jcDS )qZbyŒb'b̀UKİ`>cUR~7GʍaR5U \3Ǖn$:<WF-|,rzgddWl^; Z~{KZFYPL퀰pc 4ha4MyHFݻ6QgYZab37c82c36c432ffb602f2cd53c87aa366e39aa98ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a595693497216e4b5f588bb0be419d990a502f6f4  UPF