SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  | |p 4 ]/]HOL-TLA:threads=4elapsed=2.991cpu=3.788gc=0.0007zXZִF! M]ŗXiɟ1zV=5_8f\r+{Q߇̓%r+0fB;^eㅇ'&wpFˇZ5DRO4SKOFKaW?N& 0>VʱgYZ7zXZִF! \]ŗXi%D8W4G9ؑRƨ[3])f&*eв7=P"S$CF`dl/~bn:$^zja}>jwvX/matDotvT=iX <͈Fp6 C7~0Y~9 0"[|CҥQHG#{sσJ{-zkdG-F*׾ մ` 8"ZѨ|VV0w_RNzoZqI.}"E/C0zCr` >(aZAe,f!&rrEDi`gCؙ  *('"~'sgQ ~}4q{VP#~PO*V0U$뵈*02eO=Е'' +(SzZ1.rQƢG.1*R”x>/}ZHݒC!n6|\`)"? 8LB.B=th@CF3W#mYۦ{aR%2>14 FZ|pW2T-8X}?ͥdz!bWkDd7ұOkHO:]FZ#:h츥/?±$2Axuk5b90:5LJ0@A `^\^db zT9`]y3 DE4D[+T;Dg {_f,A,5HR83 ,0TB{𸉟lS=EئJ^}9$ÃY!f[L;.VYog83*Wćti;9NWȇϤ ;#(ow>O !$.zW\9w n_C3ٮIG~O) }kB|'{326nT3A"ԪT ]>0mpn@+,iP5%Nr_2 @uC+v)d+qJGԳM!R'a"2 o^|f4c&^كۗ-[: ,"W?E)`wfg%ahVSn˞o5n,VL qqůUX#pRxřWyAF)К,+i!qn,{Ӏ=+ *6þ hkI;8ephQy[J-4Dh9ד\m$k7*vV(ȑm4 [^SzˎR˨YTdEh5U[<˫aaԄٌvTumЄiW7y^a ͑iJQB%8<>Ie]hl(]“Y,ĒBk UKa w-E sKHjk!ltd"+C1 4uH/SLi9cpOfp:^pBj@*y{ss(̪R 2%e$}@9n*Yz@?aOމӅPzGhqO% 1IرJ"(a,e{ZO#k"ҵ@d|SE7T<AL4MzB|*BuN/"ݍxMg0~WǮ9NqtKAXg )cCZ9/pGض;3yvfaCJɟb.0Vv%$zÿ">fw?p@c8.=*e޷b=1T^=A"Vz5T0BQ'o"<58j1}yD 򂻌;eG g p叐Ǣ J[׉FʼISA6t3*ohl}d7!N9tVFރ{ZfZ7^4w/;iv~7v6oaꍧi6ض 皴yϿ x'ˉ™oDfqZN^m`Kw\b3x 3>N%ܗܒFvʇy|R6 n;B68[1ZW,av qOgYZ )% THOL-TLAHOL-TLA.Actiondocument.tex7zXZִF! I]A-MՋhvG"uIBm5yB?5:Eеdy,m|cfP#G > l]lg\AK`5˙rM o"%2:tJL:BApT79 /cV!A-'yĈR_|0g1zDZ4-pF"TTdoe 5+bY+(]\,^Ud8I|zsv pA3&-I+}r͵n;tgLn lderbԨOrI l8r^ap[r dJFPD0)+ y՞6Ge xd S~(>$keFyX1s14_?+Wk(XyDBW=.F r%O\/jh_ּ8DOE78?PbNAb</sRºV6&4MІ?EFKOLԹ,az ~PSظe<k]@DZR3(m|^_c ]e u:q[䎦Hy`[c4OIIiMȄC+LՄ\؝[ӗܧYTmem$h!UYz=OCmXFiS-=?Jvǚ_2k#$` kxkZRs-XO"[St zwrd_E ?+q&&|V3b\Ǭ kwBg_v[RLPyĒnzDtYJ6ܒ POǭ<^ nZT=O?T^|zMb''0T|cNO"7z83] =-G!l%LJե> :_:$#%HOL-TLAHOL-TLA.TLAdocument.tex,3%HOL-TLAHOL-TLA.Intensionaldocument.tex&'%HOL-TLAHOL-TLA.Stfundocument.tex%%%HOL-TLAHOL-TLA.Initdocument.tex&)% HOL-TLAHOL-TLA.Actiondocument.tex78UkU{r+Kuh ,N5zW? usY1;BͼݰM+^?O1}P?W&fN!^cˣ R\':lK"CX>o!+uo4KeG:BLUCHGbO{l;1Aߐ>1؆=sZ((YiқfFIr XGeA@LQqJ%ln,gFPm(?yOY ͅ8 Qnƣ!U gCMM( '{,2^\G᪵EpjGØ!K|1C\'KR\!LI𞄀}jx/D]q %_(׶9%~P*\ ,=j[YcF"/w||K d14q5ăyLTEOA'Ov`4@(ø J=nu{!> bj,yMܥVA_-Z7;}k#.q]yT{>{gettBn`A.^yPTvT߫y1[kAiY>:5~O:#̮JoQ97h Xn]Y yyC& 8 UU؂]әG`y7oT> 5ԑUA>yrNNm0.4/EK{Z&nSum׿5p("ϑ]]AX)bu푀Sg 9ܧȼN|{& _[sG rͩ#ɊRTʒώE#Yz|l1[G %˳ Z|@(pdjM%>eA S(~NϟZ>f7 )#%Gr6jbZ:  .G,j%?Z5i10>"[E6*IQ32+jlYeyEw7" : NV |36l c:=¥_(z3eZe#t¨AXkO5I4P:m=RsP4Т)rVХ5-WB'"(תĽ J$hC,5}fI! d͙Q!ŬQQMh+gvb PL,$:j &*YiM]jYƖAT1RwU"~24p^ruQ{Q7oF1Y<Xέ|Ig #7~Xv)1y5Mk`ހfކ<C&LNno$~HL'1^1DaHupRy8X+BA2_zE $7{b?Q 0҄^_sc5%$9=׾8V4!f^C0Q/n%,։&l3,QgNHQoyRD3^D[+l2=bδygjH0Jw?'-h1PP]e56b^hwhbAC&Or_I)\?/@AxK\: G5nUCx>Bt-E e8ZdNJ-{8 X .LR01?Q֓\&Y8㊠,]Wa]%+LidJ*¿I?JIr ԩx0}+'a(,tÒs"~`EO X6:Օl|T#fTlm=/fu}v5= dU?%Q #2:cr@ҫc c|FǶ xh@hwTE2k0áގNu@j lT l9TY Q$1$=ACb Z偺js bC' lO2^{ɥ^㠆..?v㺼]w r1zNĀk(X#@XmW [WNB 0b@-y=ͼn ;eEɑxc "'Oax@m>j$,9H bTGN2Eq䗪:7+W2n'.NIbq=R4&ߏ&tR{8K)l?$ 23[!"| mUH9P8$Q'[J D/(4M5+HCWw^C\0ZQΒ!DCY70!Xtbug#r _a< ]Oy{MD k9 ?P|9|fV*]dKffů V 6vNfN?gEx.(4 |kxw=f{*0\``vNMg-R)=eRt C s{X뻤(4eB;Y7>eޗkXhW ' V*Xe~Fi<= QEeLHPFxLE,e,Xa5CMϮBɕͰ{|wiϲ3wnKO<6I8Nz~!aNr'Jc!ketF eT\eRWz+"W@C! H6t(Q "9AR"AS=HZrag O{F铱++>Nʆc* : Qު#SH}TJLrJ(^ e I%Еۊp$G=7~(ƶ46YmmƑ/gZunkX[c2^^b, ;TGn(*doHPk/'"'NڭؘdsGXp'ʌ,9ځgYZ * *;%% 4HOL-TLAHOL-TLA.Initdocument.tex7zXZִF! 8S]A-MՋhvG"uIBm5ɳGz9.I76hɵc%bht%QZU4\l"Ur۩hx"BsRy- #ޯ'R L57EP(ʓ:2_CӥcXcPVϡCQ'D"+Z$qJw#?T-,M>f,A,5HR83 ,0TB{𸉟lS=EئJ^}9$ÃY!f[L;.VYog83*Wćti;9NWȇϤ ;#(ow>O !$.zW\9w n_C3ٮIG~O) }kB|'{326nT3A"ԪT ]>0mpn@+,iP5%Nr_2 @uC+v)d+qJGԳM!R'a"2 o^|f4c&^كۗ-[: ,"W?E)`wfg%ahVSn˞o5n,VL qqůUX#pRxřWyAF)К,+i!qn,{Ӏ=+ *6þ hkI;8ephQy[J-4Dh9ד\m$k7*vV(ȑm4 [^SzˎR˨YTdEh5U[<˫aaԄٌvTumЄiW7y^a ͑iJQB%8<>Ie]hl(]“Y,ĒBk UKa w-E sKHjk!ltd"+C1 4uH/SLi9cpOfp:^pBj@*y{ss(̪R 2%e$}@9n*Yz@?aOމӅPzGhqO% 1IرJ"(a,e{ZO#k"ҵ@d|SE7T<AL4MzB|*BuN/"ݍxMg0~WǮ9NqtKAXg )cCZ9/pGض;3yvfaCJɟb.0Vv%$zÿ">fw?p@c8.=*e޷b=1T^=A"Vz5T0BQ'o"<58j1}yD 򂻌;eG g p叐Ǣ J[׉FʼISA6t3*ohl}d7!N9tVFރ{ZfZ7^4w/;iv~7v6oaꍧi6ض 皴yϿ x'ˉ™oDfqZN^m`Kw\b3x 3>N%ܗܒFvʇy|R6 n;B68[1ZW,av qOgYZ )% THOL-TLAHOL-TLA.Actiondocument.tex7zXZִF! I]A-MՋhvG"uIBm5yB?5:Eеdy,m|cfP#G > l]lg\AK`5˙rM o"%2:tJL:BApT79 /cV!A-'yĈR_|0g1zDZ4-pF"TTdoe 5+bY+(]\,^Ud8I|zsv pA3&-I+}r͵n;tgLn lderbԨOrI l8r^ap[r dJFPD0)+ y՞6Ge xd S~(>$keFyX1s14_?+Wk(XyDBW=.F r%O\/jh_ּ8DOE78?PbNAb</sRºV6&4MІ?EFKOLԹ,az ~PSظe<k]@DZR3(m|^_c ]e u:q[䎦Hy`[c4OIIiMȄC+LՄ\؝[ӗܧYTmem$h!UYz=OCmXFiS-=?Jvǚ_2k#$` kxkZRs-XO"[St zwrd_E ?+q&&|V3b\Ǭ kwBg_v[RLPyĒnzDtYJ6ܒ POǭ<^ nZT=O?T^|zMb''0T|cNO"7z83] =-G!l%LJե>c ~ $ $j3% HOL-TLAHOL-TLA.Intensionaldocument.tex7zXZִF! y]A-MՋhvG"uIBm59Fg""pIL \S% .ەO&avq{SoM]*U[|ڸlctڦOrz售#16Z]`6XKkgJ5(ǾZ:UsIpSUDĵ<Ֆ l#7>k VO% N!7VqTV##y`Ʒ^1.\G88ikȩ.mg=˕KxY  }8=aɷnRTt?ȭ@0911^~}ţ)V߬l "م͔N q~ˎHw><*W"ϽDmh O`=49KF.|j4)QE ZoXH\oP_Ѧu~ R8}EV$'kWk;Ðe,pa{<nfQo xą C݆3nY 1c0i}:|'FOyBlۥ|p|A1 (%Ndl}{X=r-!P (h%ܽ2T\ޗ+>2 y"taʼn٩i|gr)sO[_ *f+ث N,RQLl0Wz'#.08e&F;!Ըw lj,Ld~ S-MڝrRh>rۼpk0Z$M;׭|ҷ dOy=cs4KcR׮T%U*W-Q>i )6Еl{dB9DA-x<TtC|UZNƳ$%n/X/ Z(Q9dFY[+\X(͹E;}>/| ǪNkⷢ`ƶy7[K%E˺-bA/f*#HC*>lD;uf/g\>ca]D;< C4A,`_Hإh=7Phc.a}ީ|[6D2pFd;#9ܢnZ` d'% HOL-TLAHOL-TLA.Stfundocument.tex7zXZִF! 1|]A-MՋhvG"uIBm5ȩFKDI29Qw\վ ^|-%ް[nw _Y*┫0,3^J#sĥ9#pӟHIcO)t$nquil3g:t&q}%Ze-{K_Hw UgIe{pZiO:ԯ1u%[ t!z^20492y2KjP^][1>]qT"'77@_pttݓQ%wf 2F _tTR0TzY Td7?BSlά|?r$Eǹ~ƒbr5M_P6LÎDcxZ@ٌJ{Ba}kP^wrt;ʩ9g!oH"\ t\ @eXg*U* QG6RފSU |V>bĒYG|*Al%!?{EWDYڔD|K X;=("}om'GAK&ZYܬ<ٙ BNH?ϼk^ָf0,cQ7 뮚3{5(N*( Wd zzǤ'B, 'wC:s d*bXW6d.wY<<}g{4u)-P{7nhsb]_ݛ3MZtTjs3OLVk5]is`^jyEnF/{Lbf_osU 9DeN4x$H}IYPTK`<9pVȼ|i wx[ rf2S BiV-X' :5? >,[[ ˜<-'7;vlW|&*c)%犫 7NfJ}x4v WǜeL?r&5HaxpɎ=CIc!57-X L%럭d%k<_ &T9S,B]ɥSn#"e?H-%,:DCgƤ0L"UCȎz(Y#U*֥P5E5ѧR@quv, 9}P"GUG6L7d͌N6&F]!tm?WwF`(F{hs߷>OhI¤RR9JM&/0pov)lSb:,)&7 +^=\ c0gYZA m[">Y>?eƻ<ռbx99 YYFy'gn"o4g%Po.7e3.[NgbTKAX Y$Z c$n-r&T.'SړN)oWvy), C516OWNr^ȳoHkTm1T8hN'vRc^S`OieUF~/S)X1A 3化Bf, D$CD+<64jʯrUNl}~1yhFv+_Ɓ%uaҞ*T V"ZX;a cV&yP'nxGNoD8ICSߤLȚ|$W6\wl k>ev&&ӿ2uJWap->F*0-$Xi^P)4~J=*L9m!RLC!%mU>T5UjPQ& } DÙTVCa鑈p Z_h;Ѭj㝾 #EIww[t醣?f(*yÕ|Of;<p(9Pj%V?ZhBOeKq-T3ȠTG^n$9eގY'CCGСum+6.CC^&U>Of̎9cԮ/9߃|=jı18Lݝ#!a LW<ПCEi =&64}ʥFKhp\~(׆q_ `=}a' ,. 4ny_2{8#@tK+81/}:]:LR%B%o7jbAW[OjK+ԏRU4n/qÒˍ6X3oror6!ձ /@=ؿf;@[~&t_=3fνtѬEp4Q5ߋJ8=<,UI1 _P ϜAb;P F;War~1mM -?H5e[e2o5]8`vto, ϟrHΒфWwJQe01߁qTH\{Am9Uی[A=cttA vjD% HT(3pЎԹdr?{/W怛 V6?9;:wf 8[^ [%D8[AiQ[LZa6/UPS䥪܎p g5SX,u0_{u B=n'qyz?n'6GM ;P0Zmew@5G~C :ۣP@$tcepc.y?'8^s:{2  Fzh.Vx|Z;s®P`_T"*<=_oǒ0ڳFhnꍀVCs;bF҃.QdkGNBCX?'\LvNɳ'|vBs\u[6OjhmT%alU\w-$ nQ#:OdyW77 N 0M ~_nvkH(ڧkhV[0'v"YtNf]|:fFʹfj?4v7-U^ife~j 5Z?P򳡪 %މLӻ5G|.I<[Kw'B_Q4Nn+/2)[KHHP=WzgW:1?k0 !kE #9\һCD  ESssñ,},x7w)ŵ w{tZַ%/(؉L-+ eڂu8dAp{seN EFu3ٿcN/? =g8|B4{:܍1&Va.yZ5LYn}j2urd+C-4j:ѧ5>Yh8ŷٕuQ6gU}mK@/M|msD<bMù*%Iw"@o{,C~s)*'y`j_nuufաNs +lo%Dn4 FW䰾^6کMcJpMXvLX[ǨhBӕ&~`#Dx|_T%‹ax_Y 9kʙ(Hxt̗zEu>j6G̚Se.ibe:9G B}'yР.^ Fs9k|7ي!ȡ?1oMx2 ˇ[GH i@P𫟼ڤk31 ^W_|ˌ>mirR'WcZM@UDGH0 2P,\Ѻ˼U7>4eoC[8@Q ta\m%^qw;uН/|]yH̼)b ު?ڜlH㽟??&oXE#bHrN4)Gh@dV*[dmTp1jǭQ^lB2,a ^Q|o꧋y=z/P W7ĥ+1%f7\D'ʘznޯD6w=!c΍Y OP$v}k=/z|&@VK]>qgcX'v !ȰA3H_d@=yL0dZvY} vh0Qmw^L[.~yZ\=wBza$H>׫;h!Jo3Dj"LZZT-,L{7gү$yw{_Eה<#VTjP@ZlNCyj?68k3 m-9i gcdYP]?_ Qh*WXV''+1d*O}%Kh] *ώ8{̚O*YEbu>ϙcO;?u'DO0IN#@Wec$ߥ ʏm <،Zx9|:R6oFd?TxWZjP^2Z )czw0edmm2O4&.Na}2W5cgZ:=LUT*Mgj׶i B1딀}EcY>;-Zȼ.lo=two_ \p OuT;,y1焺xƶ/]'^‘Rf): /kiMfUcЏ5J : 0КSa!5]`I5UNG ?Z}QS9fQ*t<͐ةCrv;J@v`my b?NWVWm ݷӾQA">, En&Ǝ}[,T}b 8re9ng}1vM5 K(s((tLăͰDM*fRf}v^ iuLݥp0QL$[ZcǕ6BHN7G1⮕^Ues6_)@9תnӱźLl_3s ֪(H10ra ).uɇ76bӗQqF,SZ \(ۊ񗟸~,!. K(m8nG~:5}s ;y7:l%%+P'WR,o T#C'2秾MEv(:hqUW(1 OlaO(@] P5E7^llkR{o)m0@dΨ)EDy[e=xyr?f0OFwg2{MQoGvlAx)~5q8abOi(I\j#m,tZz0'ȰNvd8ZInI%`Ԍ<=,*~+zIbQ=_uy`^{Jc<6ҮtPtgix7hf$Lg!g#k)%B 6zx)c;$: ^q[c[O?C| (Rq8nȢyAYCK~*G!%%RΚ'LcFDB~ ބl/ >Û*A,^!loO)l~T@,AvaYq~)\ _wK)+d54lgC(̞.=CLHXέzp㠯ic@;Z)L.& [L6_ܝyMqX Ifs=m2h$"6ψ2Ny'aP/Ǿh*{ЄS'>f:<g'feiA_$^**]'m f揿=4Ј?%㌁ V T%hty_Т:1߰ BO2e[Id,w9ljbMcs{ߔxK<{*0zV\s!#'26# ̬@]Rq!^E |s]~2d[cPι .(E*4DODȬn_R+'sP&ٷf 0Swg2{;<2ں,e.$=m__p J?#4=45wb/θWC){ ŊqwQ9u>Lg^ N3n sD|QT}Y%3Ƥ!z͙D_f?P]<3N#-%0mWv dC9%+Y|%yɹ>zl\/_\$JO_83'a)cO918:(IeڂEPXpSߢaR0)] +/431Xo%u?j"m䡍?|Ð'_C*7Џ,`~Ĝ<.^8{: (/5|IN~CQW'HgI{Z+-UftH )482ԅVw5fV&av6p|C(u4Ŀ\Q0'P˶+DB7E{G·]9XQlˆjJv7e󃳏. ignB,@J-҄ԃˑ%kjҦϺpx 93ٓ3s.wݷn ,{uOXB X>(&!c֣?zF( @8 Yߴhݜmd_[,u7vd>SS!.OiVJd8Ǜ힞d+B$D~7_)h'eE?H=KPd nI72f+m۽Rވb*4d ~6'<kj<#G"Z}'0 4 1OIKjҍ5'Z>^RjfF!c6H3W߻]"Fm[; h]n>eWB6S5S(\˥V^+p`=HMinPtaK_ܝuO7BBQP]1hiݩb59Cع$Pij y/W?a]\,b)HIoW亼OM>x_!/2oICяTW_K7rpǓ6i K}܀_PA8.K$%KGA^ 8:vK;-C-JjWWj+Kcm}^<e.x/$( #puIr9(%-1[ķ~JV *Ѥ'`&e,;X 5otcFAbb-߲tFz~LrF=`L7|tȷ'LCK +!!{Y4ʓ#sK"b@_!؂z \U+Gtq£& lJoK]m M*4r<Iҁvsh=uOΠ2 r:s=FXV(@ԱYCx QVr=ho4|H[90b)/ʷS-h?[eC_KIK.6'!d[@؈,2g|\1̴vy .o,pqz[;qy{$q7}: Lg0X ̫~TiBH,d0*f2m=e۠ -5 ؎>,Q b:5K1=0Ajt8<+I218^li. oL{$ll);Z7ugTm 7fM^Yae9ui3fRbsb N9| ShB f11\q@d`bX> -*kNá^[irЭ}d>!i]qa7v PቈT>/"`++ep\x56Ђ vMwCsJ|CAaTVE5|U췟O0kVV^7;pp\m9\Q|4 ǝP]|!+ F\GRIyg|*Gx`p;x7[ v&Ra:^+wPWxby5Jgg ww#2uF%Id$pg/Q7 F+÷Tk]}pQ?9[pk3}[13iaNcUlR[YeE)yc 8,f+|ΓUKpw\{/?It(8z1N;Y P[Ɋ ':9` `f.T+b%,p`龻m0fZʺCIljgFZs"ԋdWt7 0g.f$ ~$ĕVFHi]Cʋ2vk [`|_:!xp`"B!\n.fCkF6f詎k`Ҹ{?֘ΎFO-gBܫ` S $[ ֋RZHlE m6p+ZJה#E3~5$}8[A" XȽYA &(Η| UDK{O+owC;İQuI\ʌ,TBFTӂQ CЂBa|? x`q Ƿ]c4c%āHtW#)r* o kt5; $9X#Ȃˆ&u`t׶| jP^ 3nsAh(/Хa]ΒS~<5'(hsY9upA']BTEG3 HI:@ %; .hwG0ms9D% ʠ,.}Oʮq"WE2 9&oy˲zڤ?4gi&*-Fln()"9{*~dj.E;c`DKHڈnc/MDǟ`}'R.F+~oU+H9WQuĴr!|=Sх _e}\X#7ޔ@L$Ld !2Y%q$~23lA?X]`lM;\XW#[HdulN1m{*EzC:oY+Nk%"8,{)XMEǯouz}I2?QA 7>D2oġV|ab?U7 *G;LBډSK*rn0)]Q))ّMn>X?8\}ੳkn+aʰ,TAr =&E,Ng|ת]~84ǘ\-Hϣ.3E-]{|VCϻ/b,auSdaPb[{1=Q}Lh̴S cXؿt7,|Ȭ"H8%ÁI -Ṋ44)uYUvs$lJGQHuz`X2,0txCIM ! ئ(IQY:q'69ǁP.=pjˮl,U!z˴zI;rNgAݹY-֢s.%d;Q D#%iԦL=`I[nub z|UTͻK*= l9. OB * $DFsXd;; "b2d#qۺB<[Y"[Άf=}i.9IwuGս gPCŐ;1r>Vϴ qw3Jk =g/^=m8sw'R*J#!R.!fj y](-FdupâT{[ϥq͈}"nRŬ_AF}] Iti= h7:[uʏE~G ǵܱ/Q%**3y߈;N# xaĈ u 0=ABzrIβhpӈ'O0SfF?'gSjܕBt YQm>0p[!fyR# [_.NwAǃ0f'09do͏F&Xsaգ<.e}HǹIrןl"%1"d/MΏesOp&E ɟq_xWF#ua -,屢>wP'0hWQSr8\8 Ow0ÜRu[1@jt'fO?KD9'| ڇ%tc[l2oU_ *!BعCIU/esJ]d7vrTzQ$џ>Z@e@v.^< qnBZ|hX6`h΍gʥQujR }[((׉"`vxL/FCF:^x%5^%B[U;JBk{RӋ~|s9巠^9g6ǫ !m'z=eSmt=%/[DZ7cf7,:}v9~Gۋ+Lumbelk:qRxIq9OvZ8riRmə Fȓq7ZrGC:(2mTW_vKEC@Ui!b/V]!umyhÄC[ U>R1Z%{XG1끳`̀0&T߮>@YK*0h2fyINBa5k2\syó0|p(T_Zȗh@WcL`٭|C4.xoO&h)IljkoP!N"+c7ko; /EcX.9FYdV- 虿Hu0 2k嫃2#ϗw 4|e8M@{R>Fp| 48/ٓ}9gQWPr#wRE y"v25R4U3[h_Jh=Pnp`[z>lWv᪶O8൳b*_׭ XM6bmuTS+5V<M=cna,]PpSGj*%~Pd9񩀎SpKo$ 9vT q5{JˬNJ0Fڧ#LV~N vϕT#.f]nt#bZ^XQ$z)mCf@"V{/vAj˄'TbG/@ya `n\O XvQd%[IT2ZBUa Org^c%|3O "] .Gίn.1e.=7 .'F~@;g֒AFǑh DzoCFNgFLbcwqZb*`"M|ܞ򲃯LG4 7,MZ}y;К]Z~kSMPWzB]m#9UeW|6cίvsm*Zn/l 53-0eBݨ4W Ꭹ S86(rRJH1ϛCI۷vFFO;qgHړcl\6RG/u d %9۲v'TVjy]6(:+Fˉ1T;̫(rpV*C.;G׈ɪ nK~u^_jvD|n>bɛgzh,=;5FRKAn͏ԑ\u<ԹCIM=wi!_G5߾XfK[˷F(+Vڹ4tUJ!+ḿ^(GlY8o]&)Cٗ|E}q29n/rQ;5 wOaSuiv@#'uhY_ .$V-i}y3sFC b|)?ɍ>j'sbwxtm/+/Ϣ} k$dKnoٶZ|Ǒ|V-%+.+[Z pq}$G|Ĝ5g:ދowE=/UZ(ueZZĭ<Wˆec h4Dž%c&ɏv0,> tUB{ D.VvҖO>:P-IoP *;||Nc*C,DV]{U$[Y 1K!6ʆDaĨ Vi69լ?@Pj!敢rGJt_j( ]LUNb+p#Mu$Im*QvxX+ĝTiY#7# υDvksi@NǠR!K)ĥ*?:?]ta^|9\RU$V%&d? tR_4r#F=lpr^JBw  >Z2Ƃ%L{.s>1CH7]8<_,D DxNVrY:V)a,@Ӹr$C6n+\^:B_UG[F #ǁV>&uK.ã,h[ԫm:P}yUBQ/UCxv*2~a 1Iv@ՂCE XGgxk]+n1rtm~V|hC-H>TbX~O\edÏ| ͪyt;"gc?,M{0Eq\|ܰ#b ~bNP%ӺS$LڸHVT,;Eu4^hl%'*8#RjgE9v ;G:1aџ{)vq⼮*ޝ ZdN5t9l]?֧ڧT[ Qo$ }| {+nD] in KgYZ K #% THOL-TLAHOL-TLA.TLAdocument.tex7zXZִF! K6]A-MՋhvG"uIBm5_M3[0u?G/4a}ٻYlR C|* G$QwGΑW͕Vb/¥$yb~Ye-M:!'MI}⦽A5 D&Ci>d45]A1ulGd!2f8rFV1^jX8`:FW䚒M)oqhLZx1Ƹ$&zרx,KMgBR286ؾ#wTj#Kdk 7no ׉ J&I}p:rnCRJ6m0i#-v)CVrG$ % 7hFmirMZ[ u%34yw =ϪWgg@2,-ѣ}>rpZYC-'+ G\f(&$M/G7Լ-hwG& g5{(<;0b`CTC_ds gd v:|?G9 7mYVz~ ۊI⇖ f{{ NX)蛅51KEj:#lx&өes)cӉXwu93#Tp;ec+tOq5{[1 GHl{wdZFhc<^t$ַwƏY q _UH2@N(bxNr,:5iЎ}rb3?ZvܦX H Ve ]$pu3CÞHY>'*ڃ-BTlZe > 3>,.y&ur/St[=^c";kDcґ(:YkKdX姓Ǔ$2 zi|5juFWH84nyI{n>_!w"XYkrJU&$q;V۞ƅDceBFM޽>d]`1 DR_̿GVd*_h!DLvsSW#|?qO+n:rFuv-,l8fד(ylܯo[q>