SQLite format 3@ .C  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 **.9~D<| ] HOL-Datatype_Benchmark:threads=6elapsed=518.284cpu=1924.144gc=695.7887zXZִF! 5`]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;珽P:vKzA˾@{Lk|4]汁>bxD(zIÜq}C=B{5z0y W珆%II2Zӯ/c!9msljg%bYRPXYXaE=.̵#kJ?kGu0";o!aqFuJAgndZ<"mǽ~.7䨥`sIQ:|+Dt`[ O-F-Ln=THt=Tx|ꠓDn%n -(GàM*AL ch\ժI ܾrhNF\OQkwtf۹9$*}T%d|+[?>3I1wgF!樦RLy}GI8Fz;Nˮ0 I`Gy6wӞykqٴk3K[ /$#}*+ $ߢ:??7;TC-MFG+Ka}Gd9ڍG'>_"h [TÀ| Xt͋f-j#%F v&p{^yN2) Jpj%>Z }J~@@`ҁ&"ksv HnfqS^~8EUTt)<B ݟ025x;%e \ Hk/"4h^0,x\>ľpr'$":-l:W1htŸ#4x)y gYFnjNe\Yw=.%nkEi6/̄˅AQ[u>"_6fy-zLN? @{G+1f2X0u4 "q+ʯu6bJ0ɑjQm=JA=}\ck@JX?{>ъ=T6)'J_e?,LK!8DCS~v *h3'$ělhb jO_gYZ7zXZִF!  ]ŗXiɟ1)*u%9CTf?w 23R7T a}.pG KͯHl%pij'gMT\0`MUl%B]1|)>߳%+Q|:=yċ`FFgïLU, ֢J Gq-'Go WPxT^ cc%Pdl䫁'(a;xʈTYm 9 HOL-Datatype_Benchmark  -N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ ,7BB7b)@$͢G<\EEȴ,F,ueG6YKPCY84g!=YgzR Qm9Jt9sn碬vXZܯpcPidCB,u>a^/"jPު!õ-'o-֚zcd.]syap[7R:QAЂsSAHB2, IfV<~1U ?Bz_ 2ԥtLV $g&6&o3k>/4W2I2Úߦ5 bղ*`Us(\[G̨)ǂJfS!FћEmYobh- "1a G<HOX Plf*ma0:ԠFJi8UwnX73Tu3k[jEj6+~W>]ݾPQ(pNL*lc.(.@tp[r7 #BDG|5 a YKNg|.'똞oEEږN,3N{_k7B~q>עzH.4FH@Sg 7cPT#c$2x7ci./|"{~:'-3_>B]U =íHF5 NpkĶӛhsW@#A@C_Y| ETuD9hVR:A\(5@7Z*jΆ10sjh%O2O6ן?c*w I"x'aL,QHqݜY# g7d1CxV¾Eb뙒ڎ-o]@p=s6U^^&uCwl,0cPF$T KoT UՏ ^9"}Ig"Ϛ{8ĀG]w&Gs ïWE'(.HJt̵ԧwG#s+>?"B]TQ_캈/fWP2*]s2,d^Q8VxX&qzߟЦ`K3`_pH#HA6JMT{rkБGIj%j%Vo cn[ѐ-E>1+؆;r!\5gfxƗ{Pن [Ui۩866k1jO[biAĨN^Є |Nb%p_FyǕ\uʻ@E}u9cdk;T_dY^v? ŁBn.~(?T$oG9()7O&:u%V|;9(o-XSƬfX9m덅JqX҄ 9/o2@Fl>"bwiˊ ݏ'Is:Oz;d(tUO _PLw1Z(E)p˸~RP* |a})ϽuQ>`:LmbR.BM[*$H,O_%$F^ݡ^=SpVUtE>=\AQ+.{J~Ժ="y w6?N-P+fu'&lQ]v0qZ&%躛GHZ44}:!#Kj/*4m7N7Fpt}'/ &,#'L:{w8-5  D{1-Xm< yǹY˃KBAN hRdΤ9cJGA2a8{:bw;;ಠVK̲XDMye%5-L[b͠|Ձҫ]A< aL {1?_)8KlA|l %#(Ƽ+M+vQeXfV'\Mx ^'W-BptfC">QvG{C$],TjX>;:+ u- !™͇?%S|C-:7aD&HY Z?[4z*QkCrNep"Q6h}81>Iˢ)(Cʴ \ȚZU7UoKÿܱR\aiO TJpJl]]  ;CwL|UfE0W 59R_p00~ ."Rv8R2;ʗ*iA*H~kϤ/>"09NLki:oVIHA_EԸM0қ#WtRj\WG1Vkm|Y(KӠئEoıTQ^>j`mV^G3zbn0\x`K+%̹}/DQ~,02ؐ`k/2vi [azCߛY;7DOUJ#v_Y7 YԦ,]"gJ2j[D𣣤ƽG;l˧s!+|_@z$=)-:veWA=\Œ( ,gZ{.5zλ^]<֕uS R!P VBK,O;A9tB,& \W3%LmhRTmͧr1LMcbZ,{㼥YxpH:|,)Go 0MK;Z>Qchslp H2BDk-2.Bb?Uڈ_a+o~7:V.$W FKSh YJSUIl tu~L48k(֛ٸ룙fۍMC9/:<6\>r"oX4h3 6"i_81Y|?I2Ke|8?.fƜi]VAR~P" $lƌ%Nyrg䴚Fyz+ (*jYAeNXe(DhʃŎNؠ$Bf')R$"0.N{!6? +\|}㜡Cq¾&vNL­9_ݏws>H3έY5:Q" VCԱ P74;+fma0(p\kgCkY2J _@Naqy(r۪7ڕ?^9݅-߇ \ }0;;P PkKj"s7 BOPBW!e6CE<:s9)SvHF1^xzhP<;u(;ۧ9chpӰ$r>EJ9嚼c1áGZ@$"Umm);ʉC@uLl'CLe1J(-<Q.Y333M}]ާM㋥;pyjBHe5Pyͱ7{4~~iroiE8^JZ5sPKjGMk7+BUѡ82dոlXL+ /^%Yq_@K 'zյ=UQ ]\r ig=sbtg^Ih,P^wy#0GCb`tG7ca֯yFW36q񛱶5O01+2&M -@/{4w]eRû+*fCݨS)VxA|Ôikebw0GV~~TjGWl/=MZ㘌@޼b 3FwgXE_ا|*!:5  jmPyvk3Yf6(`Am{jKVWE%/K"<T=Mv)W2&8MƑqOgɥNan(, 98syuB?s͝Ff2Z} 8ZKnlET/*@T Ԍc BX(n @'a*ۍ]}KRxvDFڷw̤S"H| "ךVRÛjg/\3yV-aW븗Z_2C0O Jϓ<ޱ{r (:x`Ud[G3oO`@qꑄq5wKͥi#BRKWRnj`APOћ UJE?NJmm).ƅ)*8 3:F!캂hB3E˞pzS>k2eO>{qyym 5JH"UcJb?^qbV輟zI}C{!x_pʩwtNi{_pjЇeI۔!EBLiY`r_Zem ^'3 (+ X.̵mdCOL`^6jh\4=1L.A!=j;  %L7u{ՖQy^ l73 hQ^'r^(dh §g_/-{&cpϚ][q?pђ-c`X-ygcR5# GwK9 Ƙւ#hF) \HDIY'%-ݓIƄTR֞휮>] xp$U-~Sc)tk\& <'>K)&ELP}f.ͱ]Ociދp(67߈밵a5Jj ^4ئ'0QFHan(#R⩍@p .٪~c IK[>Pb$8@!QjPeYF4bJ`?=7fI$lJ2ybӐzuYY8L^u Ey|rDǸ,Y\;;}>{og\XmUچ-D~ʗ+ǰ0LZ~O4b rzto堄zoD{ X֩˓3[0Or"cM)ɯ6],rŭ{ƥu@7>bַJC;y:o8Ll:Ь&Bb:Uo-MaQ zۚ|xYGOCԑ:`!/"%Hѿ%Cc@_>M]u &M7׫ ="7JmoK$)5ײ&J^fq@3&')sv9P1~p%}%M]SGcO]׀f F=(WcLVZI.tL:r(ZkoGUzGTCME9".$r?p))7T`, 3(OqUS5=K]~ vGXPRteD ;Øs`IxXtqEF"F+eSI/˔ d\-nY{a")8Tg0FX=xGցd K#4RrV?; yMdqPcTL3f/K.h4vIE|U9doXf>SgAڼAd#U>" L @FZepӡ9?#z"?3c]ͣfwipoch(Vy7fl[MI0戣lt;Śyg/(di r uH##2ǐ!O8o`K7Ꮹ}MvےX%+#9gzV}^D( FW82ډ#pgzI4E%5Cfr5뢜`c>3Xqa;]0Jv]RנNjUh dp!FS 9!yY 7 + :r8'FYwжRs6x/3Q> mĢS6 ׬~KBΝDZ٤b=_&Ռ I<}4}X.AꁷMi0ɔ{.q"&FLo~N$Iɿ'2Fs\gE!$߀ܒ/vA[E1&Ic.6+XD%kBX *lQF97:=HYa 3(X{M2k|n+;i0+:=ɌDvYxcH% @f`]debt8)2U-U(|Ԇc&D<ؠ. R?Q'zt;ѩmzmu.lTN5)u 3Ba^94*%*J eX:eCp?_EmeSFm61il>0w׍q;T hK7D'E;kTe (.<KZL"~?ѭ{ׄROM^ 7$汢V;W_Tq5]C6O hC Qiibv0K MxU)'t;d-%dGDt}dOO0傮k;N1Hѕ~cnvSE2l$ <"2NY:$nLn8$|H[xUr/).'N kfڼwS[,A.чlf4Z=2hI+"Zݰv$}R$T}]`ssU@Ϯg)XSQH,yGm%m@f @?AY]F#EPg*=s #reוZNJFf|Է3U"y۶)Fy2f|uh*YIQP^dUb=2m^7q,JvwnraX"C#4+r"zϷq$tYX;R dDOc}yvEnb } X_"2ރckwɳ{B7GJ[7j8h^I:Eή*h;:f}̠8VÞM0!N'SVxk=2|fr^R1vdVEwm(%B٣O5J`kz/G\*AOGeeorPl{\5xR63~Σ/eNDa5Ʉ,t>(Vi{@TWZ[ xظ!"J6|~(J6H(DHMB^H2/L2f!*ś~hl\AuQ%ߒ<94A*Wj M_R9yXG*8ww#Ls3pai3 q= frH(HF.DSx{x!_Lf'ǯ.ѳH"GgA1~!pFs>[egFn:7jI/|JWd;%^JOm>[ Dȯ;s̝rWaP.ӄdjP񠔞u/l@FR$z"WYJw&p$J3$>4FS6`IoR5K3P&amSAJΖ 86d :쟬{cJ;),V1-P^'A*s0n]Ob U 2A̡?FMA UZMB(ltU Nݮy "q+B,/.TQ{l3u`>GZ̘)W8wZm`B"IT [Oz6e>7s22;C-߉KZv 9gx&$͸ IИY&=>ԪK @"$@ZSH(P$ǩJƻ{{x4v*3Njf. ";P/߈Il#'\λ0c+}&$٢c03Ȧ5%hcpZQ+܍wҊRhTt4ބL2Yvx&#0n65@hmwᖸb Y#NX A,-ٓkq7妟9q}HP2~K~]ϣ_K*"DZq.稜A} ؏&e(8?\*x2 ݢV"ŕ`"nAlOeA /!K40ڽK2 >C냇Ym?(?it<ÿ[]dլM#a9l2\q PCҮo3 N V)QxX8-SlSfY$%o}NU)F5JdV֦eoX7e{*N3aub@Tٟ>v.E9>ۿ-@2|Ag٦ɞ>.ޙL0 5nʨqt䝭DA"]v ,SlB_ &RjP\gf?H:mP7wS0:c~ka%Z<#Lūiw, dFC˹wѱg ~Mt< D&-FPkvi$-4.(Vtxǐb PNQg^y΁-)53g&涁>Aې-ΐ9`+0ul/ (oa(X_O-\kDu?IY*, _iAL _)Hz+goW)Ӧ'{yyiqҨV~Y:N&XJDs$7 8o{;¾Z dF/0 J1)# ceDȶWɝ:I]S'"%3nh$8oBS/Xjh]-_ݐh!YV=y]_Aa%VŞldd"%j<{pT|K[iׯ쯛0y+lnL% ezUxh5SaSʠ]H=2wYpU\s q<_ Hv6ʒkڞ6Qs}k3>n[BS5GgE +3Lb^owmw!O2s-/#3^짨l0l _K׀#E˜z[9`SH,[_&cUUHc3Nu`B/Z.GoDδP9a{l`a7fakPqcrvFnAa?B8X'e"KZC'n\) .'fX! ND a~׼]{'~8 H_9bP(1<4nnŝϊ vN0(8`E=v"<:-T#+g)TLˑCt)\ eeR?oxm1wGZ,5I Ȳ,+cm&¹krqc,C]%qWtqo=s^Fuqq~_||$YoHC:3y'yPBW_STw_kp&La4]0RUsPKJjlBScիTUNn$IB 2 -h'Q͍F}f 2 ˝MțcΈ@zYGpsbH B@LIy$);:|̖^=sTRE7bPI#c0-T{L(qqXSVm+ݗ A DdϥMS)hMB_zm7G:j$|߻S7XY5( uMVzWRpL>mHb~Z'ᡳߦX`,Q1쬼k0jN٩LBvjNTz|'}X(cAisSvT2:҈l'T9& aܙ@5D-)־֥ꑐbD )H}5`$*4Z'LxobHsTA;܈ ¶R1 7;>%Wne;7:hWVd+@X:|/ۣ>RfdSN*j%+aoW91rGaZ/KtaCE _TYhoF"1՗r /۬|+]g;9w&<AP$ rj?:&(P+V?=LOz{wF*7j~'Q{=ۙ\2KWQCr "OZ,ӊ(v k\Ɵq{R9N?Cq 12Nڞ16fnt3N.(f찼ai Nnb5`o7eoƽo,WAkQs=C&6EN`3-d ^cVUB*|wr*ݕW#p*#|KQ3a‡85K+a2SSh: } O2  -an|8-aǀZ&PmPj.]!dS' A;BXғ?&OTۛ #`%Z(=ka3J%;Kr.7tf׈e%Ԩ3P=zAڒn+ Q'J a0_v;( 4Nš尶)cud¦$䢁:!\|I Վw0`G8.c/]9̥[O;\/vC` 2qaոhBSPS{V^? d#R Ot a@F+r-UTc`JWm{D.M3n,,c+i\7j18j`ƺ2:De ?ԝ㕐Imk}"% /kbvuNhW`O>4J:e b x%JniMXOױjZz6guHCB7l>8\t4pbňMO'%(*Tg$c -hN|N@.tTjVQg19d/6>=ȮYm Pf9숸_S #. |W ;c$`{2 jp@6qP>f9e *y<զnnRy;4rAK,YȽ,6 S9=!h\17WGWh%o=s̎ n3TقCS~]}L)mlnL@ÐcН,bQ5VtUlժ_V|;M`)}> |(S Hjce(OZ>z_BL4󠏼bI&ťՀԓUVV]b]S,=U LܱQ\$‹i,+fpճ?rµ,Eq*,о{4@[#'5-MAid-yɐRͮO[O!M]Ltg x$os$Umw"m2ah]d07h<^R#)t;hjN")ݓ6#Yi 4erbh"H_ N/^ }Ԩ3y~b(6TD?crNp[/ b%V72Z21aSU qRsqZ!E=YJ`R C\h7vEޚH5]/į,?٬q:G G1%f$<=zCV!W w4[zX[z LQG^Q_>g.kϞpg󎃰83enl7LnZ+Pv+h7WAgjK0Vd֙uB'~23M熈;7µ;Ѥn7v}\uI WTg(a6ʊIF(~5XJNX$&Q%Exap"EǴ4 Կ>u֗`oe%P&#AYe,ࢇE|ǮC".&e݋#h&櫞BU~c<*6{49Ƽp)0kF9J:ݍ q;K`SǸTZ)+pxSs8Jt}ǿxj}ש] i Z~KLT\*6Yݵ`,N 4\V:5Eq¸#әއk d6N-dV_nD4N}a)+/>gK"^$S*jRJ *DmI,fk\7ހKF[}״lΪZv/UqjC:ހ䁍1<;2h=M2xǑ9i,ijmCDsL "|jhG 2܆>WV5=aąp:Pu cTj|,,BT8.QC Ȇ1OFYawn &L TT7+! 廣)y4Oh;{(./SȻv"߆J6][xf};z{lr"SdUEChe.FtkZqr@4/C0HyEE>uI& DAa8‰Bfҡ&DyX7Dы Uh׮-.havp0n4\Š?5h7Ku {z$'0[6)8%RK b+d#NHmAXH)Pm$%"1It#8(O `EytN:/ui:u8&i"7CŝቿbX.hˬBxa|R`JFKJ3Q՛A`4a^@verDh_ VOkp'mɣ9[Z(&"!LЯ- cfYe4^ c΋$>Tt(8Y0гioEwĤo6Q&`me[ QME&39vr<8PT֯6@c_vVTKB|F!{| ͹E;0{kP;6 ${!ЍVvxѨ)cᣞ !H MF-Z93%NOHxn໾H'Wd2Ќ}ا"x6Ƭ.ZLs͝+b?h ѓPURn%R9VzgbUc)FܽdV!ϡTQ<>󹭗 =LhO\ŹpA<ǫ/O,#ns$ SrOiNWDU'I8sH3v^a+Y*Q1 .-fp"$htFUI[SHSкR\, v@e/$O?ŦɷƸ:};ZĈQ)GV=Hw7P'a6Xt<""zٹkq̚;\ń|):kw'N/(^shſ5YF )b5عī[(G>@DBFe5{j Iu-uUqtB 9"U0G8dj%qqAGCoKE>r|Ӏ~1^ 5[3ة9zk3X)0؛=KV_m{xbڵ ,AqP43m3~BèM͗{WS \~.CJbIs|:X2'_qIv'0~4mÆA0IHZzjG6^Vo&'D&a%%Fx%,q^ #boW32-Od{%i[kZ'*y1,x:~Cp}Wϊnk*BBd5xrWStVcܤήƥ:_c{NUcutUr78D@f> g3)paç2D&Q B%hƯH*RQIDW.c71bh9u@s#ЙuQugepKʫ9J ^)<QL%\t4 [6ɜňQߘ$ ˸/ڃ;<ϝ+N`o{9<9^֔!@=`xTn _70# Rz&.t W۩2[sMBݽ4:kL`hs:5ϪMtc)SL#R۬`"=\ '047 vI`ḱ)g2btyOP5DCh(<)H/6) ȫqGvX/l`v)a pCrZ9.?1Z}iB}Ϥ#Y#LAu:ԞvMTuЀ0 d"PD8V]9WucQ;t$%NOfk+ˊOUy4B Pu^U/iPgO @7N0VxBgS%69/ xUU0HL|wM %&;B$)t8FT-<>\xXZ 1G rMZuvbeAJ2F7:CC]5@}^s:ӔP-J.B -)\ t~e 6LiU@<@]'8 VJ׆!PkC݈?ơS qx,-թJBhv.KsF. olr,Xf#8w?тn8^ݫL0?=VnMYGдs$ /f[4?4pHŜ[YI&fb2 K[I<>B0lb#BUD"N`!tKu#^ZcAi_x =k/PpxP@g H:=L(rC祳1Et;Ki$դv{9$'全qO =*^([4ʌwO2QΓ 4͜׀Rd[};&PwJro }#a'p7O,0;y} J@ mvA#qeY }UyGn?2WU h,gǪZaSJ| BHݐ~3ӣY}1BKʛCHѱXEپQ JǓAg"|Jxk۝zWn [!؜zr> sVPZ iq D3(n.E!_RTöqHm*|)^8f=jq-I_$Ea6|+ZKk?DUXy%5{t+@3Z'7v ʩ6~)︹Kp)ʂik,ڢsVc{zOO G9AR~.cØglv$!<D^rVzW=Xyhc{)CѮ#b\| o˂ hYX8c=b-y)Vaw"@Vu㱀S0&lx#L{0e]֕e@7t77.[ʛ `$*ϧ=9yfR4(9XPxgKėV88:)o †,yQbmVz22}G9n-͇h g]qCpJ+. =1KvBo+Ea1$]b#hꜪ2 0iۍ {i޳= SJCВǥ7R"f (23Xtt3H1{V5"@/ƬYY$n1ft-1Mf2B%蕤]A9&eqЫuɂ{'1qyHHb 8^o,7P,gT'}@@"\l$Ȃ>cu5d(3=?WLJ%V<.Atb`͔O! 8`'u.=ks /(Oa K|D5m6aV~V\<{6-xHo-}yӜ٫iV=nP~Esc֌0ite/r^LPT6n%Y"Ǩ hq(8perb{]t*?r m|P/l@t@~4ȸӦ!Ĝ LREZ CUƔbCvOir`dd#eܪk9 C?컗=L_ NU+Ɗ;7<8vD5ڵՇ? 5\?ɵ0T"Sٮ|w1 w,b~~8`K-ШDGX;Fˢܻ3%[# qQw c>4n Z%d6욳 |$cQboDMw**HG;;.nٴ i=ڤZRLW!_ǐ'}sx~aw_RQѷ-~z@!'8kǚ~x=`"œ\pJn <(LŰvKdΘl2ZO T8q Gļ(Am7'Z9ǞĦNyTz߄wCtcW*g؋-- -a|~q'ܘ>ͺSI#'Iܡ-Eˀ?"c;UEaV5{/geSq%l` }xnx:1/SQǪ%Z pabl)To0붟hÌmVYXB;2z5p&/@ah?N*4g2T&ui0bǪ\%%y]`bT5rl)6A]4!#Es82Qv3j |2[Ǚg+촞 nnZ $ioFM3P,!״b`1URȘ/#w8CY֓ǪLc=OӝS:DvDެҝj!֪5uqJ:M'RFmRUpebEFt tiGІ.Av /UM@O;[Ǧ${`.}vFDu^_ Dgqq KPD Yϕ{\0qTվxNI-;fUDʓ{lݮc|)gNy=f5oItIJ;QW;=F؈i ^~sKa+MTIRm \F[V#Or~'C(\枵P1HB/&HK:ի: t vX-Z g={SB0+ۧXƣT Ո{޸vogg!uA!GU$E7I-B̄SX$$5x~aڱeLN]-#p n$LKԼ*QTۓ@^"[ 6#6 J1yi2eމԦ3GF3! R-^ l|5ri^o+pq-Y8( N(T2$U?oR;O5TZRAp3Uڽd* |;;7Ps]P汀98z׀f=9"NO `,& S=RS' "|=_G}UX{#q^*K$G>"o xj%GCȞMΪŠc8 +NAEi7D^+#[N^pbﭥҚ%wo::)0>Z)Yv6[G/WO;I.>SAO:ۋ CG/&L1=mm ;o”RqnO邜QcАFF?!Qyaj:JHt^einL@RlJ"DC(FZ zXY!-DLUZܶˏ"x6 Ԧ+ Z=+kH~UNGج:Xxe޷?W@5i=>)E^q>3YaBIm,(RBJB4K*9J0l=Mlc5)ΥBST89e$uCe] 0qYuC8rH;?'F,qϱy/iXaeGymA6 {8ӑr `|Dv4>~W`Dn26$Y]QY6(ς=.h!J*u8a<. n42FKF`,_wUt`QzKR6y \P*.Qaarg[0H4PR=tڲ|,Qg(-Sv7c y@C8`Γυe24m~m2q Sz 4l7YEM`t/vu:P($ byӃef`q=5TǷֱxZz}T{i@&T2r=2ޛKri4W GJ 4zA ߁׆quXųbE8@P@L}TouOj홉E7]؋qK>vnE؆*-1o~*' 9:|xDcO-N}R _"aثR/1={HQDb[;̐.\Wtr4Aǎ ;~b`R6HVŠ-7qo+s%|PfK3$o9vˍR\-FA2Vۻ~("=}dݕ$$Fkj^ANݑX*WYyqZuk\to3Ӫ>!vBc~!t`25ogqHaM%mZr?8 *}rںOA2jVӞN6Pyt3ƂJr1TXld)o.3Xza̪5]]?rCƚJ%2ۉp,='J8wJ./5plQr$N-v WV]+mlLP`GDduQHn/S?_Us= QGȁ6iwgP[%4<&|q|C9:IфUz35eH;Q;aGF#~9lJVnC/QTB$%giH#:pt| "4z8H з) C` ?w{Lj=X $C޴e%YNĎi jz]`C{%tܾќ砿fvz1P34;; (( lH!]KFۜ/@!TB'&|fbm,_/9~ze 7{oכJyߠȾV4 ̛e5T++fVֆ 9>^gÍ=)+.͗ Iߖ\ېZ'F* gzC+{SgDX3K$LgRKhהa6`f %?nE/7Ԏ/ 1 u M՜U02SvWllDvMPwW}˖2B|ȓs4^&[i̹ D˜@X@Tl&[[%ZaYk3)d6|$jaF_ƣf{@ĮȲ/M#*Cyun ~4k7x$,0eW\0lW2O%PSS1Ua8'aOMo`ѴG*k;zKb#S&c/P2 Dlhk.~2XnLBb3]8IEKmYaM'&1) ? +ǞeH0B,ش?V)z-诃yVN`,E VFb୰ Mn>9z2#7 fsxE5a+؟3DB#ڇrUĎj}JgPֽ/XLn OZ0w' qpЇ?Y8փU#-8o^`Kt&}]{O1GLnv6Et_[Ue 0u@f $L1vC{3tŤiH+3~z`L(0$ы)֛A@o|Z _ ҥVA/[b~cTbi0i@8GE뎡킑n,!Zn?c K?~vl0ڔ=OVZ M@>z/ %J@TZXj{ʖQ\T}ʋ3#͆ޚwWyT!O%hj;DZr7*;i>OB Nwq DlB[C-MV̏ڢVv}5c;<?};iF9I& mh;-m_b׃F{ŸHѦtL}9$w/jM[L&? ޕUWPv9r}j=^  FӆdD`3S1W5zO9eay2@ێ=^2 -Qyz`cb#ִ->" I?ڨPEw D)*.ҷ (֫LM&>ohfz,bCX\@ zޚ9^)3Ǚ!ghl[6zfjڭG,׌zXshn*6KJv`OY/er 輨8^%aiy{Cyn*FZ_5bSG-D[1vAakS5p FԞ{w}}N$g]3Ƨ;g:x@TxHq b?"[I* yՅلV%tU׮+)E# Uc0B5)Ѓѱ jFFD0MIt~1S?jYZeE9U92 kс.TgYZ6bdd1ab9d52eaac8b0e76555ec1b4edfd96feee4924cb62a75d1c3d60e07b1a488e345253c696750 64c0a35383da60b6bd894ca4c0863bd690715557 9f0f3dad96a3276ae4c9f0cc4b683096215ac7b9