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 j5,T ]]Amortized_Complexity:threads=4elapsed=61.868cpu=205.788gc=16.296factor=3.337zXZִF! O]ŗXiɟH)0%o7'mRFuxb5M^-B; /i1Geݮ4Iv+z6 ?!I[9nur-YA4\<14gGN)HK(,mr3lL7HY߹{t-5~Ɉ{csDu2\'a+=Xj{ɇ|2ƼXi/|aЫ٘-cg bX\4Uʼnڍ~( .>9\cN͉wf|8sJh\k.Ca& S̄Zyu:5OتxBFf/K6h +;nJeZݚT@>etP~r#rnjEȸR޳(<Ph}G舷QQq $esxNlGUgW{\LTU%,:,v rtcz!߄s48#_jEX@[AW4csao*n0:Iϯu^ qky;Bq./+fhJ)BX/h4vbGyhV~(_ߓ<_%0H S-%SGp܈d ksΊAi+D4y=hP;0#ƛ>dwڋ^;W w :W2sM2oE/}!{ xHX+ɑ fFVG2$.먅5n9v IX2_>YVAۀmmY6(ңBH!C9lf2~Ͽ gPk!y5vt[y3bO+i >季<*M"!xԐR^.o5H!LNJ  tt إ}muS(Ī}jJ]\Z9L}i]v A aJO1a>;J1btA}SY%^~`]cR("SRvDqx`1ޛPkBSvPOz ސ F$a!Y#"2gmgD[׮qhC+n=8"l @@8y\ `]kkOz3s?h1D u"S1\ mA\92gE 5 Amortized_Complexity  EI,yyw(|iVz)[2}Ž\]hy{QHj䨱$*&1oܟ<t\K6XJQe) u-}5:3;O3Q[ǝJq*p]R,!^6^ g~P~ֶ%х]Өksb$% '̂wňL[g9v ~T\Cx7;&2AcH@5.{ic(~o1D4 ʢa^.,}G[FM綹1 miY'rrd\꾌#o7ZcmB+xP &Fl JT7ceNo.LAQ4r`Vs!)a+`P >%.c"ܵ y,(Ufa|F}o &(t?ÿ܀ɥ.H'+3.i 篛=.Q|XLP,\fxC7ZlO"YJ)7My(;Kv7l;iW7!w8bK$(V:АH.n ?[ηjSfV:@ 6wuf iiVd;t|E'[\ kGAYm4}B:L PЯ~;ʥTP,O'R| T)h2v,VV\Mr:hO tILlSn5`~(;a0/.jlw /@}{ʈS{jePkADy$wQKR"Ҍj|I7LMgwhuIê '=]ܦ Г L%ddL6 P#RGtUfܬD&R7YO0P"=92Z"*\%Au4*gQ#*҂ǠTk*;[1t!*0BnxxRLh)4x,_/ۍV'(I/˳68 F4faN@~/?er>K$ٰ6 E7 ~HP7uۦ:h߶[Upb V>3Ug_0Ob`ɓ.pUN?$%ĒLLJ֬Uf {T݅5|M" vͿ3vg6͉^z\2ԮN KZ`b>jr3LžJ*ÆiZRMVYUH["7y®qef߉5#5:#)0(ܰa~ϳlJޘ:yu"۬\MF}¹ PGOƓ#хͰ%gu?6UHiXH=' wUj-,ۆ@E:&*'YX&eZPNQxK OfBFO c|/>>)RΛ6X}v+C!""2 +Qoxx*S#1i*Cpb-V%~*-Ͳ^b*VYui6lxP[K)t ƁZNl;w= LJڐ`i;LĔG:l ^Dše.] n1;bZ@m [cCϔB={v"]tȦci 26Ql7lLRԿ t \P#WA}ZO{sȢ-;ɝsØå lIk ?SޮNb/? RO)ޱĶiw|o~"/!R3`:.] u^UJEi0KU"HXcܠ>5k78%.<vOGT1ʝlXKN;q~B&ƒ{bhci0zܭ0Tt"e4+Y4%x"@}ff,\qb!}_+ceE1]/E o\6SB͵#(\QD*xsP= b Jɩbz!BiNٳO! ⧃n,P9.P'+S@uH3QgBq𛐪R=1M H8k<'"an߾"5/7J47 lZ\ٶ .6"l\`jE:{`%IoG'2b9KQe孤 yQxFw!->0R_΢B 1XƘՆD+[0uLDIJs_,E7pNHUܧ^rv-x +4q#Nx@[8(c:ӛNM1JG]ܖHSI'<4|fHWϠ#Qj/]-CJծ#5"-5է{Y@R Ω6,lrlqOm4d-  !kziۭf(tO}-ߝF¦wp bEabO=H<곃nl_%NeWFfSԑ촓 i Id߷Q2laqf+ogt8bCR4Dペ-ŸF&J>ϖUgwN#mFLJٹ1yv %{4iWWD4* yL+ bUr|G~hZq՘Ů 0τ^ jQR.ur_5nFYPw N 2<ˍJ3]Yv䈼-=ej>r)}Š4;b@[Exo,fmœlWU[&UNLv'AG]3ܯ}YwO:X8"@J z_EJҪUumCY?X6E:O6QZPj=kkHugBkRe^1HQWlɤ; TsX0maRJPr?6| /tv;r ](|H&6ɚ  XM0xi62t6 @sf=w-g[4ֻCZ8sbWJt ?gdV7"rK^WSQ~{%ޱWN3AAR1];Wbh KVa %%Jfr[qf!kj_&R_oRpJFI6{Q5_ʈ-ilV DmVc7wl^whպwx8D;[h(*~IT5"%wRUJSlQ+?sWT*-3.HUh) XO`FwT~t/;('nD[uR$!gsAI}8h:ٹrY!: Ipꛔ*挪FeO#.WRKᒦ!K kDw^bjo3y.֋噙qO5E G$v- N[bg\cjM}xH߯KԵ&o[--¢VQnDm^[ K(YưZN@U^x0aE>O]('c_[7:i(A@ѰLKtnkHVxV!,UESY]Cr0*G y+t_^. {-q1tE 5hϘ;Fzif_t]3 y^5wau\\Dm-4q[+Z.{)j8Pf["V2oE$W217Aۍ>9yݻZWm"!2/YWoG.dz  eJ9t.,ŤO:a2HO+.a I_z &gTFXrNvxIVUl?v̨"Z[ڶⱹbrҒicR-+̤[Q/bDᢹqjl+}U _b{>upQwcHR1rH_`X$/itj\B0-/ַv,4FHjērP;$M7M]TX˞q2czXzaSB]ui `pap., '-EE=UtĈi+Yph  6FYt&5v@vvjJ2 z$Xu NZ[%vS ĭ(?u%B aQ֡./ԮsjLD7# ,D& ʸ59C,- KCPUKudPn |2>3W?1q s;~vV岾lrv[u8 l& zz Do;[òۍ̒d6@r؅Cz \(QGd #,?h*;;kĭ?KyeMI6 9{ht_Ҙe!7<=ɑm$H;<+U_A]yzW-v|vdZ|.hHH9`,!+QֆE,߳[cTilU Rխ0{s92_'ܛS`?}j1msu#*SNJ=^E?^d5+3Tu̦y?$kު>xlX<[Q-UR]$%yR]­c1XWRDC"fE^_onirBGz|. Hl!#c`w>,xQ%%1a0 d=!ƤdPfDʴ{u55#0׹pfAh. mFf 3Z Fja { 'mik 1}@T#Z Pg $jt?Z(܃ͻI`%v^@7[wאD+JyP8+uhENQfd;PҥwCL4JC۟2Q; Y=@FQaElUd]Pm.s"GSV3?c=r'Qt'+$$aF_n`7U-fr.TzD k ()@*йudY)k!ښJځP䥙AlR ([k ?tT\]ɲ4 C-ZuV(qDbzb}/hp E\sYI|[dL`L$,R)jv FBOk].F<=69sLWrYi̹; SW ׿IY}JbK3`UB_K7NZ|**t:\.e$PhjFMܺn(s|yr}OVu6W>ZF}{R 6H;Yc9<9#FKCf?6IђL}mnj[Gh|*P\eW J-u1{Nʊe=5y]Nlg"GV|/mc=Vq#OmNڐ!5AEʸW4 &s}N?b~ҮnwA2/ʣƏgMa b"-2/^Ȥ7')WCk0:Q),}Nݭt{ږ4Mwe8/,x0 v{lOsmɰ8(aV &s6cgsCaPl+~_dɼBЄ`eXι IPR}X SSFgg8MYr3y;N:Lr/RAa ~f"y5%כeGUFB@? r5B2( bUd't]me @$!6HR˝zÆ =YH&e0R,8 tz@$MGBWm7৤{ۏq"=@>\2¦kccuk(;Xsnyč Kʴ;v[5څ85$[8#Ğ|ed1DٵgXkT>B'ٍYrY=Z nNʬ!Ɉ`rORJyhc__!+E)JsD '=}PkJ8R^zqpܫ4UxFz`<P,?w,X?ⲙ-CB0倡cFΓ}ʡܣ1YB=mMB~ĸEK~nBƳ9:")0+盁5%dUemO6f BJA\;6`}Q02ʊ.o7Ep2`?i_ 3>r eV*OrvUBΥѰimw%gե7t@pa3=y"P8aѷOz0qe 7f,"RML.D#B\]-9պdGwRF{ ۤex4#ͿaJYBh# ETҴp5oRDz a~c-I,^ .DO<'0rq'9;7ha-T ߠcX)J.+\pu>ӆ4OnaZQ 3)%d>Y+#ݞun吋;ieg ^lo4tA)b~_X(L\4n?p~`um`F^> BH yH.N1r3ʅuPgV{ -]>N *0hr{E'v= 3AxKꗠZ5Z_WwVtɌQnnx@3V`\s(]Z_!%  ;Sh @f46N:Z ۣ+Ȯ֨4OϴAd޽7 +2]y*2O4r,R[,{cCoJ%XX0'Ҷ[*+VsoeVZ=o +}'n{fBA\mnTwR:JeOtv5N >j'mpthꩵg`ߋ!8%&EE=7@K{&-k=29CxyhX8޴ڠ6(U ؞|XsVNxguFiR. dh}'SarwrN0v&uv9KǪ,im#oewc|y$h#frA1.) W#_.:>wAKs\2ƽXn}#D{n`ڮ =1FMj *%KQK5t2 sx%;0-9M|J L_ϏF"8=`a-K4EP:vK 8dv+RLqjvK#G|q>-&)p '95?c?e9-6}6"}|AJbYNX h@{.fƙ#@pZ)F \<3 #v >" *5 d3 : z}2ڒ쐷  ~ʽ8/?AuamŃKUĚ(a>E[O<44IHVrVa~N7(ƶrZK{<'ob!s|٧b{ )q D⥅$S1*+_w-V%.v+C3N2+0yC7XSrE![v)!O.bԷE;fegTm{[}ToL]JZj xj ;EL)%c ,xIJze(KL( D#S<y_CfG*@mnb2!i EתUW]_TBHf $S+'̍^lgOל>bA/Gk1*?AڿOD[^bmr{#*?IA]'RW X,{;K:ɘm5*QO_ʶ6| X:} iL=yyuʅmphoag%l,w\0MVDIws=|qZIc ؜+ftWF'v]ex&޷EMrr=#!x^+uyw޷+j=@o?/إn xAiׅAފ!AwJYI;K,ˑ)k ݰN'pŐ~%FI҆~~eODv6nK,& Q,X#xrBQJǂҦ50u9,PVwdS>k/ 4*- :rWȱrE 89RG k-=]cpG:q4>S6B6~R99AO#. ɍ,FvKi.V_7& L|APdž8&JrUvl p-//tes^ i6#4~Ӯry(FkrE}#7 7J::G/dKJQ+ = w&#\1dt<7]jJ9sJ9*>Vn3Kߙ7Io~qe]Xni۠vuwͿ|hձ(հ詀cRךߑ?%%Omq 'Y$ oR %\#:y2$3*8`rBr+YYY_XmCuiY͸P=,i> /! ̗B|4q8C+x mhKZ³ D߼~D*#_qq`#AF"c3ь}CGt._Zw  \' 9X9"{AyD Ҵ/F]`r. cY{tKO/ /PpBԈyY 8&P^+~!zfW(7mAVv\&\J4OK8Ș^X¤=&+޸]uu(lġ| Ck @@2ڊ*եFѿ[ա(}k[+Tq84ovDA''!ʠe/Ttxbc{g i}/i K1#;tH=[`[,[*@h?u el@b i!>F-0scLgM+fJփ6Qqv/$,iS!@joiCbR{WBAlA1a2uġCwc їRW毾E[\´˥DΎ|hP6I=(_jdՠƤpBfsJdGp{{ERxD&%T"_iBd; U&(Qo/ |`iHDe{fiu2;nc⠾G{$ J?U/G&\, yE9dއAеtqmܺԞQX.f$7W:6h_. );)Vj@,R'lpbFʭYe? d ,jxNDV 0Rj#Bij}jtA^y6n5-@#x7NImޮJrC{CPGg>K%QԓSuBz.w 02 yS։M@ _ج,Ei%i0[0uN卤ʗRe^דR@n0B˹[<-@:>nLeNwuSbDkt0j>RX.dž3c[tE {Nvx~ {Ud}]? Kq# cXeċ/Ȫ",Co7qOhT9Y)K6{b{ *zR(QġySAb"M6RRM/KY@+FD/HvH:%|QufiJ5l.YI9a|{lYns=5갊Wflgbnv0C[Ղ#n}qnZ#p1K zż!obp/#J),zZpBV!m܉`}jjK,ۉ"A2b<iO<4rANH("@*j;KNd ;)ƪ ݼ$ _[j#Y*d+Wn!wDq@ +vDOr;sGʛ]81z=QEeS&0P,ǥ1{Q*h(L 8iࡧ9{!F(WR6}ii`Sͣ*7O=-uO*uN !V}Nᩍ}"1G}ì#aС&ecEpgosb 7rTzi#$&Yi6ڮ=je颱5~p+,@=bS5֩+M^i^Zn/TIqI[monEzd\ Ez~%FrKѿ.vRtkH{lsH/,'2*${Jn4o"~!(U8ƌhb̊QfZ|:G}G#]`燧55dU6gְf*@^T%!3>u$h-=ڎD YH[$G7lK`gm"''ҭ;b&e{nؓ)l(W7u$<@+>\ØT#x੪iNxCx4Vz>"=ChƘo od5>J4 <$ _NcjGqtشzC8+K?Xßt^|) KUl~,MkJLqG o7;%:. w$Kʡ]9Qwr ֹ,|xi6e%u,;w+sIQΕd ux!YlΉlOH:-yGΣmreJXSuLȪE~xyf:,fUo'qəhB>ఆo^ ]V g{=w.OSFdLͷ0HQK4,C7}rl,]KIӜɝ~-ݲHɶ:xsn`NaS*^ u [(u3sKm[Ն.AkW"ܤ\}ߧe~p \~9Tt.7ձ) ) ΠD^h~fۼYRo29x+^m~EwQBTױ1U([CF Σ {Ϋwn5R?c#_UhkbO<ŖJ݂Z%V#\MiiDó@/PSDRZDsܞFykh 66L&xV),m0ZѱgfyFB)b^IU4*]bkֆ$Ju0A \0[E=%'GPdSkt=]{ ˓ƿm1ۻQBɿc֜i|JR?=0o6~-'[[g R(2E@&ޗE/'>mcZMWrŋ3˶,$ɷ8h[WbŵyLpYUjl8n{#ߊk >~:>RoO# K ,J^x&hmwGZJ?c(k <ҩ #ݞx+#4 Y:LNp7%/U= 'EĶNA_%8WcTC8VMs˧yld-wU6N(hj+05?Q*7uk3.]iґAAz;e/Z::<5J?ehsjr֐!+/0PJE/[Z:zَἳKrvpz 2눖|2N-\@zg] j _'=radZV4VWH;Sf;FEcSkH!%V"viD{}V^h^rC \(}>ڠ̑ F#h 8FUJf刻kWY*vwmx;_BS;*@ط[b0f1K+l_@Z0u\C+<®ll0f0#\HdkCc`Va,Oy:O pyF[1|1LVƬ4cwP1e8X'ūCZe+lIT8>47I.>YI&{fRUe[@y>ɈiVA;޿=Mog̞s,%9e׏rpG{vy9.…(x4ȝ5&옾wVZTlhvB*ꬔuvܤ+G:ĸ,Sg.0жyL0:DɀӝQuY=_{"HDpuC.ߍk'欦L>$Ic^̘h 籈Y+TRdAKřWn ;R4\؁(5#ןρgDVBiLq MDqݧY-up=H1gЉEr;Ϡ@T#BF )+N <\nM'.{{lKϹSwú-90بƶ/R>XOR!wK 0FRLδ rmOJd:0[XZl>-(~͸3I!/VC6+ۜp9sÆW-᥽-@"/O:7ئ\3;$z ٽ qmd͂>tm(UJOr]f5שnd?hm0Ln'f+st% 6뜎\3)x~ɳҞwR#g TFWNL1_/H>D+9ajf]| .Г~KbB lMĹ4O:@ g lO婷|΋BUcY =ѻԿUb-a!P_o jJK'Jئ\)GDGOۭ+g3 %mX'۸d(g(^: Sď_@+#fL-=H EUrf<>]eAqMZX@{r#nȸn6$ЈBWvg6,"!WGٟ.7b9z#L叉޾6fC٬z{aȡ0t;k5-3TkH e\&2DJiP{i`$Tb 6`j//'yK尀861zf+^a ]W{} ͿB!uǥUBmt:|2{?/[A/_u@h\ub6 U6@NJ 5 eS{ξ)"A74v| +=XPbmNj'K|M0 ΰdjQ!)4̎نvl]BO^k}V# ~jq(9R{̾T+D9 TvN{gONz/QrƞBNf7ΣU-#X=眀.ׄUF F2rҖ>YYD3sLC@݀/M;x}:I y@ MOb Ѥvu8;ͯN`E CSLtJn0Wnp쌄I``Io*00BE"EkiNIJ=LFIVEA8=yjWoyL5A"V+bN/E6hy6Nk}L^Oj䷉k@L=5u[x.*#>nQ9 ofLBoe& ·n~L0 *NT [:G~t;)"_=MWuG,+ u/Tꙍ^p|yV78tކ>%"&'߾xvdy8G+28m.ZFvzRꥯpelLQ;xELMUNiKGV^W)/Yonئ;@ ²gEѶN@/&1*+Q ;"F>)pv% Wmk*ٕLi[^PK!`# 0M+uV 8@:NMw)3G 8 -RCa:]v-k&6כa}Ipe'O:TBC\ Ћ~3Tgm˧G.ӵhY+AQ'`ME}b/Msy}4 FHhVUL4p!j&ɆH:$HN-Xnb`=$!Lb@1r.'۪)wKH)V5.s̀Q(i C ¿nRtpQ{FSSׅĿ&l uuE(ᵷJT6DJ_vߥː-N Qb :+<>B&{sݕ\F)8~__}4ᤌXzA؜l7 _Yv |\9BTeaQa(C=z'TEcɊM̶RgȔ>b:GDN_m8*CzfSgdU5{`bjy<^OE i5 E+* XŦZOm*rъPnޠqБXs|Ae{ |yFԤ~Zz77K@o4y) YNʔVFU;VN\[!9Ύel=g`!R]T}22`r \s!Njm/!Pj(Oڵ`R\F1ӘvпТ1@#5Xzb,4 }f~Iڗ 5CɅL }Ro58|MiO@>ثp.l"Uz*?8!e{W \NQ(-kXzcaLQݨ-e]VDFRc|ˎ"}c,> TBt 8)ЁiUp -QC&hv9B(ph{qɀEQm/9MCE8 Sqi H!̫dMا+P 8Jg0B ;aVhݬ0ia4zWAmh~#hCeISI ;wܒDH=;D(uzL0BŝD3NSiHȫRnK1Bٴg|4Λ)h99JupB3@MLږ]pΏo|n-CVؗ3ާ_+erǬds]sO ᅹ$X"a}jzim4a˺Mޡ],DBiE0E.Q~gNьP{~hC[Qo(- wӽ嵄_ mZ)r^奄/OK8Y(kMqs hs#iz ގӀywj\Ν4DN]Ƨԉ* _HnvHE~yqanP'fũDWFESX(e*1®TGqChYh uӐq >0V욓"ݭqO_҅ ySpwOiVe+%vA1BN@eh5lE!Km0 UblQ9dWhɤnFƼ)_d%#݄8r/qd6BrQƔ~5M g0Jj9D.HQf* ilvkf /ܷ검qH$тD*.X ́P _[jTΜt}W5Jk!ϦӶTM4׳9q=V(=gzm xt&6Yhd̖ݛuZtmexq}]Aj-PThO^x\֋~%h af4fO &q6`^LݤZ#"9Jw 8E$a=+ zlaATAQ0itct‚N~2W˕qYn_ϯWѴ$G El7:*.fQUcל2tu%^r96_e` 9QCxc` OTt >h|qvsjȕbJH%$PtvtΤsPD2JqTSbB2LsoPB@]ooU¢TB MU`媩3AX^ԇ)ƟNt^s2[CN(ÜGPTb$QKN Iے~UǍIR-nT<ؖ%CvY,cx_l%sGUYB&O~ p~lrv;%^\8@ґ?}]6#!0WJ҆%ňb2S?~,@dLҎRm#ey(`gƯS`fpapx9GPD'\H͓)1g=8Uk@B>cTpi`wݐZهmzF+ejR'7c>_(TnYd N*cl ͍I:6ܸt2LY Ikz2>U`0Yngt욄<0V4?~`-QlLՈ%d!EkMcCgzK}>Ӆ7Iq֏C7IAJ=%U֒e5g[,k&q J2hhzf[{T1S!SCZ<|:Z l#G*3{!#zq{xSaf@HL'wպi9DϾ+A2_[[S4eH0)p 'UgTztU6窳o bMOW5BD^j]t_77 *F)d*Q CJHKLazEL5r9Y!檮דf$r1꣘ߍ4+Cyl ty/ Z?0wCIa?ojcf|nK96ȐpS P< %P}.>a4q1x qdRL@gWjL"Zk~ N5Ja u>܌TTܩpEӟrDGbF!4ӌbސ_},ɑ僰8P#sŌ-7g_&`!#}H-R1kP]+||bce.h3a|)"g`3RcAWцS)lkO/)ѪZKQzn:`@(ɌC V6"ܞґ9&=վQGa3# )sS@FX" uTX$UxY]['^YܐnXEL,%?J5EW1¡Ir8#D §MA\g31`&pq{ *qxZu{+{H oT[8 e}wywsإ8pZo=R>XM_o,r)ȟ5 p`nB*F0uA-fG%]a=z%g*ct{]vz_)RD< Ǧ" +3d`?#vuA5kM4<.@rǰPߢv̝%k­ϫn{S.7xRZ ?O@R[R/ WvjZ3;08=7LG \ sObK`|HxYSȅa][cű7VϪ|L QOLP%.o:e.a3T Bc7'MsH<> Rګ)` p7K!ohhb#!OtGo~k3=;PAcm1w`Iؾh*a鎂\?9#-.{dYu꣌)& 5G̞7L>&BIQSu$I\2+=9.?&cy)<.$[lLWIw Y?NʘÙJDX^-A> m-.yii.i" })Z58hTS-e`nArA&Rx8#JN^?({؇ Tri#?8 8*=Dn pQ4SvT3 5+~Q{6g(s5&70I[gc'ue/)>enjˀr^C&WHP\.Ʀ*AAgTKcc< ^}E4|PڑƪT4BoQfP^qa,Z&8a;/-IUgesW@XˇJM75>u6՛hc:%" HSoC-2's{{(b;Q .:ofcWT9SA*`D9]_ HȪ.gND)6@o7LO'[_bH~TW5 _;#:1hF}+`CB 1׷K݂QXL`"]|^-ԾTgW3; tEuZ6"VD HzNl:IJ1AVl]hs w86<)kt,ShQ/avl(TB2 c+A(U wx I`9J,ȲnwPU㗅Q$S2ut|MY1}ZcC@I |iڰr`ːbƛ?u (}9ra"hp>0wF*jG bB8!~cKO'KKJBz$Og7;,-c!duJb܄cd&s0"NWB<.ZPB (kh '~ϓ^d,_\MD1~W 7tM9x?8PS7& $?V|{9Z֥w䚩6ziprHv mpr?,e԰hu<;J澐2pWӟYOilʮR* ft'91Ĺ&V9N?~X4=>9'%\WU1ҕe\,P;e b^e!k=`qܞ?#h0]Rgt,ZRh[Xd6z -Y Giͷ@OX!j15Boy!}p?r:D&$I <'~Fr nD//GR Kl5t} 0_Cظ|Li|~%eS樤Nxv%ٟ3쭎ndsU_kbA=eȑ'm<-R$my۶{|x*F0,uuznv .Ǟoa\2 XS˱SLA&wX֊ZT5`n? *H3tfFI©)yRHO־}5Pw*?lﭜZS\n%KĢU~*}Ϗ3OF2W[x M}=Px&NkJ{uoyIeS9%YJfZy}Kcdya1qI?|wpnܶ^6ЀTBL"bߓ͛]N:@MT&4IݜCHË\;d g#bN}l4ΠY’n:xEr [b &b]Q@w@V_uWV& 6sfg-v1Gr_阄 S"yvy G @8"ĽI%;aB\2,` 4#>~OӇo;yiɘ"Y}6b2''k`mXbr@5sJ: (q*{>æFyM]dqA HX@PUl|;ߊq~7mzzj95mLwƻPYnkz-k}=xԭci_?@|x2<#yzfaGbWЗș'FGFayߺ7rz.Kvf^\pfnn?a>NdM:Z;\^uba}Rކ"Kg&@A< lt/\w iR;?z{cj%5W4&wAvR׳n}F^=g)tE^i: y8cŭ) P]%m*oW#zC0(+u Gr*نԜ&SK C#mj.׬rZ8< /0E3YUL0` ,-~rɭm]}4ѭj/?Si.v!V$*d (LfrQHHirz'g.r Vז\H`døy@y H"+9p1Y68'+J9wWʜre@EoaSk;eNH HÎ; ۀaV׎E058[mGI o◫j>MiX?9!y 6}FCg/kYE/B>aN (~,{hc\,,%} i"8,kWUXm:#^' UOx>wlw ,x-U@ROhC:K[?G1ࢤ1l*+IHF2\n,&Sv :pIVebN!A Шv!HCQ((KkYU䬖vy&\>: `RÝ@OQBXAb3L Za>nmChξ]ƾ_Wv:o )~4یq oYcc`zV*Y澶vs:V`4N`8Ew s7!Yb $_l-GliiW=`7}%ZJү+cPpRpNW*@j3!pXG6ebn͕(P!k^T]!:/l%_ӴJ-sƎS2 % Irn:9S ϵ84wB)ma =ÆQJHܜ%8#\/IVR*%7 !]N_Ԝ+D8X@<=r5{^a3n^q25Ni* x7sރ!U,dFr[Pi#Isd!$W'C}T@wUC~_&/r[}c_WuJf̻"Q*dV `UM7 ؅A@ $Fy Xx]_zM V)dYHdU6%~e7T3N:弛i9j,/^΋E^fuTV Lj="1b7& QlDs !RvR6wC[J5+qUNqZrL._:xdľ:-`leOעL?b! =l߄H˭6y^ HhY\v  A7dNZ?F5Pc ,,ƝJ#A\1t֛,uD &mdPcsĭ' ";XH|ߥk Z[eZ`20o*AlP'#i]• -[i5{qgj ;K2$ [s+_^NjG+ԁ2!9!hc.uё<5"^۝P&!0?PjJ΁| Z3w`mFsTm1A7] bˍNe6G $~}q?oQ AmnANILI u9CA s~oaԐ)miADe9Й? e0kS"4E@Ge9Ճ3ῌϳ7ZD﹧c)."e2R^CM $H,8t\C1Oil )597]UX c;å>tH7ox" JtbǝM (*Wt!1Ѧ8A" oyLe>`ջ=bp6o$P }яLq&m0I*Nk=)vXx1fB4"m7Qf aŴzp/~r 1p4Ϋ[lZTwugcNNu E7r'ŗJT}茞^;pu9{4.-YjM@4 {7=r>-L2LҧJ3?; 1.&e*a+~ǑqTTIO)\HLx:i$FUu["W0kk 0dJpo38!w6Ͻ.vq&/+h&{;<}ٚ}rs+Y`JC\w 9[C Jd k6 7 j+hŊ[ `Hᤷ~@5kB=L~\l<]9.-zUO//YP#=F+^eGv-߆,$"/ďe}Ihزɷ-=ST߆m^# `ow.yca%zΒqmd=}c6GUXyvyzOUxLB"wڈK IF(,1wOTJEɅVHX?@$uTg2t qxxVxS `n]]ںJk760<.!1)|Zó{خ.8Kg0-_$Ig-ES[LWmYV*P/4W`")5Iͥh(%t칗)4 ?">߂WCDڴnkL&u0YBF zȆsaVYn [(bec5(]|䮽U - W7o'j[ ^ kr0<-),pMm1XܤUO2[j0eo EN-[WnZA"16/d7mP .@m00 NsWe"9 1zOEcǥ*2_%~I[)"S6nƱ}Ÿ7# WHdRc,?7M 32y𫁉ّYR\pho]s~)O@ z߫sz)xO$( R2 vX%E5#N\r,A, q`Yt’ KF ߯k(=Ҕ濭̠ȹ/Ń uQEWRzft~`zGgLWVJfD#uW8EL$g Cj`*^+3oNag#;]F])zw]P^D&֣qۅzr2{#'M>Ÿy'|e_Ĩ.s:[K8570!:Uw E/Za!@ rRwX媦ȏQ%ֈx9$xIHhZj) G\ǢtZ]ZuUNqe#1EV8C"gMgz8s9-7Τ1}8qMKcB]oRhѧy c16qy QG (/ujbϦe B3E4+)e)HwU{cBgs!ad$\b.Qgbz8 $o.n=IF=pE;.]ىh P~Wc vd,tzolêJB|Yp3J,V&eg<1n? IPGeէ^Tq_2܏ƣm `y6b3HwT%lD[8VըԦ`Fӵ9ȄgbmVnY'1*E-@|% &oNHڱ~20'e)-x8U{fX~v:y9cmMoˣ_T‚s/`T&OIRѻ)ꄞơrȗ5'oW09{@[ԲM6od@y2|OyizFG69\8WuZT oi= Zwf7/~,waA]NgڌnwunFBOLkk!?3Q/9v_k$,LaKV~z,OR즋L78+4x1E\3uP'w90ǀibV\@N[~nk̼RXpO +_QY*)_NR1gYkkCc5̴L9uTV pmkHa~]&V`t{s[G=[g#$X0c3!_s }o}k%paIDkp(phb-)oZW3IqՓtR /(61v9%^p'=}'  YmĮS>DٿFw&R^CJD?3ӘrdƊwjv%f]ۣ f FIRz,}U#a]d\C BS)mxӢsD~2ȱEiag)3u{me-C/l}MM4_;SjH&Ho&ix{_*Bas7Ĝqi6iQKhK["X]m8;H/ui+kdhwAɈb ;/ws{tsj\EqB.Y5F978n%^4~AE(9)+J=gkCQJV -?wM%D?%#&'RuGպΊ)p44q&ņ(v E *vgm褟0/ɧ{\ E˖Xqf41<-W"ۢ nĐ2 Sȧ2CPȾ'/K<ǓÝTsEE{:zlDQ㎠@i<- f"8g*7 aNߤ,ǕVh=1bRͺw^2Yyʿ|r@?k\k!v^^qa8sI{)pei/E>]&oj6PzTod#$2p;2;04þKrhFTEyƫUt" 3nUHjsŨIMRv ]+`Ժ_}tKn۲'|Mprˀ%q,ihA 2wGkR`y1w"151N5PJ\(-apF͖#(`끂+Z|RkI1%0T|\O@>)xQŞgYm3j*ѕbR@d&RY06)C' eRf]L2oN vAk"`cM7qyuiHk$.q3j|șyT.DVoKk f C쟛ަyˍCw;z\NuER6MO8  O2, d ]ܮ O5. <~lq9NӀUV{dCBX(l:j۫?SJCͯ>ٔG rB5ˠn zB._ ~,ry>J-|v&mϟ}]\ޭ.uGneD6A2#x:vU&_7X8)436-<>CK8+wT!jِӸjuetnP\H1,Y>DR[^gȩ/I3c갸aաx-+T bd0tG#Y)̂A)+OSPZfYZgcILnl5MQKY~X2L'e?[oyKFc% }LY EV?h>+q S6 )מ0 2/${G=Q43`p- gMa]>Azqy9W/Wr`^7\vV+ώov&-L^_F~#OmT]b1CJ'nlM{gYZ7zXZִF! da]ŗXi%L!l-NEh2Xd9B nY5 CQ'WW 7n%yԢ9Cn,\O7:Ae0hRuKKŽ %!&'TSP, m%6$E^ IHJw?S gTź=L~"&)ƴKDrY2_`5Uʑ$>E:1ybߤ!_BA:56\*Z$:ǝORځZ_b.pQ[-8K</>D!)(t\v-=/S=RwB{pMgZS{_C–gR}n56FoKaeMt=t<0gLꂝtЀڷc J>hl6kDC7-?(֡*ԑvF23 b͏Fnk hOI Rj;IzDb!}и+ (fZ+qGI~,b O\ cZߠCeEV]=8#A]\گg2 m=|myB13m0)Jǽ*Ȳ JMFO$dA'ɂW#a(F\׫n )q lOAQ\lpP" o*vF=s~=g@;v#Ĭ{豣]JѧQLF;*j;dpPBE8g뭍EɰtƯ0mc0\ϞG=C`t 0=H. 2eR NUˉ2VOa;21M(*M\u1I )P/BiOh\,3۱wLXDϿ,[rK'oAjMto\G7utlr}qfiZSQEY1#IAp# 7 y|2iy;UKÎ+kR/Q1U8 &6z̫cF]2X 3 Tzk]Xo*qtfL6utEc7^<~X-҇ﵬQ1y‚2rnS].'?|V1:0 q3.ayކA0f$H[ ¢Yw+ ɣ~F%u˞}7KF ]HW#S?c?\ 2G|{Ɩ*ye^xƷT+39EWHɸY+|ă[d hIzlho /H)Sr ^c5Vh.ЦFI)dz 2Adr*q2ҟ աvr«- LqH BވH}&"KPz|.@V m5k_|QBO '8Z{/]2a ~NN6ćb6V)绰Dm{k2|qpZ80Џ?=ypZCLٴY1Cyv>Q^3n㎃<`W$cxG4cقN 47I `, S.0rPؗu'ÂK-])6J`xL%mx9GZUsI̤ 8Xd6@ nr.wPd(y7ZDutz&I5TBvov&'l'vPģf ࡇtzpq]݀UQ=hSoC;E\wM$P\\+g-! o$4rH}5@P=A10mLsU2acvgA&}dkVwnrW:^Swn^݌LIe jT9:vP/Zbj9,=! `&QF-S{=.o kWɛ܈Jv׌ F"^mFĐ1N?m~nȦ<{n_p뜗ZX&l~ev]OCr%da~n F[2PYZ; њ󓲸*pnGKtp.uO1i~,>1aqG?^:=n[ΖVy[ g\}͇QgT+TQ5۱tC>(y dbf#sh\9h;Øɳxm&wxIfb3(,eK<ǹy%\bcQIn9R-~s0_DuwDDwtG xG)-0З2qehal3KdR)+|F3b'PֿwJqcg0:.7+i?9zxp,oPKTUO ,Xtr0r-ouTC%Zogd9v)ʘ B! D;y ">E{ ,Ogp,k)||Ay?U>!x旗;rqV ,4™(fJϴL5P S N4"wg,kw*,|IprAX(l2*2 1Fy:/D盟yoKZ-F>:2c xkQehTB~)8EpR`$JСk $q#JX .SHUۿ؅ 3JC@1A/(?_+n wUkc @n^)ӑ\/zՀrt볻?SfAyH GN:rkG^µ^*wRavF *D} ) 4jfn/N|70,!Ͼ+Hxk0NQ@@[Qs+hgAvpE)˝:ufP+9;%`Ɨzxa maCσL` ꏩ('銵\všU+I7)j?+q$s{/'QS29 ܶ2. T> "Rn!!2}EWCNk~[=$rٜ :E@.G #^s{XZ6E}奐}z;|4.g/w4jH?Û@sr \iWw^mQG{fibq4đó.˃VB 7yÂ7a| 'wys&!LYj~ȳvOzg@#WSi2UH?Kz\/-F4;(IhF7$qvڶ P3)(@k֕a]vN_Bތ;:E ?H$P,DlLF0U!Eφ=˔yik\{%'o/V9̬Z}/i|HĦ*Î^c'*rW%ܰdXD @˙(v,BW% xt*ĖTKyB3nr|%Pb]xcyIî,aZK:! YmTtgRKgB&;n/L <5x7\0qaiH]]S,?l:x_t:OGiLhm=Ԧ̤V(^J> s?ʥvӥMSܗIL=X ]tlDwŎwݘ8a\m240;ԲG-zJMWƥ,3ᯑđ?Fci?hHzY%%߾Q?PP1tz~t`pK8q9^-(wg=߉6fBH22Wh Qx۳Nvͤ_]Zy3;!Ooxuha>?ݪL]]bHv͘Eq2I5zo+q+oJ@F]Fdg &$~n@&oT_0W\rn[\xp%U]'|ӹc\qz0CJ5q$MƋ%)yQ,Far6h^9/Po+A;]P$O!#-eS;Wڦu50M_1-Sil.o7EAn\ƨ\eCyVH,BP~H[sXm?IEKиtD~ؕ-%d&r_[@h6K>%C/Gԛ(07U.OlQ&cO $s;/}EA~Mn#P/'ݰv ni Hok10XI6K!!.pf`<%'3 Sh{Fěx{^"s+vC ;ڟ)^@zRG+6;C.m{*2QLA{ӆ5^.uY |6{LY6τ*m_%wn`D^戔zTrq4D!mѰ"3O?qB z~k 3*ڎ(ek(xgYZb80d5979d0503fcae3cd27b0df844bbd349f1e6d8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d5abee671508b7420981e85dc6246ef0bb64efccc