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~4<, ] HOL-Datatype_Benchmark:threads=6elapsed=521.787cpu=1958.492gc=730.8647zXZִF! 4]ŗXiɟH)0!h]~5"S>FQ)o* -<>$Rd/fPT1ekO9TsR|@hlŁ/V>=2Z]mOF'q\xE/3>^N Ԓ\P9~1] 㺄(g2 =R"FUKG!RS L-s{9Pd-B5g&K C9؜xoHcsh]zw{<)O a ˠ̚T.$o$L &K߭KS*7ev?<#jς( 7zlł^#Ƭ[4!L~<@OyO5=T&wš' )iO.75'GPQ h;)LC;/.<{{O2tW8!5JJ'}uYAOW,RM:A&[g,0rm ɜGВ=&A5vӽLe4cQ 9y91p!]\$ ;d<-qHr~R١tI1¥8}JcAA!fތa5E24L4]?]\w1\:@`O=vC(:u9?\ר奇߀~-LzrVV9 nmʿ Nͫ*Ugj!> F->#8HR`LoPZ~o2Bf\q4@u-W _U Jh{nI;qA6܊MބZm4wKqSB.sʳڋ5f5 -+㰟P-)`\\ QUoY Myy#geB j-w3l]1~0ح +`Ę6IE,"ByQϟ_bn ہN_5#ML{n&eK7|cM!JYhkVK4 i_gYZ7zXZִF!  ]ŗXiɟ1)*u%9?O6;D /a~Wh[cO%#[Kb"HHbkqAT86 DI͍6By[gYZ7zXZִF! m]ŗXi%HjfHLi@(O਻ xg]Gc2#0\IunHHq!*v(wNgS'̒ʕhQ>R͢8No*u+J}jaW2 )ƦJ@N`%@"Fr.ٯ pn6NEvE>ދZ=iZު%$B0T`[jym0e_=r֟EAKM:] ik'y!;;R3WbYItb~Y0 w6'JZ_JY^*}HaSlOeEnzڃ-z; ^4Vb])rHD Cӳ(+IhLgGt13Քԗ2aZi:EщDSq|_㞂x%"#5 H2A`21 %@ ,eӋy #}?K3~nTLo"I٬R $-}lk쵝3iNt~c7AB Oh eɖSk29tY-#۲>[|eٴAC1bV-9>㍉Ts__q|^ٻ|tyٯsZ7lb=eKҼ7@3@+%t~N%Nqo Vǎ*`*ۻ\IqR`dP0 /om^ߦݦ͈]o:ↁ͢`q3ԇ++]lȡ YSG)وo}t&饅qǾӟ@ 0*Œ%盈"Pڴkq橳[sKD%ȬcF1[L5ePz):-87ÂASM剶3EBG4Ee {& C0)2; 1[ ` zސI7H X"D  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 ʀ4⟅T[Q7DJfْ,/ZƏ΋x9|7ψd2`\rʆ#B뀹 *+u_UÃ)n9?-wj^yD1I׶P|% Bx2-׳X"cMdjXL [(>t #đ狑M'WGt<*3˼Ա ^?!cf5JAṪKnA$]HgfbQJA[&'hzn:+ny:2# }q +/96Dy%cE5*KGӆܡY״8 js[UBP@چײ"gfg2,V*g+ vG&BmZ;X%\հTG˜ ݭqrpl+e7 Q|cie +H8e:>{$7{ztj; :D݈nU;hx2ɮ ^=X}_iB|шxa599nvQ} "N\ }\6?]d[\? ~oVY[m"5`3{Q:xW.:w#曋+y9 wo^W7H b!y̬&C5'zH=FKz1T iub ,)Yvj7<]nr؉j+*jI-->]zU\8!(=Nf 0fF2(KIP9E$&F rge v6o"oi4^HIw87$ [={w%77fT6ʟ>$P|)"i$80AAȰu@yueQ; v}gzEkF`ȘwK4ׁTt L) x7\5.:@H_hԝc8i7$?(:3TӼ3]KЦ&Ba3J*MwʚϿ?t6@8]'252Qf&"> X&"߼饎,깾q'jd|az錫k dFHv”ŞᘹfaV_WB>b q8p\FxwdHaX>dkwq @SrNB`<Ջa ī]p9@ Ɓn~-򯆩2ezdK?Hً8UU] MHؔy[Se[C`<@p¶h;s''~L0xo#(酖j0EgȠO'A_KIbԵt,SDhcqc!+oqpR4#at?Pjk n!7~2ZG)NV9VM,e3}\\n5^*WuǠuS3[ҁ@^o4si!y C? =mpK\Dohn4P'l8n[bΊBVƒYudux=cg@y+]4 ˲DD֯ɢm<5M b1uHCms]q딗q@PBPެ!:MXnPIUFbQD0sS}/1}`3@Y B+W52V@y :\ҒO%yav.(>=}%=7="W SŵcSCE6l0T@Aq?x4_Gj;gRibe#.@iו=/{q 3&sRh\oVЖ`"8 .( 5𑓈+McF/n=mGYm b^ș|Y @_AA_n`3 ¯P}A"믚/=]aD*nrD-Vr>pHc$Ze|cH(P7U3=$}Q ^ zl0s2 ;1~,jA0-_8vR%W^6KES~gQ)(%r:jxl[6\Kps1=*d.ԇ$ʡ1ax$#ӝ$H''O3v'8w3W;>%s*IQ -:73E.oBJZQlX'k@=/ykB*3?ԍsw az¹bn n|CArjC"UB5b8)k Q޽!VD я)[U$ꩻ78֞].T"DPoPH,B*BwD4Z[ڙ$,bG@+LҜf]L%FKtք)k_=Q ~ʄ hT aЎp^R1BohGJnAf~yFf/ٷٷq dj8V?)l+y0?1?lOM)%ↄ/ev-?7\ڃͻU)Vb -UC7un`()ƺU~(Vˈ< m~ BA2Ee^U_ =ё ]kv y"s GDWk2~: N{iCskĖ:}h~mVγD P&"_mȘciB1UXwq!+؟&x\GLn촢Q#[@nu"Ey,&^5_p^+.Rڡmn# _'$B;]< ;,LG}}pBt#*_6n9 [fzbf|\ \~?m͟xO-% vC&ˍ*` buG~x$@qtjQq3n#h.(&L`|K,~WgjB_3+:j@;]bQJ$r 5Y-16FT@ӅȔwv=Wqى痿P2 (HzWXTwWwvs8I)t2C3=F)rT7:v[qP'c/+I͍  Đ2`lcT*B@|1u bKIZk;Pe=5bp\3x]BM"{%QWFί1*iKp_!U CjX\'c8Yn4L-#);D.>a+4/-]9(rX뵎[}܏t&ѡm h~Ci%^ʥ8ON8aveq/$f[KO>q WFܹSn"@L42IC -QA`fcڟmZﴹ/0xZ @+@/O2!&MC2Џ eiT71 E< ;e8[k[|l^I|Bș|侕 (0+hGƹ=\ws` ]Detwʁ%>jؘ @0YʐC (txk|#Ho n.{Y'D$= _P+ڈ͇VFӈ0"?{Gmn1Cw3]nNʟ<ӤF1֐PW3#^)]Gf(d/=e8Ӡy 8Fv/rLF sPqr7d4ǝw#~DɷDs JH2z*Cޖ_ѐ;).[%2AAnWNI33mp .K+wtr#c5?t} gx"~x[B]t=ۣ{n /!!UeIZr;*HLӅLb/ _$fDjL=S>栯 K7<)pqLle_gn}NY6S˜u ^t>]]Y,bШbc #Hg)W(~[g sY2w7P{ z`;̓kvTTqo 4-G M ,9"c(Q5f9XTe {fn=e}`72ֳ̟nKku3,7Nݴpr7: /Q1媫@~KUM9*d"\\kCo *+ x#s Qf m?Ô)WƓa߿k w \yy @E1 c^t!إF~^pzF|ȿ{zmj%'ɮct2GSӠ[QR Nݱ] z{?ce#>ZHoWyHAVan@ʹ"mvkG4L*hh=owx#jС"z0 Wo<*EA" ) gex?J$[z@'JKi.!Y13׶97)Qjpp =AE*Ʈo1ln_X9`[b'6'tu""I>vƻ];Qrt*GnʈrN"\b!ovMhw=9 术KNO|N."Q9myi!-bΆ7M`;ؤ5:ތ|oR؎Z0"CHG&ENbc2if6&Jqp[\|~A:=Y>b(NuQe B0)ZtWi$np֖u.~\qnv_}211iCֵC?wnT^h?ί=w+ ]e[{̢&UW.~oՖ1a V α{_ŧ.*10m9A%eB“,颍p,Q!MP#4}}&HMKMH*%پzⶾ큀AMt US4Dza> $D&٤p\7.Q{,JeaqPj_?}tG5ܫm^P.!E2j氕G&G> QN083@b^9ӾQoi|bDp.LP\ LOڼ(M߼d[9U1I! 2ς7Sl8eT5W䐡4پ?K _j7\Sk,٪#՗2)bY@TS̉YQL4400?@PNAk !?2HO=ۣ7=\3ߗKaaʼneOc>Gir(|"o,z_sN8tn+pw}́aEwnȳݺb xlg&v*/&ic\^7+U@/ $ uv+噙R =wl]MhZ4ӂ3 דDOw;* 'è!g6z0x!r)$ڝ2ՙtriY2x DXj:LV̝~_?cF[XQs3P 8ieΦ%}$KF)cw:[<MLzxӛMUiQ؁lP-:\,VlV\s&| PS&Jώy([HޕJnI C4JTLG е|:.zfK&u3ɤ< MAV)3䡡HKᴙkS,uafh,pޮ q `u?՚rHÅmb6L~NN+wexh")T xhp,P"#}ϫ/} 2_W޸ *JgJ~ҠDЦ{/:NRt0&$+;ӈY%Rߴ+sij*?D?6kz#N7cOIwV\z C1Yu0tH0u ɍVFbQ a#̌IC@T`HIJ&ι搦J=Oe*#'\͈o)4 TDrD[_fum9"ϩPl*WEv2/0WRt&!xǪqȇdc Q#\%8`3΍4Ouk-b~x;fm0׍SUJE/RpCy>bovOH;s4@e֥h$!;-r4|\gjjHn|<._$MXؐbU_RmiӬ}{1awOKY_W;z!5_LizRָEfchZ{i$i8hn?{lb%)/ȶ,;?l0)r.e.ƘAmwByl̿ ٭'{v'y(H\&"_kEUdEgNo8MKz}$Z [d& b%K țH^ *զ#/uYSx^m "ӵ/ڑa^|~n<2Iԓ scD{֕ܫLS}O̕PH#/|G@rkm)sjiUУDbr2C)i= IEL\,C - )}b74p\6|'̱mϪN>Bq_g̝fC; ܝHIx>\Ps|M|?yۼ: ʹp*FjzrC<{ה?s/pogVwŰ HD"A/7S@phosFéeXs L˜Fz ^VjpF"6K8,h!V<)Ϟ\5 ]؎2CKϢ4^ ""BK&?^apK@dCJ tPPK&B>7~єA}eHx sø^HļDćJH:+jH*x)6d_ض._r ̐q@]ࡾՊ×:U Ԧ-ȌwUwX<<ٯ2~4fz0UXwa Aޱ/C2 >WU/60O} k=F? lGhm$_s^]V ZTpDZf!MՔ[N םZVjbvѤ 7sIn*w'YeLy0fSk`N ɀrcWe߃oNDO[ "*)'D3EtV9Ǵ4CXeѽءebER1\1?C vׯqFѦT(X03#Ν.XecPb%0Pk  ha告}Z جZΓ).b2p/s +i/vM%J`Z.eյeAu059t*d9kU \oeSIrcw]\ Ηq􃎯K[.鬣ʏָ"XA0å{j(Ӊ8|OqTL>|ٞ ;SZliCQH 1MNK*t[=ۂ{Cu(V7Q H"Y@lfYY=tQDPE~g^}QϟRǰi!#coW?r0Ϥ0^{_h!wEJL@4YqF#)1^(q\ڠ6u4TkI89N1F+ڕ4ֆ_.;f#xfaڛ=hZ{t zEO@)ge*ObSMvEƿ_><5,=SMU`wHV[d$%8SݾwN; :̏J&$H9*^BdCd4pKʜ.*M"HoJ̴D̕|hE]iW[;v*1b$ʗ;7>nTx)\ *+-9HB7'֧~і-93glKCY]XI~-oH>"=LS=[WIC|Bz#wMЪzTU<6ٔh\b(tp7q$ \{#rav2qZW Thf7p㖡,0 䗰^ $tm[6uQRft3+4 ^t߀UWzŊܓ]D}]ŦgQooߚf @7"\8x$SF2^{w+Ac;Əs"<;Əxn]\\Gm#  O@H؃/'Q/Cn.wׄ:pa[T~]]#\L2؀0a)m2)ߞ ;S~Q,0M)̉b=zQfyꢵ|O\:NR}H (]F_"iF {X\ZEW%Y^܌~Hb X?OQ뗅GA*޶O'롻ls>ULˌ rΫLmT\i1s\C ~uWU8NIwE`z8~Ű$xo)>>9("%E)gG<9#}7/(Lbp,7{3 p7w@K;Ԓ&$2i]\:XZs`qNAyJJd6.<,c(F2mo7>}Yp߷$2d` Y=a?= oeҩ; QwTA|b7c#>I?j"+HJ `K W4NC 9vVVp8&;t4ܒȌX_/_A)D=fϺAj>OHld'~,\J,V`LT{ Z}ŘF9XwcXαɂJnO_Lr1,H>6;;L̰Av?- i􀎿hm~:ob-:Nv13!HU@;^B,/L!u<}8[Yɘ;;e& G!A*K(BhpZYCN]`q죟~ǷxFI|02E>;I52̥&.<6$J݊.TY-`q e V5 L kwZowO0|s<)CE*k0߈d |/Ņ,zL[mG7ʤmBRݯܨ)Wf֠M(h\X ׶}RYЋs˘e( sje'XzN ;srD$ F9Vci> Z v'aTMF)]@,gԲx(MiXyX[",Lz׉[Qu uxV[#9;4T5_qF=v`,1d~0E !LDZ µcࠞ?%×UG]$;e?ttm ߢ ʧwˀ~`y}JggHL*2}m^&#܋ p ?\;.tWV`lry潢`V>[-_e>3~?u=+Z<<‰a gIO6Z!ۘo糷-Nf6s1)kRzy @p_iѴPF\ـy~ΚG9RPZ Icb; Ǝވ"j[0*Tw/ Kdz]=Mm*Ĝ^XvHJWCM B(Loa:#m6Y~e&NgVV@&MqK=/#x2_^K X xӐa{P&2x4xe$!ҫYr,VX}t7}|>d_GK*VɇF&$G)C)]XY&lz0f-RW~{@1&$7s#u)dž8\O{3M֘TH~>F;`^y;9 RrFR~Ht@J宂k#:OCjDi sv0sbm ddQr_f& P"{1bW~+UN uvuljv[@ >%N̾ʃEVJ6Y}]_7e;24B}J;aqXD20)8(b$FigSzYᥴĴ+cDrTcjt>وIJWyʗNKlw=@#( .*EYiPO G #qcO &c\Ł ]S$"n`qj,{QlIl@K aG >be)]!qқ:F6,Avm9U><(Ϗ &ONa'.xfRYz>% PrF&RU; r3s{5;:h:h 0{s 7K `ȷ~0.ӽȧ\tބ,*09yT<&qc|)Rzٛm@/CNHpS3 WA&vp!ϘOܠ7v_@ߗm(MN` ΰM+dz|s)uj>ԍD*4~A= 7N.MdY"F)!qzL_?}3)F5}?tGj'%Z{gfri =c25kW:Cvb2ZoE&Y"6/7AU{\CW]9[]a U2@k A?֣"f*՞ ͺZeS]:Rf.Y~)dpA|Ta)7ٓ:}ӫuoLg2K`rgbqRGգ~YN#^=S̪B5ؘd _hVsE]ls LLZq$xk&l#\P(r` _%i)͗ЈuwB(@^[MQ;(SC, VEsG,Sr卟!۳Gt[Bu[w.,BƒI=/!m!(z'.ݧqF1do0g8͍ݤRAwnkzX˴JU;kM.M%+89.R QLJY'| U+xZ^eF((K^Ј)3]wxW_~|L==諧[&[mbJg |H|\M&*a7azO_w[ԗ\9( B^6az@jbMrϯ7gIC.P/A^B\&.6ILKIh'{Z_^F NTs-ڹ|7wq 6=z- |#QT{5=xaMAC%3;Y**||q_ ^aϔ]' ,#=u?PɌeԢa d~7& Wvx@#~Ư9ނe9ۈ\rQ(,&JYz Q@- G x< 'VUfӕY?$jzd;4tEl@ElT8䎾e)IdA]UQ $(HNh[GeePv:5ÑIW\/;Eɝbζ`U;2<1Dǔ_YѲ+@M5azDfoLnc~7E־86'O{NOFe\4<ػP6vѳ`L͑9b3HJSDOr0?Y/Ɩ5I`gi ٠ԀGjEXEqm M) (+kuLz{mY6?(_PA!{G-dw9TzGL8L,@uu13Ѵ} WN7K@0-%isd Ư f0qB\!QGuoFʔq/][`rqs(ń9>:fI=)kSm4fX0@(i2yvrs5=^>`u@ڄEk:ߔR-3@:.f<@Fm&!tכ-+7XiW&Zȴ:{sɮ 6BF䲕+BI[s=#%_]F/B>q~#8G%*"zqIV鱲R\M4}r?eTc:B6H_Gj..aGf./Eې쑟dC;x7"Y `17Á:`T "KQAgBٰdV!IW,`&H((=\vE<LAQRãQѹ!A]Jz : U=.A3rn={UxMt.! lh@-+hyaQdK*p!QQS) [-}T6/6O R4g6H Q Ћ?Ms) ]]]ڋH2y+;3xRSC ^:b C.$֘Q#j>NeN?wQ ﳒ"M> RPƘL4=CHOZC |3 aBHc0tWhoB~5у-<koV9ܝ?"܎ r=qRofK*nl306N׷ݯhDòLrAZ`}OFVX_0j`cc}vH6Pꮽѝ"Bb>[GFD͓,n)? x:`:UXX g@ljƔ& B~O_]5t!Ӄ~t<0]Hvʧ[^!V3lCO_*A9cLa 2NRй&%A_ U`C=м(FM |[;;hs4̕YAsi6jPqd)!R W5YB swua~vU2F3/?C$kej-Y8 @fa+lbķsņoZ;VW&> ~#ٚiqS~  ضTݙ( $\:/?-u1ǣzrxפ[;~͘YgaxU#lsq.}CVuqմ^\R >XH5&35M.T%+b 7LZ.|}-gngL0[#Z 2 ajDsn˪"gi1=S׭h`j¿BezK/X+u8"=#xb"[YAlaO2ɺr V6u2SYSJJ*aSٶ &d\D)`{62}?qq!*Th(`rR.S*p>ջoߪ(nGYRPz :.怱o ̅4tSSt, wF<ZQNn,4-_~H{v;%o\:h a}?4l(WOA=XB^G Ԏ@Ek"61afu0>$ܕr-9 15?RQ@ҙk c AڦdޛD}DRte `2 ٠ zVۯƬ{l^(Hէ3 :bSPL"^o@ԤONɞ3`Aڰ+JQ6QDWOM1d>2l ^Qc_xc0:wh@+w~: վJ==dX=CqN3c)T W<[  o#`[# -3~#D4ϿKu+Y:K4'fkCU+On;~e}2 y-=wxQeʑNzČg?l&8 Z-D^,=Ny%˒hE-Q1ma 7k`=TvZHy\! ; YSq.a$9 sf&|VhMȕ~ hJ:(EFNp9+Bz>$jV-T-Pȶ| ~S'"e3EP57h/3 3ح*yXJ1U-0t2'"uQ(eU{"|2odMv(CLJR1 " "bM!G< "i!?]gyY5r+c,l+?NӮp @_Kʑu(Hק9g~l8?yܞ~۴=ؒ r2eV-O59T&1zyM[Tյ]:w,ZeeJzJ rCԻ'=ePU*r.} +`d~CgD׳>!hUӻTB#YJS<Ɣd;ne@OHznmX:V$jQ?3Oi^!ĊlJ`=ށ`2i~$JH*72RPB3 @uܬ9ȣFڭ"R+4}U?TndzKuTVd[ӌg 1{FӬM-l?܃ccFNDxv'(%ߔp)dP\lPh}ڠbA5RJG:n< ܾ7u)if$+΃DAxQN$TWkhEUCkY' 큤*@1?*b~ `Zbl|ⱚFhm.Bt5_EaYJ7>E,NsbD&f9?72i@w铈L1̍;<|`݅rXưSK/^_є7eýW @GSJz[8LlU%ݠnp/anrl3y)҂,E>;qnSӆ)?o57;)C; TVHvX ZY. ypZJcC*b? >0L%ZTCDjBn~LJNè}/,D^о]ʜ=JYqv@ A,b**֔n=2AQ0b~H'Omkx$)&32hQ#}U=2(zt)aruଔ5ɫE*cYh&iRfXv MY/Z|WS[}5*qbZq*-곆N' f_1ٻ?D=1&1Tl<7 jAdsذuKA 14v! Y^8Pu66/SM=:a@'{EZe\xc$y+`rÉ`)7|d$?yUB妱^rR:<.fu6$M0Bt?pR}P"iNQvqY;Y"^2_e:hw_kk&,tQi[)v.lwtxU NJ5 ,B @<aQGQ=wkU$b0!*p޺$ϻ-gL­]>@{i i ]j9O*ݝL2o*xQ}rBOI5KZpLkº@Qէf0 u/^ujSɹkX"ett1lт3g5zγ6raILMXɃ=X!E3u8&@)qoP4#ݎAbX#O2ZxȒE %?$ă,JF#g Sӟ񤲥:0*tpTo 1;?L!~6,m# 6j$lVUBć^Lu)wJ \>SÏ}OMYA:e hͷ)ս`D܈QڡT }DYcMn*!'#\"Ђ1 )@aOp ¥s Y J.Aꚠ/ o9kɅH Ab:nH(? N=<שS+IC%I%TԱbPbb*D5Vq>2r-rXb `={B{ZDBŠ{LuN5~DQ1sg0gÏ( OMr1<L~Qt5cߠA͚9BfDzf4cm`9=Ѩ\`zs9D!!Ve)/tu :2b%: P *I}?ek?3Bّ,LDLfW D_l_IfF7={!_$vU1[Vk Iy}ͻllBMz)![Nk5SZ$1{mI:ɇcEh-:Pc@6t(1In=x&-/RT:n,y敒4~w{(w8%̐!vFWxW;S|jU( ,`,>>|` Wti7SfPڂ=TTNžQ6/wvagx\"1橔:f:~ӕ 9 `hz3w] 9TC)A5#BIfY\_= ?wI:SP/>-N|/Ynu͗ gEG{IzWD39 iŶYg!Iah^7rŤ',Abj0]nOBq&Q}bK̉"5S^y8o фCn."m,tk0>?5j.eaŁ3e BQõLq?zez~~cLC/]ʗ_+ϠBu;_kOTFl-(} GqR@!s6G :3`xk)Q>6VĞRKMivSraRzĭC a 5 lL>;>YZJфv탂1.n L%[DwۢKP}ZA j)]I3Κ,gYbOnn"Bv䢟7e2}BKCGQ|V*WYF xO32+/=ePŸ5iԃ jË,J/K#)A%y3 xR ^#*aΔ'U j9aVĺZ$|X#ha[;򬳴h0[vYK!OKI!yAk]C' H $ae=5\M).\w/ȄNEff{pS q/7},(2dsB sU?p;,WR)m4cfbӅP(.<6j2@HzW%Cd`//m]&i>plV>]:t 6[YIxѕ2)bM->,CͶe +blnBS0;=1%;ͫ b,m+ տ'xvaB\)uגSo$%9ܻR3?[ :&ٷfQHix{&0W&%H;fF3B0w-C1&Rf<k'n %/k NٯaUA .l^J{L,AǍs@yPy=\h6spr/y}VG̓4d&S{OgoaƟc;nQW}_rЉwt8:IwBAI;()u ~I҆ߗ>aHADc*m_AAEDxpg5[*< [y{yOW8"n9Ɉ0z2f˭b40Db˞=;#ꢫQ}dqLuWÊ 6K;Ihu>167TXʮI!ժ2ՅO<_X)^3! -E%۝Iӯhyv~c>M؊BOe\(|AX.=JW<ܢF e(څ"a 'o^P qEQie4:ep,2/OR󐠂zGŢ[{E%BEh< J*hKsU_ނ*zZ~OgW ɛ qJv7Tu,W%FI=qZ!ΟWGCaIK Pijǵs,i16_aMժ%u`1q;z\ [V0ډ%dg^b0,!$6[D٘ub?B gӾǖ1p{C%џF{}P̲l,7M_cvoenvy $$ԟET#$N?_ h+s Yఖi ̎0qыCYb`)L?Vt" ? 6|ZﭡAf(٥Of丄OWC! Jy\ sqaKԅ-TfNTzm!BIc1YDVg7LRwN%خy^]zz٣J FUL7uXoTAR@ErCkV@͐՛AYv(+ʼ$dwQOz8%7޸Wӄ_|e M[Oe[,.ۇOrıK"ң]|сVTi5v| =12/+ PԕY筷#8A_ז9йLf`D^qذj6 z@\6fd7hWS&քː̡=e#7Yo|\s>ZݞtSK;>l0³"\F H ]P= "pg9L=\sxrC:SV~D19%  Ȯ[+Qh!0ƃFA5aBw1m2ϪlFO(сNkegg62oE 0ݠʼ O9͐WAWÀ@'e/G'f5Tq&<dW55hM:44J3:Fbpű] */u!#-y qL$?%|<짌viގɬ2F0jzY.peXF>(.eǶ=)j`#'78PzR|>vUoOycj,k PjaϚcZYP;X %pC-dc-^C}YD$rSb:\FϮX?DxM#IN'r MhЂ󻀓 N>WJ`,ɝ 1 ],֔ v= 7b-2v+?g@kҌRs~Cl>XNzT/Frm@i9&8DbJjڵƺ"qOYv@OzC|Ե͞fQǮbl # U 6u~M5EF׌B^t9PʴB'SN=tb_s7Cb ^^m%w{~j)ԍŀ9C4)UKEvnܭ rGTDE1%MV1QxCe:.૕q@,E9 XY)27XgŧAi Zۇx  P4*WPVu{!几f%;k`kv!ٛ?8TOSJ=ZcApr4yѾ jT `OeL b  咣F{2W~ 5zOrW)6*zɦpQ~F]*G*gf]MedlM6!?[\" P=*`8wVII^*'Cs6=R" OǻVJ‹oַcOS'Ɂ(B, ܓikӉ3V[yFSDs/dX%uL~LKʺbg\Y?yL2~=au2Μ>2)մ#U8U*Lr<]΄%y5ωaMTch>$uGaP@hC,f\\Ta19j\0>6k;dl}#yؗ](gA/lE9#O E}+ۨ>Phkk1ZVVySZ%B y!17ux(wSUi co_1΂;*kƴB&wcj|upemWH*f\VR=ئ/y^vOr]iWLytFBzY@t^H]Gmy Yt{/78r%wAҪVH; xJ^lm:٦G)~tpyV<"Mqo![+3H3!*5{f 柦gkVcMiΰ$cbK~ Zۘg ם ݢ|-?{d~|xYIVD ;@ABQ;o[9HV%|ؕW_u#t&i}C|?Ϲ wwoKVpRhj 6Ɵ0; QWeCיT6'Һetz]$-c{閛Grn*/rd~Q gw/ $I!NG:Qɋ_ YQDbv7Zgy25~|k? AHYY۩*q *b9jWB;S ⅃C hTuB4[z`<uiJQ8;Tʌm޷V!4LMF#,ߗ><|+[P BFol`|wt4fM?"J5@9"rrRqN|E:#-@ I]3dml; }}+A-ɤd ]MI:YCo, PWp ?k6IQZNWT֯%:?q&ظDvsaN7?]Rm_opAh`LhBLeݥ7 &ΘWi t4E*Hz)p-<3F QVaN(HNz! sZώ$d sgIxqAeHh! q^2eZ l%F#+ic N3,߂ 3-US- 5V,}q>2 q?e˒CnO)$*y7 ԅ Jh'qgBBskXxYR$萅ep.vтqw8mȌ"QZqN`^~^ YH_ϼIɀ6*x*E;F]$L|<_o\c5V?ڭM5BwHټ({.9CYeJ@Sl=X}7SY"-gPıJtE`j|ƴzH̉;?K#=s͕**|k &g*j[.Ɖt]vIG`چQn34e`΅=%CLՉ"V֧<@1ܟ=~ l$>TǢV7(s5 vY)ld" rLVɖAd79_OU"Ink9V#ӔyvQjDV(99{kF@w -IV^}lnt_+Ϋbuveq`{y-Sb((+W2O5XI2`6QvN6֬ʔ :ϱ=\R!1zcO quVײ鴝s.ugYZc8fa59cd25c8f212c9fca8945c8d28d91a0249ccfccc52e90296d6bc1955ae993c338f1f3bed89b4 4c8bcaaf64a69424fe927deafa2ed2aa9a0162f8 ed16e33af6c6a4a16c1e8f2a3ccdd43a7fe85c44