SQLite format 3@ .v   i G U--]tableisabelle_sourcesisabelle_sourcesCREATE TABLE "isabelle_sources" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "digest" TEXT, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, name))?S-indexsqlite_autoindex_isabelle_sources_1isabelle_sources u77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_infoT11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportse 2~ytoje`[VQLGB=83.)$ |vpjd^XRLF@:4.("  R)1RHOL-BaliHOL-Bali.Basistheory/other_kindsoracle fact bundle attribute method>)# 6HOL-BaliHOL-Bali.Basistheory/thms(/`<]b$' pZl,ݯ F%$eEspjO(h#M"t~QK+Fj3J]cʙ'I'Q2Fñ֢^E%\7ogkKE{>-b >9=hOX?Z[aLәBPBvW|Snͮ#mdLUcyܜ<$O CCzQƿs:Ç\X,,I{` 8U`  Pk,r5ćBxY[ȷ`  ,,_,~/3Sw`zc(c'Gl8\ jY r8E( rLD U6d'UÌe%FєFGvA͌"sL7yG~`84;G%0h)' HOL-BaliHOL-Bali.Basistheory/axioms(/`-%bb!Pi Υ]8: i˔ L^XUnJ׮y ǡwB)O՜xi `t2)!.9<Q\D#I'ei_R( H*9e+pwPl@h &!0ZD׽!2w99kԻC)c*p3N޲i4)84MаŋU;Ix_X霥gUJiIBnf!PK ݛ0s7'vbʲdĜڬT-W*as~nrTrӮ C|UUOZ,AqƜսz%˼̬zy#_^V8o1> 'k!!IlQ/<1͓nxb%"IAARAD"=00( #D!H |H|G TyDS$`NŻ > ˩#߂iWHP>DgK(-P)x1(7ʤF5=R8̤[3M q&9w #ar/l@ӓa ʠް'NȱI`fE J @8 ~OA7.4=U,y'ڷ q$= GP3,ۼ607%96C?Qb5Y< SLAE+IN< {0&~qLGCIbj"BU̷XA̛i1KqB5 }e8dW}(;`8p;/}ij)XGS@@du{6ӛO4׃>CNPU|FTJx9\7fݘe[k9p2F -raQn{|Aʹ5`2nA[}Чmpbl Kj1E/B>Hy/@ũR *ݝ VPBڬ֝$萨Lo<s4rCY*AmU0(#B vAar|?=*dDiIl:Uù|#ˡ=vc^8ˑb=λOBEٶ#P8)0%)a*PR}U:N҉}SX]2cn݊ʨ)j+ )) HOL-BaliHOL-Bali.Basisdocument/latex(/ܘ!,l 3+Zg 0/ao77)E&gXd8,8 9âQCcr:=ƁԚܳè}+4)8)IqVZJ):3<OC!>Cx$IRPCUU0E181 " 0"P򷔢3mtV(FV@;H?5GU y;a|CY/+a3ݎ8 j]9nꚄ?)df( e[a^ESJˤZba=eT%*Ƅ|Gh 1 PkIC}B7j (^d_֨dac3R+YdGDdSUѭ=VZZ$yu<ƭe&">-쌏g69ưupncmfgnuKp4$3$ѩb&zELDq-'1HOL-BaliHOL-Bali.Decltheory/other_kinds=)')HOL-BaliHOL-Bali.Decltheory/locales<)')HOL-BaliHOL-Bali.Decltheory/classes;&'#HOL-BaliHOL-Bali.Decltheory/thms:)')HOL-BaliHOL-Bali.Decldocument/latex9(''HOL-BaliHOL-Bali.Decltheory/axioms8(''HOL-BaliHOL-Bali.Decltheory/consts7''%HOL-BaliHOL-Bali.Decltheory/types6)')HOL-BaliHOL-Bali.Decltheory/parents5,'/HOL-BaliHOL-Bali.Termtheory/other/fact4-'1HOL-BaliHOL-Bali.Termtheory/other_kinds3)')HOL-BaliHOL-Bali.Termtheory/locales2)')HOL-BaliHOL-Bali.Termtheory/classes1&'#HOL-BaliHOL-Bali.Termtheory/thms0(''HOL-BaliHOL-Bali.Termtheory/axioms/)')HOL-BaliHOL-Bali.Termdocument/latex.(''HOL-BaliHOL-Bali.Termtheory/consts-''%HOL-BaliHOL-Bali.Termtheory/types,)')HOL-BaliHOL-Bali.Termtheory/parents+-)/HOL-BaliHOL-Bali.Tabletheory/other/fact*.)1HOL-BaliHOL-Bali.Tabletheory/other_kinds)')#HOL-BaliHOL-Bali.Tabletheory/thms(*))HOL-BaliHOL-Bali.Tabledocument/latex'))'HOL-BaliHOL-Bali.Tabletheory/axioms&))'HOL-BaliHOL-Bali.Tabletheory/consts%()%HOL-BaliHOL-Bali.Tabletheory/types$*))HOL-BaliHOL-Bali.Tabletheory/parents#-)/HOL-BaliHOL-Bali.Valuetheory/other/fact".)1HOL-BaliHOL-Bali.Valuetheory/other_kinds!')#HOL-BaliHOL-Bali.Valuetheory/thms ))'HOL-BaliHOL-Bali.Valuetheory/axioms))'HOL-BaliHOL-Bali.Valuetheory/consts*))HOL-BaliHOL-Bali.Valuedocument/latex()%HOL-BaliHOL-Bali.Valuetheory/types*))HOL-BaliHOL-Bali.Valuetheory/parents,'/HOL-BaliHOL-Bali.Typetheory/other/fact-'1HOL-BaliHOL-Bali.Typetheory/other_kinds&'#HOL-BaliHOL-Bali.Typetheory/thms(''HOL-BaliHOL-Bali.Typetheory/axioms(''HOL-BaliHOL-Bali.Typetheory/consts)')HOL-BaliHOL-Bali.Typedocument/latex''%HOL-BaliHOL-Bali.Typetheory/types)')HOL-BaliHOL-Bali.Typetheory/parents,'/HOL-BaliHOL-Bali.Nametheory/other/fact-'1HOL-BaliHOL-Bali.Nametheory/other_kinds)')HOL-BaliHOL-Bali.Nametheory/locales)')HOL-BaliHOL-Bali.Nametheory/classes&'#HOL-BaliHOL-Bali.Nametheory/thms(''HOL-BaliHOL-Bali.Nametheory/axioms )')HOL-BaliHOL-Bali.Namedocument/latex (''HOL-BaliHOL-Bali.Nametheory/consts ''%HOL-BaliHOL-Bali.Nametheory/types )')HOL-BaliHOL-Bali.Nametheory/parents -)/HOL-BaliHOL-Bali.Basistheory/other/fact.)1HOL-BaliHOL-Bali.Basistheory/other_kinds')#HOL-BaliHOL-Bali.Basistheory/thms))'HOL-BaliHOL-Bali.Basistheory/axioms*))HOL-BaliHOL-Bali.Basisdof)-#HOL-BaliHOL-Bali.TypeReltheory/thmsC(''HOL-BaliHOL-Bali.Nametheory/axioms ''%HOL-BaliHOL-Bali.Decltheory/types6    v

2sO;c؋Oβi-񐄱yMX1ť᜵*q=aNtɱcܚDNDyP @9EN:, ^ݚp+odMr&iNl\.'siU@N@ p畕tX~}^hFc#QR@ :q2ΠTR 5[o+ %B"I=Si'e^nU;jecL IՕꊅjkV(@ l5w5d_CeFTKq2"jhd?}ToulbacUcT.}e[o/h #329d2enB9J=9ϋ+~j0TG@f{… ;le$D]DbST! 4iI:qЯG芈pm4M-o\KM:8%%y&SWg3㩄RU??09 6cyuӤٜ~VF>H0imIgZ' RI]7rtƄt:A#@_33$1«gPCpj<04ҥkC?Tyk\9#9rkh* Ʀa  Z `Q0o8MۯRͯә3(GC-Ʌq猜5Z(?fg'~?g#h?O~tiC\n(Z[!Ɩ+qg&N;BwzQ#a;lg /ewhs&P:}'MN΍+]rhBQ'ߩ?s tNߙ>RH&~~&Nx@{/f,>iM%>p)_S{,K8$qmm>cIY{hVP+)?R!yeb38xCSNjvM1z 0xcaȯO~_Llq%ė>~xU̩B '[( |P/Q/PJt"X9EuHˏ-bΈ dS8\ m5`VOOt= ;ɈAvT3#<tb/;($9fvƇG" @?/.ggKS>e3K;^,g 7мѼЗGYp*~!9sHks-0 eGtH7?k֏D#>;)5YC`9{!.$,șCdWZiRB0_r1$H@`D&@ >u\}5-ԸC6S:9$5AqC!gR萴3y$l4$l#!_SN;)BT5!%\I0g~nV*;Gc5F) Kon_P:^j>sfх5)j(+3o,)#Z[P-g|H(M0:6~Hm |"pWS2(U.vh3' |_X]!bvzu(n/66?sg[Cs= wph[Kq}SbGr_|R;shŷ}vwNVyYn5L ZHU4.5=n1~ؑDU@!-@=z䚣wf]zG; :MXa=zVcZ; WGUA ~}bqbj4g8Y(P3 Ggm튊}QBiJ(T'rgNINVT%taMR˙UFL5b3a;8G&z,T,t=Z)Tsw‹AZ]OL<;yv|򁃰8JcWN3̣Z~:D hNaAkx.wY3nAE[-7[Hc),njga_\S Q P H =;:98  \  $ 8 W M ^6 t  (3YHOL-Bali~~/src/HOL/Bali/DefiniteAssignment.thy(CHOL-Bali~~/src/HOL/Bali/Conform.thy&?HOL-Bali~~/src/HOL/Bali/Evaln.thy&?HOL-Bali~~/src/HOL/Bali/Table.thy&?HOL-Bali~~/src/HOL/Bali/Trans.thy%=HOL-Bali~~/src/HOL/Bali/Eval.thy&?HOL-Bali~~/src/HOL/Bali/AxSem.thy(CHOL-Bali~~/src/HOL/Bali/AxSound.thy%=HOL-Bali~~/src/HOL/Bali/Decl.thy(CHOL-Bali~~/src/HOL/Bali/Example.thy&?HOL-Bali~~/src/HOL/Bali/Value.thy)EHOL-Bali~~/src/HOL/Bali/TypeSafe.thy(CHOL-Bali~~/src/HOL/Bali/TypeRel.thy &?HOL-Bali~~/src/HOL/Bali/Basis.thy .OHOL-Bali~~/src/HOL/Bali/document/root.tex :gHOL-Bali~~/src/HOL/Bali/DefiniteAssignmentCorrect.thy -MHOL-Bali~~/src/HOL/Bali/DeclConcepts.thy )EHOL-Bali~~/src/HOL/Bali/WellForm.thy%=HOL-Bali~~/src/HOL/Bali/Term.thy%=HOL-Bali~~/src/HOL/Bali/Type.thy%=HOL-Bali~~/src/HOL/Bali/Name.thy*GHOL-Bali~~/src/HOL/Bali/AxExample.thy)EHOL-Bali~~/src/HOL/Bali/WellType.thy(CHOL-Bali~~/src/HOL/Bali/AxCompl.thy%? HOL-Bali~~/src/HOL/Bali/State.thy P@Q(zX=TFa( C8.!Dai>A܇ a.`(<-'z@"X,feDcааа /rXJ‹?WLtPQKw0#} L@qׅFaJ??D W?:P< >Ϯsݳ6,ny-^ %4JBʬʶ ʪҪR*E**ҫ1AƱ@'ѨʪTTMTp/UljR- KuS]5TlON*A40DOhz U4XyviW̬|"%OWq AR34S/+2t` xDDDL=xV<]=^\|h><>ޝ}}}[P۷vD̮vK]5ii]륥 zYWuE^׭yA^O+wWxHD"==N<'=wx_WJOAJ[(Ct{U,~0f76"YHiZijnMozӛtVf-YS353ӉF1i<4Ї>34hm4UDp0l|ND;-{ﭿoD{aL( ?BI4ζmmj6+5l \f(ffXVoUk@ "Z xNFy$'5Y5Lve4#c@P0 uU VhDLd a` á@ '5G 9:|u)5C۔(x|;՘:5>V Ǘ(;Qh|Qj2Emqs&vOծR : `U$H\Z7=%n.uA-^sœOŬdEP<ƸA.xaw4,CUI :&T/9h fE3:&N/Z5 CAyZ^m9/.^@v`i49鉬f5Դp$V-FDPBH,Fڔ 2uBc5.dPC?`==Lj TQ5tU]ܣu7?M;lM*8sщ(+z5MhhW'cqц 9b(f i/|JxX몾;#!'jSb ښbmo1J`Z-gݷ%~`G.𫴊K#M͊РiKպ0uMrG@==8O?x[rXdG c .THo*(I0ӏ/qL8<04&USmߊ9d%uKMv^f$|2dvжLodzU:3ng];;* Dna"eqaF_[KĦr#p6.WSBܪڡ{V#g?ld=v*R*N +Mx<E|hTF|^BlS}ˀR;\2 6@}ƨ碜L9@*"ZuNںV{73+$0p"FWF7g|5n蝈}3#M r㢻 4J+,iUXZAk,V g0d }(/R4+t.Td  aWv-7\& !3lZj@fsI@ivau.2Ke:.9xI8TW&b "#sM_:{/EeIH0D~Oˊcn!!rzy T}^;sYٚL#8A\3։rCAwEx| 8_,cwuNv-ʜ]*b#s7${IZ!xϑǮ5DXsV($W1,¾_m!;؏>LSKZkZ *$fje\kӷDϺ|6Vb 7++X;!0IULẅǿeǬړ;KS 8|7`I$൘7gzdff&Άs!7xUU{툰3 wHcmVBto4K"j|'m@GK[jZ|4.fĐye,E ӞDgO 8t^{X0ٿo}6?ק6l6&`Lr'_ VE@ D24L@N<9)6׹w>TFh %48AWv@-r-ҧ@͂y&kֿ"e(5^*O_5] VWLYeC_Z|pjA@)^PiV5-Srn Yq+T@my`\u)h/$i"̘c򨡦U:7_ 2OƉ/!pyT4<KDy>1nz'rpv1MaȁWnE|{[jp {H#끅7ҵ{Yr8eܦ?Ƅ炍N3Ԃ`ZR4_\3œ;< xmRP y*jՋI4*uU[يfݤ'!&=ͫjDo"}sC/l5ciF/̘FoMXt("u:uY<L7K -a_7GJVӍ;AmO ?;6P3($k?))tR 9G /~LS!RpDU͆Zԧ4h4p4zh34c݇?'IbJJ ~-+1L$ :.;E%˞)"ݯ (݌ > ª+ 2^yӰޱYf_+ez9%cq/O ǚ o  {E[_( Qw?F֏.KmP **!X{֫l9.~^y?n]tMA*8Lf|`':#$mIy]~  |Dr.1SkPah.E#1`Wz60F@`Mps;Vȥc" PP;ؽ"( 8 ݉,؟_? XuU&/xd^Sv$kBDy J t0-F״a<994pLߊj4gfNbvw\mg/Q۸@sBMS:}l%䷪nKSR$\/U.n *OX{$SOeD!@i핂6I?M!CyJպD&ZgQ_(`u;^q)XO3J0\ H?d8 ^,h]19p2=JyHs@Wޥ7"G}f 37JyޤTd9pTC^فu$>wHOw 1sa'Qs#xGt@:Js6MP5(tUZw,3=tҪ& l17I[e% ei5}wcg.s yr 64M_C@NhiOL9+8X:D1_A '*lJ8`^i,|:)cGnOsn|3*|DK0& >GJDIDe[ c$RᾺsiFgʛ5mWsos3i7PE H8Ƥ|z.("q/?-r\*sZMeP6[;x1tVQl S.'c鮸DOS9'wb]Ӏ[eU=KV/?BM;pid6v<7Б஛[6rڼ#[0͠8s d9Qlj3uLs:3 Tc]]I }ʀ! Ba#xGYd^{tr E`1^Kzm.d2FP9M#=0EVU6fƧҬ=Q[Sǹפ mH ]`[T%#Z{RvsQl#̨Saҵ~1>Xc9Iȩ3ܹB-IѝS6 E tټ-n";vslBѹRoA$:\JZ  3{Z/U9(piO\2{;MD*P4PuZr3jzZ@HO=-ԉST=M#Db*h\ zs(h{%<nAEXTϔ.<^%?[J49VO#6>d^\PC#v~ M8Rppe]-e;"[z#.:L.yAKFzI=)t^ c!TzYt9`W֫ x$)x1PG7m&QSUEՔw3R FdKX o;2[vQe^+rvM>"!4ڀ ^hߒ>_m /@DAҼ- -RFCSd,ydf0! [ė590@0$5p~1^krЛWxJ A:Ι\~Mm<rFAҜEu)= 3߼XCXkנϘZd:@fU3&Nmc;+ [R'H!'/X/j#Oӎ6Rq;/%F]H|ȚG1=;ܢ`nap/FҶgNvV vV[2j_Za=2yuca$-֡';QtlAm5OUb9-Gz=kgEda:جQ,5j|5 f01y5;aa+1+7mt=ESTd*Ll0OjKƭL>1D2: w:Zks8޸6%|a:Ĵ9@:2 O3;Z>iǁjo:Rۍ,AR[;u*2YчǦ&4jډRϤ@-"qr@`pm*A!Ulx,@4+>K-!s#Z@M7rY)b`=ҷ$]CJ F LH`=CSAϚLӿzTJY# Ld#\LIa{n7Z<|xn1ͩ$50jb\?Gp˸}c< S&cxo\]F5p]5,xoӰnsu:@G5ZMYDY(32.a8p㛄t>i]TOIm_֤syng(9T2VHƬ^CixqU7@Cz/9ݍ3%X[X.UCkFD)+La3nxHdj4#okYCz8 1 _>QrG0y_=jiri()*;$q,jU?ќ7;~>=zZE/07"S+r_A}S[fZ64^k#MiǪ+lD*8p߸m[dHd@6ǡ͢ ax^Ɂ\x`Ӯ(љ/ŋ-;PCY2 5tKNÕ Mon7u7S[5ق{ VBu\HE:z_0%BoHSNbڗP#5:oGa7v&M& LkWTyBU(D[K/_ 2 +ЅGzOܑb)r^ΰDaKI<@򛘫́6lQNٰ2l̼,_7Ӕ<&Iza--_LкV03S,L$.EpsZ[ P-Ŵ3NG]!W4O|_B‚nX0 `8!AE *И܄.NVWw _v{6ڔ 3MRfQL)`spྮ0Zypo4c6ijCw?ָo:}x1dx@- MD!U?Xb^MS _P#c"m3>`\t!SD^q p4q LLCFڀ6ō`{~SiEG*Ԡx $' ݒtvd,*Yîyu8YAbþ#@Zߔ OIMio%p%GHA#`8%jZ",{k8/}J;N4 ?y}+,.O\B|i\p|Z7 (_liBȗvt' ^ZB3(y|$\AZ87*ڃˢԥ=t~:ý;Zfd"3'Qg{YzC+~tddʴ*8EQmI7D7H7)'cOC{bT~Є*B 1qFy^Ydn n^hQͺK5,TP>`~T.:mT[Jz 9B(=յIt Sa=#,i n3cPɑ dKZzqysEiEׄ;>*kbQ%aF3IjXl\НT{O{ZhukIK+ gٍU1>lŁ,/_D{/Ş>7%!Uu8LD`|Yp.4X kS[;A vk 7@ C(LWLǨ/D}1,/ . AhXZȌ߈D^qi_mEJ>9gmׯ&"@ړBȃ ;s{@7ov?tr~7o{Z\hz$.LhVo NmZ+Ae1=Eu)4 gQ!B[a^[D\1ԥDzZ[~ޅ^*bʯ~mR# j"G*2O>S(#k$+8YW\gFQFg #)P6V\amoW_eS <Te,40B< QXr%U.#L6-Btz 兛BW>&}GB0%bЎg#9 @9fs F_ d0MeB-%V>!~"tHd+%Z1l[fgH#]K܈|2 'Vd*v Ȧϩ #h4Un:!ӜMdC/yO72^ _NWE8l*,*)@/1:U 7G䪠?/>a@ ϾI,ӾAO3Q3Ćխ_"y҅1'`>XS/F^d͟!B ;+=07h)eO 8zUfX5+d*l EZ޴#oaEwa p]Tkgid(%i`9ٴ7q6d^m@{.qYW_ËY. i@ơ6Ĕht[/YC8.֎&4/G.C5hYI7\ fFen[wkHE#dQq.C-f&|cQLts!"|@^U.k7Oe5TjP@"ljv+}A\yzꅀJ?9:)DtgW088KO]/Nap"5ShPC|ܵi/څ{0#9^(LDCIt q+c̢;JRST A_G6L"YV'' ѷw :"R??:۪5!fG}7F|mi3 >{Ğccl 3nh= C]3CO#"pbR2<{PZa>Y!괷zuzX\NH}:t @u!5.@kb8gb5POئ>IYE,!r>wZ< "nŊo4 y4ߟeCPHyTɉ@-Hq%F'c-( vJ\k0X&2",ZP$HyR{%_n68]TsN?7cfԭ_DNllmi { !|_Ȥ?ygب+K">%7Gwy@LXܬD_,Ԝ%;(!5VbHJutCsd\4 [Ι)3&h,rHQ ,CX 5b,6qnN"u%҉8[I0yl_"6AuՃTuM@fl?pF.OrI{")y"_Mepԏ=BJA.a:cҲb-I+$Ex%zbH.\R+w[ *OO e-^@E] W񅑰 ;^*efZT+ $ɉ/9֎Բ y -_:ZG< qcH;pvx`Vexj)2ޱٵ"bZ\ db޴9~Zۘ6ԮD o9'.h=[`tZJ}Ax/9 ~@ɽ?&yLwZxoHZdYopU-prE1Z@wgxޜ'GAD(K β-91wUw zYR bfJO=>bza٢V,+! It'Dw&HJf~jW $ OH' |)%)%H0FK@gty"\Ktmju]5k۶m_k۶RZgijmmGBsr]]۲ۭV*jUVjjVj=( OmjJMD|jP@Rp Q2I6 GQH5qH,I$J#A8jQ( @I,"%J"YFC v\˽z]V48K-aĈmĐ,Q5bJ;g3&[3u"z2Lg6 kZ-pհlI$y֛?{oAqVO1&Q8ԭ.ámLX4 bm`$ xH( h(I0&Y^&^w 9h4FF#p B$ ΂x.KYgVvfe~9`Doqz6_-}V_w=RPޡeDs,ΡX3"l3/R}D9[ȏi13v-!rg/iuU/l;-ZJwLe.D(=5;Uw֛ 4Ø8j1{@߲ڠ62EGr a~lK >O| c7|iAu4[jA҅ce >̫cQDU&Sa\xgvC$EK0˘tJed\9@/-jD*A7rx@vz89(Yx3E#)J@hq 7{HnǶ(~fvc`c,ǘ׋*a7'z;5`5Μ/1/XVt'[@ oN?Xu)PLP K, M=oCPgE_'>8bibKla Q*oosnLz5N2a v+4G!_2Slm/"Jy?vy6c|5ޢ}pjfZ2Fqq^E#!g)m? v9?Ïog]<TL84 uBbb` N*|Zcvlq2j Nps i[󟁀>$/,%u,W.$3UB޶8 .[Qd ϴw?[ {v͈ƒT8P4DsWhD׀:gX2x=qX7Ƹ҅ eidRÎ>]1XgoҚ2oHd2%Z-`{myƊd(&+i;Bk*)/ h%^GhO<p 7IoDØǫ%l'QRJr! ;DpcZU"iXۍuQAtωL}5_.N@7~%v'/K0'@pC ЕLVb`)6D- EK̏VJQ^h*dLp^OQϓn–BDkڣc8D& .=Y%̟‹PjCZtB=xNPԼT~,@`_W3D%V.H0 ĥIZc*N :b?CMuOU`w z)e0M̄pWs10MwZB {{MGߺts`[!37O99UƤFU<7N<@ɵ[aok? B7ݜ4[F mto7baܶordD)lA( Hxsr[Ҝ<[|bt^s۶Tm9jWNLRbrǑkVStt6 4dy iԍn;H_^©2]wpBqd]~JIIj:lOlp Ih_s.KΈ*Zl]<m/f= -ů% -hNjCNPVa%L~]v۟zs+!Ad$7-˷iXDm4[ѬI^!z&lA۟I Ny{JuZ :lNa/C t%Ͻb6hOC"y&STWf 3B9ɀh˪2>kS"5cW`7^jn `+ADjQdޠ!(Y$nyMW0i8":#0vvI"hDS.ilS@Ba^8#Ls5"xf=kZE8,~lZ砉Z$ƌ Jx6*/)bCyұTC/a|,RL|kl4ih=VDV-*f+X~g<3 O=Y_LgtNM*۩. v|*ƳREX E{˷rD9F:û

Z9D\.A&*3y^:%-Dac(hYH e;,\M N@}I10k%zi׶"zeYuE]D^XRLaYgg*\듟>&-Pa:WT&eWu`O αU#`hT8YEG%@!5,l^qLvqa+.:keN 27t?≑D0d6CAaa_|p[Z3iJ3 JiUp5?:5|GpNP/г6Cʴ0ѧER+?_Fpɗޚ|-- npТ~Z0iÞt-¾+1nQ3]?= Ʒ!bdY C !_v(nοXR*&a"M|Oyuq$f)MB"@ sTL:W;#B/ u kk|⫼`o)_fAq{kR>z7Ip@I9!h05/iKv;~ N&c&FD=|I.kaΏcXs~p29kP;R-`ꎓ\f}HbE NHC~þ%*0*C~Nqȟe}W6%%cAbI\lwW'ytNViJ\FO YZnҵaNuXNBf=3YhoA7oG6@A.#yP!c*؇@s?7Iܙ!-:,.h맍p@ɗ".?XtP 7>BGRalLMgeQq7_Mt ㌀*K>$A7@׹Cji2o{'KZ~<# RHsOPb=S# j6kNz#! -bAI9nFL(xnk!cpe"rr'B'lrlth9 1 9bcnՠB9ϪfYv 'O?Uš/FmJ{j'~ L^c:r= {wXI4g߳Yr[t2aDrwgw2%;%o}ivClO1F_S*5蹖p!} *N8 INsM0}mja\SFJ"~]cYn+`gCt/ ]83d^P8; a .J26gFB %)6k&9ݘn?T-w __+#+Z%<~PιXD) m-lf Rk\~&oRV\5ٲAM  [pqo%l s9Ҹlu /guOhzm7mkg doS49azsҾ0g]8hh63*XC Y庨>7Sj\\o %FlЎӟ <Ls7y;iiPزL8&n7_YAA述pR4z _yڡSQ YN1d4+~3;!{2ahpb[#7@k04.j j<7s }To"&4ۂ~`qa2iwC7Rrܘ5x[e=0F|re \"Z`܃NZ;dijDkڴL,!Ci @Z5-dnySs~q{e_$v*'kflIJO+?&m~^Ei;@89eUϲ7iwPQ\=}?[PE'2M0 ~oϡ l9R0HqM(5!lvpL. ) "88"21myQ={+.qmV-+aտ$Ǎ5^0ȐȿV(HCiSnj!c宪g9ƜLݻy]Udo-%؋JGpq#T37>Lo3ƿ9`Y/bNQy%PK  Ӟ'[C427&Oe%{2~RKpieYی1BPݫN1pRO@mɣae)ADe8r/ tCqdX+syW^\RU(*pK]7P=2Wġ~ZN&0vׇSm$5*@./B<ʢ ]ElbiEB Y >eJucUk/hN5t+i#YHfl,: X4d<403/°2[O(M 6TpiYVbo,.y %siU:ռ=T2X3},F~Y1<ǵf[wt ;K)ll#>`3]9ayܝD@a2il#(= 3<)L $vH[HdR6E9n`4 0E](Dlh,fb;| ^ X;dy &$J^^Kc(Hĵ =0XyI%fP: #5]3qv@ EXdgE(E?Z! . W,y~~Qn+@&CT_ \RQ1b8• ]k]͠RqQ[ R(,'@|9W9?Q[Z%,'r `N~ZK|0UC1&8.JPh3n]%2`oDLUN^IsUiC4-S\^Ȁ!*$!,ObW}:u,u$|.$!:1C6Ȓs. bS(gFD1!L9L+bYr?\ GژgBJ'QJ\{s#q'aݠe|[+[* 7BJdCpQwSXa@X(&$LzP`oᜃ = )q,:HKPNMhS30$17L@1DEhf ,2pQL,E{]UD0KEF"i7 >ì,M%̒ݗd|)! Rr0!bknTrJbLNQd)بP4wJoL5<9`"1_UsR LR;cq 5l6a8h.Y ިQ΅ z1QIWUrj#UYHCj"rř֌ [ v)yB(M凐nX7mZWb8i\U@/ C5J+k U0 `O`#K@6ɡq~G%M b;|8y֟.X~cicGF>bBepZ./^: \E*uibI|] u< E< 3&qԵB^)@@EA&X'dsl@Ԫ3$0,4-򄪘IJxy'i Z ?rmb'6`oľiwI@J,@ђvɱ[_C~`Ls+d=2oqAWb_x`.0޳ܚk:xƲ[I%nEuxlM.|nea&ALҾ%n)W)7|NYwCrUiFGk i^"d T.ř(OsY,DM"Ήgbjh@ PN[*VVqr(ΣӟZO(R.L!Pm^j6]KRi"bND6:!MdŢU*hPswmEb<*{BG0( "5R7W֫2av&JZm.aut B"L=j:⤙iÕJFJݥF'Ei$,C[hR iT=JFÉjih: 'AoUSq:6ψܠ+RUP>7 +3hs G(b #!HQXu_‡`  &5JZR)1RHOL-BaliHOL-Bali.Basistheory/other_kindsoracle fact bundle attribute method>)# 6HOL-BaliHOL-Bali.Basistheory/thms(/`<]b$' pZl,ݯ F%$eEspjO(h#M"t~QK+Fj3J]cʙ'I'Q2Fñ֢^E%\7ogkKE{>-b >9=hOX?Z[aLәBPBvW|Snͮ#mdLUcyܜ<$O CCzQƿs:Ç\X,,I{` 8U`  Pk,r5ćBxY[ȷ`  ,,_,~/3Sw`zc(c'Gl8\ jY r8E( rLD U6d'UÌe%FєFGvA͌"sL7yG~`84;G%0h)' HOL-BaliHOL-Bali.Basistheory/axioms(/`-%bb!Pi Υ]8: i˔ L^XUnJ׮y ǡwB)O՜xi `t2)!.9<Q\D#I'ei_R( H*9e+pwPl@h &!0ZD׽!2w99kԻC)c*p3N޲i4)84MаŋU;Ix_X霥gUJiIBnf!PK ݛ0s7'vbʲdĜڬT-W*as~nrTrӮ C|UUOZ,AqƜսz%˼̬zy#_^V8o1> 'k!!IlQ/<1͓nxb%"IAARAD"=00( #D!H |H|G TyDS$`NŻ > ˩#߂iWHP>DgK(-P)x1(7ʤF5=R8̤[3M q&9w #ar/l@ӓa ʠް'NȱI`fE J @8 ~OA7.4=U,y'ڷ q$= GP3,ۼ607%96C?Qb5Y< SLAE+IN< {0&~qLGCIbj"BU̷XA̛i1KqB5 }e8dW}(;`8p;/}ij)XGS@@du{6ӛO4׃>CNPU|FTJx9\7fݘe[k9p2F -raQn{|Aʹ5`2nA[}Чmpbl Kj1E/B>Hy/@ũR *ݝ VPBڬ֝$萨Lo<s4rCY*AmU0(#B vAar|?=*dDiIl:Uù|#ˡ=vc^8ˑb=λOBEٶ#P8)0%)a*PR}U:N҉}SX]2cn݊ʨ)j+ )) HOL-BaliHOL-Bali.Basisdocument/latex(/ܘ!,l 3+Zg 0/ao77)E&gXd8,8 9âQCcr:=ƁԚܳè}+4)8)IqVZJ):3<OC!>Cx$IRPCUU0E181 " 0"P򷔢3mtV(FV@;H?5GU y;a|CY/+a3ݎ8 j]9nꚄ?)df( e[a^ESJˤZba=eT%*Ƅ|Gh 1 PkIC}B7j (^d_֨dac3R+YdGDdSUѭ=VZZ$yu<ƭe&">-쌏g69ưupncmfgnuKp4$3$ѩb&zELDq{4ޕ/فbzx̎NʇyyZ5Ƹ2\.5kkt`H Z|Hgh<ͱ,@2 ZX^{EZ0_& P@-r㝃dl+) faa8Gv=EJ1Bx&~M|2܈!~MX F{̗5='QGiqr6FqAڪ\l'|8^ 0ڔ alHZUHZxwbSDsu.%t6ϗ=_FCK>K>M%.,^x,Ѽ|k{Ocqm!Mi͑ 7U[c-LŃqʵ0eAP}\iMIqq M'n5JڎU:`%p-LAHݨZqceaΝ[&]: n>0joSYXUaB6- t{ĿnG)kpsN/w/mmLt5&E#Qċ$`챙`@䱈{tGaŏ-I&d0X^c ,-L3 cpp_3A" IsH0: bDq="1Y  @  Aba1""O]&:Es/UT\I[MNħ6mO0gY6@cC46FEyh K^&]k6f"@a`c4j/h2'\!Jfl}úJI$+JU 46Pc=êrR=*͏0gF@g_M㸁}H| t7#]@ BёAM7(I@UGoPtj~윣"x.'c'ɹ%Y2ENEˏlDO+n2^ss@}Jygb[xV <%sͅ dLaQQʙSDa3V%SiV"+U )X!g0v·@eU7[UP ` 6 BFf|hd( ~ T1&6>0by^5=(jwټ6|z'ԦwB4PH$`J xHd|wR;%Hy ocJjDðv ;p arCw & M t~f㹯JPѥnI[cIf7CVPMS1z5`ٚ~!{=]-00[8·wo6u_X oQ&\ܘm!je]1 Lv'L0cр(z5Çc'g9LH$# `D aXk1"'sq '޸ 0K#OUc |Rn^4+)d<^+x'݆pW m{qD<' ClP\D2<X7㈂)3rbJ.^[~u`UKqƉu|LEF| .p"!GhǕ{a"UM` "6K(B\)t 8'05FY:y >Bcsimx|oTxJY\bux mB<a0;w ?ȅIY X|#Z@ +:r*kʍtɿyLRL# 1u4>. t%E=#ېi XHȍ Ww*fM Q_+[;–a٫ {ծr閩8sȨPqJ}Ԑjk ,߃_DjZej482\5kUЃ+W;U~ˮ(mEu҈CcDfթI,%xe)8QP8eIb8UkNśQ)pa`!c)XZ`./(eK˘d rYA68]L[54Zۘ`e%D@=+1DmLƥn&4lMoBhѺhFhA5z DyT[g#Ady VXwsc2B|E.F[b5R #a#w,LUTZ/fRqm R]\J`-!rƑ"u ߸ZODH5_4r“ԏ=)߅Jpӊ]ha6Q%*@暎` . \(AC i&:#he[*ɓ*-fN*Z0FAsU(^fxAa%(Z3No?4R9ͦ{/J8I+з$JVK0{ƸF, \1`b@X+:f<$SRbm$@t]PP l'wd xFDq\W-&*%%ᨧF!!> >Pwmaؔ \R5գ|Z@&:Z LƅQDKrjmSzy8zW|(o'pFYpPCq,9-h_dIMndl Y/6 ,spk!W/Rv]AB36 ǥ0yGʥ d`xc9r Ǜ~Ϩ^QSLxzMS8EQ}ѳ#"?hh``Q²q%E-ɔX=C%ReIAc{J%+40דEh!f2YObyΩ'Aa[!Pphh@S0K2k9޼) &ahH]n`U*9=ewO"!2ܳؔ eYTL-B {"D`^E-'h@Pp8=G99H^XZ̋bn2#2Cy?@WW)T hbqjTݪvw'eNReb-0`ujwfnRw"&73bT[)nݺiD^MݍlQJqY ,]ۃ1&9+7 x#"絎/Wݝ1s1ܙ{* !;rhGWY45G0)SBKǠ5<xPL aIs@2 xV9mk@ w=~8$eݎh7߄zb dsbLk9h R((ZkSI)'Y|aS*ŎLE"T8 :qM('rNi4AS/o@q.4Oy@ D0`Bk&P/ݑ=&B XM+-'Y`J  Aȃd*I:1<ĴEi@EH CR! A?إ^=vWo's% re_^׈3t0x Bg&=(ZJOFxH,Mu @0cX&o?'vl{PRKyQlط %]r#><ϜUX$$U)~A5B/2WM5-2O,j'#5ڽQ魒"]I.L.j;vbo> Vykl jn̍l~ KW!iD9 : 4\O볣:4p57XwĿ{޵cb˯}?|gɬ:AGZpXhqފ t1ӄ])r懽&*rIU~~VyDm3b .Y :gjH*ʂ8LKtRx9YnRֹuQ[ં *m$$73P,kף9HOlE@@rP;`;z1>2lJ\! KA\T VlVE艈);N4e+"ơ&1#J!aM=|W[Z ehzYt= S [0A|Ml+qWCuvGa_8_k,ƥAv/'XT\Cr9oU1r?k!8fqpPVp1mAJ(Ȗ#VV]5b0vS%%ӛAF =HP3gPev{^(Sqvs]39=E)Y?I2)d9'H ܀],5yD}sz y_@DifIz7qMddl3"j7QjЧt2=0hV]Na!_1D&8#=B+eP%Ue(rڰ C7E.޶r +5gWq3Cb7lׅ%]'Pw9Y"mB1~o+Qtxd]DXډhTvGTQCP*o<Nד*bbȱ/Q?E))el2jOQM-.1V_\igל]Vڣ 2Q7GȮݚj$qd; 6Ͼg}ĵ˂^/;9K1!s[VY^DAn䌠o$MiW!jnq? d=69=x֏?th\ﴐO<|Wߑ"6@ʑ07$R(x0S]'0;V2Ӳ8 ǂ2]etjq;2|3 އFjW^KY|S Zob2*xTI%~H[AIv;D: Z|xIa5XYb[#5m.e1]hVk0ƩDXxAD+8Һy(Һ9 {!29ش9)+HT&6SV% 6+`Da\Ʉ|f?Q9 9(z!pCZ}pf/ jnN'HZW((g >y98/QWY_-_^U(`%lLh2TI=2Oڮk:a'zd0+2m PxAucޱ}SWJ% wAO(0  m ;ԟDyk<^"ZELQ *HE,.nU jpg3~ ][~y 1C; )죢3UZ{&`*W pH lTNLRcSpgB2Xn⑃蒩R3BH玙bbbVVSƮ2r/ χUD.HiDڃ:=*O僷lDgP62fᘳp5p@1D*HMEOK ~asD ow)ƪh] h{뵿0;y|BPH-Ě qtNW% B>ԃ['#_2-<66/I}H6qwr:ؔed٩dP.PDJc\<}]R1N.yQ@ٟ6S!{o"XHf-QIϟ+М1? "r TaA &%a;& &1MOzEӕby*3J86(ש'V:U~f onr347$Z1u/KP,K9wDŽ%K`M :Mw*40soyj0gPT?%`{qw/C;k;tIuׅ p))(cFT2M(iGI_VƓٱQ1Ge UTN1:WLJi=ɚ!X˵d3<`xvQM! ȋ) -yJD0-Da( MoFIDsŁ"HUk=u>Bh6pZh؅*;z/Ƈy4:]- ΏɒPl} pҁB ~I?i/sLtI( DZ&b hkvtIĥAea siLA`a 'z"kZ9$uФ$@2=_ w02#61 h/߅ e7K淔Pu s -i"5 .*ɽjab6صp/MG+ ͈{-#{]c+4A }|d CQ52թj%+}TT1wS:,qI sna>X'o*ttA8AH B 1k’,:CȔu$VE G0rM*lV %7>kb/C۷d.*x RB?2 j@! #C&)&֡`zݜܬ:~FmA155RŴokmʂBF)d!~3T&F WfW>,psr+.Jb:K/z*tر#rľ`7)Ql /ےtDtp.|s~՛`D1S:/-0 hfhS׋/i2P08At[]CW:x4[aǍl\S!\鴨¨$O{%?X4a_X6df@`471¡iT1uxbiiyMOyWd%@{W|:ށG^Fʵk Z*Rhe\#.TB롎0ܚOOu-=k_*&PՕ1M; GTz{HU(q5w]=i c=Mv@&$RTE% %tѶˇj$ӕl!gގODU^R)?HLM-g?[FQ`؝3ux_[)x"bkxnb1C3́6"B(֎_fl]U#[+<ɏ/r ]_ǃNk@ dzNo\ش? [w q]3:gM{v;gy%ff˄UHebTmA~FowG4: f-SB [3s=+PH- b T2 dU`>.dAw%y蒐j㫱kT=uQ5 ^ZYZD'> KCj@[^KA`%&vK0tS5%}]vrZCkmN[?[Hܵ ZomAcu7}g1LXMm  k ') HOL-BaliHOL-Bali.Namedocument/latex(/`}ɵ+kht/F#cP11|l&fff\l΢"\TjA -M9KD 9Ϥɬb63ef|LȬ@ YB-~vlgGvo>5j95{|ǫ!Q4"CC䄼z{ĉFQH0*a 1L_}egU܎CQ9ڂh !ZDKmH-|_U[[VN$Zr@,H5p*뢮Ö(ZPOIsgGLMt4%Đd7=b"bq@]g,w}ga,eWYuU]U[[Z,z([EC]j&Ex4&դI9=򯚙˓$20HDY ca"1/=/"3e+K);/%_ʔ27p=>$ Zr(JY4;&|UO>a‡ ߻1aǻK =';?P:8Q>Ɖow}W5w6'wyw23 Ebe .بi1CaP ;YU# < $SFrSsH!y0Bm~z͉F LKf C ߙ&hCs?zco ciZ}xH C| \1/W! T A6~aY6#\QBp]sʹ3ӰI%7he ӄaF 8H1') HOL-BaliHOL-Bali.Nametheory/classes(/` vP`NvZ)$Ŧ+?&&UH6_Id?8p1,4vsHu*RhcM$x0a[aN hcqбV3S(`È57 '# (HOL-BaliHOL-Bali.Nametheory/thms(/A**0ii#o\Ǔ6U qWI+{st)((u6@w?#I̝HbYhi;ssE󇄢 r`XNYn%Āa`Q rjU5! fP3HLph`NMJ3⠃´qˇP &HbO=(B 5|zumeQ | !Ycܤ@j$), 80aQ ]$|(Vc @ A5Ewx:\%X7-#9tF0G"!%%Y):CEʼO}"vv)q,Z*CaRx up80́PHJA ($%i r$ DAC!\ɒ~S 86⡍V#!%RXZ%!g3fL2E '' BHOL-BaliHOL-Bali.Nametheory/axioms(/`dD ' mZp0ۿx:sp iʑQ$+@#(`ěKE2"<9@0E$M= 0NfrfLu1"<% 1yJuwv 4o<@`:oހy<`b.IDxxxE. MXfCDAnk=v7K_E-֩cXw7 PCL:VS$&AZZKL޼V5U)U1̦M礥y͋847%#s2Jf%ꗌ1pDf2p.HMw<$gzE ,G"HBxg@X!3cMKӉ^Jǫ_"^ϝDm 2dB"<ܻIyDF @b+ɤ!.YR1}nEŨ:?nOnTG4@THOByw|{:n9vJ߄iȜ ED` >vv-T/-CI:.wQ&~%к=4'cq\k[Il|POe14yQU3#@Ȑ Sy?17;hUsɩFm061+tٓD (wt*bzl!].{-d+=0g2ÒL0 w}c8Al2b7F.L3PRio6)hA.ea\*G -gګ%o|,@ܒtpAVؗ+g;}RgIJ="ƒp}-URqp7V󮯅\#ib/v(YH݄YũŗțYBG?'b6.,NXH6f,$ b7i5Q!6 S/D-)wVRE||%r]hgr2@W;k~mUh\kQ`{yϋ2 9vg֔!LcZu`3WoԏGE -"9M22SGV`U0ת#0-uT *bm(f*෌,c;iy\Alkrܘ&TF*ѬvF}tKJ'wQ`RE oţBz Vvӵ@ sf~-7K*`W&hC`-_sB )a3pE L%:_}>ZjL#Fv~mrrpGސxf݄TSg>c_JJ$rLaȅF+ C[ WUbp ])~@`";t"/QOF!Cq)|FMۛ$L$4w9um>ۖlΪUpӒ>8dss!Ettɤ՝u],tPOI7 xozP+(:m)XuD5-<.V=&y:Wp8ҟ1|%폑6w~Ler/Lc2"P4͞sg04K 0PvC.Ou;<xuS֭RcBڲ7ƞm y9^ K^Fی%VK -Tn/0 ([I;H8}Kq{̻N~~~1>~DS~DS;wٙٙٙub]U}|-Ck%Zk)Iexk-3ZZks|9v-F8ZsN!!iY@I]ƝzzH)VJ)U3SRJ:uOeRJRX)T9"A$ ʃHSԍA;RR*R'՛x")RJ)RH)f U RʘJ)e$fKZ`&)9I Lwwww7 ;Qwww+4H@|nԬs9(R MEa@0HWa$r0=Lψz!fݫ^&Zkܵ6T?|j>^G<zP!C惻?❝!li?UuhWDETDLDLD<ByW5!CGwYU3vYU3"/^e^feVfeVfeNdN~..*꩞꩞mf̳t --8B$ Pε/=gEݭ}\>vrt(艗|'- 0 M*^9b4Cj?Ā4F+QQQmi`DÄ(1I*5, L_^ɚD%qrqoɢH2Dv+ tPI 0 +!I`$h@` g %I .TQؿyJTV2as|Í١M\dxܔ{|`jj/%#yAFacjԫR{'Jk %iY)khEzf'apc!ٔs g4%dl$VKVwtV4_yc97pjOm\B ;5j$m>GV/C{(Zbrwlp?r7*2+1yʕu:]l4M7KOWǞ}+i#}۽u6˄w "?Ko &47 ".C]|S2&9{,9S>$-Sh\EUXy{ K2;zʘipv!N: _`oGA; -tu9+M:E6S`ҫ~Aݯ6+e%xYYkƔZ9E6NсQZ5ԉRJ?{Ew,%N.)kTᨗ}qzO *?1AIkJ曊Sq%'uM!{E0KotĸkQ Wfb-\˕Ԙ?"Nk 5HV@ |8ӮfPbCIP3$xϷr2vrEO$Fj_C8?w0nY.7'n0\g5TT'y |{jȁVv_#:2LSpB>f`}$,3zt朝ǐd~Z1BCv-)P\-sY%}LE]_ԅ^~P/cN6/ŲYt* B}xA\ͳBem XP~S FU_EKk9:S3Z;q% ?1! "cn^-J@  :Cbf=Yſ}wHW"8$BGe wzォJ!1:~/mxȹ(e0؎UZ[>nNzb^ASaՄIv!AA`lbic[H1$` d8|Ntd.jҼ#۸)y.#&HEkCӈ1Tx ֣IG (\>Oū0i@Ua'@9ux(6qHWo"&+ ӯbd=&30|D)K6Y7 SEcTj4#_+^^ɣ-;[K)VYXk̅*B5 7u֛ϴѣb7P;)rh#TF_d!&.-XT,)Fi4P]fJfK` INtI8iSڮ]Pu]ܓD%*i;Dp:Xpn=_${kQe=lpN{QhHNE#Ub ]*ÐE4FbU4DrkECkͰ=u 'H Ƴke'R _;LAXk7-O[$0LS4F™i_H*8j4֨u| 3EJ V.Ʊm6~0ᦈX#NQDDȇ"no@: %j5wP' "U.Ƨ[\}ݳI_$cdbTWR `W; L ѭS (]-V#1~o ̨7>%,Фv ~UPO_ ,e 96 vAU y<k'Z+tQb⃂^ s5/b v9*vm*଎G; ~ٴݖѰ|IG%-Qt[8#i(MĶM ̞uB&RD;vr H9l.XXEj d/h[z5nxxXiFp zJHup 2dAew^,'?+%C cQr~a}u*,8Gb5#m4JAwLdqV6n 5II-l0,=O[m Rc_͐:7In~tV.G%?5|PN0j2Cza* b`QO G*uHh"¡p)hE%d1`.2Ct /,A.6.Y~ÓUo[ ڋ "BCk@I{qKaLb9?\krM !SQ%7B( &I]2rLD/+LG~th.^ Zt>g0@TJF@+:]i@Or9>['cV\hȑI,D$ 5BMT4!iP/R&&y(u99 jl x3Ly?E\#3=,Y;%-kud]ȭ7(X;,"0w|rzf-;~O|f̰AˎG/^eHcn_CⓂyX( k!$(MĢ])&DI(m ရ Fh 'Dk[E8`̢DGDSCZ "J]G.Dˊ"iA$@A^3z8WŶaY HƣЙ6*`(;  Ѐ9 VjPUK=$XEK=x mݡ*rW r,"类W#P`DE(6 šD .JhW DI1QeB8"DD@,ڨ 3!d(%V%aDI(6 šD .JhW &!Q,hTAXJ @J>}IK H$C /p,2ڕ3S8r}s k5!Hjl1IWo@K7UMe HM!@1t] 94+wgD7Ɇ9dUMv@H[T)k )1Q_mkgb48 `SWS\(#b2lHaـiAS:Ոtol/8FMh,@*ifIT "%H4$݁-JTAp-֔%[<ȯf>p-l .K~D/KjN;d$~f;m,;X!sva&^qG>w02MTSMXgEm}6!A?/ӴT5A ʽKb|P76s-٭d,w?2|Oi6L)ʕ=^î5p`ʹ0l=q5ݾi,.I؀'9§@VAu~ XQ?eFD~e6锥A|=]G"aC*fWCq{2. PG\ћ&7XsqRX`f! * Qh*$ ɤ;Mv `ءQ _{';M҅„}so'lkjѼ3LN6Hsɫ)UyGʙt6uF͵TKhw9M_!\#-.jh2'ҳ"K P0Q:'`՛_Эv*tJ1 ䷥<M6:D<>Y, fD%`K^u1?6ҥ4+Xv U(ް,h~+K^z: ; 73@~I{ t3>cfB>PRU! +-2>u;G#&2{!TE;8!g5VLnHg= i~m*{:[}6h&#l㍭ϼ>®T;n_`9@qaϚKjڼH(t[~b6αL_?ΘɺK?_oq7|A {q\ 9.$B+ՊK/=C&"||җ`f4A/ŷ_5;1(t' BG(7PmA ԟNZ=͵/ ߉Nۻ YI-qޯnFscekP={zI0tl A>VX)ؕx<K*%N^LSU kӋ;W(Pw~XY xm&9J2*Bh ^snk}yԖ`m{2ɣ[lKFK?‰)5ʎnWk ۃ|Գ9Tt=¨[HOY[ɣ}` r~k+X,", )ct7tuP&ID׻C)r;6cBDcm{R馅( ZL[^'=VgTF-MY2QBQr&wFGݜ+k,05_Z^1/<7k`B  q@=ב'^o_CCo/}t\gw:8Z}Ѱ4~EZU 4-q2m21ͧ90K