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 >>9~tD ] HOL-Datatype_Benchmark:threads=6elapsed=535.807cpu=2000.760gc=757.3727zXZִF! 4t]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;VlF_mE 0LjݟB\{nWQ~ֈ_vz`kiTwEv_-0aWؖ%! D)~:> 2$&'4'ܱJ,(=|o>jGĂ`b@ 9ҫl VdO NiF`Hh.LcShD6- 1M2AG`ϣ_0. ~!Y[U;nQ)x LௐoQ^lRkzA;43֕4V _8Iۧ K|tjG?UϠ~KL29HGv ydVKSwLCU5 kxIY|%aE\;r,s=AdgZP& ׂQủEOA܉2))w# )XXї~LLp+[I.ʺnFΆJN>ЄӱB/bfU0]U[:/=hMy.l`'-OlȜOA1ٙ<]na4ۣw aɞrs˥Xc ]:& 8 ߖoYWY\W.M?|++vq}KP]KZ WE&T&GuOdlX$7>`eҾU%wTiV{Q itgYZ7zXZִF!  ]ŗXiɟ1)*u%9pW@`;Cnrϧuzu;/Φ?TU-ޓX2ΝVë]޺xgYO>gR]2ԽVcR j}K)z[ѓuwwº̍FLU &rNDx> ! 0t2L`ơ_} nZ9.Ibfe&fx&32*1Bu'>9EP#;-8$5VN!S^+wG%R٪ c+6 CH:pPͷSIU9 9 HOL-Datatype_Benchmark5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id522N9G3 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 /գKabWx#&vP]7qzE3_=/l&n v+ݲeD[%̟/Y4vнDi(W~~otvSI7qӅ^?^[lqFrCW .M#_kG'N9mXĚo fzNZ;*T3!j O=֝>c>b?yxZ6Z22͉"@z㖯Y(< ,NR߀4tcTs͹8#Fp#O%A:*RCQ>\d2cº"qOUG+^Ѻ BfD7P}-p1;8Bbׅوl ׂmՈYDVC r}< z6 s,NΌب)2 r]^Aا-1JLH}6ib30Xɾv/,$!&׽7ޡs5>XBy b鬚~ՉO1L?AzI )k`xS!$lc UWT"&^ZtPD {o\dݣl?g=nzG(7mG7W{ý-y,9J=Xg}"1g (9E4Bc~`RYx0`hqr|-  '2]h|ۺ;,:4auAʟ',[3g\ɘ4v1:yz=ˮ.m1)u6[ )b$ŋ/A'oEɰ8P_77ɾg K)魔>;QaY(yz̸VA* c VLQڒh;&0^0 @Ҭ/?l9\oS7^ 1*\|vxǨ7 lķټL~<$p=G#gR?|M*~8CRzn̓S+as:}V Q%?t3sZs8> d[ G2TK]w]WG /g:rLL$}1`)yى]XnĔ Lf]T i†p~ Gc7"V@Z+P@a_#oy$LjōԒsB8G{gWuC ]'Ǝ:M&ɇFfc%]y`4ߥ9R#h;\w-;b~p_|\bw}4M ,P2c4]o}9XcVGjTGyPi#6喭?=K8j&OjaZs sz}ÚPlhU),bD4j.{ \΂#sJYhO--iѫ-CVw` #T˼|S5ظlVZei^1 EF֨xdNBBWCFЀ=1;`J_i3!ߍ/| X^J2 moBΑ+?LڈH[' 8h݂|'N&W_]hi=2- D#ld)G3/,> +, %Pﮌ @/I6KE0Su5dd'Gly{~1Ge xS`̪?eVe˯feГu=wNIRGKy@FCdΗ׷3@ןamˁ|: t)BB}cڌ?IK4٤9bf0>((9Ss_.$D= %n]e(Qf/Df髺Q /o &qqKp)YL!S\,ɀ0XdζJ[B̶gS#m"CV$5X Y {1QrQ%qlHJDG*'h.o(0JY* w$W sbTzeQɲRkFj0Usrq$ UxTiEꄵ0 x /O]ȣnlko7*7%) --'<]|X"{}1(za*>@p >n\DKPiʖZ1{J82gfs;F\}5H/!t_;slwDQ "nw0VQEϩhfsB Q'yؖܙ#uRd:̄*qGWp(S,Vޕ8mB  zs@x|H. ~ҋrv&iyZ,vN9pҚ6 y^cn\CuxE*}N xQ.F/Ω?Ξ= bA l$bQe1'[M xFG8 Fۉ0Oclrgy{ƌ- йqu)4yyf_*yA*G"U{G &Hv،~mRɌkĖ`(PeH\M%˜nXM$rX$Nx\c 0D8e3YQUN)xc,+K ̻.Hr,4[Fy4-q Nzr} AE-:jp^lK&v}L ؤ]2e~^TU֮%4%gyVDaG+-x]c&yJh:|Rc{/,u5%WgձW$n$(ܾ9=,\Mk҉>&Q>[9i6@J1.3fsZu. 8y>Px4} O=oI‡k@*Y لGU-S%hKI(`Eڣ2*yIcJAhT^H.)IΞSS)ɧ~1 _0pNwrn,-#to5bs3W0&^ر䲃{š~59M޶.!:v44ۼ4HI"\@ ~p2oBƄJJ)3*5T,^:B2QYJdӇ kEIKp,=̆wo;İOnUAesb_U֔qjвMg)*!E6AK󜏘'Qzqu݉ >S^,Pf+zH쩐܃9In7_ Hu &X,9ՠTζ#}Y9p_N"oh}#߾设xo4n81 ֽW"ƯsEE}0"']"tyo_SX|*Ss(6;|,PG aZYlZ%s1`;G' i_7sI֜ K x'k>pOsNZtƅO {b8[o⺰`sQdg1loS-»u /:Zw z XagN @SKlu@)o7{X/Z1mἣ;!9 ,9fi_Wv֋a՚5;Q7p]eT\&fr0Rd=p3R"wD^|ƻo`ʓ4O{?Mn!.%bboیǓ=bKh |0} 91аp혽<B"WwBch{XYS_$W*:dlE~ hjm`W93"+tNH‘ W6T}ɑ(RzZ$$uKr-TQQj>J^Rn7.Sk&aDpj` Hò?`tsUf }f >{[pJH!Ñ;nwi.(uYW @/];[Sϗ\Gމ䩷 bnީn] .PDwՈO d{ +ݞG @3[ 3Kh=}Q8|61;M c# }eɎaL1l888/ I\Ic74b}ɑ\ {0ЇjAi0( v#5anpJ/ݨ5L7$q g~5;5Lka! '}&;T1J>RWݔ+nb}:U"X8LV&~mJuЂg뫝\r}y/.,Or̼/}Gp Յ?3,'Zv_C͐B©l64la|d!t 땆mad^)CGEr}Ctk8Ղw\~Q7L^Qǐ{,oIbC2Jjɡ)`$-yu/SI*WҤ,1ZXQy{0>} $'p #n yN?cSFOEĝX^CG-"xZݞYھy5fxUݡzRM*Tpk nW]=70U S'^˨t6֨BA~:[`hϙ6ؗ 8Q O*_No&OmXe[]XӠxሔχP 1CrZեH˫AB^ؽgӘ9 t_Ya i_kQό<ӽn[#ڢ. C-@ gF0E,Lhԏ2G3#OGB"YCS7ZYI׏.$A'5NJ"ƌA[y=,n19t䷣DJPFce!;Qp1=ni8>ܷKcQܟ>h\v=LyFNR}0wOYʎ*1΂UJ`2[d-HmX:'pՙa[%shP"~g{bи_K$a-{ƒ=}_60-E.l$+-7[7s=կgs)IbR"q}y@q[ $ Eg?-q@txfCLc8$j!.W@^νuj{55V}݉7[00'_eЙ8 O?k.xA}yҡ@(CȾ*KnmINyj {cX͜U45S &|iXce_gw/HڊP:셲(!yJcΆ G]&B>9rSh[fS!k)c63]Nxw^(wTRtx_M Ą4ačA4n pNV*.҃ɞv*ɱc!_&W:ϢEM2Fvթ4F IGzBjT/ϣJE}[*rm~h&U> C'tL;4~6uĺB[M< @0AO_zb=[Ls{b0BO:4d~޹-j?:6MzPz8X'}П(&unjJ{΢.8jj$3ʢa%eEN3a(oN+@*1By;B`'%)e8vW ۋQi>W҉,7 X]:&Fp_hx+-om2SUDb x?':}͋wP'8r?jM(5u'2"2Js`=Zbx}Dy<34rՓJtbiU*G3[/g&vҺX*T1bdrd'`Xyd4DMNzRnUao!.Tv"ޣyIz3_lNF, 196 d % fݍ _ȕfT-+s)ZBf5봅Kiտ#=a`S-PVBgZEnDE]~] YIFZ(w\dOF-y{0JUC+7 v|{lyzsX ]l<Pwq=]SAסqMvL6{."nG`q@_n 7aCR?E|oF0qCY* @y> ^ 0m?[mťV @`_s%MЅ?_tWfP'UTTkUT6cŨФI'4@c>L"rΫ:"aD!L%k̡a,tWKSAŬ~3!=QAln䨠stY7*cn/tjHF8)=35` Oz~ܫ;Qe4zٚ5Ox9` S>#F$Uc,@GٿeͶD@ې-MSIYtM ,LpyVlQ?)ɩ}N : b$ukwLSJ$\kQB}q^]Sϗܒl'C,Z*}k*hXgz/!qooVѪᡕA s].NlAVXPx{sgHZrc&o]nSX֚_-b#.N1cs]mv >fhc-[}n:p?S!;E;#zZkbnUu4Ӽ7:Flz.d< qupuq+{\T۠fM|/H5+5UꆶͭyzXmכ_ʭs5#Y>ul9񼐡Cv1NaeӢbz"l.@ltKCW#!O$Z5!'M4t ET55PI<˓]1ZC"uzjM1<{]W[Ap ʇϜVQ%}m6ĎȧE!5͂oMɈOі//@o}Qcx \9Lfkqw_l/A^ *q]y|pnXZ+!kY9Zܫ']V^hn8S$3B4mz@#:b1/wM8 "1PQ{X]N @x&=č&DW .S^INS09T[BӼCq!6J]S&-y-Ժ=Dh˿n1hQ}JitZ0C7nML.K-Ei Y ٗ- _dw Hf5ï˵Pi{|k3pO:yh++N|VYi5XZ[h拹k~ bUsAbtj:(t"M<^XxCߥC `j9(*pn>UyBPlUbq>t?O.B?V̘v4T 4-yW0!W~X65CB^\$x/&qyT-qѥ_mE>֚#NhYAd8i in}|5ћO rU]`ygAV!QW#*ȋ 3.u~5: ۑ;%Z%n4[9~ n#z×*#VL l{s8[KvL p:2geggVraվh|t5 W T,qfWiNA`r<42:r3HI|Sm{ & %b|C1mxj7r~͙!eϥZ.T>Jx|%Y0~5Dɍmu_0( zW1Ȇ?LaN!|7>hUv/u)=~PBDT54[)2 K觢AR*aFwQT?6}47t?$E*G XPRãJqNY7.F.`$l#w¯.a)s3r6*s58 w bx=AƊ{C@:e<| `ՋZ[xsFtЅ`/-v?I0K$CPPA ӵ}o5w5:ɼ`T >ux vΝR%J?HWm 3OoС, aR40c,,%i-Nk <*PlwXhwN\V֢v/2`ݚh%`]D$30pgDĉ>וS|m!kXV'G@ȂJ:MJcNN6Cē@,/8Q[2tsG?'\sAj5hBD=oVQ֎;o^SNZ "9OV¢!I+ƸIOmqf^s8pBbYܩf$NNc{O7b:BGBӫ4T \J_A{Xr@W+B{>3%\cXFeÅl4,6ǙO.cdj;?~vNeD^S0^w cvD8Tѭ5y :{K'HM8'8"_ttKB.M6@+,$BNM^?h"82Ĩ=>FܿSF\2cV-BG˚CVys1P]GOd`\ưG4UK?c (cΜ_ϗ xFj 6c4=znկXrAuC M":/~Lv)g]8# 7Ř! p$ee33#E@Pg-cnF'DNxR[ &krPiD.V[7Aif񒮭0Z<2g ۾۔u.NIG$yRY1yd6:,!8pYS1xm 4[ss2q~$L}W. 7&J:WIRʏ).'ǀv<OO]*w i#YB[ }i@9 Q96PK,0&'P''9AEo3rFߚfی7 L\/־ƲYW}LP8\|*)Ý> T 8Ll0V~v]|;kT\A~ԟP|H] Zt#s^XT30gM va;6q7?ZD*1H%]^|^U9V+T_;=yY&TJBz/Oք}X\8G7;k k/3yX>Ԭ}8GТ ^[n)]fbTjweh'3uIm,9ߎP,yNIՇ? {"*X&\3_/&o+-!n1u "*wBv\׼^"\Zxۻ[u+EV5*%2CHfXG5e+Csqj,0`7!cVxXV_y\ksw:u=bjQz׭ 9M`+d"5VSm~64ԉԣm.;+ީ;#&<ж^b689ږkn D:X+糡\3t%c헆ɋpJB9`AST&9$NFݍn=\L/et69*1E%uRG7ghIh^^/XNg;xᎨ|eV&QX] Ⱥ@p6 LetjXpk l[U︮-H̍NkeK{"oȍMF7XI㯊j;*2ݙu)866C4 P TBv=W@dnE&As~ 9"1+@];j'U)aMiuy"iHi+w Q,DHIygM\ZÕ<~RSivw^Ɣc;ucmJ NdE.1S ޹m7@`¹5T e< 5D fυE3 .)7 2H6 dEK0[ b+)}D {_ewnB e#*x+XUVξPd 7 sʨ0)PBNnH 4 <.Q&OSCRޭgo?+f}KC_ J KbvNٿHy~i67Ы }L]W3L|S"J4Чokl4uek)!QW,2&;s ?#zAF5yg8鳑8|n?F<6*nE#!Epb3:h9?hɾ_I2з}5T6Y` 9q*\K|ɂ}b(|ӴhxrUkAO. U6~vhVuoF uO I7cѤz&<۔ ɪ@+b;Ooډק0wZlE|AYXF=ժb5lkZ")s)EQ"%`rc8/X ln%'d4J_1qea JP`MmrÌ1LY!9N¢"AYݺg lF)cWPsC/SO܎LI$+ļb,t]4Cn@^LϞh-7OzP\ԧ+Wm aԃW{’L:m-뢂jNbswؓuF{hHXy}Dĩ%<_<`@cj̉+gΓԡۛ b݇B߃}4?z3fvD'OG1ž^Ghh=yiI:!$ ]K :{]X* htuO`Fb](C\,%Y"Fsj"'%H@ݎ F~a}be"k@1]祃 F4%7xI b~jNLbx)-ӹ]b];= p̃;{P?L}]."%;\[_WY{|"s ^|6Mt*B/ԙrb?[][teXSU7w̬26yrݟHW@nQ#DU*2bT<:&b{V1,*LܳDz΁iGغݹC׮Bw} m?p+AV!􆊟gXN1>5+«mY] ƖSnH*݇e@K3kŨg..5D7,T+cAIr)#ȟ<"Z Ⱦ6$~r.Q s!?a9 }u N;p̍FTf&Z$]s{DɀHxOUڜRjYGlʧʝM(-S3ګ^z {3+[H/8Km*v~&Ǐ*Of -Yc@:AA3_F'+*RE(nlę!ńnqHtC9TƵvRmr }kAZ* SQthH bATT<{OO/H69($Z3V072x~W`E %h/!; D;'u =zm9Wْ$ !`"Tzq_}Z#ec Q=#μFme3d'z/?xۄ*`\$R"S (( ~9tSp|vQ鬃vG2IT +x49l;)z=դ>ymc{3+춬%G4K|SG".jYPRg[>bIPæ+q"$vÌpzy{`)Fe./H%%`?}5FmāL234fhM]M8wˇua$fduL,B6f=)Љ_$tKh"O~|]Idl}d[\gLu$Q$eRܗE2+XT')!F>=Ra 0.36Bm%UɚMX^;Uˊ NIA샾V.q'%OiFO[Q ^3e^q\%^er@jjρƤ|!@spJ^/\x99ÇU`}3<2\Uoj$c =dm9>ΐyk4m6siJ h]]w_993l6Ш2 3_'Dln#4nWCR"%!ʌc5yd`}{3?.^'F}41P1aFǝ{7>j >. ,D{ĕdYZX K@51W0CZR`O3 }ph̞&:.C7[#ƌܒx`ވϧk ʄ`OVPvaLWsȮ̤Ub& @F*.m=-Szb5A!Pc}Pe߭4)'&7W2DO& S_DLpѠjUߙqy*/Q VR!S68' tХw5pPil 14]QUaѼ??dz+-Z.F/H,5{E؅rFߙO(~$`RmZ𶉫pZ X ܗPT!Kgh~ƜU;=[@zڱϔ]k1;8H8UTM1T'j|Uo']9` $N9an qK WzTxGCKLyPg; -3 e#7вU'L)?[7&-ZlC*(Ҵ Fg cRŕjqkke6pE9=O:ֹg"&MY^xƔԝ>E֙nopΒƠmOuJgkFBu_HY4t֡ys= Dȍsت64Ӕ.4txy<|ߡХ %LK-ǒB.R!glMK` gԧ-j4 .g >Jt  Xs@3W^:Z1z˚SҗjO4D z$&f/g)L Vdm$"2g Do5  _덊*,y^t63&;{1~a<Հ*Lbn 4127ܩdxhip8V>5ă/ɂ<©O作Ccp.ա=M9)o`_t"6^ Bb݊|YnE-g!v`c6wrê/jHn K:/haȺ`ß%00L/!az~F;/+ۮ@՝EHY*gZ,xU&!r`M2 ;5_"*n!tr%]zv\xFT)pXQ=Bq}ޟP*),zR#M=&Lh{9Xڤbq PxT1&8$ĂTcG b7ym:yDayQ* "(khʖR5"PAzPn&}|%ϊ)/)ۧ[ea*-LX/ ;+OI'6 Ƕ"ńolMVIpó]$  }9Ugbmoװrn$CMÒ2zCF,פI?@2ߌy1L֞*lKo7eYAyZhdE)*Ν`$Is%Dg< pc[~"0^z=>"o}q׋$GRVܶOqsuѾ>w;[#tPmi@sF ߝ˔Wp\zwDTs8/+|'ՖQ Zg| aZxno 1WVgd7VPi3D5O‰J+e1ϧBD05&N^ ܾhFht.{|Z|1_GĪ^*?AVsӑFUKd:z? Ř;NON8; &?/TnE+vGHT7#{طPA)~ uLH%çDQuhQKPC:,E)?)\\v)*U˸cQЮ0?j\50FyP8o]f=` TYH<b%J ۯ^aig+ c)"0Wۨٹ}ʕrqVd5vHN.LZۻ\&$oB?gÿmtk`Yjc8_v>lgƺ3e_7GYKk!}*17#aҴ)m>% =7qQCE8#Jj! $g˷)0kN7\1F> v:U|w z |^aOd nMZ<Қc^Z԰rL&_mk H n7}yGN"_R^>^ M;Z%|ER@ǝ F\«S"~`XՔ%.i6Yni*yͽ!)cy?`UW=MY ])r6%͖t7SG<`K~Zz*E#7C0޲Du=? ū) fLa;N;fJYF j%5|yH |=W`hȈVi]iطkSudn+ҽ3dYL_}e2'GP(]4ubFJZkov1T~`E,m] y'y{zڷibL]Tř 6*>$~\W:HbaSTU4*QtbfbA \D)^{W7p"^f4e{mH,- N~{ 寡V fb:?o'£fYZdWվA~! Sm/6G81[j5,q$O|+Hs?,o 3t2M+i/>vXkXTgbϼ/ªK 'sVD 2~@L?T: k_rBnZܣaI)9QsɒgNL;2*`⽊ UUw9ſƲ:t鴊fXc;'V$eZXRƳ%r| XjdL$b`VJ*izrn•h3_ n5^frx<]uj>FVHQK&cY<#ѿSkJ[OMXm@Am1Ơ橖Wqj)AvȷͶ=L7?B_u$TVTDSw>S7U  ~MA75z I`KKJPzY$];bZ>n(>@o^wAsƲ+SreXb;Wס9.G7uqCT BE1tE䵀?s(?!2-Im- )ԔKw~r=0Ϥ^\N%㶶 e믿FUx>jh^j81iSjdQrp},|D3vꌧK4 w֯1xyOeOϢ;)M2'Ae}ՍO8HJ~QKti[a QLlsiNyyz%?S}°}7~qT ډfA&yWМNxôPl@Z!1M"h2cvd\SbK3MBT?FpEkI;kV_gАa 0yjZ.45vqꬌ[,/~>// x6D{/![33i[b{IuX{΃a ӧ?'M5#?Sw ^1b]8<-PCᶏ;RPvks.䔌屧iV>p?Dꘆ'*qQVU)H\¡hyIT\]wԇi,OǏ piZ׾t>[pW]ۮjc.t*y6%( Zxó=+aT<QuIrH ?_u̪逪  pܺ9QG坦}\ Y)Z}o+i+MDL"Zl6_Y(# ᭂJ["b X&tKg(y(Jo0m};7%˺RϦ.fye2WGI@3E(_[BAV~TNMG+0jg؏<bѨ98fksNq ;|>.Diy2:V+vaj)ZV:,mgZz0dxwjnʺY ~1^%WX P0'Fr/n{)ˍ3yP 5P){h]U#ʜvrUiw+@ޕS_E\Y2\eQ^Hpduc4EhvYbXdk1;Ŧ:*A7(fnO@Shiޣtך|'\^?l̄XAbZdf; ÎQĦu+ѤNB|PP w-Y9ާŝV/]xe(ËS2X8m~a\&=8]3OA35@{ Ո8m'nf{a Ɉ1+&A__ggq[?!Yk Mj w٨AϒQE؉Bwd&ks =R!3WB tJQ,8DmRpWMΠOۜ<"(;;Gp%+@-"|>2NM(+"V+hܨ\ yq*Co0z"mc}$jKD 16!;j.TPg@U'yE:Wo|*1慸h}H_pѷu/,hRaߥ{\McFhX ^vKlv=V(&9,N'uC /@o_Wߎj`΄md?Cڔ0 >w[NEf2?9J$+W>9;R;F,ތ3P]_;:;:-FҌF8i[+@ LD1Qq4 3)lVŘk]ž$'>T֏:c1U>+ZP~!pT`!DQK An?۩CC3 NPށWb2 Vu<0BNI>Ң&"SMN /+jYҁbp3$̓Z>hPjǓ1=^/Ѕl߅CNsL SRf'Aѽ2фg δ&h>[y~'*ue/퍡@*)yatV@ yT+: (O}Vae T+_5q\•Mj5T"z;ԶӤ_gxlEd!誐g {t&e:ܜ{J+"ǞyˠۻLxE<ɼQ;REv w>DzKqʊXI9{_QHqS8` sT`MǮ0I崧϶T]=xKf\XILkcKpSgYZ 5 -5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id522N9G3 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;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2db˷ƗU AݳpUNc( #Hy;ɾt%`OmK8"?9|4& r2 U).2+1ⳄT:B'1oKⰴ6'x0"%IBuw?ep @`0+Qui]:ӈg)`2AKG%CUMziy(1a@אPe#k7<@)4w$KL4fдc[عz̾WXq?cG~ep47- |ۗ"=>W7)ºCŸ93Zذ%JŻyUW=BAMvjg)xSj`ܳ[N>:5yi8^EBhSDQ3n4CXGz_]`IUh[.K:n7m8;ɛv{i|VEjsRj#>t\T %i+kE8gZp޸h,B2Ye)(nPn\vO:(1YaVsb$7hӷțO~>,5.YԆkD68+siq ƴK. v() [.R)^]3'@N`=!9Ʉ(,Vl\Vcpy^OvRxW.Q ȨXTY5Q C/zd1ʼ#=`*ܬTz\^;"8CM{3[ (CU"]dW;e^G9z2 -M%s1Y-T"RW_f(EҒxUVLP= Ek ,N x@O^ƇѲ&_s鬮pu}6$jLHjN|eC{ppӎv/g\f3 +0$4ԨOe )I3OE3)x hf";/#%1Ht訋+!%w,<ˁRm2}J?K5v(v2>iFGL&k㐇!`--im_Lb}e\&rD=ReW-M':WMƳÀHz}Vb<ְ $yU FtǕQ 2[?wp=l2۳]/擄]5|_+_g{5z'_<|雀Uo{,w|)lE},wjCk]>ݞn5e0Ǽ;8f1 9K# \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! p]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~E-mѤX{MP%_!JHdy5֎&{ c(]-YjN(L[v:tJ0ZЀ Oqs%-j7(:ZhI'MD2]ZڅP%i kWk b'5/\G "Ydn'?!ft*i!0Qq׎RMAWr'#qCA>]s,P g|('XyF \E៘F7w{*etwJ#{ Ƴnvnb4m{|r!ݮia%k ޢI֪As4ibAq<k#'*.L*qC ۃ(/N<ND$*2K,\+, µƥQpE$$#oW_=B(ϸO^E'ܚu;z9VFŇ9 ۢenD+0n%h/h}f ,pJ`hJe  ,|3+9'q>`̓lQp |Y65eƛ5>wQ.5Zp^ 9*yTi{ocTS*m |TFC}bZ)]0J4HWEI\e}jY2 4پgax7;zՋ|d_UgOڃrB61Sم%i] ox`óuh@`x83#$ս6q*,F%[5C9K` h ݈Ї6tAaE =1$LiBỨAkv CzsOpZ 혯^NZL'Z<&jWĴ2p').ƀrDĺSAd9IQL‡U+O.:@0CKsTV*I{e!w:KKiNudOo8 GsXitK<"h6ao$XXt6c 8ohWE?lv@'{5i~;>%m,NDhrVi>i vk%\QάQQ*]Dj{g矻e?m瀆8jQx&:КF{w |g~=S y)Ġnn C-ن1߽J8WtZPL @%n6G:FŒ"ӃW֩es2 \%;0݌ i[bDnXkwfHٷi+Ъ IҌ> B8er1 pGet6d%W'Tkl?{.dr#;;GVjzBm?X baN49!c衑WVȿ>nVwa;b s &k֎D踄jOU2@ 9e:yc5e#N # wY8B0a.bV9:ܨHwk`DAKqM)%˜\DwE|Qؤўi*T\BWOm:NjLUX(']:\nKxƅ;XB[l|?H"[.S'D$Z~0w$2й1$=wM@k` g&hzUqxYzsE~*l4T}yFpziK3T$!*| 43- yt{ D;0N_aŒa~uDv+Ϩ5xI $)6ebRcЏFq&՗ߒ*2s֣k%oEV6@gYfE6롕1|l#aT-x4r^jC ×&y||QFs=@"ƻT݇D8Kp^ާ}dՍu.첤e]U_)`O4Zx {U~Ż,O(|z\ɓD)=@M(ɓ$Evˈߣ)NN*כR!,ߩd*^hGSG˲3 {ÆNvEmvC恻'ý)& !o VqTk3L[o/0YI5 _؄v)K&i[a]0Ӓ=GSdoqA  HMVEd@)A!FGQA,B/ZD Ya5&ځ^.y\^Su9/֣Կ y'/.Nd=f'񶲍]VU*!:$~nD$SqV0 B$_vkJ иgѓӔ(NՙwЯ}h3I&*3~U&" Q1DfNO\.(係ygqP+;`է5tP/cl ,61<, 5gtަ'|ڇ(0k8VT5Q`E6-]N.dS!b~t*^a@1xRh0GȜX<*6{rZ+$ˍ:r+r`)^Zp- MW_;D0#_ h_np /(9#,͟)T )YRM5sܔ98Ulv٩X@kؘGOP$FZYI~>ƇTXM`M3'j܄BXdoTnX}*&.ݬS2)Fe¦hwjG&r8O \|ڙew)kF^kaS~6#w1%]P#Qa:H,.Hǣ GL\\:=(* y*e_ X="ӿzkve2?sWo%?ٙmFvL6rj:`Jﮢ'S\SL3|^w J5?d#mIrW¾B?L[!4 TtD WDXhGY%ey Ix2"v0H yS )b^i)iuhTDx DIqQ y+6 Q*C+Si 90Y#Zp;=֡?w.JGtȦ -NQypAGK٢dƗGOJ,pfaQ<#qYxYqdNF!rMTar.me0/r GC,״"ئQ#&IeWI[(CϺ0tA#Mtm ō.i-.w:tCmcXBJm U?hQ2|L!9#M53 ^I)1,њFzK D0-F1D$e .dn<T.oNjG.iFP19"5:ܗ~YTB$?ܦÄ 5Uv>1C*HBqw'.Pq_}ut:pvU7z{{hP6oc2Ko`1r_bV';Al5s#B)ιi3rX9/Ct$_Wь=~(\{ 7 K{7T㽑8]A9׮хZ!߃] ;Oy2>wBBIW=#Xh2y^ra7r9(K&(qa?,Z(.TR)a+1lQ  %2nq_]N_)昽gٖN^gOe@26Gq^W;XrY"NsC[BmR*+fYȪUᘱ ʋ;Z.$B-|/s#wy+O5Š1N~*~&}UI+s tcm ia'%~c1Ġ,wfF8c\NsL(fZՈ{*>@d6*P-ga,Tl4szuvbI#k%cGÿ]Z9I2%#w>baG6g ҳ'N{j沛C݅Cf2,%G~Ql̥hKΟ4Ϸ#&̀-6Ϲ;'yyTt#xMC ILd pj<"FdNCG#TL\tq&@FiwgE\cq+3sc_K-ԳbH"DAhmŋ)Dž3o:FӵQlCNeuta`7eyNG6&!8Rо b Rq(9$PN//4,?!!4ب-_Ҵ̪B]t^~ z< U.ݯS 7XIaH4c_K.ΥMjKv2a52S;׿.$.5+/^K>DXBxuaCy{@5B08riTrr᭷WKz6mZ6q'AD#M#]c9Ve+ `UkRja%E7`Z5^sl*͚ypkb5i^ ~l[RMҠDZJvbwrmR4R9fѡC @?Ţ՟c؅?cיJ^LFwI(IhKyEmSP%A59/} 3zKnCD]vk:$e MVA{"H~eЛ,F8lDkK}q˗^!d{ha*G ys1ZZʍ] 7|-++>.oE a"n ijaϛ½J9 `w#OC,eZH@O&ojU§we kvJZ4_h1!i N&% 4~l~= wAK4>r!욞;RIr[aGl| kkcٲsf ty)W̽;8ڱX] g !rBƋ735א(+rUp[1$v&ɵ4<& !-Wqp`73>'t^#ZzL%dr &P`P9g[,nFmb;~FЃq`UhJu:׸[ C[&^TzmGKagPwfɼov&Q$ V}XB%tBYvY跛4*R8 @aב>Ct]L_bjFV/c, oWjlx:+80g(qOˊ*bG\jf(a:]PNur4 VsH, 8~ ٴvU2fs4t.]6[ݕD* Tb?_)Mx6I6kڟ1ղ{Xj>{ !$1 Z"R8V1`ׁ! B| )>r^Fc4fg$aCHmrwAߗP!Rx$ a%T-V)΄+*_A4d81a4X<=:>gy2s0K짘;0㊣s'\EE6$R; -h ci Xh@")#NϞB=Yj./0e~RBB/]>dKyx#Ц^^l/^9\388L" P?> xI|,t\FH)蟯i.2o6ޞ"իD`Sv$]:GpZ4 ߲u!*7*8#M Df`~=\J0Ki}>oЎ?-2[U ls)V86Kd5>pzӜjlqM"TZ/L 2Y?623#0UE)1l˷ 4}ͫ4z~ZU`,l6}V8+Z_,Pm!;Z¸!R hnYqtE.9:b".Q" `iag̊.Uʤ\`BP4t\,gZ'<~p7WѡE,9 yvm0RVa~'S4 Yj|~j̄Fۍ@">.abg֞IB@ճ;:.@f \,}Wlb(q8g& Pp`v\X4e8Lʻ"O%8SJ_Ůg.:0u5/DrN`oEISN3$;nH7{Oje,^'w6EGSAtla#*U):\`Hs+F9^& R VnE b%Pi'jqW_IIҀĈl{tZ-5sE 7j0KR ɐ::/ @iդ(6FfzJ6{)9 ֟Դ,ŅIu8N\~RW > :9h7Zl[Ό+ڵ02 :C8xt>@^^+-n>[:ULRAB O,CoL2[CF Py;_Ajjm¿=$a0Gl|5Rb< 2 }U2g"v PoVӁj_fKo)Y1^f|\7!#A/t'*ݮT'l/`lS Ln'`Q[P Rzbh$3/r[ae&O*huI&+~ż&v-6#(^UZI·8Q>M4f`yddf-Ky Tq /LUhȘ㼯RVrtėde$&gɮeB9.D[i"6ۈK޹KGGOiJvlLn!ExRUywA`~D̔bhGl*Tl:bQ,f?Ub&6"9f;J{&O ,΍zl2M$vg7G/ Ε >ߙSxrj.0N6?D$YL9feo!)) .)j%`W争34!nNd>QPZ>+JR~~+\ZK{oհl•/!*|p6g_^ ZoIZhiZ[!SF5WbF]Y]cZ1 >8N1*0tS:[Xb-<Ԝ;`/ds!y>|+,8ӆxYǣ14SOlLO-:xH#G4c1}|MޣXa0Ln go)qR;VxڬqiA4+ѳ0c:'@0%#Ѷ_ȵU}@g ٳK+:[ klNj#Q ebO39x8,jeuuMScux6炨}^3?kLK\|fm=$ %Fns#Jr #{ ,8EMvIŠIysQPܛ.}HNawa[jҋZjwjcN DF!&B-"!Źpat-Enm|Ȕ%e' fFx;fc:`'W'PSURIWBU2f9L $Ta<Ly)QW-o}hM&BSmK 0f?2L6˭@]\#Q\,-Yu1mS 9 wEv7CLjN:묜L-hOP&R@r*ˢR^Iݮ]VCB# ]\=\>00\SK]z Z2*o3R 3{23X0k_-5qɞY[JqW@Ni%\ 3 41"][,Ԍؐ-SҲYYk+sPGTDdBkxuD,(AV" rtkxi$Vu"&N]45=h]7vǯt< ?\XV(6Lҁ ]ը&=ȶWeJݝ#ݲƚ9?ťZ|37/tpN\m"I0s2Hsz!j)3Q6Zi0nME4[JȘ}r25*a|7 f0a7XHa=aZ ݔ*mj#tl5|aa7JUVXW[]L O*&aWko cm μ("ijRiȏ7 X/Pr&X z9xSV~2v[uL%&E2\O#SoUО EEuTkt[m 1NW=ߘU@mp$otsRn65tJ˳xů8|g\Bsssbr*蒑kD햗KQk(BӧвI-9v1 7ϼ)p{~޸hlFΛ8_>$[FuBljr_| 'ߡblQ@b/r4/r*>ӰNMB.$_K̢g9jO^EW+8tLa&p<'|tFoC3X@!R .ՔPuHYťc۶, ViT]>т#:ipHu&>i$ddbvX>lj@t$$_\s_R*(o#x =JImmȏYZs|@϶_-2-tko gj`٤aǁp /uhqWE9^JKggk H'/~ct˃,+6YTކI0G~Q~>cQVDtUou)YKz˻Ǩ}!h!6<hSث%.,ا$G y!eW%+SG6¨;ԋض(ã56Hw$[O[%q陜5?72B.I?Y7@^I_{Ji$Xb Ңa> _i _RVKPcܜ6-+ǼpY]@N"E03=8=t֩ۿ 2hF+leB Z_6@V=%:|0P(AcƹCmߙ&}pX` JDgS?E/?/VLV,!.K0# p} tIwXKDĤ$.d,PDv5ƾc#%Nt:+}haLfnFJW;nL9b FFqQL8rP+%޼YDޤ|r@p8^QRi-F?=EbI\B7Pu"(iPjG)19CBf=ӹAɆ$Vij2LeѣeBII;و6k:V y´Ox+`x] Iէܮ&M)P:&ثF#=9f-rAfӱZ7O=|@ VQiNg_/k}T;$A@JN{oޘmz!mex]чfϧ&)&okqN&䇘NcyǁZ'!2T&>C{npsߛ= 12ܣj,F^lw6x%YfXQÁhSK qOe<.5b&*^^ D2*5Wr/+9Ek> v c\LM_:37ܝfQia zqclC6oNZ:S~,|b?3Z$vM}%d{"@1ܥ!= 4I_Y}ր ɧ2>wu->!VZz0&Q)XSA>Rl7D׮E#T%1fx3R ̚*6i`˖ 4ӔB`)F}A^#҄8aX7Wڳ5m)iZR$!,M,@z.u0EG̎.-#W&Ez۬Ml ZJ ҴLtڨL`*jpVJְL*\<鸓aTEdP]L x 1K7"j sI¤t /!RѪ]˃Ͼm_9dj>#y, MSg"yʣ8/Sh c)5 TT%Џ`@" ? K..r#,~4խ~ r$A7xޭE}ty&q6FF4xSUwl `" O#ȑMCN뼈MYлIxJA1q5w%ע@pēiU^'Ci!ixU7-\D}~&h3g6mX=Ti" .:yaSܪE- !%(gH$A4oNle7ΕA_Ib=|m nFml=3i4W*:z. SXK[Z|t/\]3+b~X练ѡIQmzo}*` OĔO [vPP9߮*co ЫޒFVC˸cNtI h[A 8dV\BYfh.( *H3}e}Z\bES/ Uu{ 5.-}p`S5Z͐(M w9yNiZUS+e% >[.LSkpɐ5ZtB|WF9><= bѱu Y/o ,T qs.9\a7nDNٓ@hx_`TWy*lz[b[1_ Jeo;海Am`}bIcCZWxУ]Vv'LdDml4EQhqq?lWZW8k_W:D^=}<0Q h4TC'6 }&st]Gcb a% ()2ɞ7M 7Vxv1 Dz1im8J@nvb0AT YPf:FRbt;`h=O0]"q*2ۆ3؄sܒq%YV $%% 6pӣCJ_NXT-T8Oݟ1ͣi*4-eGيī_ޯM:ATr16xGVn%n}NZ`FQSzG=_ĶқUF2RpLH&=E] ]?):GhX!0i5:sUnj}^c>B*]&.:@2FCC*gE+02TvZDm^y7X,+Ks) UOK?RՄ/ޞ݄@cHsU]䮃ǵ7𧜊[Lrwv*mKX MtS5!>k஺>& SOn5/a~x I;!9:QɪS>k\JF/^z[JH3c-M@O$׬[._忌^`4P҉[hJ.{/D4!lf14YɎ%y[֘罢g\:!g3oJ@Hz!/< _z;.7zyOؙ:szl8Saǯ'dN'1ZWZ*S@)r(k' ;'+44TʂS ^jc +u:Mϼ3LĺlJOHn擽>!!n9Gxا4f׈V 9L^Mc1h07)+ZxZiO~>2#/g\txNi|qmqMv SyLxa-Gg놏vME*Р\_sp^n»;y<YO GDth{Oo4B A5qaăDEls C_0#}oA΢z1c0sC"ъVGSG6ZDI$=9aIS>S4QBM"}B D=>% )6"@u8j.x:"$mW16\vO="6 /s@y-b#n9B|RXR3m@ V0OzҼ?']O r~OIe E"+2FFHEOBaZ0Dp˾<8 tk˻zPLR".uv&"Z=3َ'"/v0TH2+e!p%KsMYHf{+ _++!U[30ßvc:I h\`jz4q },_fX${00p<:8P3RTC/Qd)u)j|5^ֱvzˮ/cojj[V-Y_ %=g|H|ѣCfU J:F/|B*}2tlBhD u@h7JA2 b,7^Z؎ݜDCod Ze5sL/2p}N(iҌ AsJJ"cĦ@<;&'geL4tTQl=5IRjEw4q}\lc3v7q˿޲L,!zU":(n] V^6&YDgs--6FYjv}W32?Kټa5{/٠ ^wU0D=a32F7"5pT8zƜ:Ig-_+~IWnR* tjKP-igiK^hSIf,>F맏arVz ~Ep\N +qH{ w8d7CÐX$Ex?s)lamu⡬J -w0ii1[?(͇usA#׍fu᧮vEҬB&*|v8M)X4Qm\J`U ъ>W(Y݆Za63]iX0m3h"Ia/"C^Й/y[<'J.=dm0}+I9e%[W/1QO5[,?gz&R9kņm[{`VߡӮCi%SİϿ~p@x(KŠs08{M[ֶ̞e }"F|LNg|M~ WSPʣިE1$D"|w (E}c W3k?^aUR&>by#6|N56YsA{nv-Q(ʑȆ"VƼLf`@EhBP=iJPv^g ZIq;`b%v&SI:vhj~ @(SX'?̯|Ȱ{(6Eb +toSWePDחnVp.+iBfΣ'A ?vW &]=zt>h'+|\w%f ʛa-j=t! B<*Ə G@O۷z!,ZϘlvA>N#`"\Nc1:J[d;&4yׯ"q'h6I(D?Wy羲Դt(׮Hz:37JBBh5V,aC3xb0dTM7,d!˓!~uq>UY{R"} 4vO#9|}^%i=~ "AoRbw2bCza MG4,uT(ӒueK\KYbzqik Ѿ  F=uUx_;P:cInAfwx%pcqPXo}+ʫrAQ^U=rv>(vZ dn ٩7{T8mhf1{wJ tS+n)[[4*#N1 bЖUϧ' er&t.<_%'&n]Fq~Lϧ~' vČ}4㮤*qGM} QHcLu. g? gHκ {4גi|*4Vtl#B}ʼnNTJKgf]mEmK /Gzgzi07| KЍ^PRHw耡9qS8ǵ f"Nhy svʈk~z6@a^34+rQHdB4JUgќbjX΢')qu1<ίj˕ss|Kcqri"f(tkh˝~tx?u)͍zyI4!F:ͻbWlߨrE4ni-ES2.b8!痐0;#SEKY t[ ,zNGTcRn˜|%[RW=bڈ@q8[wv`)"/Aߪ5*aEd Fկn>˄~|1&!op|.X *?%(耓h OanaWh+=Lύ v/ߏA2A(altoή_oߛK % sFx=b8[ujȓȤZo'Aq./ cRCڡgYZ l9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ijc]Άxʆ5.f-9 rq?\dJtXl?B+o~ph'ĬQz(a4se MX~pix)daBΪo^5Z!\3arEj5BiYŷZ|\aRX +m.؅G9s`~JaBo\DLtCIeh "yoP?آ3eszvGڀeBB:cdiTk?D-KmX ڌ!m &IFp|-Z5OσߞФ%_k |#bSͨ /XɐfcK)s8~_+cpn: (1Ȫzx^b!Q= iK Z-mEdfhm>ĴZ !/,l=D m@K"vF4e w2J;\e\i4{z hU N"Z0/|c1}D *ƃ3:恇+o:;S J{*Pm*pmia(mҊKȿl ɂMq}lwLq 0s þ/v@( I]sE7Zh߉{vm^fʌPqgOk,he5@\ӭ(LLqӯ2iqoi@ #ϺdUұW`a+# uZPk_rWJ2w7¡y*z7d5Cz|b ث<!E> _9 b)ÛFLjt*8b( Y8=̥'Jh!N1MJD ^[jգf/{6--o kEb-/"~r^W|:lM_'V>ѹm5sSq>>s0 4X]`Zwfϫ)t~mp!FԚ1?uA'jio~"ڊQ"O6r ^k"L6BH'oRD+53ut°כ26  J)q|(Y1+HH"VznibT%Ozn\C>EOM!M yf|fjJK5@ !7iwr(+n*7L\#?-3~7qF%> n2d/ו5Z/k+MCd[r^BMtr77XY""Ҭg56“k&FjY' q%?ޡknS̉ū/_x*!ZhYBH85wv6'*h?Cmp*9xjΤ%n,/MpKkBOjGvJ]zSeP  gYZ_ 9G# +}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H ,I?.1lxb6ƕ4kw;oл7_!寐llbQXEK0!xH4V:}Q8!|R|^ӢQYN{@Hץ^T,HZ[o)={.zr"L "!Qmp<#"iL\.Ā HݑP|->b9T/X60t]pܧ==/qz8ќteI'uȤSRH3ee L;dj<;ޞf"7K\1H}:.ܥ[\3(6o; zʽϘ` _\uf2\.(Eu&VtvIݹڻ_JP 9*ǶL= d c+9;B>γ%dr~w-h7UZC&I3_1E"mykMAxVFJ4d)˱<2~2{ Mk8L 7&%h[M!F-}2HH5/G,px{&D-0?Ոϖ9VV =TXK3+{sE"=SF߫ڔ 2C'-RӜ޺ZhF4P䔲!P_KPKX{ryYL=<!I$ ūᚼ:<9t8;I(D$J&94ˢ(¥"-4wx$]f 0h;oCt"`|ls7OwU*VYp@1PA}o!Gm,:+{՟^x::;4lZ _8|wUr*WI!y v ~^Ux#7H= ϥy޴}@T$5vuԐgヘN SnC&ѶR"@~!οg@ld?Uy ny=.Az`XGNR>dHMST5`357(}xaJY/kDmNDqUIl~GCdpɋTcB0_q8 fN3Y!Ux} b7f-c!drQE o&3V]-Fa>@^>%L : "]4,[jF.;;E q ^d FȰZuAGƊ]lQ] LhuJ?"c;X2/Q3x6@~m--iikzL7WgeU: gҼO+h,GjPR.P/bpGGb']GC GVoJ@66Dvoi6;6\">UR2`9(yV rLòPO7&PO:=ut6cmOWH$^̑K&P)Wݍh?7{3T_>DCHۓOR^=2>Hs8Уszbf 3P"G3COԙ?'3`ocbHc<.'1 ~a CE%:$&nkW%ʕ7Supqklgjb EYFJ4:&E%N$?6Z^Vw zȹ4&VCy[ 0ʁuhs{]"/_x!wM%as݄¡GI] e8nQ~jTy5Ic FwDɸfR/N3(4ll-֘3~ Jj^SqX稝^ ܐɠZvu4U\ 39 ~Vx4]Z˩h?E/ LJ;r;!7%r;3uD>\bNe '*HZGͶ5$lmNsb+NWdI 9upݚVĩ-[Z2H01u:cҵ%簍ȁTKӠ2Eݒ)v3밄M!Y8PA&'-B[Ȯ6H Қ1i‘|(nM . O^dv]c"ʛfF}/[RL;GwǛ 9CyfV:vUojMj-*9 _ǸXU)\q1EL15Ynv:Q 'Ǹ0]N]s>/"a&#a4j">iED@ШCchs)q哺YA}1p[hNM%{7MM/5A"E+X+R4|>>lۧn9nB]%2S1ȑɲ,NUv!d/qNh8"Ju; jbV3Z貵_[GVQ?>sַkI;*qX5*oQc__I;!]Y//ky!MlH۝ި-\=`E$ UIO`P#qÞef/.,5\6hKo%L gscI;Kw|i{>g}y]8x&FFjY_3}ӯ\v#Y/T)x n"&%SifsG >EVz?A{KD!?(5cUYʏ}q 2x&apz2H6fW? (JOQb诸) >Q}vxZB>qq* n0/j7$= $Cj,>Sjp0}jb~;@8(Ü-λur:tJQȥx.A(Kb\ )v2#.:{Ǒ;P#98y)a$jj,h{*/BK5g o0qO${D,E>/uK hǁOt( v2|; +LDhGY9zC阍\6t$WJ\ ̆z-l8dqcFO[Q/kދ!f߰-`1֘zZCÑ> Së?{o;~^Nqi+%@nN<=83zF)JŠ !={"I_4l2T&GfM\UMj9I$1R~Cob$'`{8U'\r40_vO A*$,x'rUQm۲74Ũ\Cח#Zr:Xo+1EIOMVf = 7h 4%2.PmLƋ}N۽1  vȠ2^' ̬E]A5Y\&iS@PD-:6^vg(H9ع$}}Kz0c 燵R=fcmT,恡'<4֏pZċŠ<=#l0:ǞG>@L,+%+\0HhDȵxPKByZ%:FP,~ҔQ&FE;wmem\_ L"]0L7bPMb,!qQb29Q(Ԧ.́Yd,-hΓ\}}&.}zJdi"*S%FunC^&|m$5:REt>0|Kh5nOS|8OJLX${1f h%'pL+6<nnٕO5r7"cD 8y&kBL2,O&FSS'sbSuu. Ea _(~~ W$.\'AM{!jkG>XsIق.Ű{6}nRUBP){A=eһڟuˡSnVI—obV^ғTyfcDZkxCъ@="r-cB$+n`: ފⲑFmmq *)-D0=ʨ4R}.S0sO řg4>L}V@te2h̳ `qa)VyO[F8ҥFC/5КP/rgS54$7C{&5n˵Ȧ&*PRh0&s&W-}Ѝ.T➗GfSZ`%+Yp8"tvH}Ѡ)RRcQzyG*|zu8ϞϹ!ڗ;^m@ Dse8`zds92Y5'v9Yt5+g21Ҙ D1E2;Ds ,oc ;ޙCϝ /z$ڳƎ(lTY ʒs!Ie㡨# 0|{ Z J)ǨG[n!ysI-MCRxלN0uKѥi滐4oi@'Lx^'lOL0_n =D E #LDfp@ !EA13mc[}K&oAɮYP+cN1T7+-Vݏ\s>|83ֿҫ[EmT.v}ߝS_dЖ@@i=M"DgG^y0>X&{DYнl1e݉IHж.Un5q/G6 UOG m>)[#F:8[a7Y›eDGdd)Uj~7'OfyG9KP}xcQ&14_9/ V94]@]ue2D'csJ0]=)'aAS3CAĬ nC!9~IFݞ`[ Y+yGrQsJɼ $~F [ Dc. ;x1*̛s=w1ǀ+CJ9fgDr hțw Rw@BZz%'U~Jv+x;d]Ԋ%a&_z@`#KՄR>n+SΌP@s3\ e{A#FLc{S O;v|Ou>u_\<..#^Rf w1#%R*k,bz]cHS?G71wπpY"M:XԃVG)|{e[SO}٪(޳ %x-WGdoH% r}Ywxp.C=E)"+T`vD lvqA[ {l7L@1;GpCl/bxz :SRg-q8 ?rbɫpCͦ&϶ CE[>Ywu{Pk5&7"`ϢP,Q:ҰZBq$%ŵW2z6E]˲*L?<+'M[ 5鼺>H읽04As]w^J]hfl@UE4 G\Rxzxe];vMVԤ׆)b_ݽ\[Ǘl+N=u9';l]η;=wRxֿg@wO-(㷹)nPD;(&`"Tɪ&(?zq Nԭ^Yh H=祦xKzGľm1:W re^&RO87M~Ȣ `$:ǸS}/8 ?9CwVu;~'N=/"gOٮ4aQ<660ZeBS%*Ps4}F<-/YdaRI|뷗*1~b]r2g PEwOזHO_ Ky}g?~a71cׂE9ko acTx&?.FX)k줰v)`  {hзB `Ǎ|cPzKl2i3.ak-/So O,@2`cB3VNbYY \'{*( Jge@o6\k.~p*p{yę `GOHQ€NEWr~|WGd:"Ϙ*=< G[4F8rVU~:#f{R>(Ԅ3mOd[?JDIq\%_e|H嫛@EsMY`wQ*f*;*Ќ+õQ6!Z *we3|S;I"E{>R(xD#0 #U MspPXyT2F)hwBUg $n).lbQπ7qMSnx9~BXkƊ]mމü$8x'֪I[3ͥs CTK]C8~eZ=ASP̀h&ݪ4֚$đ&#:Ɨn]/EV}!0'Zr HMj4+@P S@i ?ցgV!0i8 o *P}$?JՎoiN7U7Ou cGP`ŴS?6{.T5UźbnQ8I6 Z1G! Q"g((ȣnBinS|N=>yE儇-`11PsBenv; m'Z"#b7758cjiQנ{, ??jPv=-ўhCx"T=p/{Cl~I=;] ݨdtqr<h9Qeľ Tg,1'^gu%i;-wWV le{VQt:~ JV&q(YD"H>sjو IKyy {\ 0_ėWK PH AM/WÖTJWHD{eԈ8JueH\-6M8A+ERk1&86F_`G^N%w q'@,šz[\Hϛ >᫂R*#؝<64gg|*,)8@K('k,6;2M t"zh@ؠ:ˍdw!VV y"`/c*1ʅ1 F Z Qr, .Grz:[qkz.u6aC6x\8Z>G^JXYt0`H G U;[lj*vaYf)QLW(G=w@g,j-댤#9Qe֕'4=Jh7N7G/ܪ@oq^_,۱tTv=$oPc&:Ǧ(y|b ܫM;@ $B6! w&O__z͚G_si"1R%H4eRT`%_0H6RB'Ƌŧ%`ye:| ,Vwk5.{p˪UָrM$m|cwGݼBw/H/-[$L>ǪFZGPm/\To-aj ]+(E"-<EmV3p#Ҧ>q-p@#ȣ0© }h;%\}]e6闓qJ:(tIsDRˇɥ0DE 56V&󕥕,}>C3O^@ɜ0܁OB cHl[[^h&mF_m6Kwpv5I('aRbLu`Q؞.%̿aUAmhV3rQ#g%?}osl@;$M+6Ry!k܄[XpnQ8'YgC^FV A)DW.kE'\08}sePz\g?5vj$IOGj:>4O zozo ?|=y=C-0t7 'Y ݛYɃ1V"L3ұ@$$jH;fUDRF9%tZpIP'z 0tCEsEPO5KEޭt6 lVRi2@\n~s9~B؍ʹ7:Byixk/ڷ~7ۄEf_4 j?ˏ9_b`pW(AI`ޒ!!Hе}X6-3Cd3@ⷳⱒpB%lT1,zi ^#عV<+fLod Q 1cשJMRNjXȳ}b*v#;)ƍI `gw;n^Tu+/Gg,ܦdA}J)e7iD]>X Ur-al&Ǎ}H W=iSYѕ2>>-jx/1:d)D%AMmAvʩ0m1嘨&nY5Vcyg=|c<+,½u<}nԽx 5(ey"pRO`й&Z?<>@l)ds'&g }a`H*CX;Ζh:J> •?+fZ}h%U &J V(4p (k0N,&u}5cXXtŏٔ5 6_+w':`xy+Rz*JiusCB$ t6@p<2+.KL 1ёq{'^nާGrgFҤ J.V0ى= טXijL ~h~Ѧ 9P[/ƛ>8[(.j◃c/(J%eSjk m#peR};0veoUɘC(Ų_Â䫂>R&Rw*X.S!s k;)ڲD߿)|Ab;S#$/دj%8ty(Ә,﷛B{?8x6S.[@@Q& -gE*> f{ 0b<'5faꁶW*z9NP:% gؒI8z_U~T0~W&4jQuXl[uX}b&375,y )CC+TpD( Wӝx2rIMXi)8~z g%6ybGqh؅6̓.|mL\Qev:G",!)-/krnD +UВ%%Xjdq ) OKE];4$&ɪO E ]*Jح}KWY5a)wi@G^ A2# q®czZvG]AWWas[z }CP}LW?U}JgX(.K-fXHB  Fi0DL0Vkyڒޒ_TQp ٖDijm|Ac߲rTB$kspJZ\&R? /̍lqfoBH&$g/p۷?TA4)fm_M.7_ߣNf._©A`nåuKk9V=>{*t8G>fswwy_1+Ht+k+lrjS.hU8QP0'Пqb"`%D>d-*=T¼ȃ\J4lH(zڏh#{Lv>E8jg6*Pצw)B4nL__[cIkyA$'b]Bmj)w en'kξM^gRPk͇b:V kO:m)>g. ȼ8{Fqzi>1,O:qyMA9Cy?#+{D1>W߈!$iyUn-̶oyhza;"k!W H>X!᭔ ژsSE7W`YO!Wy|H|ʼneרBPs^vW;M}IeA=<8FU%XϜ$!B=U' uUL"MU݉4:ﰃQ.IDU6ۊ1Ƕg~87J 73jc3Hk~$#G8 bfd+S%gf{D 07k$PlxFeF܌G!J7?zlcyga(kTKt_k*nܰ(ͱ.HWd*3F%s99B+ZN}R4ozP EBv9z(azʗ[SC@>(q6oApuAw^ m^s,s5y)D{>FH.F[wRи_,5H^G: .}if\F^ɸ[]P/K]U+o'BOX%ܙyܸ!d;q Plxow HQTp u?/@3sᔵկ* ~zgn K;6To(\RKJ`,t^8/,ƴ9{Ekghq;wC*0W r;RZU*&=zKK#])/&ژ5e^iUϟJZP˱h=1& V#\}0Q5a6Ԧ4z,`] rz)E%30`[CB{*d,CL6 GyW쏆8O ~n+v;@B,g{DUfFVS%7ll*upXsDgPSfNN3LQoZJ01b1nA}]8Bgl{7g#}uiDk[gjv9"Ӡ4O͊60[q*jNRlUO3DzWNW>Q,_E)rCS}gu4@O=70'ÀxM܂; cOA6DWԹ[q_oYs^4VΏC &!u;{.(܁Fq$vZއ;aVù/GVH`}+,ViC܅\/ZpޫzdJLQ^6,\J([ft;> "##tZ2X .mzHh%!XS14ROBF'x6AR_l˲ s6g5JZ sdsپ)G/:-MR\H M 3J$=Rb,e(98--1kAjo!L"H= 3jD'ˑ09 Fv^˳2gp7` 2ˌs$4vꐸŖZo? X|߻Щġp[*dp6/wUs}@o55_3*{0k i+6pm`eHVpN3- agdLcGΟ~#wb,i)M{)o _!E<K-4״PktQ D/$jcϐ03 FӬ^ݏryo! oR mb, <Ōb 9(fo-u(J툆QϮuLS ^J '>s'u»65TA$"Lb\O"9#Rzx  C5lnUC\L"mu+±8b%{.+M:C_3mz~kA|ѵJ&LhUf z0q, SDgU0/EȘOXgSz|:rt~ Doeڿ-nӴ~ oRnf΁豾sȐ$Ӆ^v ;zGkڭ4h1sjZ'W\/CX Km"A=,^zps}iTሜG,J㨨v>~؅];bW<2惙ZW8`bT8~32ge)[l@WZ-6Gs&C03:X/4\Qn;}ύţuš MnrjP*ҢWI-U٦עlKON( 1y](О2Ytmw1ODsnɧ٫|LvlYoZIG_ E @1U>;Cz%PD|*V/^j"?w„]@iVT?:馩㜓դݮDpn`h{^ΆBB[6@TTnOUcG ~.W'?H6h=uNpǔ; kn(Hbm]Y L*lc!䲍MyT(WmXܫcO'iLLJXX(!вx{Ui7?w͌C聝&X:&dFj bE1FcM-r%`T~DzNX@xI(tѶaY\(J`h~Sޟ;rm"b4Y+F* yHpa;lK/}r|Kl87`խ''RH#@%K)~SP$ <@:ys!$ p: o/Ti)dFv_:nmN'>SQ~]$|O:PAK@Z[ !"$AIGxwnn͆>(V%vf'.xap˺e&rӷ*>V.y߼־D2w.Gd8H y&Jy=nj-O9uOw/*JHZsvfoQ'܊* ^'OX#fbk'R/wK.񥑗 $wVv_ޑ?ʴo.{ē?"N̖R L.glina؃SEh.`1{%;;TOX<\(]"_r0iB;8Wm>\Ad X>؈ > 8 |^ih#8=VݢupȩnNs˳3SD(y f5jDW)i9wFm]!Gu!m[FT5NW8{VA0®\`UR~%#?꫎LX»xՐTu]~[6|<.^{vKmdl~9tN 8}@0s5nvz]Z#ԑrfn5+rPXmaEb&2s4{ģ }p8P&b6"7;|5 qJkD|K;<.V8W?C8XGAںC55t>'##n"Pؙe|cAzǟutjQbȌv6Z4)_b3c"BbXt̂;BG]SQ-;\pr߬XK$@+~7\MMT]&=G j̫ YS lcqυnrZE#+xSpV7ĨׅV4f# ;R/ 0pUO-N@]+Oߌ>ܤFU CsX4hBX! p)*M;䖟3ZKǘ0liSCH TjrC+)ZmS q zGW8[dת2)iweotJE xyIgdEI7yԭ`tyb G=Km͚"N Q9A aJ&nTt;l,;2vK@v(~؄DڡF&bb>5) ܮ. ?~ӧY_K?N^?H)|ڰ%4*SitOef1~_J!E;챝TaaW/2"'LBfnTa.U 3+yP<>|"8 =0۞zQ4=uWdosk|k00&S3#SY'Gw& !JOU}$cP"r.XÉs"hA=grmC-Nuzt~ar;"(&8OA>9Yp.RHSpdC4_H+p쥝~iv q /O74IH68n1m%H6Y}n | ׻{G~UU3^_0le#FӋ3`q¬e(ˉPBY @|Z靧W#A˖6?4郗cRaZ?$`v8YIzz{( ('jM fnRӝ@ҵQsMw胗cgYv4 OD3ϔ{BW4LeuzrX׳Z˰r{6r&,$c忛F&ڱ:L3]LW"ڍ"T 2 TZJZ?2OѺlrE_MR)& S6W]}Gƪ6Y)wPB ,!8DZ]Z~/rwA8З!N//]| ~`(x ŀeQq`p֍؞'sLRoǯkyë18܀MrP'o3%B@Mm6ZDa;cb@Y˧7* 4*|8aL뾛,xWj 2ٸaL=ljz"gZOӰXe)tzߙ0@˄ uXny=S]IܶhmuG4%d1+(8ߩ˷cc/~YgLBC0Ku.wc"$щyP짃A_?*x$ߎPGg=iDY聄uǠZNi05~mwbf\\[Jt3~:Ho8[/4nd^v?5{ge,½˭] S\8;|tyz_+1  HvV^mNxΰ7 "5f3d\Q׿䭜7oK,lp~u`5I\j8"zD[k4}/O:r_GT46aP])j .g+ ~Fxr<sGU&4<_ya*U(ioGH*pyZ3y$e# _cȔk?O(BB_p R&uWJnq@ɺyU]>7,,0ڹT%[^/| !Q8&T,-H$ONϐ>y ]^*oȗD7ݚńZ^jӖK_vJLC魻ZCŁ?1f6`>+_j.S ?z#`lm ڠ ngȜ 4x&e&ַy UdfRcMDm;yɍO5BcW)~>$ 4 |vK0B[g#{Gc)Ħ&[kT,iчO?0$mdP'B ϘL 1A:'A>&KjJP#(ox., Vy<[NDƿ5e왬NmK4nzH\N;su朁 m i*wܦ;nEhQ\mOǑcJYg'I}.p_|##>nNBEF9 _޲"}-ڵ&΀iJ=vSi6 zZD`ڇo< Q[}mNYET(h]';!0.c®ayA`Lx6w|Ю1ͥ !MC]_^uK>ӥq,BqR ajbJf^`.%SM*7C4Qx* p  .a*URvqcc;`pp!Cj^_f;679yޗDzW]?n׎xƥL0Kfe՜I>&McK6~*K2] ;wەsx߬ N51}HN JK*KWpNr8p4ɛN'eFu /ZOuZWk=V,Kݺ!Y]^rV0/)_Q @xg9eqU±W.`va&VL^+`q P>z5aP;+LW(x[ȫdu 돟x$  ۱2LzպEK4`w;B,1Taj\0st߸)AT w;2"hEѴ`PXCE]Ƈܾ{4N|4U5W2u98ɨ" Yjy01\LA5 "k;NE]W>3R z4hY$lSBd=U+]kdNsa&%McpUn~f_~!9Pun"ޒ؍`@diڨ犜) 2DLL鮬EYT6LiLiῥ)m}aٳWL . APw-pHG 3?[,kĂC/gd_IZ>#]N%<1i-j&$&I-HƗ>=DcD#0KI.j#E [_3lѢޅy"LV *eµ2PIotEV:p׶r"%tV_G! qʧ*7l.RK#[|&S?IvϑU+"՟NVgZ~ng2KpuD({b 0sLOU!RK 7=F0ƼtKor~*HCEH$R@tm&R8C`'Yn#lDiwS/R c\s.Zt Wϰkë-T3M!O(' 8k61Yp_mb GR2x@0cؽy8"~-qNjO2惏?pF܉qIkSDR_T`pƃt#Au~"3c1`g!SӅrDMZ VKqٗФkPA8i '.k-[}Zܗ9RkR9C4&^`Nʳ6x7:r3TcD92K#S @9pmxF 8qA:xhy7_-i3eH4rǟyob ,EGȯS Ax{3}˜l-:VoqSٌnL M7tAKs:Q_vt"ȾoYR":~+.FQ:I&?ŒH9>>%܎<2Y9#1'GWûDPUBuF?j?挏 g%=7BI\v0W\2k^fx}^W> HjǑ;b3xΘ`^oj{:a5h;wR;G⮪e~&|5~/UQ5m'0Zuk3_|Ja@ fdɛOjHlYEÚMM͚K\9Md'AwX挮}ժ@fiOP@o]^,2!k}yS[E! U 2Fxk‹7URKj{^rtd~T rWAF". 6}")lk `|͓+6,,iF1tEH4%nA3,U7pH(ĪP_% eIT'n8?`eA9BYrn|Cߝ\:XԆU΃xo2nEP!_7j ۩Cj,*yq7}~igIT5i)G=7tKDP @NlM[i L퍪9Qg-1a2L?Մly# uŜ7Co@%א)=+Mugp_^=U {M(22M0Q"J^w_tNeX XUG 2F~Q1ʰѦ(/U[F9mĐ3җŲM̃jʊ IF@G箓?;姾qSq+J nX  QЋllY~f/b W T$-&ςҴlz hE#ōxVy+{ҭ'v+)q ~!$5 _*ͬUIp1v˵#1gѼ" 9f? (&ZDSKo$GvzAK &W'`TpgH/#q+I4?`R184C~~6jafOɾًu%;r 5(~n %CbG=3~"O m-n.A=͒%+@;/|=m4cE*kh~TyO~XW"kc5-uD#~$M}mP{8?hge'f5x(q% 7o}}ӆhA_$АV-~O0Dq[Y`(0 _Г0^yO b5!M\*QKٷL>;֠m\m9Ηxs>$ zi\`8|s4 =p=r;yc {6cIʪ u9ٟoO?pK(!5XnK19ç"&OYK_W{W)zlҊ#?FV}ֺذ4mάhz&5$uz\m 94zBĪp'%]mS[Ò\W;H_f#>ʐ}QrwټzoSkCXii9K) [xKEbgJ<gåo<}ᑔ_u>=Fb#px:="jjf:$9ڷZg3eB%EPB: ϳ5%f~%j7ხy\fxF-/ysiH*ýW~!1=^6~j 8("K* Z *Ph!rvW^1 #/= yt=O>]g8saJ7,Ty2xC^4MM `:lLGa?L@fqNE"FɡT{naSrܒ/ȩ%*F@a|HX8bn宊ha@eV%+gv(DUvPLaΩ`F_r2kof]Sh`$ҭQ/Mլn=ri] _pË@/(H/*"Nla} ͭ"xp+`)_D[=}p#IbZtn___Gc,fC]"wW Lftѫɱ7LMd ^㦘Qx.IbR/]Iu oFR$.G{EęxB{h%qA\9@sjuQG&H,GMJwB9Qfg㢊%zl&«Yy @pk{v1z1HfGqOoU [Zv}LKDVU, ?s_YR[ݷ>q0vw