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 ((I#$lT ]S List_Update:threads=2elapsed=119.515cpu=206.300gc=9.828factor=1.737zXZִF! j K]ŗXf1-/6vRZږeh1Բ Eص8(lT8&Q7XWL0HïXW_Wj;+ {ךlP zugb(? ajO׈mrKӯDΡrw^t@Q'u"ȥWjT0Ru6)3 +ͨR[Q>6&k sGd8MD`@ yBoE XLvs3S孊 V)0xc!CSÞ1J'MVa!N,0#sȺz79„Qy&`X(!=xd3Hz99Ȱ=VDY79<ʹQAn=w><)Xqj8b+/[qI-@R 톱<#jz,=\_mkk5NղtaGu5n2k;} q:WNղI?*uO51ظe m~5zZLǗXhX .7`Q1/O"*LmC)W.( >J|hYxoVk){Pv{U'^X}J`A*9H>qo> B Aҩ#3]vNs6)M|Z\3eXeYQ-pse׿:-V4hqw.G<OC.:.F3ۯ~#Ȁzfj GqՏNQF4&>iXF@do}+UM/:`!#gql},-R$"6ū=5 ș%e(ŔpszÐI|ʃ"#mčQ ʏY:Qd\[A;H|֬x#X"{Sz-sl4#|gbsħʿ/ۼ-pr󱻵MfUzZNxw ?zj8a(6 L>E[]0?gov021IšӏCXŨ^n>|y?1{E&Otg#a)o}/'DHzJ UL[&٣]'BE#3ͪK/Krq ÁEaAa$)'Op7E{J!|57ޕ 5Y<ӎq0x`ji|_~ z!^zgإ=4F1z퇦a3UJ |(1@N3/Q0Rc=o=ΤB!t -)._)¨ՆJqPG l ?hA2e˅0LXOndoSd2| EAPmIB:_B%ӊ[pU?`HpXK-lwtkm"y)+.RжS'<٥ 5Yݺk$1Yʜ > O\;<ʞ)ITg # List_Updatets`՜ԶoFKS'+L2S yO^.?Um v^ {5{&mCrO$ RDg4Nv_ܽ ρz쑯r&c(ʾ {V/rY!ߵnBlIzs^0_B@  H_(`Zܠn qgoXeU»\B F3Е̎bTd_0rs1c ElqiOeF]QCpAլZ^_v0$joo2pSnjpp7mZ$hB)PѠ3z3iMxTkJ-}L&K _;7Jҋd@HJśRLz&H#fov`KNW" Cԍ'W )4mBR,}+U\˛l,B|S܉1;\[T2C<OO (I E]Cǣ4mސPJ*DiEKW{Itu!0qIC;N< kkA-c [>zfb}:5(Ā 6N~x3kرq`oD|kιLktQ0 0¥gZRu/ʠ|{1dD,fƦ gYZ7zXZִF!  -]ŗXiɟ1˦rXs=>HXU0Q-/ri@#\KrxxDV0;8p1}wRn7[T 0<mcNAͳwHK?eP msT(28>~zTJHԔa=9o b5E=zɞ[yVV瞷h3R?TK0wkț+iw ] ɺqD@ckn bmficN#<<~OV}Mf*E!IsGQl'tmd$2gZ=ŅnZ=\9h1gjޡ 'zB :.>WؠG í<_Oz8[zlCi CшX n{gYZ7zXZִF! Pb]ŗXi%92v=(p.<@5FlzjR~Қt8k5B5Z~~%vʆߓ}0)ܞj\'taw|t8;V=x:6…7?ϷDF: 'Svj\bo'*=e"N;%)SQhIب)"`A"E|f_v4P8mG3mL^HwTn#dgbZLf-Ǭ23L@1 djuyblw{h7iǸ~QNbWΐVy*$م>7JkɤK^-GWc4aʉ7)~~d~ Y>!XӇcIjLxW91R9Y0/ïp) NQ8@ǵ~1PT1CanzbP516*A,10su^5VZ<|Ե-di@ϧ  sa̕l۱"wA>K;e4Nĕgp^yʛYf2 $U_z !yj6R 'Aj)8N̴/ 9F;-qaZLަ6ޑ叡h@D(1*EEzfkcuebmx _xccFuG~88\YkI՞ϓׄXֻ;ڹMsX ҢE3Fh5A# Y}~S,vٵTq_/1NLdY$sS")ryΜs)㠥|j&-9u;&dҏ$Pp5vn^k|\Ϝ_+4:/Oգ/1)N 5*86RZWM^osfiaWm[^/çr0  ׄV.ro2`H̽\djHBu;} 2BYqٯl9v9c$NG9@9~{7{= b 7k+d,/6q-ʎ׼@7??/o쏓-t0=hU HcZuRHbAG'b*0 -{559hđBxz X[裙/FZJ]=g9Վp Q֎RJ'3 '6%f׶I !DsxS}]6.GU8e!pc'0 ^Ή4t U?+=wV&rx#@Jd WB2(}`]l)ؑx@h)**(ۏjeHyF٠u<_8U=9\nS+hD߼Or\Aˮ.%:4WVʲ^nYF<&EJVGˣ'Iߠ'KPeA8q~hJ ~3j)h;tN.9G3 Rqt={ ;_lܬmUZ7U6LUݹЌDHqWQCjHF` lCk[$^eq0J;Os)l@-Yyaþz-c6~JJ2z#T|ձ익NVߞζULyH,84A3C~M C=&Cp,ᾐg!ǿG`.nsf=y97z)Ve\h* ʵ @ÐH" [(rTnt˵o0@#֪sbVkL>_dib󢸆AK&/֦Ċӊ.ih|[FS:6 Ccn(Yq2h+?rۂͻ2E8zEywazk eAj]Wmo eWvc aת&Laː}`Sg7 rE-MT2{В$>Hk>{ҏ!#Gފ]cqBd|1S!".,):CZX=q6Ժ@U+WA) A Z n!h^M Cv]cӱޭ3 W/֬cɿ[?쇝&E1[_"<6i\f7ј !đ$p!\cI7Zg*ҡ%Ɯ;1l.$DβufG=a]͓.Th plp*7C> gS|o˒3Q, ͬ'lV<(6K2;Mr T[5P ?՞![jE7YyE$iTgJt0|a! 5tr6ф%=е/ٹL"`6 1ۗ7b8( 72)z~-D)y;xq ~;eN{]8 ƚg)mc?wӎlv"b{p;}_ #jPB7˫T㬰w~C4>^3{e6[wĹM-y"8R\Er,f.ĘA=qd9["; okI ͙ ̏$o= : ]`N:܈@ZyG3"%C SJCD^FdwRf:1r39`$Gb?jXQwBS<3%zu͍3Rt!5J@ng;QP QDg]H툨Lß]pevx_l|k{WL+m!a ӣ5VxLjYvgˠ(צqBeP k5|v^ #Jqq(|I흻eѨvs#+dJ>m8|>>p`/T2lt~aA,"JL`>3W"NuNȔ.͇ILLFwX1Fj2 ,Ouv׾Gcno_4윜l5owk^)}h+Z0/+Ϙ][d& LL 5eq㽠9VLoeL/<t7_kr?5-ѯ=<oJjZj))*=.%izeT\e'%u+lOg9w~#@PYRfW}%uI3DNAB,J 2*N߉E ,x؝%XBCrtm3 w1ѧH GbʚaH R:ԍ%um%bCV~RVNjCa ݖBE.ɑZU 7~hF1Hzzqfq# #%@ ࠟqF1Kڶ~p%&![T@&mX̠d+#(6&% 4UQd1r'd(0EJ%bs579n=)'(н͈9mXTi[/pK b4 cJ64[xGvv)G=K\_MiJZ8lB!iWYM5F1B7̼ >;1HRZWkID_,U MaÏ?='d#cƮX x&J~!#B4+gEɅ,<ٱ4Y:s"xsZqm>_]`~?4SI' :!d*oe|l[fknNcTST(xé͋k&8(]YOHLY?t$q\KsĪB;ij[RA#1՚Qp^Ogs%O}ϒiU$*bYZ#G*׵&0ՆSl`4 Iv9Kw *E%"Kꢻ>a6B IN1!VLI6lLQ,2սQ9Βjo31(Vқ)%:Kq͊+[Y"8qAh .[222p|lJI-Qs@LMvW5GO6]sIbDC} 6S1:rq [-+@ƽZ.`&{/{ER (h3Ǵf9Qؒy7ۊUlƠvqd.(_TyzHW§ւ2|*f hWx+N>S`@,$b%׎(m oΗ1+jfWpT8v?/% 3>)x:qHxT3Nƿ^T9yYtOڑ!J sضqed@}(Qd$[v]_'oDmSWmf[DS1: nj||mNtr3z' [R; j duJ[9P"{'՚>0sTRXv&q½߅*%12&CYӵ~_{p=ڀL4xefx_9kW` ]pđ9;1|# vB%6I̪R2F;e( rm(nv%Z)}y" ۵$g/ͳ; q;u?V˭&K툖h~Ғ7Jdz,M 'Db+{rn?\W0J9iY|{ ¡Q-0w*CܚPIǤ*tk-_"֑W仔1\kgKd'ie28Ph1ĚduRcEWv4Χ B\OMj;.B7Şޫ}#)ԌBzm=Ӎ6d8NRUI㎳%w%4tdu"d`VN%j=]Dw,N`pD k+ E eQ b$7 âg&?k!CD`eՔ{ꦨDѓ#:4jB f9ARƂ1F`˞ꥇ#F$:<9J*z o YRfcC~QPlf4P &;bX ǭL]3TqzGN,S/ 4 ޘf