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 ]]iD#Gj3ڄ4Y($97ԝ}'<&C->$+ MfPj>ªrCCYTc<_lߨ4 7v*n!j%B[\لL jirhddł!N.R꠰V k~>w3*McqC_wWtffJ_Bk<\e[>>3 Gs9?,ea|ĸA}fRgdJ,U?sGhJ(~a%V/[7V.i@|D; E~*5޵{v'OmpU娇4]ML9؄Fr4޲J{=G x?pt,Qd򱺪llyA,!w2:C:fsFXY=G<&::ф[S>9S[p,hd_T,/Z#^MPv̘i)Dt1>9w[EgOrN.; z5H}kV/oa*7\?#wryvg+b4>8C#j74X ٻm ##E{ޣx+2[>vi~qM ?[Mrbũ@VZKIQpo?ce,!ĢA'?Hªuf v:1=Bvt :\صj7- HAK3 pHXH}CN _%y3TWLZ^if~{uM$ w!yi&?Z}IC4KgpQ[辇xΨq e+5*s?6`pƛ 0gPcVҒA~_m ضy83H QDʼnхl9r(VICALu1Ⱦ!RfV[!$ivUc'@(60 y2E&H@^l &^j%OFֻC! *+ÎsGfHrte7/$vVT i='P v]k }|1(w#vOyWLZ<9Be neNѣ7D&!Ì4"w2@Bjw|skͶ1X"v7! z#(j{0_JY,!ݬkoonY.{@{lc47DZI\PzMtꐔ_nDuۏAl$- SĶAKz.YV98zhVH'@9;Y58DIeW6b7W4 )P ?{ L7.noϺ i D02z'?=O$΄f<- r~"I*G5O0B! ]UP#vCз]p֞.02ͦMQu&9AT"l9NpTUv Őܥhc0ޫiu颗8}# i %>RvHorD﵃s-y <x)N r s$~Idr<~qQdOJ\d7_5|0L%"' 9ΰY/鞏A|:`[PLƊv #X"#l {F}’s;Lx%7)R<1kIh*v &[ޚAx*q9:Z3~G|+晈}lH/pgc8fɫwW! K)҅FqUKQp:$L1HLeͫImWLFTv0žjf9-Mˎ{ l.b'|@ r~,\S'XL MM-?P&0^-ZL25dtcvAԷ;\VfQOs'Ԕn!ڱTh _> 2WeDUe,Do%SXy0@1Zk|^ ֈ8M8u*)0ӆuVc䴤Nw;+=oJqulby # zj& Ցs滵zt܌ ?t7_4!Zt[k䆉?/p|OJL>{┲skQ@^w ׭[Wh}&<*uA3+"ӆ6"Wܟ-WF93y`~Z!M:?O/ii)^rϯsR~3m:7T+ Xw(]CoJFT$MT2@M4H 1țI%녋}^9AK̻בcBQwc}πnΛjbAz;/ 89d=Q^ F ZO`X(5v0֕Ȱ1QL1a=ImY|TbAė4vX*g HD~u)VMp8$ɑXWGR6! uohMwU Q_ʥ-Э֜³>lR):i0]\2e 7@tb f7zgIP'fc$\V#n8ܩC6n:Ęřr8RR8’Nc%&+t|xR.PT-H?A jj+p9YmGB"6<=':Zғe{gbf1Q12s%_='KnHDatz~w$ܙƤWNl"X{ ;liZG0g0xϳql+T!3Jub%4K!k]ɓڬ~Q$peե ?+<9stE:_kKؽV,J짫rO2"mF[`n0f߫Gd;(zcsv o g{xA¿0y"$^6(@}2p>TS2qUL@\:KӼ$>mB냕Rb Q&x?6>PAXx@z.0J֙[(H8v_8w,uY2릕9z ޻'7,YpiΫ g9Abr\.}@rɐas89`@?97 n [PB|[ڰ7A0"zofxrj*EwIT&\B\ \K5[d FĿSRw8tJ"2JW/D0eP6WrsLSluۤ }ZɆSKPxerlwO "NXLY Ė fvBlr\vfpdZ++c})(Z'JN9] }ɳE_"J`e}+]Bߐra+tRD㱶@IC"d3j`zyS  Y+ۘ">D\QR\2lP4b,5a&8^ڱBcJumTPV! N5%W}sŽ سTQbIџ-]Jhj,A9ѻz2>GMvKKYLT%tuس!9 Un⻿z&iɑQO?eiIY|5G{ͳƚ# (؂5::i:i xoΛ7s(n4mU6C݆1an0M4Obwo',ll,ۍ KRz 2_㤡{]OS*Z_oCBB\hP zY=4Z$K)?мYq@E+TӬ\>t<N'MH9.dDz3w{]9H"遝I-^[/܂UTUߵmx$f޿+VEUŘӐ/.O/\ƛK?H#v*&p{CNjBI\/w@/'yeeAQ}$RYI.5Sơ(K3o$L~ś\;Cȑ1HTa~yO5a]SNJ#w'։XQ$,X1EVU#Cbz7L>=Η;/ >fsWKHpDɮo  " (GUvv7Yϼ5bBӒ{% 1i?r,_ pܾ)xKܛ[<{|P$#E9]Yf,l@ "]q't#J 1")V8`8vxA̞KGXWˏϣx.2dw)D&>_&K&N+&%X\Vz"԰7bh/…?,fwa_7(n/܅JeSb'qu Yv=cJ?PfJݍP &ֿ~߸oV C3ecs%cfvgkb|SU{Hvw@TH@|NaRrĉY Dm%8yq2Jj0:^^mqKp д~ZuK(g 1؎܇>gW-CUHvCrO.=gKů 8/תw LRnƹ9Žc~XR)WvoHUy4qÚlATT!6{1N>KRbK`s$~> WmJf(>>BX\ɦn j^Y%}ץCuP8_  j4F'am~,ӻyK (T|jrRd_Z輸+.IB+~A B[撇PQm-Ke')W+8K k%9?^T{&ӤWEGS]aGyMfFEo!w7V-8k6PD,9rn'zǻ ٧2C 3. < ) :x,;Ag7k/?HntkTr#=SuzF3ŭzr" u@Tx^TB`"~i/bև-i7)55:qbkvC0gm@D D8{:e> )T8@?Sg)oi׺I!|C̆\:<+Ceb?t`$bJmbE +S(CMc0"wouI 2 r8DHLuf~3sqKCxZURvG/=WNި)(б9|W4P\B/>r+ֱnz?GLbϞ{b٨^(F5( 0y"t3E#CTe}+:oiKS&$ͅ4 |vRrSStn~%?}L>.'[ъLs}~q8/$,I+&Djymg|`z4q$ϞQ(<sB5+kZl#?m}3q  2=^,̼x$chh -i]*'S9wzLځEì%B %Hyv 7S?7a}̄0I-G~74(M" YX@n"="hr9lB xg=6X [w8 xZS.UBPWr@g:<3.ME{4TPOv ~b[Pv1 ?S(Ğ 8kR4ꊛe@8UVۖnkރζ\`ȲC) H D#1躞|V9]%Iǒ_:+^0>{!k;ftH}Ewl#6*?iOG 7d7intN-kV<:}.*,؇3,FRTa14Wn"@vgpgSa;b-٩9bǢWh],YP|d@휊|=J[-]*YɧbVg-7t$#\uW7L}wO)<6X\5)x͚i33;,e7euB13$N81toV c)NtJڒ8z[pc@k!BK(\84qNǓЖ[UcJ$LwYlqa?X\pLv7M[g -ֆ窧9AN|Zl(O+ldqy]%9ղrf+(^JL| .M+FTxXЏCsHp0|4'Wuoz=8j-x0M矏Ǣ-^Ɔ.UxAbr,NiVLeP@m╲o"OCFyUpAh^`ˍgLP @&){e gt2 'j !SF(&O r iTrOU~HݟUȬym-ҧ~=V܅x_6~:n|ڭӲ5KZA.^`rmq({<_(4+f4~3r+".Fe?ΦbEe^sQ\ ͍~YiQ59BGy8^0'*]$iv{3-iS2)9;`"y6x7`tkQ⮢kȏD̻e8 [ i:S vF^BOsLw/0 IQǞ*q! Fj}ߖ.!̰֯Vvե~7a>)P.˞!L+k;q(W`4K(?Ўъ\%k/Iq#IU:;P?ܑ;ɝo+q5sk[qa-[Qx32%j.ոGoyonAR*gȚOV4nNzfAm3 dKF@NJO'"9%= "k;z:a7GYl;Y'(iDԽݘqSU1ح {o{%k*7|!,K=<ӪXNmxCnb6ˇU]5ǠrQeza밫?Q#H39Ҭ..6*(ADoE>&Joߩ4C:2{t)^ZR!?m(K[xO} ~8X]`x~)TNoHMz\)@hg3 6/8Kl }2onx[80QeX=WIx!ndjChؿWcG!c'dŵQuȾMpu2c\g2֧*S:yeyhI_QXң9K3(-"VϰE vnYzU7>4tyq'1j-cB vç/&zxWm OZ^mCut i'J4ѯa&,X*n W@jyE1c&w(`yncFvu `}H0;X#+% uIiVFvQ1Spu(WkC;ddu#FNF1T#_8 muKMXHg[w5ɮ Ďg=յx]ɗ/1盛~ikX]M>}rvf_nX^RjGK+w`]5 vdB>׵ϡ$4fi*3gJ?u`{@g$"‘V{2Z=U-3bZhf l* 2 z+k4 dy%臭E*y'f: ~9 ,B 3!Zޣچ!؟&WA 0Tב|-t[$x)<Ê~&>$}'\ղu.5ç~FpGAïyKzl)Y)QxUD21/F[,V]<+jo71ufe]~\]}; l\1S+g/1e.{'ּ:prE A>rMGkg? u.ZB=t>d*)!ւ Q5pm 4ݧvvn=Ry+ WV UG4rRɗ^ڍ+Zb^ZaY֛D[)"[xB(Fб>HlHL Lhxއƺ9j%kR ö4!zL 8NmyHyJ/)obN[|9 ۴Z6C#ۨ|)yM}/ViMbO;=89{py āx^ pe-PJ=88@,r.Ffl%؃>hܥ"uub",b#`Gۊ2q4oO0d] ӴД E*g:>e#7i*"\'0X IcRC*K_5Mr!;Z|/TnEc9-MBH+{/P/=b'2?rTP2PiJmnnԧ( Wᨹj]F?;"NgLaB&Jlf.ip, <|L -GaM:RT+LGZk>nMD}DE9v6"E )1~*߅R+pfZBE-?K[ӓ y|n+{Hk %U\6޳)L\*TaO֒k\cWp4@Js'%h:eeY_]5K$ݵ' _[F S.?Q'!o3pn';דMt_:n韧Cd⬚߀L{qv*VIG/Jj+*;;Xu7ހ$]; m;0"`]]LVs_۬iُO)tz1 %X{x@󥶢 !|qHG J0|znD)*\Nkbˌm) kEby}+eJfiDzcHzu7)juO!yv:vCaسڎГ#,)}%˚L (in9tƑҠ.Pʤ{pC CCbPC'%\7~AE>j