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  r r{=t, ]]Datatype_Order_Generator:threads=2elapsed=234.573cpu=436.068gc=75.092factor=1.867zXZִF! -.1]ŗXf1-/6vRZiPu0(92S&`ZnI0]뾃 hQJ)Aa~N]jp&_LB@bh:5lhrR5!̌bl(M3K) R!9WPטRMɜsُ@B*,8T]Y(4xR ʑPNݚCJ̜PD5'$<7*@8庙Wg@<Wvגȹ3 %#dUqC MI=+5P\:=[ Sf}mG/-c2vOԳ5m)3bZ,mPom`N LPcڮ.rj8yeva帘7jrwt.C8 = Datatype_Order_Generatorؑ{.12J)drjJ-(pFNXܕYB2+'sMMl/>|i:R$&[v9@Yh+SpR:a)1̘>4ڭfSdפܟ:Ko=O4PA {)JUߝ:pXZ<,*oU ŭU2JuOPٜ77/cGDʉKKpQ4 USM;XOY@F#V}N:W.M=Q+qօ[QkzzrUk~!V/y:AIkܛ z (%34-A} Uyu=h:;NO,ۢ^;kP),C)eu1aHʻ޼bU*Gô9s8=Y_% Z#cPgYZ7zXZִF! t]ŗXiɟ|E\Ât+.*aphG)%uG:kPCA]H&u%8uE[`eE(<,-j?ae/&#jAvnhDrI *1ntoTWܶЅa1%rÂ_m%Nʈc PS}P EC$f&R.=q0k)5\n"t|A3B{^G+[ֳ+oCt,IJ, Κo6VE`Y36BM ')rSܫ7,? x_eSou~V$KjSd[$6R; UK1KliA$qY< SIrt0u!J&oEhNn%k!ń#D65 #à\"~HS^ֆiQKU  gYZ7zXZִF! )}]ŗXi%ή27%4$[=ZX댊eV*$Tgz H\sLx!5gɖuFER["q{oNI.aNkF\a5Bdy풣&m`c?ۓ9{p\(GKMę3=鸰jpn(Z ]p#U bh)1Y>wH][ҹ XEUZ#MЂ.i/i1QVF|T ePrxTFi׿pؾl0UEgm@{B{ b~q ۙT3եH58%cS2 '`YcMk4:8YrGŲ䙿iL0x"f7aIBI4"iNazCT/;.aQ9hi˹s+H3aYmBs@8߈n1P0Wءb*RmYO J2O(;vW[^RN|C ŠotWy̡],W=TvVlOu/7Ŏp xmd[hB.=N2lNYu i3%jƿeY8^;N:m\Ad<RCC9ɖ˸M5*ߧX~>s`nqM5VLgX[A,xEy6=( !C#}Vͱh[z%*j0/Cꪶ`!a:p2$@t06b{DJJ>͍J*TFO|;쏲sDR뻮#͐ jD)4 ]J b2,Ŏ JEd'ZlR)[U\5q|pE|4ѧ ?@,\Sf:?SrES\QG-A؞L(5'Z2'>$N>No1Zѷ_/bݫle pf@6hK#0;PP1 MO=UL #8`) %|5P&lVy_IT]YFjq!J{U\C=]819VيKnIbɨlga q'3;:aLdz7Q%%4mȀCPT?D$ó0'}<"&'JeCQp''4g +ZJU^*c7`UIp:0Y2NP4VL1O7BXJntx\7zD`pxG{ ,w2 чRN"EꇱeWśj?;)b 0!9h^vY>&'L2=2a"q!LL(8g^4l*7ΨR`iz@9p~rU ;If6͊10tsH kzu$xWh %۟T1NgOSTTu;-gh ysL mԮ4(Ez3Zh(1Uu!h㭨V9DzE L,rN(6!'Z}[\=}9Wq=v}VeX5gn $$, ! Kñ\bϢYPO::=SNvwU< CddS$;~u#% $T V1JPѤ͊j s, u0{BY' Su EJ11'5Wm3q nbSZˋݦ1cg1ό-ؗeԣn+)]COCiH~Dg_4%;K-emߌ|`En}N!kn)=+9Y*1$/x|[zsh(EAVëZwLC63vEK:@Ex{r$SעفKߒax=X01Bżҽ9P[ ^?&/D '[L&\Phh Z coϧO? eGldYR_ 1 ex51[OQ0V*9[9 `|Pܫ}+Hq@@9G)u :Ȁ2y!s !Nwɍ#V z{j~6M"4]D]Lz/"xvnļ%XdAI [>#a-6[?-z}Uf/d;7`<0Q]?<{V fKhSOrW>NGd>;k\a$K*'gT/7Y6;Qg[4X=]%?,3am̳U4b NQL*PAiyp}97y @e*R)Y 8R;Rk_E׉&)O03B{ciAfRZ0RdaCapgC"tw`8- $QH@Bi^DH<!p<}¦"qJBlU_:b(¢TjPpo NWe쿿6n{ؕ.! p-s\e&3xM"}qИu`Yl=yڲFp!v=SLq(A>㦇O& %BPXrFn8 ;PrP*)<@ _97+VNP oƹ N4=47CB,81l&\6ׄ X5+|[)Fٗ@ߋ-~]xUQ%4kG̑kÊfoKJ.x#=j{* l{򸒜8B刞X.Lq3Nfxq] _5Fg:Vj$՟ M@diNCۜBEP`x]󅟩\ɊXGw661g]HmBÖ&o9 az2NHX.؈N)?c{ V\_Y 7BJicN/3r3Jq$dsSہ9vd'tp>J)K;ųp3e~ 豢>2'mX=Cu%.pdUbkM2_= s,e.VYQK:eᫌwj 0l -e]EMc( [RUƶ#/:@m5p,L֫8{ !t),x%G ,;1A wT|;.5:ueҴ A JmpXг _o*Q_L^cE3>DPH˽ނ*C_WjÜ#8 ʓ-%7Ob/O*H/XVw_:1%CO"$ۖnCbZDXӧWr 3I{Cs9$M^vU-TRۓxѢ/bE"(.Zi ̨QH`AFƒݠ#H4e)%MK\ܝUyo, b&*110LJZٟ>TЯX qV~)4ra7|SHd%2ٶ-hW_W"gA Uމ/?-mOnH+f4=J5Ix~3N ȥé #u&nY8 ِإC9**{?29 R7l*zA@<򹀷;Q=O [nYrSacpmju[{J$`[vGcvۿ'y](F'(9Qq`IhxC4{V`liN(-LDh=1qAsތyPE[[&Rw"F z;YVQW{۽tJ%%I8?f O s`ϹOmd_CGKuIws=cZwƭb}&Tzn2d+;yHJ"_8<#+}"lxE$%Y\$c\g <Uˁ^樆7 kecd6d L{{xZ#+%-h5 {"8 :4&㜺k< {t!q,4+g(CnګI;zfq܆KޱĴn^9]AyD^ jZG)Bק6E ; ҟ4k0lS:Rlop>͎-˵ˀr ğVgiˁmU'Zn+}/ E29-j|U 1hgZ>MM _MEB3L IpNvJkÂݿyw5T'lmײi񆜽ƿ|ݰ ǻ0Ɔ6š%7xZ>DL3.Ծ-Kcב@w.XpimzJ"8pL~J9ᜯ ?',q^EI"{2a B1GK&T!/7wp8020\T&Ye q{[ȗj'w4n[fnK~\w+MvUSH ÖG} ]R]fvxJ. )ex?[EԋɵgʶOfY&}=ܼʍ!5PZ(ٙvg66 sǗ,}:s-Jd=Xs   *XJ;?\U GQԗi)PYTFQF'eB e<)ϥڒ#5$X"ԜuFK)3T" mpO݅d:v{M}-. u8MܡbFp܂^ي>0"%4~F]}[=֚bUdJrЬs}"&`fYS;S'l6yQznH1m*ssKAIhbe-6^.ѓB|@"%beM[[:{Vo'?L3ڧ/4S7[^B`$!- +K6P ,&7;9:t#\8Kw|ApBح7䬳Bɑimt]Ev-Nߞ/ *s箘m2ŬāEiˏw{r) jBnE{$2썚+mm!|4 GO_^,+II@0@i.{G 1L7Ԅnwݦ1EkفML^Ǣ1rAt*iebh>h>BwA&=TAfˎVwddMXszr(ɜ7 7d6f:Ybj9ؚѴ6򗙠39ꔥkS`&?S<Gٛ7jP%&{#.^sC XD~~_7x9_ RG;< f9#B:vKy3 QWZi DĘMi5I?#{Y_+)FGTm#/.u_VUB%p>jCb< k&c|BI: 0AaCj]]fmFh$ CQ]ûlt)P:IHTZ)C`Y"Ho^2^|;f5<[z m'v LWu:fu=0_:Bo`T[nT\EZ3y(It^ 1v3p'.^u;: |ĸC.\5-4xQ0Y[u՗O-eߧ{-}μkus=zƚ{̃ŭ#ӭ[-^,dNK2\L%\XuFn.Ε"j :vv`6JJח`|t-Hv©?xkʁ*i(ɒ;>2H#'")h"bB]=418{%f^6p}o%,GQ9e/l1$x tԬZqeR d0"QS7 Fs FjrL+q 4F]iU:w\s^ԢCAb΃ 8 CC9* 9GU$({x3<;d H-Ф Kr6PNh͂m|Eȁs('KG;$P%UJKzFQ< %s+Z `0x,dNk#yOM1'3UUa3J3wlj*^\XTIJyc{I#7-}_0"1E*]XOy*X`L)%1Hp$a*T463~EB>tļ˃wLAuX@喔/ӄbG ::/!p '`W3@3`F4L@SD6VXTω! LV]TW4Ȁ\N-G[z xNP.OL~JF>pcj YGOy# ֳ {KdMjg2h8zKsEk{j91LHS(~;RB+‹(Z_.GWڶ*:9gGq͜8q5x&k9Yt$hbwgsZa(\'!&ݗuŐG 5Ծlԑh?:QMm: >F; K?uiQtM$-H7TkcG{?r648vdޓuXpkH4- ,+ei&\Jl³ɐ);xk~7ϋ0ͨjg|lj&C^C1d/!ZymQgٓ L@ϡ&c֧ams(zNrκ{Tl@ADevBLk v#Õ2+Q2['oď;=Pm'"t!4;l?2t+;ƣ@nKut5<,'s0%ʛ$f}bVB7b릗EqBC)2QWJ(A:ɝmAQ`sЃZ>\}os0?&ϵtL9 C=̜,\;zIruЖF5V'_{MYޡ Jؓ3/f%=KEfM/Irg٭h9&Q8vtZ FF2!=XŇ{YJ m$\¨ %F=I_i;_e+7`p8aoƻ_f7Sn!t-+ҠƇ@,S wzfcڠ