SQLite format 3@  .K  B  T11Stableisabelle_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_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  I!p TL ]/ HOL-Import:threads=4elapsed=0.934cpu=1.776gc=0.0007zXZִF!  ]ŗXiɟ  QdR`N">$Š|BEз{V]K~UGOjJq)]Ś_kUrٗ3E֠y. !C39ڕ+ fXSݑ&gYZ7zXZִF! c]ŗXiɟ1nvGx3>U%BH|&? t qm4U"ҩa;OtّSVH˴QB}tQegYZ7zXZִF! "]ŗXi%TW @9끢Z3պsR1'idǎ^'\Ƕ #ylp>{zu{5oRE7ʧң )QhJWCjErZ UMA^O=2_əM.[ Q؁Ot%׵dP詺X\=%4CAxVciNۤb.@:j\؏ U:jRӹǠ-HsՎT{ $iqpx'Sb2玏_F "~5A\ȿ3ȶ+HA"(w*e/XAG^BR>ɥYvj.?p|= b]gYZ37db73b07eb07f4e31a383c7422d1470fccb19ee3cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9  ! HOL-Import!;!THOL-ImportHOL-Import.Import_SetupPIDE/files~~/src/HOL/Import/Import_Setup.thy ~~/src/HOL/Import/import_data.ML ~~/src/HOL/Import/import_rule.ML;!;-HOL-ImportHOL-Import.Import_SetupPIDE/document_id230V!?C ,HOL-ImportHOL-Import.HOL_Light_Mapsdocument/HOL_Light_Maps.tex7zXZִF! fl]A-MՋhvG"uIBm5syrcvIxs{iB#|jc I%N]:jؐc"bQc{53`{ "UP$ ba7S)_]r2d6]l~xn:B 4)ooVFUcٙy(nC$!?qU`TO/NBRJȥZ˜_3 얢%oRS=Ydzb.6LxE̛ȥ XVc_8 ! 7gv 1*EF_K){&4o&*\T[c|M/ FeRZLA(/FÂ#=6: l]Z :qat9Ֆ>JeWM*' uvO}zy^ D~9ge,j jJOp*MA#22pF05ln AV[S<#R@uoB(={;5yKN\(>,9uF,n)u>|A,ͮU>Dz\uJܒE<- E}%k@I='n7]!\:J#긯e}Gb)v[e,vU+#+, 8Z}T mvB;aRLPسz؈)F;gԭy!DH fmBV=v0ѶiJ R%^FZkЖr!31{d HCP1ngz_/2zr׷kVWw9ޗ DOʍ/d 5ɐP#dlG>=<<3fŴun&.X~UXǬEf zn&J[Df58Ot3&ѻ(NR]#z+t"d:!;GotJxg:Q+{մ`] ex%&}y-sכ)"ST<:?x? ?q@\ 00/wٗvM :x SF"q%;oE]J3:0hmrv;9qko0ÐJЇsAS4t@~9pf@ ,1 oW*/&)z7$z4ۅ=17|z62/&6 /D`JCq]aĆ ehLM <Ҷ1x+HQmeU4$\j+Fӏ\gm sKߗZ8C%r5S~g?t wNQauZ|5yiә!y{ z@8B+=[4 Fs͔J [(`Y(v)dE~\>>D=k"ّGs]Ksd|Nֈ϶ToQhKVłI`mWR:CWY]w!$rk2VJ. B\qtk'"b#PbY|"w ia$92S'0i j]Ihsc#Ҹ@Ss-2iG YzQSE    g g{CvA6!?'HOL-ImportHOL-Import.HOL_Light_MapsPIDE/messages 4!?#HOL-ImportHOL-Import.HOL_Light_MapsPIDE/markup 3!?!HOL-ImportHOL-Import.HOL_Light_MapsPIDE/files 9!?-HOL-ImportHOL-Import.HOL_Light_MapsPIDE/document_id 4!;'HOL-ImportHOL-Import.Import_SetupPIDE/messages2!;#HOL-ImportHOL-Import.Import_SetupPIDE/markup3!;%HOL-ImportHOL-Import.Import_SetupPIDE/markup23!;%HOL-ImportHOL-Import.Import_SetupPIDE/markup11!;!HOL-ImportHOL-Import.Import_SetupPIDE/files7!;-HOL-ImportHOL-Import.Import_SetupPIDE/document_idD!?CHOL-ImportHOL-Import.HOL_Light_Mapsdocument/HOL_Light_Maps.tex?!;? HOL-ImportHOL-Import.Import_Setupdocument/Import_Setup.tex  ,zAa6 c-oPc(t3>}^86 gXeΈ|F(NyXOoYӬ'x]5VԽ8+x3U]mہ-~4G|ez'B{'ۭEYR_sw+X**@D'!=H1[b D.=j|hΖf 1y1 ^ Ɉ7~j$Ƅb:HAP4pYs44t s9Ki.h/8؛ %r)bovBvDDv<=Ա{j .i[aL7_^6[IvsŊP@3,#t~ *YKSm@j6cڵM7WmB &n@/%ծ'O[7i o`-i #ՠ '<̴j$)Ը}.x䢣ѝgg\WuI0n ~^TtKk*r:9PKCQhT\J!-ݑj 0NK~Wo6@(n70Tc"fSi0:K)脭uP|^ۊs " C^GvT93h㗑oeD=R {8h-쀬(p8 7IF&^g 7v vx31و(6iϿOR/O(F Fu4p֑?8*fg~szߟWۙ<-9zΟ+r\h=jĻa46ez H8^|=oH gc|[ "u}P* hxS/0X*7h֏F]J`W+ B~ xel2usЇԽϧIHZ4~܀mMWng v\/d1k>Eu6g?Ψ@ =duXg.LAU@-u1uZ$5Wi[ءm6/82 D %Ga_i.)ø.>\w2]2%SZ+ Z7-6X$oávb< Gŀbü5"BҟF$pYH dU(E-*E=B@ʒZ}TAk2yM%""osk ))fgBҠ9. qIHj|Sr _IWPiS^z8C{|s<,ɜ@!T0/M\lbөL|YK6YdO i'\UnM-'}J5EJ2$ A-X^09/>T#M*]"?8($* UDrk;1֔0疖V ?f- I<;A;/q?+Ў^?u\pC092xJ'ՒwTD_]Ad6j0HڝG aJ[MWk haXDرVH0uqku";M zR2\"5^ZY~OyZZLsvhc,'x}Z`ᴗq -)b IIam/q>ZKϑl HN"mlQ%2qO䩙ȼSN>C~6 ٻUY CPE>Arl27:eWկn)u` TԡG76_mS(|Mqx'?;t*HTm%A:ZkZ JZa-&xvyU NHk0"DS6}ç}Pc/9!1g"]U]rT`. `a .&1~r|;F91efh\fdϴ8DKD>թQzHP8};u}ejZS"DыU5˳Vߊ[͜ b\ipHޔ6txZ,%!yv|9=U;C=e>77ӎBf@Y0ē4 d_<iR7w:'q[UHx Q'NQPv |<ۿ>0<5(~/|LR{A ?Z۠wIw;y6v,sHʌ )掷)C+z[/&9@ѵ^7 Pd. D]jٻdS7NyU Q8Jp 9uơ|9Q=  }\Y~.Z5j7U$=6F"A;o0o߾Dمx^VՀ.}]-)8&Y.FvŘ1fSHYKf:K\w9B6DmkɀcvU " U8/faemp YbEsя0WzLdlv&A^T>mK*g#UuHBf[yf6ُCwT[XiS _о3$rI6m4>iBHYl stn(")v%om n-TsVHJr#nMMQBedXJAa%'@_.ڛE؜/c4gXE:o׻2TbM.igM0ff(WuL8/Beh  rVII'i|?6߭<{YYkT: FJ/$| ,:f3 ۴d$1@ C#%"`c U75^N|8 X0ӏ*6bɂ8(t$fK1EgYZX6 с6n&B{_H2uCTjE3~; T̷V? "bv9[\웢I G$efCNf:c׸alڏŊPVP#[<,ݠbuqv؞ښd vk$py m=88.)F!Y}0aĝLSo.Br9QPj9g.܁( ]$$X*P20½fy@bW3>.⥴NQFv㳋6XzBz#j;d>!}C[#ּ{ncf͊yCX*ISk _].hx˸:ZAtQQbQ8(*3\@y%Jb"6\=\8bTړwLZй*xD~ bGw z w5:d\xW,khZI sf빪wdg+ej t4TWa%;R ,HKn|jtXyg~ /E?'Ju~Yeeڮ{Ԉi6L|Tڏ Q^*;UimrE{,w-h4/Y̭3ʷ3x]o(KC4*pPCf_W~IIxv{wqL 3UVn $L0DV 92D;)`5$UO> UR}Qvݟ/ /5̬u\9н7};(՛: LOb6G[Coqw Wg:|(jS.[ s>CdxI'*^Wq&pf|j lL`ӥvHޭq{g}a^Aͧ!\TO2+CY+|BU\ZrR#/ң5fy.bo&A6S*X`d/_$,iqb|bR3.9Jd|aY۞_ +STn>@\uA={IlʆOUSdAj*mfyB9;nE$F 4c: ZInoűt*NNZSa15jiXVT_87Ya/H]dRGVR=sB9ע'4QK"SX;W؟[tuI1L0c=!G;՜k 1t1=측0J!0{]$-Hܮ8ưH~[[m}8{^(>Z Du/j*kB) BU]siAJ@lqkb#ZG|%sZ+v'ql*&ͼ,~W5fUxz #v}?GH>6E-w5#Vv$?O/)5`Վ`_S8WeP:vd("xqpQLkAhARLYj(!ʒXY/`wa~.D7"u;)!ݽ:#~Iݙ$@IGT$59t7t(k`%JP}J/'oɄ ]6qa6 LՖD33f_\7 鑳.,Tuwe\_84''6;Sْ5U(uu` gmNq̷}EhQ3b S#i.Ai)#" 1Ypn=QM7:| D}pdd@ V0E{ڀq)sW?,KC?Zh&vfʁhN8$!Ú(Y[f!xl'(θ-N> o亦ו͖u:`MDLΏ H*^Jf@܊XÅ3ug7 jR9aOFH27mY[iQeLP N[IJr' S_52H8SgZcXֆŀɞ/~w @EƸ{kndk@K}t4[%mw3QPX{J5aK%xpN^1?^ 2N)33HSunk^^vN۝4-`ɺٙ J5{cq_c2]_Zα&SI@W,9$Wyun|bHڮRǏcFw)+m%\eSbi\AY#J$;)Ltǭt~2Uu8L˹˜/'w7ŧ aygYZ  j-!;!THOL-ImportHOL-Import.Import_SetupPIDE/files~~/src/HOL/Import/Import_Setup.thy ~~/src/HOL/Import/import_data.ML ~~/src/HOL/Import/import_rule.ML;!;-HOL-ImportHOL-Import.Import_SetupPIDE/document_id230V!?C ,HOL-ImportHOL-Import.HOL_Light_Mapsdocument/HOL_Light_Maps.tex7zXZִF! fl]A-MՋhvG"uIBm5syrcvIxs{iB#|jc I%N]:jؐc"bQc{53`{ "UP$ ba7S)_]r2d6]l~xn:B 4)ooVFUcٙy(nC$!?qU`TO/NBRJȥZ˜_3 얢%oRS=Ydzb.6LxE̛ȥ XVc_8 ! 7gv 1*EF_K){&4o&*\T[c|M/ FeRZLA(/FÂ#=6: l]Z :qat9Ֆ>JeWM*' uvO}zy^ D~9ge,j jJOp*MA#22pF05ln AV[S<#R@uoB(={;5yKN\(>,9uF,n)u>|A,ͮU>Dz\uJܒE<- E}%k@I='n7]!\:J#긯e}Gb)v[e,vU+#+, 8Z}T mvB;aRLPسz؈)F;gԭy!DH fmBV=v0ѶiJ R%^FZkЖr!31{d HCP1ngz_/2zr׷kVWw9ޗ DOʍ/d 5ɐP#dlG>=<<3fŴun&.X~UXǬEf zn&J[Df58Ot3&ѻ(NR]#z+t"d:!;GotJxg:Q+{մ`] ex%&}y-sכ)"ST<:?x? ?q@\ 00/wٗvM :x SF"q%;oE]J3:0hmrv;9qko0ÐJЇsAS4t@~9pf@ ,1 oW*/&)z7$z4ۅ=17|z62/&6 /D`JCq]aĆ ehLM <Ҷ1x+HQmeU4$\j+Fӏ\gm sKߗZ8C%r5S~g?t wNQauZ|5yiә!y{ z@8B+=[4 Fs͔J [(`Y(v)dE~\>>D=k"ّGs]Ksd|Nֈ϶ToQhKVłI`mWR:CWY]w!$rk2VJ. B\qtk'"b#PbY|"w ia$92S'0i j]Ihsc#Ҹ@Ss-2iG YzQSE&\ȐgYZ ]!;% \HOL-ImportHOL-Import.Import_SetupPIDE/markup17zXZִF! g]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ^)#\OKʖ[͟J9>oƮ>+T D(bv`CUX} ;, tm`ƀ!SԀ]ZI 6}m5c`|;b*Jv[|clꂔCU_%08wP ڿDΜ-+ | mnQG_K4~k"MASc d-WG7*"տ% wسR<6QQsC!l\6֢R 6NuS {p0}7Q$K "vxnp"*+L JBe rs7?AGWT.-$5Wz7,^F>2/Rb76 Жj`<1&R? ߡǒ]hhʽ'B9;ܙUc|*ꉀOTѬ~>DW0+(zM4#ZLa!췃gH~}W=-;{ܝ`Siu'l9ŷ1iC`HL*š&82\zDd=Ҳ5kV,-6^E)!?zq?Gr}K戣b'Ѹ\D;bb;2"Ђc}NVmbuucGUyiH!R 蜲n] o5Zg Ģh{Lﱖ/.l] C UZQٯq0%q.xvK_|#aK@lF0 bSXLNch8׈sWupB0JvREkbKR|kko.d먮]ĩfbK[\.粉f#X:cbaDĥD6YہbgO9vJ/(O([Q`*U;KQnJ 0 0qZjs/s%38%ԅ<)t$#:mkvkSE):0W =ym 4u}2Hoe]_`AK,9o鄉lCUᡕpzЅl!iCt:8\w} 3nOP9poL}$<38S &iJ4cyrA˹53R[f JoM&(1 !N}[qXX4B*g2k!:KJvd :jJ2 N73 U`yU^#=.6.;WiUpK45_?E 0i)GK‹1Չ dp*mkw#?ϱ)+vpPE7,<*Xg}FSYO; wvIo ]2Ւitj) PZw1> _WEJC8F5bI$E\T^ciOg8@6R(f):̬g(qxٙ-G,ע j:P"y.,bBq{ۢ+E@v *ZH&0DGK8ra S?'sbOl:*|Na`[E[fӭر^b<H99dq+93Rw%Tmz^.aXaI%:]MWS#y9S`I?HVn*=fEjf#OtkR]N4GxXɇz2VфA >~b&ؓq@!=s/dFyvL0N\pA=}SRJs @y^X3+^8e x{)Q4{į/7'a7{MmhBZeӔɤ%[*.%":!>2ka1+7eFIxܪOg AK*6ta̞VU\+b`2OK ݈?c]Af_hS?{#!>y]$>`b4adޖ7Ba]JiV .yg;@"  &J3\(콦0O(gUՊWk ժΏ1}2OCbV%WTMrls NR/v5z$|w8.Ϸylƺ1[e}Z߭l~ڸ "yѧ"A3V,rI}+C햆b|}MIٕcz$6٨$E? f= kM+ $D\;zVg @(ݟOjYJ5<#K6"Ǖ"NF}XT U= .$,pgi3Xiq-b5mNn {">;fPYs#D c@7,& { a/e6zS=TM<ь=x=VZvtTD$_1-ڇŸm) HsW{f]Ql盳1͗Uy8[GM0.WQ|s>PXfcs$n\~z:R?p]3m9^3SeY8֭\'_GMOJ .4c_sV' reɻb8%|Uyo۲R65<ӡlW6Ԅȣ7U YE/e"H 399LH\h@&r7i3x!U0b ^ mְ6[Q l4o)jh;i@hD(PŞg#CЯ~;_LZ/ɺAڔ$h-ۿ1Az %mp3 4G`2sęޅ+Sw^^9_nIJ%v]]=JR6Y{ R{g,LJ͋buZFJ?Jae=!@-6.;%$6BE_/Mk^GuK4`yR0ZtH͚WGL-b$.dnznUl seN+5=O^E{b7~q~LQG!\ǔJv~ScijPm+ |nݣtD"ߤ /LCP\3Z! 7Ly2L_Tǩ泽R5TȼV6@%N }"G,,`yG@O+ scp oKpm׫30Ϸ~zCoƄqbsMD4sPZA*y;Q BVs?0zM˰lzkUmdhMaf-!^~Nr6 |Ds(.?rx+s&Qv2ڽS#N-HѺ*0XTyY LZD j_ONo^4V`CiO$?l j[o${/,LUa4纆B~96Dj"yk2eܤBŮ)YQ:YECGdqNqٌh!S]1.~B tc3^_ *ӝء"0 ya@ݞزNUѼwUl8TQ?9uZvW(oUN[ze^ǵF-N{J CVnӰMom5}gǺ'/C#>jDfDkyE2=\RdVpaiޏ},Ejf!cc v[+V;^U/9gu=Ҥoڪ`|4=C:sI@s끅ΰF4ƒ_pƘ@'A}$#֜)+6p*#>~x :p݈,w4FpNL " Xfdi:LMdMɂ2t3w  ա2Y(-)!-ccDr}9/ tb] ~J`mC]N_h ćsK)- r-~k TɻrJi(JmRFh`]_*j?Ɨ~]?c8&v!B* ka=;{OG{y%,%5m'jaYHu[8"{Г~f OTq5(¤t/C U] XXRt OXW-twz׾{Oy]]i[䉹]flY7%2KT%Q>= u|u펼R)JxXq1m)B21h.q i C˩;?[7@A+4 B#p!e#HZԨiV^gp]q83SeD/.\_L7C; ֮p&[7Т$2Qon/\lP7X&8hF>h*DM%!'ryWpO%pGݔq 4ܛM޶> Co&.$(D*|ݺyK(iRyߛe~]Kyaf3OjɅAڌ,M"& B7`a;aB ړmQ(+BL9~ d홇HYno@!%O90X3~B.4(>{ݭ ߊ=%NH;R#M{PŢaӻt(1:OAvx3 8kS,;+v٠eQi&cu`P)_qq$gs|aFb6"Gv!/Ca@Y͒&bYdB+UeeFcݓioTCũM6"ne7 ;ixs'DAݠv8ݞ]Q|GfS=?* ؇^Hi$&0źLˌMLRT:{j!y8ʉ.p(uL,F/?u6P`v%+Nb3 t8<1E; ji!>UN [!˘ }c^=?'d~zYd͎ⰷ1c,{rVz9jK:`n^|A2t!|mWBzHMDܭD5GR$cn4 T\qxmm@A%9WO)ޑ燼1g㢵Y >Sh食>-]vD 6;̢i//@kUjHCS+M4X9d/Sf5 [SՕөyFtah6_v!| T}yv=1ajZGFfFP`& V%_O멷*t2 R.' FJ#2?!()+Be`e٘hq.d f/_&{/"P#pM/yC*h'MdQe6 n7Xõ3}|s1kۣ$KB-S֫ʬ^ K4OyNL*)(EDV*up<)]EN.Eq;f,3wIF\I>ۻOSL#i<߰0(y1y֭© +XNخD* Y8ʗwৡOv5Ljk OFJlqr1O-_zV5J |rXk,vXH]\$`]|U=Pk,5<'[laBH %n)VD.I4.]cf8bM_#o;P m\D%H,ƊF*{QH˖D p<4 a!;~bֿa!==k$jA/JQʼhSqU,LPި7SИ!5T/b ͺUAl!(|cըJCbV V]@/7`VB<t,"3?`BY_gptHꤑ8.]/lh4j 8̂k) =9?y(sx I'L 9- HL/Ȑ^xZƺIJ5& ~l$:ED0*cSd3tAb:K &PG*pGbf9!k V.݉|#!c}2o$wR1<)-HΤ?nSYSY"e  Yϻ2fjsb (0TyOM63Xe:%ze#yihX7nUpY"C"𳢲D54{Aj<񀷳F7cz4zr#^)ſ/|Kak?ys~N2X77Dbx*e75 66-O )ҙ`<pig1~0T 4 e~6[ uἧG7v@\Qcwwzd,İѿY,N?G+[ӭ`8S.`h! wގAyyvU`_erz&&h^O/lb$+YY/ +*"˚"ƺ6lr. hvo#\ 8xdg[ԷT`gv6FEGxnDZ>2tEVDcz]&J0p˖(FėH,㋿i}iqq#bRnJ6Ɵ5>/\0h lUeFHQ̟x9+ }| hDl3bi#`mPO- ̭wi6iFեYmR?A+0  8N}ir['~t}hK(;2*4kܞDUcۿЙmV6 Ir(x^Iۮ9 (hy~rj0h=rN塅Jr乇)r],\W|fL`I(t̨%,aePiKFZchbծa C4$c81q?r >qAB &%,}ávb[G&R r4i֍of2= H0G5;N~x.P5 #Y:*QL*KOf{@Η˦QʕesHmx{YJtG!}9d}%:6i)(/ `sR5x8c2%I\ߊd8"n%k@(i8L""$pֶ6g|@;-cuSeZ ݉*:Tڰϭl=0AS_ƳwQ]YR>b9;tRꐯ;?D,D}fRb<Յi+¢ߊ ɐ~c@u+uvak3&=*TBLawpޙv?!?HWy vT=~3ߏH4u1֬)*vˀVx2򅑑 ʏ]"g^Ic1c$;en!+jߑXLNw0x1w>iA0\]EZ{ =5ɐHv ::L<2ZYK" ܵPsW{b(;n'2wje'444J=L"7F*gsc+;''ؾ}K]` @4(m4X5XadB|yщUWORDVw쀏H=M}_9 `0rDAyK{W= #{BSfE}srL\\s"bn5:` l|%gT C޲EkDAo^&M}o]v栶z<$3 B'[pI> 1*Q5vI{w,\р̬^ 5P!*K)vgԝ Fa)qڐցg'۱y:,XWJI<6SdX()ֿ$ЄE?d&o2[7ǹgU0e&/1۪<~y {哈B*X/kV3$J|Zѓ(xV\|ΓYj{NoM08 Q~eݯqRp 9׮_Eq#"eZ7a:z;|W,=F@?+b.MV(i#YܣiB!ݐ#ڪI;mX{9 )H{!TC.dR٨v&c[]\4CiIKWc7 A' È_\뫙yv%ҥ$z+z\DУ(!>`u2]Co!Re6e[¶sh-8Jto@d G@:{QPz"-(k)YZce> >aXWa4jN}3Rt†<4!eRThn7D;bxFff!Rӽ(82VL1j% l3a.孺4?,G!؉j6G[~V!2(3 k(cSJ{ b(hf3gy͗ܰ֟"FBѢ('M_3[d$5rQyißwHUMd!FX.4}nO8n?,:oNZUHD'B׷ˎLrTɤ6Z~r3L)8>,s?TLOq[*'15:@.-W =f>^+~Ja(g__{ /O%% X5Dm2y5 l#\!ש$E&sPҘU,D^+$)U9<2ueص0]vVsПgW2uG recV(CR)9{p ,%m[!j$FeAgqhc8 K6~"Cj>{ؙwx+'2{frO N/->+*l{%.+ JI¢ П&TRc LQ _P9TAlv8>7oy~!t7Q~rU607lQa<AR轷Əo!;R{X wp)EG򙋷5[S!Z_DW#?|a‹;bwrѦ`_ .]_ؾ*e`m8i+#eB(>t箪Y994Fx'60 .b"Jc3q_r`w)=W_鼗ޙ-BRd!/θyTeP}vIrl8Ws[&ȧ)Ҝ/V9Z;e-qROrv )]5.,҆GxV>C=yE\_}45IZɌ%{* Ә[bn|Mu̍g2A,6U h:T,llq赲élax(s2`$M'b:Gja+V== nl7nOR# T+BvES"#,R>˝BSf/z[O#MꔨanRмO1=cG p33/SNf5Y;-Yf;N\,t̄AebY ]b]VQAN蛚рRV1YA9) k>"զ, ITs*?U҉2Lzq `,вNv-1dAOpNj@ā۸֯pk ϴ A|sH$ f[].{XQ+SG ڱ쐪X3*S9InʧsX"Wv_I(*zēxTs::م~OM˽XOdSj@$ 4r"%m2oZ O@Z F~>wJ2>Be\Z1 ҏIBxɵN#(Hy|&0ìnj^/ܦϱ|x ְ&yKK e{G_0[J6T oKx"r--ӼV2ˑ1ƟZWΥ)XT'oFL;-zhJ|)XBĚ׵0D`Q%8&nd3 4cpt-򇐦aFLn֒] lau4=&~"q;,=Wc!e[|BHOnϮ~1ƻ.-8QK3͆}qy;wH4uq7VmAi'ڝxeY ܖIыSx^]^txwt[ȕmz!$`ГKz];1c Mw[Us ƗnMMU 4UgMHail4'".phiYO .BfB(Ux  JPtWEaAO xQNh7=oz[)μ]ܣ*xw'N"Xap)-5\ł/".t-,ctAm]vLV#$IوE=^]8yD͕ /4[l($b(Ø';kټ%gXw DL?DZx=T>0@ s+{can8 -Yp /^S=m$6T_\Gu/ٖLE93%ჿ֛m ;ʵ>UUZ^a/PwqX+38F\oc $d}^'U*óe^|n}row'=W]Lj[tyW/'iG-YRC6dޕyS'xPXr0!ԧߴb.3&ھmǪeֹ~(euDywFޢ,+0h.O_m>T]n{!0` =SIϞ~x2rܹJ. / (;sHJ˱ NҜLޏ<@Mq`zK+o?3vϪ5U] TGiwWGo +.^ެ3X!~pLypJNV<,qNq~8Ө l|Ε%֛Ɇ:g9?YGtΎ!u_*l AO:Iݍȁ'Uk]gE+ϙKҼC.]6'{6wm6ՑB'PenG˥t>"tgğteٱ-vS_\*7]0laݬ'!ۭ߽T3$)HQo(䦾i Zjl@24QJI^TGv󶽊L捰]RSkQ| [SkqJL/,S?n@~K؍ZG )+V8Al)F̖UdDw,)1|}q <+qr\u9OnKzojJsZ];aƾ$8FzY8eX$/0yqI r'8|(oC4IkicEi웦ىYpG-@2J3DLCCmt-?w\~rFG ?ˌ-_bZlŅf8΅ʬ] -=%U$VX:Y^qC [~-c=+=‡/˅p9ߦ̬%< b*P;GGgJXM!(V9gǬjVHCtަ~0kQ@3!uZ=ȃj 8n疨m`E-${,?K:\&{Մ_* #ja3\CkTslAJwK~Mj3<})&(VȚe|,mN<="&;RN9(Qޤ+w(yCe-[]PQ'ϫF긇 oG5ˆµ[*̂p8NoF'IU/<{y L&<zN[:{fy֕35)dq+2uIcpz$W ԉcSK1k; W A74 #´qv,~NH#sW]] 0cA+Chy;@Ł!%!%~Q_vW*_BafW-P5i\G'5g5p:V婧 qA\xQD>6 W0R2*ѿs>hiz+ dRkIX2R2{aVRt d#ld;K\C TovlfT^'6}MZ"7JqcWpZDŢT~FWb^cJ;&C9s9ᨍvr X>rIMnؙ _'rI5#P& k|c|ȐXWb{>[n1fsӭ}%GI/}V{ubdZ U#tι\n1F&~, [lP>>(IH޼ՏPcDj /&Fg~?t6ׅ<^ǩ}V`L-Nz@0 8mlw=ҎOG8Y9~fr,v)h0P_O'?pU.ܺ񵿈A=>;Ro;a /մG Q.-D"Yԥ W<8vWwy+cՔ,<{ERLfp^8P1huqm+j0yRgy }Nv(DA AԒŮ*FdF/N,HlHb_`\= Й>2(GH#ݮ=*jw8yZy=@ mUP)n("٥3:t#<[RjJū= qlMiZQyR2bOxF#ˎؒ{fnI2cFię<:,ӸHaSV{,==ŵ*:~Dif)O[Gz1yl3VMc;'kaFaSPw QۉQKI^̠SR4Tbعd#*JR>nL?j>t?(MeM5{E $3d!tDp®69zp 6Yύ]3$$Ydz{ihټ#So{O^ /?~1NjD1W?̏n #)JFٔ4/b5oNm?Z#7;\-sЃ4aFgt߮׿@j&`\`ȳuSMt@v1O{7My r%*R^Hg6=ÇtPH ȎWrzK8JMJj%9r\(f~৊M_??=u8A3/}Ej)Wyq~[7oWUYk/s9`ZTOƷLCdfqJ6?J3#SQ.;aFl f{Ž-ћs'{ DbM#VPJSFmr8p}VOwRsv8L;CTjeId̳$F%?]jV%zklkIjtR)>t2?WGi4syyĖ-hN y Qf$Xͅ,Q`alEB<G"jV.O/"-tTKRUF=&쓎<n##J_%7UNnQ Fm+J4n ai3jq[0)60aN3IǑ?V 7"JF]y:C&ݓtNہ$Eod <$\l$P/s i{Ȕg<WgQܼVҌVrVi`"TFwt;j Ew>J DM/!`^DXKQws *-f/pp/с[5c"Anl7½El4E`#1Bq؉YOJQ;! uB߂6vAΕD6Tӏ+GU;}>!p秵|R˼VMHц x0,e.B! =;NzaE,JT~5l2Xh"! 3ߊU}H"5,a?"A9Qb礼Bwx u h,z0-2%p4kTW)?ժ(fx ľS%|62ݷށ8"sĽ,m}9 p۞R* a2 Qwn74 M7Bo9`PC;/F1t9g~ܚyϟC$ Ftcw9Lkw],VbvAd\bȈޏd֐=^*q}+Bch(H4]X1VnŜaNߋXo4NƵ?h7&duy=qH{тOGrnY[,ŵp>,*h@HeԂI?l |}] >BU""rf!9"j vX3ep"GE}CkWγPOOI1i>~iA>2;n'9gXEIQ<-D8!TǑUXCKdn'3 B Z`29$eO/zkd]KXK^*熴5;#y0SWS+ Eg߱Lٓ榓ikv¼1G%6/Xvd}cuyV q>ېE읲1cZFe|QTu۪[r6:["5wJ6 :9Σoy{~8ў q啸0;!?%&/_+ X;ߣWn/Fa{KSLAMǍJR)]EJ[&o Q׷0窛P#.h!u#{Mn cc%-c9:y&2ZG3d\bWbcR3hIRSz0ʋM (>_y֖ }dE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉxmdy:1 kwiBpj5mW ; 9^*PӠ/;a tfsr5A;hH~ŋ9J5$+~#{հy|LQœnO޴ʳbN0/$NkrM-q)O߁w,AbLtULg0jU»~rZ/>Å>0ȨF}<[zI(2=VW;?c@ t h\EY߫ *?6Ecx`{mT[_qy# \7jϢt?cv#~7UFz%lKmH=[RdQݳ?W]V35/]m"sdw jS =T;rDmXXմXJ9bof[Ƞ);\'vd?n:)TWZzJ}bx9A!;ѥiэ{:O`b,289M:6i>_tȔx-Yzm6U<ׇ2-1s5Ĵ@JrYp+~"nev!kFWUor{%+>Ј/:ɧ C=MYU2h79Q } giozDQ|Ա_}"+@خZiÿpYc'HDm#:D2p\G *H$[3L]M g z@鱡43_CːkS|S?MþR~өfȶJ8%kKmasJ_C.t'_ UՋ}+^nRIiwep9fg܆AO\c#S w ce_/2CNn:G(7vу`T8nR&R[.)B*&*` q JlAH yjAl,ӞeuZ[EwmB;BSd4V2hrƬ1(k#$ {Я?*4 u-c gnhX-fGeYnHP?c$^LAs)F\y3ػk2;GmFmd%yz76h!%6&I3MiEwJ%^@xnl/wY>08ujzX #_\P,t!BA0Ȇd[h Eh::3%K3cJu>HfcBʥn҇2Y2;X)v' ${nO>/!NstU^Y3) 6 (&;AUԌVxjf ʁ(?$X:KX9kJh]\y Z{!js4fhvhz `&70󗯑ǪN >XNlN0V'59_\cJq=ŵYd<|ZE ^Y͂C(W!Lq .E 0Pݗa#.U8v?$S: FmnSl%\Rb.yOY2%cל~_ƒ_0@fى԰`N?<\y@;4Y'8$}X'D6v1hd*oR5l 0k>Sc:{vM.#)T NJ!L#DcGaȩ)޹,b>.%%TUs.Ph]jy֢p3g$n$0^q[(x;,ts LoWՐ"B=OL%h*_6'm8%=uw{2%/qw}8f72#h*'ӝwRE+ Ͻ㱥;VX7?y ^ބ{:skp`|u\uH G+0zcKȻ=\odtPui@3#d8Etp9߮D!Bj:H/ iO̐]|@}@CS^3Z>`ФX4:C~T{`ʼ tQ:0jft@sju[N F;ނW,a N8ؑf86b^6PSţ \. $6@Z)LK-thUcK ,e 8Ӏ-c,0RS, OjWVרMdŻ:}lǢ5sa0gzWvl .anF6QO*wvlif|a"}I.ڙG@u қܖL_(,5 (yۦ4ҭUU`s{Q\G~~99D@hgyċK * r0iфlжT~spnZK!l1D(]meFw_AeB>9ln fY=dH^OTx4APg 5zy bl@8wme-_h{̸NR+HTU;ぶg+[̪()?Acp漛o?8˚|1?ҙX!nb&nnu TkjodnNNp[LkaR{}$¯wS>u)XTU^Rge䎢c,/pq`;M"ըzpghU$(DV%?NAIwZx'NY ;»hᔦJ|t6HQ8f0 _PKLꟅR_ R s \z110Y5W!|-c]c}=ffM.GƆG֤,䀏,dC r3)M#.LPע5L6𜬅Z 8qC3wi$c) Dm$SW yB6%CG6ΥPgˬۡ@N;x>d]"?G[ Jo?u:v/TyH"ZX=9sN]A///9 7SgL%!K_b'xe^,w~,BX- Fm gYZ4!;# HOL-ImportHOL-Import.Import_SetupPIDE/markup7zXZִF! ?~>] !M젗OFK?{kN{Z1WpQ6dw3*~i\}WwT ' .kj^4F%CֱA-i!Ic|}2hvBqosPe"ߚ[tv_]2Ԑk@9xS8+z>M@t/T ے,=ʐq.(V]^BXK-5"z[BЈQ@6 ܙ 9Ss1x3}@=9{ZcK*,g H?2hOrQ0M;@D ")HqsΓi1V 4`<|?===yЀB~TZ rL!D2֑n 9"ym-[5!$]qZ+]0&`nO]?>b g'F\~YI@ =4Vtѳ%!> +6 Ŋ*7v*ÑӼ50O)TGDb{%uy}kfE윂cˡ,kTf6i$B u~AxD/4T28wYu@g络:ӴaliCV hÇ]sB>޳@)}Ѱn&l9rz`<ՙ=ڞU 2_?J컎x"A tmвq}&"HQ.R!ųE_U2g`0l|;-8B',,$`@՝ؚw&-3f_I\6be$OS7G Px9Y~J /o&H/N* c,ЂCcF<5u~evks-[u{q2 kG=TI2ybK1c |pl\ciE_ۺNU#{|evyqXwhP7e}_:56'%rYiV͒ v Pj7PI*)ahZ˃4&zY, G=hjHM/}=8o|bIfG1^e>C5lpՏ> G^,l FjP.ui):NvPThGgD'-3}ﲴ  Ԁ=BghIVfSOK?w {?%g,j>c@,)\cb+^3؁sA?v"GôVjqxS˜ 4؈WT+Y`I\zNIY^b3gPXX@:(L<4dq:?20TMCXޥRLWj}ҽ" Z?Ydrm]u d;H6sJcGC7"IeO|{_`T~1ClA &K~(ȯ.y5;fNǾl_vϒ=3;"Uê#,Ua꯼|<6dU\'?GĪiP1UmC'^R=dw Y>^Qi~$tR0lI ~>Ej5gYZ'{A2m[|jI܍5 Qǫ6؂ߪ .y~nd_llA7T`/GL B=SLM9gI zzT㧐bWFzous V9BI;kZwc*G X C"`PRR 1Z1 YIew^U")=`gh+rWCCeC쌎a/O4Lkk62@UyDv?[!|8_!SN*G?T-89Vur7[A1U@[+=PedJۋXV2*.}H*y&1-OڸLx3Em9{] 5GdUV`db%.ל !z&ڳP5jeTC[_FHs#enozĎ~Mn3U0f#m#Uv7>W$LVdeqUH W%Nq~se4dS^ 4ݽ#a7l ]6eIrsȌ$ʛaw$cnͣW8tlC_8Y{=Fk Cwk":~Γ*P^SJ}ZKvhDlxo6K bi!;SWYݷ"ΊgLVvp\8:$Hd}+`yᰭKC+n=.1Lt 8A*zdanj ւZ$ɒo,}cNBDƬSɓx*^p!'a/=PG_5 <-,x7e''fSΟ=~GbO"TuN V^XnC{CZ`+u@nt?PkdPCwSA.5FEpES)O8/镓#fJ-XNSUY} b nMjpL/&,QC:~bQ4tY3!J mPL8` &0_jT$x ƶ0ˆ[rVWW#*nu@5egr ~8dZ^ Ǎk@g 7(v_?Եər<˖B K֯!7|S)&0!A tsN,oyK)4*y1ْᎻM@49Hݽlv 77Yv0+v֦uHo=ҝ<s!xV)R&&sh  1UEA0e7"]B >z:q~nTo<%$ecn^=BY-c./Q2NI)΁3ϹMu@+=oLqA DzerndnzJl`N H(3˨$bBС(ʬ,3uGc>h)|S=y>Y%C¸HaHސ5\j#>}% v%GstYx(Cv`cFhdJ\(3,(.Jn n+rL5⸧grZɁHV gb/v5Μ=dq%zB3ih  {\? q)?/IFyI?{ȗ3J$x49> Ӷ~u}*4b lJF1'Qmb1Ϸ.:Fq13&XYUpFZwOsDlrxjd}GV&-y^6A/,TqULbo,Զ`5=еkd7p_O=~0AYC,5 cjV &;C'upݸmGG .o[8 hS)mU}W̊oi[1n5ÄyzR K4P7 W9[Ɏ(*]Ӝ;ƷSmAe;>nkաfgv*U</RL<යEW\7 ݀.)״T^HD傓3g@I[ؽ\+c&mmEaAe^e85=BAߓL.WTAo G7l3q0jq=0J1tul8^̆k+pHZnhuhNe ?;hrJf_a~ qԝA؜X9@ LimIO#33eefͪB5Se{T+k y׀G~ r;2Ͻoˑ/f)}ZPQlg؄˭EIYO ,~ܶ@. ~31rh $Rhɡ"3*~+j麝I9vGq,;.B>_4DR MR*9A)W_8QBثs}`EGx: olۏD,3f4{)B&-=PYZJ-TH*~2M %z1tڸ[?WOwky!$C刽pv̹pPOG(-O$_L,߾[e+ǧ˓Dtt5H9!檣잯FƤORY_b8u-|]͹ y&8̹(f5c PhUN цyK9/'0eaJq\k"B+*wL+:ζ9oAy=7nU  &䯂{[RTMԸ_1bvC_{GS?`*t|1E`Bp)"ǦdKP2 `rvwH~ՊI:~vH `ww-Jɋ_;[iR :4:%bs1n K7{=E:A2Wq}+ e\\>@:7Yt%JHjD\sZA"]ஸbU9M6MzD 86%3؃| du EnJzJrlA!^|g8Sz<;= mw@|بЁ}KW< U>[1}O0Vd%6~`}߬CNfw9H XtqY 1WPZaܱ2Ňˑ^ $ h]ik'%$WGqCoucO>Cio\ǍRnN<"yөa^ƹB>l%%#c}DIMYV`sk⦦q/O;23ygiJClhiaf{wu(,J.q+$y)hzm}ԩj9iįJD$ &TpU_V֝`y ckVr]s $Ť6[4tRsk$oP_["KKۭѺJ `ȑH^aҳ=JS‚շ ޞG'8'"0YQ`jqdbJhi1؞ \9j STӘ: 51qӤjqWD| /2#86O:LG7(|ڳ"Xc@NHwlɔihJ3MYX)p9DNCmoKZ}rx ԕp_vNrpKXk#ؖ ĻQ^A78afᬃVgg `:RԼcqDK9l@i!PTcܯC]9HUcN0#I(4`:ON^ ׍Qz$moͼַX`mVHi0t  {cab VX\W.*R "C @R)wj g)2R)Vp0a --(5O@~v?ْQ,mhh !*bSR$odò`Ð5{+),#GbY?'J6ygy(.dMSovPT+k(`>}[L^{0_Nb}_5쟟L~Nմ[,nv84Ǚ@KV"1ч:Uh67sk;ŤReCrem_ uNH"EH3P]M c3aF\8YVAi(hb5Rc>jQ4oD5V {eZ.D%=|>P S@e3m,:ʯιT)(N=Vat`C8 Yyq}aĺJIf`A*\tZ ~fcٙ,ylO\$27Γw֩B_#HQг2@=^u*piɅuJN a@O(O-rۂAÛSgzң m /ovK_Z[-&oa^bAS:b-Ok+Ҁ4w"&ss :1 -Qs 9b@u&i۫=rfIP:DqG[.*@ȟ.~T Ar~Y!0M1gL :K 3ђOp7Sq@ք (:ϵCN~dQc!O"嵢&G+j"(ɞM"._GA ܜ7R-n q67$o#LT|l|>v5?0 q~MӞ܃L ?9zv)QSU O{$yȫ?LY{ NC k7L H8#./]ݬ!DpY'"y5P fCGsV,-T=Q(~nl)Ic ˏJ;e{hQӠGE=i+%Ls;!VGBl6W@ WKNN's/aOgLQOɲM߱{*>h0o }qr$T†L((*jxւ?/ jN;Ų,v :',SK:b1tϐ"ud$Nݻ9~3A^B )0+:4|,}ɹw3y,]aMtr,X6 eGl YOϡK"vVC[e-GܹSX=JAJE[wĈYϵ-6猣gL *87Bm]g_ E]Kz8^ڒΙw [Gg(ae{oGZGѝ<2Mo8NbRʆ#~- -OOh]b̗rs经 RL͖v'y-M ; ޘyt smafWH"'tDa8]]GeR%N.%=m>^9X_rCި?% K)JwtQn9)QI*oRCWks]f~.Pz)mL +_&wN c3]Wtx{emőa&j^'{ @LXa1(LC(%U#w3xh\r)It80)J:6ZUƪ$38Lt<6>y>vk?w⾆(y˄CmmEVPl¡R4ZX._$ rm=TK\Z:̅is7{opb_bî׈-IZ_'OȈYB(,N < !@7 PȨBp"lFESl3دjFp@;1,3Aoj\[~YlhbPJ44FpE4J0CzuC'A `H^Rs8 AqRƪN摤;G~%W'tVbRi=[[_bkw LwMS߬3>hO뢝3rB^А'OVs-^<O#[Xg?*}Z2µ+l oP!Ӽv4FS Gnz`^ G7]=Bowwl8,O_'4.ID7Bj9;<4v )kpw&=nq۴f sg_}>K1OJSh]&w\,_L(I⥑brޭl{wpM\ajͷXIzw'!Rb60 Q[qke[## B=k@S2/mAOr|Jυ"4`?1F{7KX;7I[9't>_P&C6Jb_6^v WYdͥݜ o*ϰBR!؁^QUpLi]LG⻣hn#[O+qk~b we @%P$:+vѦψI"g.J#ɣ?zifK::Cs}}_1Z'ܣ E5 3@&8I'e@ebaQ,S̞R1S$\M&Y>ӁeX?5N`#jnueȠT{ MOe 6i@$Ts(NzvGJ}@_- ?řUTmDdFzGнkB\ˇ5c!oc\E7Nh,6"oo#Jh HɓgxY֡9S3(+r\ɝt_UVn*IN@SfT_ql~-b@r&Ċ';܏*Sz\I|'Z`BX[ csҽ#9_&,:}PԂ \6]=6H*3W i ?+hRAEc "uvd 8M"+demv9_ma : ϯş,p/[`ųQDR"FJb@?R($D'wpL%u]땟-̼Qzދed%4k mNG2賫07#2 KcvuѸ..(ۥ*i)tCe|4^ʒ.w*g/.S`P+mb͵7]h5m&Is^X)Ϥ۶֯ӜuE'0(pȩ CwɏFaɶ8,{CAѪoM7 qz$w 6̭^PGP!)3$Jg^Vpz?D,vs܇ J-xFaFТUA`W[(&=POZ#Jg b:PrFc\Aʳcm<=8,|Ҩxϋ\&dty:Zt+7W#md>V"v 1OHQj]fS=u q{aIo{KaQ.ɒ=C##"wyr 'Q//2*IVY>]:(k`c^˺luAi}fxe&$j v?x c9>a5fBf9u/* 4.n3C.D)nFJ>g\8RE,0Sڮz V{ χCk 8c,,bv3.d.; [ؚeNw+0 W6&#HBMX6dQlCY} d1|)%VWvm#TuجBx}o<B~1ib9n;<()ܼ$Z9piE#^ C3,sŻ <Şm&V;re&oJ1eQnU͡L2eܳ4xBLk=b^ƫEDcWj%FD.HhӂGT9~NVGLIM$ #HbQ$5IIBK{Ό%(%YVv"^(Ir ~bHlH_9!WfvCO~R! /U( kziwy4׸z&D.M!ñ t./Њ"dD|ُp4*ryѬw/}C2_CN'f@ZS5#ű:ianؠX]/`s8r&XpC7 3˴Un{ALMU@X 9tozخ߶Gd ޶AۭG栩-<:8Q<9x\rVS0~箆P/hCef ++ȊGONӾ,kF;K#KErvNeQ ZL}=pvuk|Tn6g -c]L n>47Pl86 +oMъYĢu/z+n@!"?ջxFwUOF3]c'rZ,Do:z- =(y3m;ce+gGO4 -:FZ(Μ&Z! x!*gYZ ::] !?'VHOL-ImportHOL-Import.HOL_Light_MapsPIDE/messageswarning_messageserial=3235378line=20offset=487end_offset=489file=~~/src/HOL/Import/HOL_Light_Maps.thyid=232Metis: Falling back on "metis (full_types)"...S !?# DHOL-ImportHOL-Import.HOL_Light_MapsPIDE/markup7zXZִF! l<[] !M젗OFK?{'nM<[H-:5R굿RȚ:UcwKx`lv`6 Y` ۥKr膋I˝qSMl:uj~/4P1?Cw+z-- iy] YZזJV KECnoWi!a\n'eރCfˋj;) E6g 2<.=*߾_n'VCŶكIf1Fau@"jf8+l? RkߜGgCz>T6Q>gG%2Σ_UBҦfږ^GC,9H(QП+?zs?vuvFKF2WUQUDkO9Nę2i NP`!MKjfj3>s|g,;khAQ]U8/ \!Y !@?+ $/.[66o-T(:=jﻼ!:ϊD{/|W *1%x6Q\Βgz'ir9=Rder߸Ηfy揬gJΗ kYChg֗T0kˆ@D䱮Q ;6P|I:]} YUeZUf'*B`[ŝ Ǿ'y-pV [nUoiz]. N G;@vݞ].F9dG*_3u<(Ϯpd3p+D.d/͗7Zp].[}=!g1Q{ J -VΦ: '=œfy͡l7lahqPWB4gV^6 5l eA=Wzqfʛ itFѸiWR,ԾlQ۪{}xR#׼%g5 O*KlM<&uʯ1zS_0«#I㻚ߞP0 /rY,-׎6Ճ!fO9 nԓ  >s/6Tʀ %[TuDh,)Y|ݏ/^fBx3:ZP_oU ^:힒Y+5 ҏ@]`^-PN9nݳ$,]I*q;=d\%Pc8QKE9Fu0N"^vb[>꿔wg~SɠI 9f̳;n˓M?T礸&R(.<68`+*4<\D& hvnXHꚶ{=b#C]`Br3&s3ʄ6#dvB^] 3jyk[͇A* [ &?suoA!XRˍ"0`#>}I? Zf: '鮪ԥ{<PA+\^6_t d >L_6>K8^f+fuI<P٧+;M|GB&ͻUb:*nVba ‚ z$S z>{jJCPi!ˡg>U^h?6?~5wCi?bp..]@G!rq4ODH}?3W]LIKwpP&g vs%-}^" lSTA 95BtkiX\Q!Fi_5NyJgR_Dxq= rYo Gbn66퟿{