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 :9~|4d ] HOL-Datatype_Benchmark:threads=6elapsed=496.583cpu=2021.572gc=732.0847zXZִF! 4w]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;'L Ro=4R[06ʧݰHl)- .e?d 伞M>C!.yFEkj䕩_c up xW<5<&zPh`aҿE]mꎘ:. _&|iT5L._87{Z֤rGhwf[z! ^oQhّ|R)6A֥`8O<:ٷ'翆5c#Nt^)8\P V3T|jۥLT7R qgDH" %Uҥ4 .x1>, TO%9m;94kk!yBkv mAly!\|Y.Pyw|*G0ch^AÅ!BJ!2qk6t$9=i*}K""JIDV%MO/)X/)>,Yh:֎Ёuٳ<k OOO_OGY7AƟZ͕e6Q #9 e >CW=7`(=KJ#[ah*Rb2GKi -z)-o]JVX3Mý[7 pz=+tbeɭ,H"y`5mՖwD`{)UOzgM7:c^)`chX yF$,(A⇤Sd)X) =1P:'eCS]?iAE(9ؠ5#ޛ {9;CڈEZp:S+|Bd}/жOfWD [+r8@2hkw50m*zJT^" }J>FH7:hR߷>0Wv 3G]ڢ27BQ,01Zm;m'ۚ~JG#:L֝nmzCtvBĩiBH{Nxzz۫GLoH@::[B|LyL`7(郈=袯R#f{mRLH2ї=ӋsۣQqeǽ $rp79$qbAN2cF33vʕnB{TDCH (PV:m%C;n^`"]qߺ2Gܱ\e0 \,}ucq!*% F<lPV ! p0721خ V2%^x&N׭{!@TI-[V&A$ISᏙ׵Yo㦢!![os2|tF_G,+|T1Kxy{,+#Ƕ?3&]O]x-9P2!aJSu2%}8L>"l ܴl-ǟd4~Gyx^}oSwț2$Ej1 s56v#d(wk!R0pe,5A(9~r5Daa@˓)r:h~ yr+꓇Wֺ f{ wQ $`֙p9OD@6*x cSue}"~"mȎtUj)}ŘD5~LP ?55CDcZ  \~ky6^֜.X`/m VHTWʦvǮ+Iz9ya6,d^)w 4dܢyw5~5e|?fmy jaxKAڬϓEiه<=2*]*.0z_/Ǽ\řq_ӤGyۂ+iYJG']^YY$2#e٤cpQr]n-*"PAI<ײ5nGMj:Jjm {dPx#uHN&lR;s Z%j?f>\aJpb+QMҾC홛S~\V/?*U߹m-(| ),0m*y 7мܖ{ܾd.Q7jo6T[H$y(,b/.*|GNK\荨iRL.~a[0 C IΓ;eTճGFE _bӮ,SȪ-E;xP T̯_6P=U6f/eq\n!>)gc(vNo+òJq# R#"cςPqlt yIY:\Å!@[ҏS޻1fc* 33O )aj(ҷ1^ #Kn#H4u MזŸmah 6#O^~Q}T,a+Q>}px1C,%.ҜXMh@-" hhW8A_]M5|CtF8ǰ0F ʩG lDO _+kߊ t4l;iT}>@7V;;[Sʃ^ZmK$6Va񼪣i&(ol#IЮDpCe~LM4MY ξsE,۴7s929W:&]&9OOKTI{SJuzը8:ꩼKGxo YTԾrx?/="yTt3 ?Dʫb{zx kA*K͙(0y4C4UN,9^7Pygׁ׿ugKcC;~fI6ς BkB( ऊuSKВ.Zz(;ĻD[> Ä;Ů$}NJ HoBm!}N(-"f#9ΈRS~>ZmY'MZ3hZq+MYd!B0 7pM3Qa=Bl fC*3cX w>QTHIy B̷q_GBey-TmCȀ?3qNoVD ܧUBIo\\~_}'qd{eϷa(vLVuM XJq0BcE8┞>ѦDR@q9.tAuneg.]dvV"YFw*Y:w$wt R0j*$=`'~BHΆ5,l>gd~CwPWTqOy&  #"l[ު b2E$NrTD5Ë:!%H(Tvl)GN ӈH_%xI|`|<U{ܐwz9K(Xp/v E"C=ޒ6vamC sl&Лlp.m:ozi,YJrjȝ!3dgG=݄qۏک-] :5~L qµi,+NW /4rU R,j &Q-az(:Ȯ\z ^T z/|) –ӚZL&?I; uH炏+Pԁ ~d;477lbзAY!~p'{]&tЄO;+? zвwd8`um_V~3Mp_ ʠ5.4~ du˯@>rqCr!EjbC),Y](Iu ös Y/(oGGI[Dg%+#\qY{D@ :Y~W 2".G?Li$>qopNȅ6(e[P#PAՑ -D45hqS|m-p[ XȞmMԦbĄ"`pRWev.c8W34GD1+Z*_RbwX* I;dFy`L'.ݨk߱9gr^37<ۑSCZT:,oI usuCsVX]ۛTdG\|c~5U2DVcUBr.%g,N;Q\ V}xA[:".Yp:1sgi``ۨtq:?];9ހ8]"yYDž$ ąW=2Drx:PIv~IoS4ht3Uh\`][I3~W_,(:axWVV'A7Xk=.Z=X]Մc%IC8@KY2>Tc}-: Qmοc'OA,~(.i5i/L_â YߠHUQ7-$sQ*\Or͉$Q2TyWWsgNbNd2睼> BX;jVLu^mnX, ARoE i_ա6Z( ;od\/($peJ^\kկ21SppVp!1W{ÆZ^b`mO2GVK{./s[r:$ʞ #[ FȷYWpѰ~AhylִC_͟UJ,Sɢ爵x"83I2,(_2ed g)tvY`Y < u !y@O ̭+fYiI#dmDWPo bP.>AH~vw9USw?5\ݫgERΎ:Mz{6ژfDJڼ0CmR U3f jM&sS P28UuJGl\0UlȡM =9'[ }ucCӵ#0;ZLUnl8@SA`ĕ fMK%"L|:G1"C\Ę;Q۪2@˭j=,-f N!| LPʴB . jޞZ!?Ucv>[>I{4q|]-q?uxxzZ]. ~dD\l^͆&o {V֗<vQ\3Ҝ~|e~EZ>P¢!JQҐ?+ LzqF+^X'pN #fYR{ 4R__ȚhW4khE೦ j:,uxjgjцj.]M[X s=XK~O^^J{ھ@SHTp3s4^`]̀( ʫϱrjb uZ /-᷃wY`f3ӷ?[*>P ͎*<' @Q|Ik&FC7!GpDoJ;#QIؓѨ12-vйE E.0ɷ/ U-pk.9 ǔptZ.u1OP!A䓃v!2U7ՉZ `&fokm!NVG!M4$j"?h&J) xqm/cI) 0x~krp4UO3Mb#I;y73Pq.T;S;YGS?V\*&FaC -Ɯx~AnQܯz!VY!cn ɼiXȰli(iW.Z_UKt-jkE=ޟ%;QN}OBv}WkۑÒFKK?;r`s&Aդ[Ɨ 8lf> Fܩbt뱰? 텐k׶ceW˷ai,w;SJ%IX5>VA$baHW@`9?ේ@HNbTy^roH՛neȊP >"UT!@͋ ?EX9ese٫EU2:.)z6|$H-XsorʡKeS^f 7d5?J1!jUUvʐԢXbBlMӈi~>]5 [b'l*7NhǛMRKys6Dgo~ߐ{>CJfڶޢۉQ; S ؽ d\27r&ΝZGnL! [. Zj<2s-\L@Aʟ~׆L!iܝx4t˦E?Ur9wu !jw\ug6]h_OU Ips-o7O۟ u y͛gqKz}ThT].wM@ n3z0j &-Ѹ־<0aȖ0h8)zR<3syű~P *EL{ ˘HY7E E-b 0)P i胠Y '߷j1B ~uĸ("i_[JbM7>(2o59"R+IRL 9MEJȐ-ODϸ4iV0qJH":ͬ#-AIҀreL̸  Y{ߟWY;j:13^I-J/Wm2)$=n"ez mYљȱ [1)ER}19/H[['*7  ,N?Y\i(mp:Lp)kMS Mx۬i(DŽ/[b"O8-.BXyRAqUbh?|mT 5l[Y uJ횿CLy9W̄~0b%cR~ *ݬc&#96Nu"ۣ}d~fJf6=9K =K@rQėIPۥi pIzh+< x3ҍ_ RqVCm"ľ̴_M0GfH RiT{ꢮlBYl_>}Fn< I{ c#:\RCvDd6#ey*j .ќ_Zz[\[#$ p;ה䇚TH7$<'zW+$}?'X JL(:ipC;x Id{?VSG1 #aBG-+4꣑\b7*Mн4KlMwLQ\r ~Mb;\ g>6F5r\ǾwoIbM^I"61J4ˉ^<#gdo8dZ/@F [G|XnLh#\59W}BRRe!!PC)ǾŰ+ X*K o ׄZ^TYiNT 0eNQQ;G0Ougxyg&|τy]'<:Oi эJ?%'t y'?D8YLldv7lRF|6vG؇VuӠ $PФu=}rAp("nPn0KfPs䜞~i`.VSQKB\u1:4 |SjT0(IF*Sjz:|pX偦W̢W]Ec9. 1%ǿ†bEġَQsӬ}DFI yCe,>۬||((tuݻJ2azdɶ&_YfL6Ѐsնgi~ & p}q%.٪y'#XPΉEK 뒰#Jٙh@U' ~pV:e=n 4Z 7a22d9#eK"ѝ8jY<=pRr+>Z9=`;=lHO&goyORucKXȏ.AY )ƈzկi = EM5V9[\hb9_!7N%+4ke`4pCD8z,`slj4+)b~LHԥİ*L+r\&/ͺV5IW\X-îL֭ ZfG΢S9* D*꼛 Ec 2.|~.’stS,~{?-N _u6 ŗ#¸ڨH3͘o,Nh-s3X3hscj=5Vm#v9KvJF# z!‹M6\InAI^.t7 jOۇI(=?m]_)]A77J~yX.iҮ[xɣC H,tşs:(Owz&فR-L'nQ'w}jp1%=&rۦ8UOxgIGS g1xJ_\;hkpU('FG; -dci&0ʫ"w(|\/22~n|FzM.;/|>t 緳w[YzzFLɨmga*Ws_OBV/\XUf5h؝K&9fsvhpd]n[irBwͱT-?lҊoS KN>bF]OpCn}VO@K=-J2򎚂rWO3yೈD䪂ږAcj&_v9[xwT:VMH !;_7.R⒡2 z79+뻊ňv6υ z}AFWA /4xΨ'Ec^Y[;MIW&ٽ}D"ZHaE w.(>|߉BX/<>#Q5ږ>3~NNiIfP/a~y !NA "L_WAidsjJ.sk/6C:"U]k^!SǓ.uKDD;~Pׯ}^3kI6K‰ɍDW`lZiݘiCA8|8RS;Pɣ$z$А] 'bEP3V*Mj pj1"quC=)WDD:ɌLG œObnHzao82vĕD ~y]N2p,M \B>%wTpn%_;t* Qdv1$|05_Gbl'A-Y!0r6Tbq?h*B' iv&ss)R u eæpƹ,2աIJ&dhBq}@Z#>acؤe2`9sc +wHDwP]9m4 <)LW`٫qױӊ[H|䐇#kX 0G{o1. 0٫C. fP޷Op7sk,WcLfaVBg )ǖG m\* @dT$ꭥ)dy#E4;4O֔zs7Eo0d'?x'jN GG nhz1zU39'g#OC~}sn?x+oSo%Pa,uSЁf 27Fz,TQ3Klrޗ'/h]O3BusCPcw["f)b؛g4ʅ2=*ڼ&ݧܜf)@5鑶ZV]JM,[?(j_φ j.>lolrz& 4BdC[0jlh@V@;|\D2H}B Eˇ&3{"b,2lq6Ֆ25A= -I*I]SW`3^K׺(4lOjک%ѿY'2f'˸ZvM2yN,-@tSQhdHg#ZZtp"39'لWM<|2v-S^|ֲi"38hKX*a)v`e^lb䯈Bge*2%40+B z8_]ܝq=YfX@q'q\ɿCvE`RE4%ўKO-/þ|)A$AѼ"r8|i"dyIltQN|_喧s:_B=dcOpdEfV(qVD4`WiѥҾ%*zpO3"ֳi jB?X^TƨsR9鯜M֊BE\ 1/EؙA5vJ^$⧛4K( r6W_bը?4Ȧ+'xRzΎC2ċosj*f?kmafd5xd7|Z*sgݛW64wKd]Z3~ENF̧^7o0+3[ZF $RCI[8*_t0;pIjzo| -<ʜR5[o32W$u-3N6w%:H Z|h <ȵuCunMO噶vKi~V#!YzX3]EL[spe>`r~*h^?aIDPnϨnN=s"~7zk,VrO6|[La!`\tnzqXc `65Ys Dβ>|R'&`)<|BNEX$)ܼ[3Da"lH\qL2E1c[vpdg4>s@ @kA΂PH NȨjjCy̐^W% /`a5N:[Z ɐpR _-pȰX:".yȜHMf7A/4勠}7_>Ϙ>K VOSJP0EwbElB~5; ,w)a^@H")tv} gnK9qX݊ڙl_c3 82%N?ٲM߱閣M,Xtl,~|4\53|U{H(Q}_/H3e$d:y 311b YMU Jq˱QRx1SumL1MUc*l Ο~f?1 0a/,MeAq~#5˘lo?}uzUu{̈C]G-lO !7GRw\OiR.fAՙdЯ="~v iCZnҢa}kz7ED@R`v-Vtc^3>J9?E=FBz_6+3 ]{.4 =y)JGߐu 57Lb'H4? !$APUr h{J<{I-,L}]⒞.Ee$sLf[ uixT24'k!׃u܆{dam E&#y,Y#Y6NeL~ή!|A$Q7b.+a2:N'f=)E?Yc 1.s; Ƹ2g}UEi{$k8]i9$ys2.OBtO:pz\w y=1%4yoO%>F U Gdք㛔6@p[=Υ->So:)bjH,ۮaIz{FGc`텧g2Qg?5|0%(Z0_˨Ct`[rALf|=l$Co 1sOpu)U~Ț075?t+@+6&\[( ncj3)6ԷFr !]O|R5 ޿&u>T FT4`Otжvv"Rh<m:Oj׷ӷSK72s&pa}oI!XxR@d&Q16U\3's&L5)S~_2Ƿ)^"xuU*(;lP_R%. &#O@Qm褨Z-3K~a&ueaâ_S/M ֻW'J}`,\L5laZ*~y"W+ } H̑&2BIbpaf+W}MЮWmٌB1pO@8Dm[W4[/䯯̨㵝5ޝJqv3{2gUjջ3X A:4+AWL񷰈4ngZ`pD] ~妣cx*e.F,M{qyj'uyOmVxHʺ mMQvOUd{,bԨfo2b`@*p.l1MU#GyIZ6 n !j[fQmb䡏f-d,1Ksɶ $>WП/`.1:W˷| iocBb(\KPw'=SQ MqB*iDR M B%wE(,MR4n#oW@&;t1}lEg?)p9cgi}S4^%40D Vj7MZϥ6/ZK?|4"4 ʉv䒄_XŬIib(S:G'i!B.:k4Km1@Iz<3$>BY֮ᥳz<m&mʁ33H誷~jRI\^/f!q:x1U TD}' p'=+UDT8+I\qįYQ"esu BA[[KsN',&Y*8Ѝa$(8rςFV2t ^&XEPBۋwm~;WD7w/d':蹳D_U!R1Ô`JCހ罧yc(nBkV!Eu΋*v3e[)XGd7֋Dfbp]Tk8QوF$<$omO\KcZ:z"f^_9l ;9(|h>$TyRN U 7GЂ_|hN {K yMĭJ9K哵n)LP(`:`3ν/llw\`AiTߕL~e7co`\leZOId:سv$'Ow~;/cw ]"馍ѐ{kDV,pσ/##M.c[/ dtU\h' ##NyMNb_bsgGЖz$ _奟rZ0cgk^_RDSxɡRЃM*A{(WtT ~x@@ԽTץntٙqlMΔ &j`N)^>niA)&KHI ";#8?MiL W\c$mͷ(!Sjq,}rn49eu Vaǔf%~ h S$J~tW]G,eӪ&%nN cQ}u:i8й1BYa\Ёhr_Qޔ!WK+NsiaҁIq2oU]*5ZVr|;(d5Q:iǾh }C;3оWיSdB RrE [w Mla[vBx8c!JHNH@tL%`Tfb"͔eKy 6bӌPy0!L92"0Ygv5IN2]:? \x*unOs~PrT7D0+ w+R%U,2"y_HxqqDZ@dӫT'5ӕɿhGts' S"0푒X1 `~ͮ?Y0>!97>T{Q $FX Dr$qc7lC* Slq6Px.Ju#V!}w1DZI3z+W2P~'iY٠"8~g1gwb5~qo@l&z)~Zu% ["1 gD%lҙ;wmFS <=˟ `mH2GЂ:[6x9'9؅O8ld_UYN*B[)cXrDĽ{"짉 yHaPY G^;_E֩]NH&Hy d0~F&ٞ2mĩڂ5USp(8)r ~)Њ 7< nd޸& J{XQ;Fޅs(f3nUm2|5wUK٭>@iL?C|u\X陌9m+L2YV`ˍg7gĐ$&ՒI?:|ܡ%DB` N)wqcY3}O̯GnXR `{[dhBq< /d  L!ġlov5-&AodSo5n Xo*!炃 {bǃ杫.DDYpZ8:̞}wۉŻV~)T5.!L- Gj13Qھ+$udȌ{&(;.Txa~3U>|>RkCE.1t̡kH3-󻠂:0 P5M!U?qs͟J9o;< #Th8EsKv(+Lfd ѣbѼP3'%^2Giz;/1C'gxd h4ksr$CZ㸦]La 0dˢq*\"`.nbj;myiH{lpCy0 Soa)H#_97M*`0-c+@o|T^]DNu7<%  ;iKxiv'ݎ/e%|DV2Y9R/ɑ|DO n t>ƐJEcס`/@:)tF@l*/`pHy rp"xUU,;|Vu E.+hd/ۯL7tGcAO%EJO>1L[L/kzZ m 5Iz+ V vLd ^VshcaZ|,bn쏋qُϘwUP;U(:F+[S1-gLM3 :ƘhA3/A=8o^beJ_zBfPtA~|"39QԷ1Ӑ^E)R2np6aRYq"E5 0qjbNV(D{f?ͩ$`!myW+6z'j-bd i# 5DPKt*k$F(˃/|*, Wܣ 9yqޕx`dR?&ʣ*DuWOcn$oSTB4 YcE*(0ay-j:rEipPxÅ jX{ↁ^?H^Wr-+ës ۱T'' ~Sn23Eu*A9w8葚5p`Ox$\oAm8X>Шmu$;xk})l$AE-oh3䨦&\9VwR(4^`8k:DILܳ<Ŧ2p[ҭw0uf # 1qm=gg)LԀukÚa $~w"}Q4V&RnƒN0\ XJ1nfa Dh 5u$Jɻ #4FNzj6NWra|̮p)j~duRg6^q7Psχ]~Ϧ*dku}8])YoarQo"Ŕ am&?ۓz`rVfNG `̿<&k=eN-ݖGYvCjAe'qTbqhN JϜy+x_0dNEkߒj{ "YcXpH2&i*=Q!/ *U#ȓ_i˶9(~zx[50c!!w)0>We$D2wa(єs*ښ],@lZſlҚGfռD$v?h_0/b}S)t~:y^m=5ϤEE}#|Bh$&8L7j$4Ït2|~nj]!O)g/N BEM=k\/jG0YwxQSpO87hcb6n%;f`&wmWaD~Mq߭l%vjZg.N,z!⊗p*OI۳ vqdt &Bc$@x=uF 퍻2*|* 9:PO*D&"ɉ30G˴tW6<Sǻd XN?І?>g!Cu4?QHg١udߖoi7Liˉ*Ϣь^7ɻѝT,'MwM!^((Ay7p*qX%EPx뉛m F[DYiK5Y])āJ34ri2l3KAuU4hysWwL d_yeUYGibLC;1:ӏ(i0VcF\zps) +!}VDA6H[u[l?9(G&3 oD'Q-jS.Hiv)5Zt}c3|syp{Jm)=^nL*˿%n' }ZJ r ߼ ܅ֳ)\ 45;j}~Ui7̊/Hf_#`?v_#K&HrCwvCFt~dx&{vzivF$c[(h! fpJY-}k 4n[q27Ʀ()Ex]> 阱?ƮReG%h?tspW?G*=nAd^WPf-0FȅEA?M"v=,_PwFh9w p4f*)x5уuoAUoH["ZO*1#={kB%ιΚry`Nc~@sW6V~|4}>r \^#NgO? ntD]N sXf@XutEEkӜ}%^@g,|3]V_4&!s nD\^GJ1>4^n)nC3;C+p{pDܥUƴ0l-]0װ4!0KIRv/!I%0Ca*_8N:P^6pl-Yu eۮ-ޝ結G*+*lA/ڋg7?u(a:;]?[6]7AGo"ջ,H&ec[8Fc>&1C_5i6XP#\4aԥnW@m#"_v ϴn횯ҦV<խ(կ)ONK"svwb02@8Ve%zAFGZrS\|n<Km@ EktAu2 Yʪf\S}ec- hfT\!tCЋYsXp0`wF* Y6:}'jup Qt>^X\>gUu%W)i1pMsΎMsg9} pӇُe՛&m UR Iv JU`82jaEY؎o ]TXÌA nksЉY?L<귲{@WTDc'eO )aNwFR S4smiJ"%փ6ўOݨ 87I{qHD񶄍Sx0^Y.&v}]W˟nԁP2>q"Q?"!{=-vtyT9DЀ\:imſ@*81⁝=FqamJYm#wzM5_g_k|jDHo B^.Yw1aAA`Hq.p19TBD\KMRŬ֞[.= f>4 35%nӉ?L4j-y/C oۖ5bZ }L^tR@M¦n%d-<^דc1P:j_:yQ$oʛf522Uc Tu8 o<4F &l컭d= .܂BGuH kӶ8x1Уf<"MYaGsTIT;igV\&;85aNs_)[&fLo?W|d&G!B.Tce5c*ѱSafJ)Vw~T^ӷgHcR?Ӊݠ~FZ3fJ!*n !s%,Tp VRYM 58-$p>W`GW /bRa wQ6-Pj 2k\d~i w`?|Q}z!\2L{D%t<=xY *Y=+ h Zgia7MUBj< ϊ~1 𛃰q~{u&1~q!:7J,G$*ޝp2moxz BF+c9[EߟV܉U)^|:ҎJ2V@˴{7ӄ#Yy8v&hLu'.Q.qJT!㔰XyuP>EdGϭ&huMxݖTa~)­Sbwϴ~ז{E\DKɍ_ƒ^.Aghּo,R†'%MjQԟDѰW)H ;d+E掊TEpm07ƒ{RSctwK\|TtfM3T#DzM5: *H%#*{1ίb<ݐl]A vK!UE%&H.r_|iMUWXV^(ӿ禲»F2/02tLf$tVQK@ȞT !/ nA:۴n[v5 ZTf{)|_[[|@, Ji}H8u;skLg$.hf8jp  6T?ٹS$P{=~)$O#"=I/XɅqS#/['han\MAgFxH\BYU!2m\X5<Th>Vaa);G JzE݀SuJġJOﶟ_.Nkz46 ѐM,2%n;啿7e JF>K,Ay|-dH *,XQmOHhe뜌+mYb] sTBٵUZ`dˇ|̧tׂ` +%є~ c(TY/jVA)D"}Zr ZM r}p!-ҡ_uXc6.@1PdtȨ7{xV-kE7VCATJP'miI D;23~ |}~Toب$2N;nh+WI$ٿ=G4]ZbR`dچCV78߃ <?Wx(N u&5NrSC}y+i|R`^O4e]qF:/]N~t,廂_b\d#9"L )7a? ޛ=V<7cv_3^!05M['q:U- ]Q4A"ecTaP~AL:V !v럵54G$s'=-?{BQbڙBp##薘T9/DK=AǗ[JH`. XzƬb)Mヲ^ըu 8Wb\.b(O5 v;4o(cV>WdVEr9Y'.簔3u* 6 )Aϝ B7I (5M"$jܬhqPjDA)<\ GWu#~Ig_EGyME3#;KoW1ZXDh @9RW{Sn`.Qq7}Rɧlpb窿WP:N%-D* #Z|۽hȜ`K2ηSkha_L8 [6rdeAĮ;|}gWOnkH#]1}CKiп?Hoa荇J,$F AY("%.)NOdUݐƨr71tNscdFpWYvE= .;׵i+6;D,,VHF(vUBRP 1/ۣa>k6wAw VL(#WZ=o~X?m&ΎOhsIM[ UpRdl%`:8[3|] ͐lry(cbe/mĶBܿMTo̥ wq 7 @=tUI=>{xQˬcoX.=}qsxgʣX87^"QϋJy_n^JEg(x<փl#"b>gneK]b|Bs|qӋ}\%i1W|]Νgxy4e1=u_-хhZy#u .e;YZ~r%dZ~֞cb[eVJe]@0s498S7ITOf/~J}ؑYQ=0iP܄?{t4V*b:.*l׹Z +));e25 &-]΂`9Սbn_ 0,fR7%9˻|'*V.fqR$y:zRꌂƖYmޙymy !\Sx[K4tf%5Wi!\JbWXw^ CtÒ\Ҥp2v[+VZtH砝B5Hz#j iS[M 1_NjIZ9Y7N*O~6y]SK?|bmj7!}"@]H'G;`}kړzHڮrrG19 ʠX%.WX9veѣb|4u'qu#ے4ݓPJ taDVjaDHуӝikU' *L1^4͠esC,X+Kmx,8%X[^t޸xS>L>CK?B| %]ٰ;HXMLIu )f NsfƖ7jc9 ݃(q,z۶jѬ1V.'dD&LMʧG@P` PG{K5KOz,F%.>~~hCNk.P"CH .8D 雛LRm3O,vTv` w:(/,S2ؖI˪{ɰcGȘܤ^.:/W`(KZ_hZ;Xp)W#L1kPuY͜{bJs)GQ'`kzVnOA -/X#AH@ ZkmL/&PuGI; 싰Vm=pGdAUdTݓblj ' !=RD(D_)i ng&آnzP-u`,F;y3.ohu'N?SWgtF)`?[ztڼQڧgGF3# ʬ\wo]qn(v;NoMHRGstF#a|LO5bAQPr$3ݖgĢ,}pbhi pZɖ͉2*Lrcծ +Ғ7@ŵuh&3p pxBOC\48!0ktvmUa69A;l֋*2A}\`ؑyyzL4g14dq7p{nTON2h!EѦvvo/+Ze|lMh4wL.}}?C%(Hr-m,uJv|qpUE("R_.I3yC$ZbkjG֍yz0JI鎜 tm4S>knMWT?׽̓ѾɘߙpT_OHWi=+l޼LJ|u*=op;HK\v R'+#j 䈔3m?Lq+ oz X_&O9\kA7zaۀHKSO98+D3nFԟ{H[]f>v|C)'Z߅CF+KPS]N0xۚ9왍_1AxO4lY{I@BF4ÿ6Wld~C)tFSMK=%&ߊʹ =vDD,{Id]rCͅj[9Ђz4FEu pn򮺐ԃn% yNX͝DS; !.}ʪjW,7 gYZcace6ea5fe6dec4669fcaee84718a095da2c713073b97324401a390af5292cba94f0564c556fe305 6001243685746f1a1a24fa4ab39f70a8f5ce39cb 8b58379d670d6dfa674d643467997074641663ae