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 0IT ] HOL-Predicate_Compile_Examples:threads=6elapsed=51.712cpu=172.288gc=8.892factor=3.337zXZִF!  |]ŗXf1-q恈"3UUMѺX@Mk*gA̸KEgPI$G736X%,$R ˬ >FEJCwQN`mg[eQ{ԲUTfwUu-E, ,WPC(\J5 5ر @~h&g:+;#aM4xR dT _0YWx}.1[_p>CN b|z| >1o :6؂E3Yjk_-\4: ` VdGkB ^~$9ŗ{&{'0e7݄4ׅ }Bεp !JYC3]yW A9#p9cI|c.pP>䆱$^2'Jm pg/v74+G{PBXͅ|7"FO G BMU}I=8ǦI[{3շBUx3C~y\ˈB:[U>.i/Vkf7%Q:QZ!n`of6.7Rܠj`Z)7l`.`ʼn+a7j*u]׆\%((Ƥ1#j? k`Uf-ؽe ^.'{oX8A`"Z%@jv0wj m>#cl-cz2DpBb|\8!7p߼&i} %bNR6IMudINMkx&X6CnPY%7o`0}\J6jh hB702L/bwGWlK4[^SY!%%b[oX˯i̶ j{&|}Leo_x Č /DE:"a|ѳE,SS3upӅA;lR XHmxts: z q%oF}U Q4v_{wVD:A@δ!(UQӛ!'螠pMݴ Sq_mD_\lGw*Qlr?Iͫ tAid$F(%H+EQIza<;RE}J*{_\h. Ԡ++s$ 1'TFOE0K RB>V9(թ*%X,o 7L Qjֹ 9Ve E3J{E8:ž-g$fk&ijѦO$2yը`?*Eœ8=QY8H1g礚\F| ``u\/}<0*o>SPW"3p&,G$#}Y@hS:67|ERj+ d8x~zѻT#xQ7-ZFfϰzNF!DT==¹S)xkpA2 @B l{`A3KC?Y%P]iK'F4WʷlŶ'<;d0g֫w{4Jz'uvp]*9rkIw:LUۧ$W? <<fJwJn%_V<:IdTA^6O(YQ7l-h"+4qY ;{G^=tVQ^%Ze4GRp0B3eb++`h= E)ë/"ED>v1zIK:~hT#tgtRށ!rrY:X}I]jaJBQ99CFO@0Cje nL:MLWb)lu,W֟}pu?ln Bk msybq1Q=zϒ&(!]hBs.2۲ϸ ovinGKt>KrI}"|VҨ_ g?=i`,`ȍ~#x0)¦o.{y{&hsAse 3&M]t+Z~ŮXeŝh a8בP"x?¦.b38DK%72mAHE'bmbH tғ)mq}ȈІY1mHw9P3V?mKYTy`;R`}Zt=j1XխՂC7=K"~o'esrV6fv[ V3R+PWG1w{xd@&UzW%Jyr (Yaܳ?i&&~UԿa!\'kITA ij" #MMxq;ZCwyq,5WPB\5 VIXpֳ0S0,"(Sczx`{g.}cP(j ` d#w@;+߰ؾD ygȴlP@LwڶVpv jypd鴴xE<ՊmLӋLjf$fj /߫mՆ^+u9 #U&!5JW1hcp 'S7.-⃕/p:E1U o$/:,tH[Fݬը2Ҳ@ʷ zPq2}N"KB,ѝ~W?Q 0B0moH뱝qO'7rMџObRWu󆸵RjΗVrC5U$`gR>h;[/=ZBY0JjlhC;6_ ]i{"5'paP*U^9芚6fmIpzThLlFdkߡy "Qm<-p:Zo Pa7i&q50i]Q=;d8UGϦY3[*]ʋj ~ǁfNTM: J @ϤNtMƶa<Քы(ʎG2p >1uP[>M/r*hoW(k:Us (Q4$77c6BzceWu#n#L|ıv"s`\UݼgԜGw|ȸY%1\MdewGop}Cն @cԩ_eB|YIm$W] X#=1uxynzu6:%G[d>Vh>A h-FKߵTԈ_,$o'sv'Zt|rkӝ _ P.԰n$ܦPh ' (I8A[Kn_HŪbb 3Y1).ྈ_/jɯH_ƹ!ߋZ[@$LT=ܾ-Q:4"ەRFRiԧaY~z@lʗ+岹 psU F18 j ؛<ƎT/ڦ0~:ۥj[y%sCAwa$}'V}'UiA#ImUh棂(9Bt*q|O1g:ou=Dbfxr1ӓǑS){偒٨Z2Iߏ%Ng>t>1{aBmn"ѷfEYKP僢V|wY+ )f^ݓN%[u -Z((qxߦ+qU}4Rev\αees>m:ZA`>Ygaցb-׮i873,=a*ʫQE6[