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~t<$ ] HOL-Datatype_Benchmark:threads=6elapsed=530.485cpu=1977.484gc=740.8047zXZִF! 4q]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;lsW"̶Z!'2Sǜ-y7K6^g|}zasw[J ,~i H!fk bG؀lo'y,Co:ƀoDN0#ƅ^~rՙjAa5u.ys35ML]')F89inS2t3:K  >Lj>b@ $.ZΧ %y90ގU{پX&I{4py^d F-!"]sO gYHg4tC`eO z@>tF8Z6zB-cE0VjU76:"vctA)(!]fV2$اAsɨM$Mlϸ&,?tBCkc"ww5㪋h.5*=— w7YYEpyO3^U/D"`oNk3sLH9<Ʒ(9998;q?]W:B>=2axX7a>jOE~Ps1 rVdV3.BR+4_p.8ouWMMl;-Pܐe's1ƿEp.J (r:pNeXI3x-#ټ;Y0/B=#Rp20i˘|\L<T^RIEj+L٩CYGzhN/ &4<RzAcO0^'vlTcޞ [%I"Y\ȍ9$8M<T 2C˼̉{% q)+u?LƄzo/ )kBtd٫Lł`bֲ)- `Ÿ |О_q,1wgEgO|w:Q9ȡ!=4|̒+T-[/$>H3k0nG(Bh֭kFS{R j0d QP(zr1wgpCw :`\[OPl ̓I{  9 HOL-Datatype_Benchmarks9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/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 G“㇇*XvQI诓",g0VκzWC 0WKz#$ahJ#,U׽@AfU?f3N@//ZSpTX(7cS 0?b~Wi ۹lb[ICp  2E܋LS,?<QC;^+5RMYЇg +xoI V3Hd,Y(:]yIx`>񷏾=X(z?eSdaW^_Wt)kgk#?%Lu&#f;wWad =(jlK96R(O.=[f`Ȗ:YAt* s$h9?0oV{y@ISIcޥi8rgnladvCV~INSGG~c;`w%2ugb{h L^1"݀"BO8 aD.n6ϠkK?Yl*h45odҁ2J7很UAi?zN!@l !~:Ox2K3?mZwQ<.?nS=O!}/t;2$'R^S`P/}Vv_yPvf$~pP ]_Oz$P bEm)bKiˬף\}s~ *a{$03]i(]vҴ7E˻"x ԊY-++B\G . X+X(ڿ+͖D~wIrCKup[Xpeq"$&^z c͵cä+sZCqUt 6x2'~;xj&v~o&:'Uns؛֫: N08_%( gi2T/:¤Iv7VD4 xDH~tf, ?\0ڬOd8UJF<}ҵ)-/I駙Sr"HyV /maHH9Z-by0&v^pЄu]1f=ɇ,4dJ*+"'~5qKV|@%gY y#p?ZbBDY^ eߛ p`TyЃЙt-<6e$xa]QKדJiL&j "&n*u|N:fR(66r<ťa)0ꍂ&-ڬ;aׁj:SǒZֳIw z@zKS2}B[=!V-B"tv,.rfPp[/+;[4W+h‡WnI$,fIODɗJ$UUQuɻ!Oh7YCPG^DpΕXX`F# a&b+ |g]'m\x;=~/ӻWY7! ͜5/D zK+e9)8a qxd;W.+{01#;w蓷Z4bX蝣rOW ydGlLc.3epmoDDZ.;? iۑ%>_OrȴGɀr4&^%&5حU|GhӚ 8NS%]ڲ.~ٷ>41J_!z&#WW4+?k z4s6X^maúB͠3B ;_72kӽ[d#2ih<Nپ>5`QiHjZQe8jg4-O[TYds+9!L5Lp@0ǯ&ML7PAUW۟1~eg%y΁z "lA\)ٻ2d5uN O^[|\T*쐶t)pǽ6|r+T# Ԙ7vr~r\½FmtF/-v_'qE4\wz 1LW8RSl. 17d}CbmĦsC/lS"Z IHE%׀] :V#R}'mwXUKGKʗiJۿ_8)t+Ӎ䦈$XGTan^s~2+pUcs-+C1:v7y@T9>ړL2Ffu}(úH: B>R5E3Sv1c_,Q>եT9ԟjQ^*ק7ȗG1[r8  vPoL q[hG]fϹ! e.qO_itSrd!P2`Nfޗ.&SZi2aLc“8c `mwV$FYb-K<\ysq+{A&6lh6jddSV/}:-Kq9G& TH?LX=2᩿ՐD Sۮx%{ /_׆%dժH _/^BwR{pGgҿ۪@"SRf%6&kʘ:IZ?)VZqHrŹeJsW3^BkMJhL} B綾x1'Dj> QJ CKޔGq2o6wj*EPBid.KgTGA_.]1~k֒} hMvL9hz#!%K!ALL:Ivb:Z1_&' (YAѹQJ@;RW~1cI5;d~D 6Q" ZRҡJ] K/4|J6-.gT=o*t&sj|ˋ3=Vz#+лZ(㇒p1&["he}QWJvjXQϛan J(P|( 2q:= Ɓ]'dyH* azHN < ]B_k(ƑHKܟkNQ $[nzfH_iQW.w?[a|~< WƁWh^Qe^^bн oid n[/- KS5q鳳?DLy Yda$Hf9ёؐ]W[T%!FOuPĄK>c J c2Hc{s*SP!;O4A0Ӂ5iqk-N͈2uvEcFA@PJ&ޔ/1ð 'T_Lw#+6}FIBC;j+HnF%>Z0)2!kKcFSmJ2Knsgc>ے81o+cs¸Z齹;(ufr.ty mbssU PEtYy>hd ]xSA/0p00mH߄ Hf:m5|us1.0@VѫzyӝlwF-?"8Eު7)x)%Ŵ3;ˤ4D&r~Ļ]d=uTCYQ?O"/mTG4eA3nww,:@!Byb5mBcsVRhe6DR$B]3h+G?u(-KuzLN&_w_QD\βDWrydfT!=0 =ȄC[᪵_Gc *dP 3x-Fp"7э08Q܉d[Jkp$LmmرD!Ҡbhnq,]D?:Kme2gF8]ۼoHe[BAd\䙵jGJ&߻;ڄ^n?#EMi[OKP!b!ËxG,fQ;|U!Ern *,ERDj"ForP2w\o)QpIJ0`o1?_9!3%4j*Y `/1lP$Os' KH3lR?5m;R*χ`Ǭ 4j٩TDOVN C.1: dߜI;n>Iː@ZφH oZm_^ux_G& RR6(/'4^1u F21EPD ]PL$D,Ќ7ЅXܕKwHY6ezHJ F7׭mvr^ZHU% 稯=:q'?^fta&o=:hVů̃imb9擏:Z5sz\I"&}Z␢nj| }M4vqºEg_0js(av[#|`PEE;'u9[ Y3*¥=cR!xpF ߕ 8UFe28[=S*yR/Ok 5JI$4Н)-QG pL=ؚe@_7P0lʶ[ }ĨؓrX5P>ϝ8ps hT63Y S/JOAlg33 8QH_'3 7K9}R59?1? HѼBL^t&,(Uk vՖv/?QfDgȀocLsIQVg{Poz`nf6x=Ua;i'6nfɀg9IDpVw{>fӢYBHE:9>k '{kW}Q qtnNƌb1~ d>QO,}_27۸l97VX嶣g0v 瘾3H'b/Tbz|)y~~V8'u Js4Naӏbi|rh:tTL7iגv&rʴ89bKq7 3 ^/R[z =|Mɧ5!bV%$ &|DO?{REXҞC8;"ї+ E4"[4n$RXv aKP( c}UQ5u'1l3T(M }V\IoZzV*f@rw恙̫Hm*ȅcgヤ}7oa6A`q(+fU %`[3 #ߓ#˼3d;3unzμH;HAFl_ Y[ʾ  ZâSe[gl% PUe5Ȥ5K?*$MٔK+S~P9?,2]ҙfQԎ~G%gA)GPj_d.R?5+!ޛӃi|Hjl Y_ \24T=oBviF__~A%9h5[TPIp G-4#xt8p/A.07M#{ccp˽ j{zӎl 3{=WX8}7RsI%_!Ot49a" lfF~ $e vT3>mnT*)mʹ_0"0ߪC3Ee1BۂI>ղk.JDzӼT7)E}AaCɗ%ʉ;$5j5~?m:22dND:eE%J@WZ/BKw@-^9. z]rdas2W2X|\ rjފFjS-fonohf'vIu/g/!|jZ|S3$uiD6\M';*RxZ> Fq^aܪgNcJ&.E fiw pmg͹㛒R!SJsWp`q54N`¡2c^7ܣ ZFHXv=xA/MK^#(LNj@s*}.=WLFq8 HT6,>JiD4ـ_FD2la}-Vg&H~̖'|Rt)׹!i Kf2W~-嗲FT-9rq!\30f|ж5M*=.J2'Fz,d5+`rP -9K5kxnvlizz2q0@)s=ICB~u%޿:BJ)iK9#52]g %Y#ÓZfsr᳹#0|@sQqk[qPC-d\toE\% 'qZ_N*ƃ-/NgHRӄ:H/p[颌OIf1-p!fFlMA4 c8ZÚT(Ăk'c n!{N G.[Ȕe)@pɩԴHr;=R*ff225^(w`O+{q}uRMc jߎ,0c` U:oϓ & Im'&㩁mc7I4^45=GU>2JS`I fڈ: ?/]!TgeN:V)N,H'>mQ؉Sn<bs*x;z54;SLDelئ 硥i#Ót9L|M" ]DnIǦt@pt4%U=%_qwrؿE Xg>$֦ S! m|{L#:{xސ2g:NsFI#ukxd ײD(&R 6;1. /-ҞfmF;259UĞHjLq;>%Ԗj.a/.)o[}ӭVșzszclmZL|+0rh̤t#^mV.":lZǬn(T=޻1 RH,Y,?kSw U l/_Cm\p=0"da^q$xPe?C\(k!+#ea u7 yvا8 \~gC['^lEg?n`2MKO `͠h"jt){- Z*o?-V;,0l%LY۽7e2门Ά TW28`m55$9;)qZǼܨD+$ꭖL5Ih[r^B& UT6J~jf⭎ۺ$v0dU]GdH )]f+64 ` rOʧ858ֶ #Fky}|1,LF!P@ ,=X^O`ٓ2ny e7c9$`3/5Otv Rc~+1#vQlɍ[@T4}`lQZgR}叮P/KWdKz۰lq3}weCtQ [? w~% nΗ]]0 X4 pΚ4La*R_m+Ћj=bIsGL* -x9pt0qo]WȊ;4  k wKֹW; i7f(xè z>b$V4{d k:Gf&oJ,]ڌzFgz7y+O{W{B[*t2;!וM{KZt#{S>MSa]@֓ ʹSz^ rk/WU'O3RDHw0,sY14Dz"auiA /ev*r0dWn%՚ӡUbF@>ۉoCzzZ1ܩ\8E 0QՆ5;"M@B8xIK6lԛlJQuK /DLpDT%M\<<2P%wwդڝLKw4ruf^ )H hV+e`ÿ~dԏ(j- -__ىu}ʔ̨iC튺h#k(>vS6e%D.* 9ae5`I\LQM"%pϟ/C t)재%?-)^Ŀ_ uB맡d\&l:"44P2n G\ t&J&6!fDI?qMiX6Cw,A*L5sB`ސ-J#NlNš)ZgQufk elk7ETP'-@.#J}f TM} pD5/~ 0/Ew it8é[ TEqTA`P.TħjiT05NrFGDc}JP9@F3gzfvQ~Ee_{.-VGdp>*JIޚŎt?m9|W(24B3/ނ'f^#^I,"d9oFDSN!S]b.smPV-2[4NnRm2ScTux˴8Pk/8$xu'Pp4j`xǹ)diCRn"⸭ױp w,+e߼4"i#*kŝ1udܓ95slED[4Xk`Lrl 0qzx Xxc'uˆu`94_zTȃ mSz`hr y#cM/iYV_JF WsZOK,u^㜣@ؗv,Gwm6X,_ȩ܆Z佂",fa@m^UMԜ!}^5)s9AضܩXp'5w 0\׳W1g9\&aqj?1'54&H3Sׯ2 ݏ;ӯƼ|P%wyFֺ^!mҚOd2W]6O P[v7 M$|v˪^<ɟ$$ť*lN5r k~Ժ@y6 :qG\tM{C@i|&EReuLg?3@VS`d  d+Jd] ^Dj&Pi.o" Д}6TCsNda36M}: ־[ddfNxNlg@rm;PyJ ERXv9(Q~cldSBB1~7lHiL)M+["##0:7/}y1`kjO yN7xZF#ERcmPu@;.6#u ddXz/ߒC:&=cv&XaţAn/t9y@m9.SFh+k;*dӿH=+ &qcbaWߺ =?l"~ybPɥvh}ZK7Vb46a(.Ww:A#m_[Z8`^Su'Hr9nݣ)!uEFW$c 30g7h6DE Au *Zs=Fm.iҐ{~.Զ yQp_omB{\:Dh9Kf]rcqͮڃ } Z[[P>?WV8 &c3plb^ety\C,#J{]el[7o)wykW6}TÑRWά(hN Ⱥ!,]EԌ R܉}N"uD(}D:M%&Ҽ1cI;CԾB%z5>D̿Ta+rb7@`{Gƭ|Sܛmo2Y&iP;tN⟵!EtY8$;ZGݦ_4k4eK"vŌ{ OMp2s׷-Whw|4oЛ!+ 1>oU4{a :SJCouL X?D.]@^~!.Wa}W6m0,(rC)*ta-F6}S{=ʊzfX"YC0Np h{I],T.*ń ةB%\ДD̊Z=rb۱ xsьkكN 2UC6Iuvq^kֻk _t,pȬs0+ G1WnXh#`)<vHE2e/}jy_>"ڊerbZ1w/w{;X$BS$|Z% f+p؏mTfⰲ;NWpԇW{;CqY;o9$/uY~Li 5FvZ5uY]kæR~579lq2KUqHUA͗$0n_fV*сg>!b^ӿHRhx"G|>xcK8-hfZ_ H-^xn4_ m [\e^+q7?n>jHl?$1+{ez oUt/5<]+dCch]Nc ?ۿ+G 99DHQqgu6*`oMV_YTR-@I#+|ƯwRے=̀@t*_XB I?jۙ[>8kc P>dk WG*,t|c^"I0G:Ol"LgN9Gs!Ci"2{=Gڎmbe|I[@hJfM(؉`(E'G;f2vv jZ8%7YF.E9wxh21ɢk(ytfƘFKF$ *Ca;5 e}bR/y0׷Wg,=I5*c=-uNE!&o.lsR;(sB@W94_3X2%jq.:]6 TfD 7Os"6;Ո fs9 u22®I湌WK9^i+#F˩Rg3%ŝ3:{7kP/HEd=?5䘞^^//`13x~cSFl%v3+˦zU.Q l}~86YyKCBe:5y/ 7CN~\PaoK[NQHCG9aT flb!l3 d8o5kLR§j8^m#C O^d|Q%YZFm'.g g0*vrpĵ G-B D0į}X`y'%8XHBl OJQWqm?4)mD9ܮ+~9NIϙR@9_] Q:, ]>um=RAfҤUVv>k:\ܸ6ua+8oN~qƒw<.5Mz>/Ce bՀ#B8y3Z.[,]ON~OR*;=}*F8Mp)2oB=<&el c,p*ū-E1%P4oӿ s'?}=F-ݞ}҇0G ;Ahٵw)e;-9z?C aLC,# "qD`$L!H]S /;aY/E+'=!=a%/xxipLQw']m搦؇5iN':4&h=3f:2]>%QV`9eoAKN{RxYHuV(v-+㖭oۀT#0d@m%N0vB}޵Z0#ǂK6:-.,ңU\mp.NlrNd>^Al&{^=.3cXa2 yMfҘ\R.3R2|+›𮀒?tr%[5҉h4E^OY4d¦M $[l ҃袒xMr `NT+md^9\B,J &AId#D1lF:} nsl- OԢux`I ZafzdT '2DKOO=;-]ԃW뮮TWckmлiV6aQذaJy S҉HK0b.7]YU]|6?*&.<>fR]J6N':5c.e lPcf!O-|J| 3/KVҫfę]`XWas Ni.&`B|\Hi_ȽOؿ7mWCm|ן ]hF}9d^q[k^vx+uA;`Ri10ԬHG;g2XrqH}$YM=(J6yIw741S5sf֯p|ekRaynA`;_Hf}N̐%9~|x%x l9b n+m]1L S)|TM:h-h7J>Qz%BXkVl4HeXŸ6 V#$ӽۮ F^\^֊*LD`.q8>;7w5Fj#%|^ bz_\kT!]+'jF]pxqP'|^e(땟OKd-#Pm\ƢO˯ 5֓62-Ȍnͥ{N|$R~ j  qau/يi/"Nb)Jj ͇ƪ$98`CqzekM$HY~E,@0VjEao&lN`Hw"'k^6mp(Ǟ Oם/}@3iv58dVk*G"._P>颫꽾m>˭ ?%*!VWZOEϻZ?޵.S#~қ|xH*IJڜs/ƱfJ Tՙn󮷵/+sNڰl1` $߼6wf]k⚣A5y*c}R@ Q}2.O[SrjJfhՍ:Tr~ msS";Рv r0iTΒ| 8w">->X]j#AkÍ29X+5PeINuq^ƓߔG7jis;b9ʪ^6N l玌聵!+jHOtAR˚k*L"*qՏ^-nK]R_!S_aukU5YCIޣ[]l1t%D~>Z@qIJ9C nA=?$D"LV>1ܘΫ8kOQ[L0/׶D[puWe,m;Y=N}:XǂP0vPL^PE}x~)S .?pjHSB_k8E\u  76孞:sIΰqHx_P_cP[;&IN,8Ɛhw TPuf ]tWUB2b0 VͲ $O pxzim) a3H)sLXӳM*Z\}[+:~UW!hDySu* aLQ=|f<.yQ7ی> iJJN63}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;~5L uoԖ$:Ivj}9Y|Zݑ-]*h`i䁥O`=ny{&9㮁cє GG~ҪC68<>qU7&#gl/xpyi*oԬ|mL"FnJ39 ,If\p^.`>T,:u5F 4.E#T7P4~kTBxA\,w`VŞC*r8=!x!<hG63]D1xW,>yHGoiM*)ψ@N`BY#Uʍq]q cMnj\9])VN:8oas)5HQNq*=pf܂A']ƚ &yh#nEB軳I_sIVRwjt^Z͕Fv5+2p,D^غ57˶xtJJѵ͒)]~v'6”9%q'9 amŅ8y}Zn!3T w:!GEvV^8N;rӝ}pZvL)C=3I},^ܮq&0Ex ͅP(Tm}mW494;->[0!_i85|{"L϶([!<%Ц~\g yFܤV#E @AgUӏz̬gQbei-fÍRnL лq1|>yt"4e϶>"YCkSkܬџ#"rkY7 ?rKoYbu ؅1/)515΂eɸk_'%X1WPX>tŀĚo DJ^ nNWio_Z:}"T8wA{}A)HYJtv9e{c2?[u L`-'2d~¦̵[&JryNP=]ea'ߩZ~#5R셋('ď]o&\( YԊS]Tꬹ}x$qj6#lqS*9QB,˯΄ t3Xe L]#^š'EIՋE;\J36GK]U݂R> j;3|n[]A|oăےۅΰBuDnU)3DrԮ!FyFӐÐ: ٠"٣_:ݛ\O+Kא" -dik\~ItWŷgU6RKFQ@1cR͒^QPkFMt=%j;ap+Y`M!~3 sZ\Io?oK̖tBM =U݄I_t * IfH+m'~%P3y! 0U[ex'"6!c֬A@ȢzϠ'% "m/0Krr ׉m/U0A9Ѡ =SƯ%~gL֝/6ѹ%i+9sPwKM"++h&ԥ;l Iw 9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO 9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520c 9I# DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6XP+f1aHs%Z_87q.ҋARaGSNgŦ)#?a-*.Dt[՗ K,z\39I;!XZE@j{)V2CܑڇVFybdy鲹#EEԣEJvA<2ߍ,4.?Ac9f.nۘ ߆s{R {"OqTğQ4O2,'ed=NJs)J )fm)m?*S*γm W|^M|'##zP^ඹYC S5QφLs~[`?ޕ|>u@z>'tc|Kf3u,:wi:BXGyAU{b~*T%$&$ZR!SYݗ ?cFh٪qS;<[VP6$r(:5h%?5 V@>?q ~DYQ]"ZiZ(]{F n&RjDj[^[(tYmm޵p"^x9~?q|g5nq~=@:dC<]iR 4m$t0$ގrJ5GdW"E#Oc7'DHe|F;sRxK&P!0Qk60;ٚ@j/) (t 4q|LJC|Ȱ̳@1vB-."hrD `dw{<]p4I4Ef5 hr|!Kas?XOP_wl~-*\b翡xlgD*]ȤqY~<_{$]m"T2$1L,v޿?<"9m_s*2T"s8ոeҤ\\ QZ 𼘼@`Q%Hgh`ޒr=^;0*[$c+t ^\5@v}# җʐ6e|q @ >`k HTԒE[Ճ ~:~ZwA.8+\RGa >żSJ' y?tȾtf`n|^3O(r pC۪Z|Rvau(tLyt**G9cCѝ)9ܾY4o#;{?XWǐKj^=VE$Q:l7C DEX}>8x,n餴V D?I]e|Z߫ Tf۩ *R7[ADLTCu3DvbKlo~p&:~e]+fkS!CP"盓ܾ >8`'1`Ǥ!^HWG,5e{Fǒ 3v8 a.rD4{7NuZ>> -Oy 1|#fl1!tUDo ݕgɱgYZ Bzw~W+IJOKU@5t!X@U7*ǔs6&ܝAO xq3y8̲}p +6NUec0*pQ L֝;iӌ{gגzPRxN(\ˉCZyTk;v؀&ȫ%.<]wgnF,<9p"R" !ЋJ<1-UP]% wcYo/Zh{˔RT􄿽7٧Eb "W/<Ώ--RU *fY^l[_y0:ˀu(ňk>j۞nWp"?Y#×z yp{I7pjX,J粴3k]Q(4V![q.F+ݰs)QS~#5n}@,rafǾ]B N60B=1ȲBlR9mӥ݁Sf@\ ~WhM76pk8`ezFQ:цO^r2XXJ,8zp'B@1+mɏ4U[l]PK˴h&W1yOXE| A4`I!Xm !"%>݇24t1]1@v s7 M\vlِX`!(}EVT4azC0žI<땙9AȤv& g,'H, y4seDE֊9 jrAǁ<`y}W`Y$6 an)?q|}ޛi.&^upXǏ`B?,U9xƭQ<9V 2z{91BbPP,(:meNjɂasFP٪#r%S 7{$Xޓ3'cMt"3, 퀓 =K= 3_ji$/Ψ ѱ j1=(c,ЄZd'Lbo^ 䪮FrNP!pig67&%zqteSyU/8$q_SOI5*O=BoNQv!3BPN;oբs.1.SL V:+s`j L񹢡qsusn Ŏ j[H%up jlP5#mGHC̝BHydudʔP2qCT oZC9pachϋ~C14iԘp+w I$NB!WYD)sFR`9Z6HA lx1}[h,I NH[,oSğEГ-\0zZWI(N3qdR!d;($} Ne'HvpVE/ql#M+X`1T08U"ՄjN&D.6iyW ^77Bwy A/vT^FD)Y G͖b?C]naEh{$@ѹ,p|N^BZb3"żPMWc.I\u;t Ňƃ1/+ʶK1Z"@Txg1M'+ &0\6ʐ/,=۵zh_3 _H$W7d\|ɓo( <(Zţs}SuvnmҀeʖ0 :,ks7*$̮!-蚮@XVa/*x%[ )lU%d5 /FzDzބ-Nc~Tw-o{$Ybsj=t0 iI}#'@kGJQqt V% gUu# :aSzk"KFZ277R-棄u迧ف^>3Z1Blk~.KѼO}Phƴ:%6-EfJ 2w&GV6 ]fjB]Vqj_`x:u# 0EsN"X=fXYd ~y'P |̑2ʅWVLmJ]K^kqHju>-#S'ҳa 36 %nA V8ڡ75&+N6g]jx0U#/p` ˝CJw |n`3S- ZV\@y~9Dk6J!H,!94wpуT:qܔ iFj;F4=8H$!M6.oPWz7 #i'Jb.9P1$퉻A4 %8,,^"!d@H@R,"+Q+\k(jh{7c6fTpuN}~93TQP'da=~}X,EYqz Cjczv_6n/0Z0T8~OVz,D?&a}8==? F` ٦i:}ar+p'eH뾒HP'5yU\[l0[wBvo-\)o0Ams Iu^ <նT*`fro´gc@֜b:JžZyBU#w '.rJF&aH jWs?t1.ђzf]tH܆a]HSՄMOHj]׸"ȩ gÍZ.|(m^yHlmki& ц>$Zn8dU +#b+-9ѦUfr17A02Qai&m/nz"L0ABIʣCq.XY sޘl\|r;S9 ڒB"Vz 6 O? qK4&;7*ƈD]:Z[y.)ɩҴN7'Y 5- -qȞ9F:b'[e$F_qB& ?+LX1d JQ(XA*4'exfb1J (z@s F3wѻekTүyQJ:DȺhitzH.MCemު?kƆ05@>Bd yvh%̙`َSż!}U׈ߢܤӎB%b'=\$0[U6S'yTVz'tںcy+?z?$i0ŧyU ']=0V /3͸AnLwmrgʵ B41&+*4-}MzFr֔7 ͖+5Ȑ%€ _5.zx^YAO-@yœ l)a_ QN#ˠD5ЈHaz~7oaZÅܘ2¶=N P+8 *G7veBUX=OFAPWwam+EdȨ_b"E@:3e.?'pQ^YznbhWjFqYFaUU1.O!A)ćcӢTKEO)E7ld^F>7T^_}88c;'$?J%hǃo xCb}W_Bbp yŠj2Oߝ. T+W&ܦǝ{D.a"@1 } pSE;'i]$;\%Gp)QYzEKQ+'R5fXu%NWzE>.nT*1.fFEv.V`rInԸʔ}~ހ?z?7YsP-1Iylc1/-Z7|9?E+0|Y UXpcm!Y%R0sooŐ^<} D ձMbO52U|OkCԠD~I5ŧޙq8>ׂ 2Ԝ鷧}̴h—E )QuQZg)at je\Oc'j9gxG"Iyð*qLM ?YBf~u%F1T8nI@P>w&)1|}r_+T79mYY!Phy\ S~$;{QM~:BÞ΍ Jh5NVc~X^P a/ _kJu"҆ѓ|)mMaJX˜☊<"|.wB9F#C&ݕ^i ɘ^8:Ǽ=&/ ztWb03,^ωi]Ey( l❷q~&% ;ZkoFD ǕsyZj*›[')+lzZ@Pho"cvEp=q%#ƃ>IYà?j]:+D.Cg[WZYE(QE '.X>_g:5&}e@T%'Z7iaQy6kaTBJ_џYA id¾o+k[kU!O5dۅӤ`71ܨ ^lmMcI OzUdE%IISŠ;}֟($E2f1Em$rGsF-)fO8HF-#ԬxI>i dJ(qE ``J']I_=CYߝnNfVDN)5 Ƕ3A{؆ݱB9@nɾ vosQޞNz@ZAzKD]VZv:ϸ~$E=˵Aq8= "Cw4c.;_MЃvDcƐޗi@vT5`Gd|TBYpK|&`1R?c :@KoRlkvP~ )q^ñRYzК, |EK@2 VOG!+59խN6-t>pZc 4姠 ?Rki1c2x6ez-,"M]T7Lù]x2rV}Ҙp]rl\ܸ ʋ.àk}GE 0t9xݶMOF/ETeD5ZVȨX-Xg X̙2U' REJ`}157&E*D̔2E% 3f9H+yA#C K ?dAc3^ft5Ii_a:O;q\) |}2+Pwf LƯ܎Wsk[ dTo\ͬI،^ ^sBmQ&L"hojR\m%mrnuŹp1;w@^&%@ TV'j4P 'e>amt۳V6UdPV-BEp8mc󖙆3O9AH]/]%4{&r0bwSNەƸ$no/)hXc\9O6.<; d^b|"+%ŋP:i&,\PBزz:SFGǽ{sI=Ζ첝6 u!t[#+snk2+] 8)m0!̰B)c{WV'6S:q" jhcW\4?,2-'@=H}!gyqݞ[Q2t87"2#| w[~ eRxhHVBˮs Gisu#P<4Y=;vi[p(C[it j4v\^Ѥg^*]+5kVWxI3 Nt<__Z6ZC\}=yrq F9U~ tS_ gO 5T_xp!̯9a"LQJxkLt1#hm]8( SY-2 CЬOqIF@X"x9, i%Aj߽f*W'SgF$ ۮXA4l>ϠCJ^9>#6a4/BBVԺT7\;,d6wry+s|\k"ǭ,%,^Ϥ^hsRI5ӑ<Ó$:*w#Mr.]L{Ĵv3 8&++#Pr^h¢oNiz"v[!0J&׬,v":&=h~.Ig_g NSW2@]bG|R 1.G'~_jɬ9Ked{.${R8_gPT`LD|3q'{'g R?*#ۤ~ N E(y7=Lf/-=uS^A~d+Xfw:R,= l@dˤZUr`!V{Nr8\u)Gv9[y\[|d<0GAo7|Mi~{v6ޡOVWgԘm:Q4ʝJb8r)6*.1I =-ڔu۸ qs)l 埧&gL˽6v@-#7}rhEOw(Snb1]$03dq/ O`{.i믴kꗹܛl?'IR.d8OoS@Zix%3 q*G.ˉ 9n1ע O+@DQ| 9Z4LP yz:,8ob[%fŨ7FYhtAey6aQR'ƾ2bŭB 8mqٞB=(?`G6IlLg+|MN@QebS 4ˎM bOPΝÉT VĽyDʀ 7!k7bY/ x#ߨL*cEO,lOaU)m,eaVk #_ns&h'~C\5qߗp NhFrdwO@!#Sgf˞I,5ص-9}^y|WL(k `O)XJS+4}]z1~UPubsR({+3(@6 'vae5t.{ًt/_*Xfp<)H+ZTX&Z_;m cLOyTa[Ѐ10l]3x sY]&-v/9;Z}xx'X4twĭ8!KZ.}i}pyv|F֧,e,nJӵ[ͨM僁Ovkrv(>y'vܤ|Ŗv9ޡoIE4<&#wpqymEיjۏ (\@V_[DتL)x6{_߃CM\5} ?k8.P`gTź]@NI_UMk^Qb,j.I|ZVT LiS?׻PG%WLU=ExVR=涃Myaxgv}PO1x(Lhgq;1ĦFTDQ>M!:- ~i/Ζ-o0ݏ7:<α<UI?Aw; =` ̀gc:Ք )},e9|٪wƨM7ΦR?+ncؿߣYz E| sbxVٯz}E!n]a&_75?t!+XA{S+}vZYM&*xU;Go(eaи 5?0&K)6*hr6;(3ZeLзAMۓq@ >="]5@/`8s#¨Ds} aQ%u #P܌)bP֋E 7]]""OhdU$cJ< "j{ZeyZ*s2!k:%l1@ҝ&ݒEsPGr aȑّ}urlS`{0-$MeLDw_Mv1naFƷB%x]\뷢Ú2=`K~w7KYx!қK0_l[xtͥU]<'!g9J48p5ޔ>DSa ׬.sgE/Y+ڷ+;8X OW٬@S> ̇8(qQnګqJ2##< O!5۲fY CWx/oDb/U /QF%LKA޿i5<3 \`^hh3uYj*dk]B鍾ʪė59.!7!*H,hdvn0Yl6n.r`ϤG5ŵX'KݩI䪍 B=j:+Izh>"/E:k>`/wybHio*x?*͇LbҬtx( XDX%uԞM7920Ujf^r y{HVv +9]{bE w%[".51oO_0TG8 a2iڽEz58 ml۔_"$GS~^m2t9[^R.Vݸ4mW-+&9ԛu}yN'Yҷ߈jUgp,7E` bul fL /pgFN8Uī^:WK߱HuIsD:X6O"; EM"3fe?fWwllZAۙz`H8B %PbLR{m7m d>ڰL,PzomrM 7F+< +Kz=KH?2Veg0%j>:w0"Nѻ-:3]a\g/Dhj-;g:0*nԗ̨fΑ'Wuf}lY ܂ oTB%gVЌӴťKL^޷Mڴ>&̜8pSui:F[&K[a2D, dT#\mW*V 2 Ӄr⌯SC7+? Ax-R1(Q/91j#rɥ9#3*^x^`~>?K81 s0uz|;iD\=yڶ@'`Pqbk*4d3X1jqUmI<ڕnX\ÏlD=ML*ŏuy_J[9e-gYkwέ)#4\L;LQ}Ӝl-PVHJL)EuL+-J]{|Y:Fda Φ;!x:T3&{froDer#V?i+wq>Y>6mώ1$*{Lv`Ǖ3yN+ϋqIjg7^5VI.gT22ӲpuნzK$ >p\p \fj_u^Z'9m>(k5vgb->S%uz.4FH: 6qǾ sf^<'dm:;nsí=.[1:[D&CYp&^_Pv-ZC$#ɛ29K)|}V47@DGS_4 @ts[K NlgX7̛dA3ibKg{GܽrRu@epOf4eqxd蚔/gƴ/*%I>>Wsr%9гfPT7gܶ ;t/};aFZځ1Ӵv`Sp91i"j'z+S?<"V>6q}`UӃƙljʗ pr3ss2)j<ύ>QV_nX=+x';Oxe{Aoʚ69&%Xo CAtwv5taRgm7z6`I[4S^, ]gzdes:dQwn<=^e+*l$;-u*nl ŋ[/\Ot "K%XI)GZQ}ZgpC7ߢb_( 9[.vs}daPC~;Y{,昛~Re\ĕRcp3 N=>׷69wj,-t6TK8 l^'>SB7vW}Hʯ%hҥ} hѫh7s(pj-Ď%f{Av͐S%|\"PKuٞ}٥x8F%.Q zX"@,W- BPfԶRVH#gW&(Qg+˕|]`or* k4q@6,=:jh>,¨ E(dsH1W@\7_f= t]xiyjG~1#nL'1^ݓma0ȗ0vj5Be K02,jNcO 7ʩϮ#l0N)@/Yǹ(A (Og^ x)aڢ w!%b/ Lv#?0\֗ Jyw ,*K)q2<*Į%(`|lzwʑdHC[rMDAe8_(S PL#LOƬ4ɬ f&Tr}[{SNqx\O>wHRȯMD4!Qg.:A`eG)rI`%!TO4UL=y+uA:uX}[czy&{<[$h5o*mQՆ+YҜSbP齆=Jy ;7ɯ|<$h!\^3ͮՠ.Y6]&)?9p(iǫΦĞq kc7zI*:8Tt%bvgf4Kyc>j%.~jքs1FM9Ԣ/Ir.9|ˡ/p[#xr&.B_|Ʉ{gOvaR0pt0'Ў/i LUZtD ld) ͟K"}:O$lA_L^,=o%jhUهO0L L[L P z?}%kg P:Ҩ0\'4jiܼ,^DJcpL¥g}цƩ$d`Z JV M!y(QCãǡjN |'[=hAtp1Fņ⎡) IGo*ޭ Q-Q#GEƊ&þ`)ma?mJ1 2Am}:3k|w(K 1ϊVFJ]3BFEnSp}k@/mNSr_msh:j{^oHo WE,v1OB@SK҈ЫG7%_#EDNMvDv.vY~X45%-'Һ9A +=CqƿT:; Wsؼ5-QһG`Z (httx>+Fc؟jbdW! g ݏqŁybgԵK䅭V v;<2\sl(Zo㣁j3!Ѝ$`6! ac CzE]Å7R3۹4 !>mJMA3BLQj˸L<q=m!7d~̆{BPգ]`OPJ6ISlg=oo F e(sI|[Vd楫_/,_~t8z9r#C6z(;-N`5^|/͐YDGbsCtX*Cɬ$=S+Ѕ^2veݚt"F x߭qC#`,v 7a ~t_Ԧ0fZtOhCg,XJgj@x.rHO%Yz SH)㺶~XNB,JR{:aSEBd#٪Ο hE"ēd@ C%Vu+ "e |!؁: E- ̆`$$DcHzگF?Ҟa~ktqH3RMEBr VD0@6h&7n; m`;cQd:͸Xm+K~0Juq!@ !btX~mn;FSi }[mM-Lx (ZMUAVVD(epV%x F#?l i!o9AZꡚ*6oAV/Bic~(Dv6+>(K_MH6w +JXܹra4gO-nuk($X /6<Щk,E!V4w7AB|=`abS{|U?ͲbR.p4OȿU*;#%RwT֗iP?5Aqr ]`O`f Q q'}%΀3Eஐy{r,u1g5:O!9Cr9Q]c3U,6#*lXQGɮH{JbUkEirU#YT9!=*7Lr",;NR'MTUrhM~,g<#'^Us B /2j\t h40OJ3FB-3R[w,~~EwC.[(=dx>$5ُSvkT2Ji/ώoTzs3 u _9:#8&%Ab迲ڰyW!гŏ`2M)27,r),@{ cp>uBQ.fZj5ceVY,J1p %S+^BQ5b{`S)3[j

dN7GMvכOfI/MQ.A-epK ۹5kL3r:ţIzkJ3EUt0]- 4Z0ᑯG0ϙ#N$V*&X. ϙʬ ?zе`v)+Iî# a7JB8eQ}:)gm<~ SV/.Spjbξ# 8Mz\Xkma FK>'~CjmBW w94/5膉0* m{ —I&e\w'I7/бgYZ kku 9K# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! Fl] !M젗OFI"Oo5Pl:*_9(&tZR&S, QJk: 7hmv7Ub$fLR.<99_*pIɒ S6듵HtfZQfgc OϚ&kz,wo`DxhCUf>aJp'&ȸ, wr ᳑muK;>F*-Si[9z+3k&#C+4Nz]Fp! ,J''!_Y[$y[aJڄ1]K7uǩf80ߐz&,g|:|P//MrW'3z}CYTh+~*nk]Qq X1 ^&̆U|z%/TC$[BLp`d9 FT.ou~ 9aN*FZ8?4v^+O?B/黠ΟkgY>[/% M DtH,1N :xCC"Kdz3ҳmjRyQ> , 9CNafa7}{llFZ86sFZ{9D'YG߮#v>U uXo,Y.Zc|:Cwo11D ^$O̜7nI4y6ݱU:bl/^W0?e\ GI'+\Dh%Mp Q,*Ψ!Y=>>np۵@E6Dz%yِ"۵V xOIRLs#̹nDr7ȕU6w'!H%wէ 63a^E'2bՌ){ē'ZC (L^#MO[>M'ΗkԨ#el< 'Ӓ`eCwק)I5hi>7jTD9)ψ\=qRKB}A0~rnڣؕİCTU$w['}R7b+6hwQw) kl8|A>[ ] ˥p4Uy]w|'Ӥp^XQs zUŻYٚ;} &{8{f A_j/,kFT,1H\+5&ڀ-~ͦ5몤 57hIe}< ǡn%ZUK(e>"B\ T*AtH0% gc3Thr&-M;4*)ޛ+0R> $PR&_g謹PmqdWЩq(Xf2v]T'߮!C4<C35vD"4TweV6_] x~ S+| J)g&"(.ɠKZ9M=ۇ!… 7p\!EOcG/3Ғx6މJpzm$m}Xf+TNI 4zH|LS &]åp75dEe׃:.sH-N4mfh?AQ9w<n׾NjYGD=ttʶl[X5t0 _h_HYBƯqê@Pj6}U e  GCxO ϱJcMWUXB }떳A:-[㑑SQs,PsZ!%u&'4 uC}i $%ftpqހ6N gE椌mdP\{@i |xx^Y{LmfUƗf{Fi=uzk#0.=^fQ&a$f-+d]Y9FZ/rְ ]Z^DGH3{3 Q%)>J'H>.k34j5ǢզݡUu0wHJ(W`ߛnG;f[ٰy)]炍b;0Npd懐}tf~wZ@w<\u0CR{~XFcJXHx(f7V ? U7;ZbWR\{u!-X q=?{[7f퉴"im7*j'AZT) !s Ɍ7fLP[eyK#EwFgVq䲄16.bG!7qߢq'|{GkNrmET0_!ec/ՖE \:75^Ļ'}:dhC#FD2MB٥^l-OGtd:pjNрyaȵ +W?k4NڇloD cGW2%E2 CdqrN{8CaYq>?`s W}qa4!+Gƛ}4gAO;{J`Za,wz$fS}-B`=lBLxM˔M[?Fэ1q a8+E{ eRe0VڜbDT kj-ϨwaRP4hBkx =~}*Pe{>p]dyd߼?|DhjY̯6¶Kr4,r ާD_A҆ G7V6 `)}* 6A8W!Xh%I, \^׺i! bl^A/LpGLYŤvTŋJ4knk>6iaKjټh:tl!*H]Ҽ&])Sɜ~'mJ$H8 &L%AM hjD8oB}ᴛ5jd۾JjKl6sfQ-2g3B0B2O og&YT\4F,~ zCL @Jwl;A`$ ^wT ՇcZc)-cE姌;Q6 2%#% [a`)g6?u(֤"H&Ҩhԩ mNc1~V^ÂU͠V:xrl%SA7pk{j/Jq/Ĵcq ޾e.K;Jzn iA7 |Sg#5Ai[WygH2YmhHV;!?hhXȎ-4"*UGLϓ+a\$3e*.۟($E=3/tb*Ύ0Ꮒ%dEBhZQgq^C„BD zf+%>l"۶2@fӁUbƄߤyt -bz/xƾ甑[jRKM7Lee8wIOȍOfy i}i+2/4,6 UMUylytx #1t0fo۲ۇEӬK*'&5Z ۯ_~p76zI%Cw]CU0-bh[*]]lLjڍ\ E'af/GUD l!L0!=P[@\j uE8ȘVu+}mWBx6)(ω0.fȲu6@nie3nzw{\EdabtiO,: KY }b.w}($s4n\1D[Y2?xʠiQN!6vEspRh]t#lj6!M,w @% HC3{G#}ȡ!\lexoDF/?I3 * PeeE㥅$JZYAĄU }#M=Jk(VRa|I'{Y?ܗ5_/޼x+i[;{}mu@5$w90\{G:/=tL_3 `w7"֠hC,vJ] n5x)4 ߣ+lZgSx:0.HIMuO=^{n;dDNzp:@t5BʴӦ9s7b$HF6Bܦ1rQ$J0) zRa&@I1Ydhx1/ ٍߍ<5FY)Ml΂UI*RX~}qRhq}.~iSU)5lvPooq0wAj.Dpw&"_Y0N 6P(Ug{`+=Q&\2,jyC$67*MD ̒8n 1@hx3lӇ`YXaMjRQ`^_iwWL 2xBD\땰:zl"J+C6!*=iyLg֫_&є[Ь/U>8l/ge"5Qܫb>ٹ*tc!FkCbqtCi,FWPOsmƁNATQj&u@}IچUsZ%n(֞dV-L>{s[r1e$m\ }$ nݱgYZ   Z9K' ,HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚M]D?7 {?:fH\wl U|Kgp V͞}{p# tsQq{f8YS.2!36M'w^:v"/fIX.~qN ! 3HQGx§ (\yM8G\]f :IPoEL_6P! =2 爡WD+曶%oj[v^sru-wi ԥlIi}"qr^HJDNxl?O!"ͧ0E)SM!VEm=%/poYn`zb *>?+~GVċ*և#%+2M%v"Qev`}#x ]C1iaAB?ZF<"6%7yPY`@'ض@Pr`fqڦЯ߫cþDK 0.51I k[? o{y ?2啗O׻~:&[I? J++C5<|5zzE7{-Pw@F!Mmyۣj","$4ү*AGDkGnQqL_O@i']GZxDy\mʶ!",29 P%T5h T9NoT*\$nę܊iEq1lV)>j,nm6ʕ@Epl?]-+ M=5Ry7'ԋ.SՌR>e1EeT g.lks^\FMmwY (SA JI]uaWo#E |ȣ/- 1[)D0!b׃)SOePYMCiܘLMM\>Cxygt~N)[&84ۗUX*]3Tp)v2A\ÁfC° ahW[6̥NѶw@pf-zyOr 1MD?Epl YF D2OY?$̨{a^*#>l11Č.\7!}> mzZC nۭ@N +1niN, T{Hmg/curSl'h6jl֎#'z'x&]̓n:0 -0|$y~=$NF&s '!Fr'@gƫ9G)h #OMeQXP긄,FSBsty cPq#jрVg?;QB5`Vg߼OC;8ò?PGv!+| 7pU:j=2'MġcpI1tK&?7x:V()%[ _K۰䉃榍GW ?\:eW6Ea\9+z8Fa8"` Zc$tiP7+>QOqb},wb10}&1!?haP\/,@ז5SP=X/๮ O}FXNH48B"0z2ot-<qy,s͉Sy\Fâ[*FZe4 B! U7A}/WNj 'jgZĈWbBb tSur}ѷ#!#ѾtVăJXkeWĢiplر 9N2aך1uefBnd;uA^;Cu/ +~u >mgպVnE%hG-6jz`xV6NzpºYt;L1T3G| GpqfbVk 7/p啷^FkT8>[%!jg'rLWC L4?eKvbJgrz[I;%u4̤ =&xFsHIni? ?mbtU 珤x() rӠ 1vpv~WAܶW|bFHک!ly@şuO`Ұ@qOU`AOUN?t$5+(TzN]'%U<]dvn:؝H }(DHk\[):$8Or{*;zTGŘ'R=d=>x1^甿j퓽S$=rKȥ-s"1Yzb8Z@zs>(Lo>U8.8ta=r&bAVr`dEY}< }einna5?Ax!\%;߱~ kWT87S \I wC,T=gc02-rQ櫋ڝUՏF^ )0$t*~G7/+Q"k,H w- @agdj6[?dP*%,\"uoݡ=vAx jVHY"ؔvӆ/e㤙"'}v|AG7 5&2zG2ACs.-Lp*Ϊ6!lK| HOq9MbA{ʶ{6c6 bp@X$)ǎ G]nn"b.eV_U.jxU> }`e 5}+|!޴edBϠSP*`*EC3Wj14Sy7WѪ4Kk|AÁCNqO du~3rk>NN=LB"Exf .X"X,D)dEEj>ÐJPō`~CbWąޔ%1 ١ o/EJ )KhX$(e +) 4ZdMnK|ٱ#FYulbQu'V)ƼrڦABp3،|e` VJ"ȕEGwI FCQ#k88LN W=)7Py۞c_kVf~kwx6Ѯ] uFҳu1OR¦rjS KLgBr١FDrbԤ:uΌn5qkÌйµ/Ovϫu 'h5F@a=B;>e*[%=T>ɨf6WCwI2CGINF lp}R V2m^IPByjd-EnJYKx㱁>'O^mᣃY=rPqѫcxZasɜ͛Ŗn%|0#u`ЭxI}^h4u*-:fH[(6vFjC8 ~Z<5$` )eY)UѬ4)]sI6e(ۨ~AyeJUԍ]eM~\t>s X0ޓa;U\[-Qj\F54jo'Ge.4N1"}i[f/X9ҏW fVItLƁ%Sh-cE\$ލ1>+Wb?F( -z@ 3+|7Z_Iz9r>1~;@"e#S-/80` Ł1H%*rMԀu20FzeF;K^_/ 44>|gL9na:} cSi09zjH`7:"pN.#T:w8r^Wo;!4K_`T]t͎_t+Bkv`Վ:ߥΠDZ&@jK]^ szX1Q{Gmn)F7Ҭ}<^jaDaE2TT7BD>띖/Pq߿D}1 &nu! pPnVĠGRZ3e4#KPA /톡% '_Pث$0 K[4ҹ8Г_kyгؼ^@尿T;g$y%e;M% uUR4'mp2I抃E%ZژfZve|V{o4 M<M_ 3ZC5eQ$K]uMprN]>v%=) 9B+y$\ehi" ;zBuV[t;E>  )5Hos >.Ѿbw>Lfiu0%I0$@)kXj%w飘Yf}!E彔*%8Jmg?~ =mp?26v5v,W/Ȗr׎q&bQg"&8=[͔ۛh S:$m MN=t NA~$q!tw#Pz;Ã:xrdQ[Ȕ"-a#ҐFc~ݕN>҆|_R I:¬r tQQ8ٺ3ny0p6J?r'߿꫎sE(ID_]7W <8[ {ʜ텐@%^(|½OT]<+6[ٍi*Kl1*EX{3/Gs9x+В#~e1IG=Iɞ~cy%K!73ܣs.W;&I|֡?>`giKJ$3hM&Vd%GtPMť:|jQAgNєedO'V8XERO'ՁXz^y2,sl`Rv@|_R{:;N͠ҕۂ`Tsg8neBf64u9KOt8XC;|C[$/Ml@"VqZڴpEl,HA5Io{B@C͗ysxC̬t[f@|x;R%TkmGԱ+_^%Ab-MT3]Y^Ή[{wʃݐ簣"z8γWU5A6"ik,ͼ1aH7Ja:`Ng5o$5ut =l_aDb߆ /, ÞDU9p-1Pl,(BHłf}o]}?B~_,ϓ+߱G#Q{R~LrFS,ͯs$"2TFZλnp.Yd"J> gx֑yQG`%`"fI%vZIkDqf;,dq^Xq۹tu <:-!bnt6=ʼ4uwD_71ʘz0Gkh12{>2!Yu# !!م!VA|C֐O1+r,_WXZ ͡HQs0i|(^B"41104u։)Nw]I|۱=Ej'Шk z7t,F) JȫJi妗9r鄄T 7#MXVŻXVB&gi81jXk/!^~X/$. ƫ8ƔuΉvƒow^JQrl8!Ȏ^(fVv[ hr*ra(@.Lj_sUW;lyF453A!>ί^miLi$"x X*'*H^ƸPjF\Fn`s%F&h~WR,\ [ٞݹ{vF/K/vys a4غ׭4MUݼ?"m5'NWVxllGڇ!u5:}gIs-|8 I4.r8/(,2"|(Jl//A  pߖ!bkوN2=#L_sz"^B W"}}ˡPFRp$%?kI#"xsݷ!37AOŵ]T<2]CPpR+1w4QY7?tuSOM 8} SOy[XsiULZQac9U@א8G]L^n W#v[2u&nh/BOƶsqklnIAKNLힶ@r5=|x;&=H*,@'|DL,?j3vĺi\8U*Q86hȗ*LOiQu⨈34vA끍0I˰>T4e.h㦯pm}K+n3eˤ늄[-%:JQ}$lqKiÃ!@f'd>% t? eP!x|Ir@G(;U. /u}9BS$[e4r06X9hLjhuv[^" [wڕuئߦ׊vT/V6Ŷ-V K]tZz0oeSt#*Ao#w㩛_.T L{PC@^ 9FGP"ER)q#/ exc.5;V(Q8Cҿ@ 2MmUV86{^`B nqw>x\]\b@:SDMX^I C&Ey۹Z̃8^l(8-;Iߏ"3Fs,VXC5Zfq#kʽC9<;P2TȰa\v4[wIJ;֑X螚l9H(1aؾ3޵Qk)y;VrD6o0^`wxJZ:IASyi3 L>X4(못 է;iy`\GKgtDB{ײ@!1m:P&mJT}BeU]p-_-;>d&G˨&Nů 樺\GSeOrgUk7͙ٽ!T]N j rIɡp3 lEpv1A_mx>xYa|S}y$ sj8$jPаJS9Ghk-#7S#jUOՅB66r tGɥ~рs aV|lR9Mڤag##øC$@_'R)(Ҽ#éA#e~F/[Z/m Ez.*JՄ>+2{NueQ#)W{#NIBQa>-&I,5>xHj;Zl!&*:~[D@:`mIQϘ,aj0I!΀efÄ;ғefzvhmq|aQVL^/OFzc?&R5>g:J-h"F,SO ЖjznVЗ)xey5j²4&U0boY~=ﺷݍ)<;lV78|CGm-_ulw ǿӑc]J ?iƮ-@3`rieGhkHYI^4Rx,I#;6~󹞻2=|Z1fpf;İ[jFvjcdZ==RLG){T63WS¿G0=n%5 G]{9$MS0SŝvGF *o#x4g</~Lj+\PԏLi)8aJbCY$ii":xjgβS[ MWz(Ʌٕ<poӏi)DGhs%,.ǜTH)RXʰ {DkHNbcYS;^߆W''+ |}E}Tۼ,=Zcΐ4eoa,S=,MHtۖc)71ۑh8vҐvkӉWE.VWr./6% ދsUB#zJT )X1-)oG| > ^^.MBdC;݋j lTnJHx4 -^F\Z1-,f*U߶%Mt@I} {qNWE'{AQ/yF=͜7q vW/U=/ g^9+VczBV[ph*l9|B*%(rF5gXwr"DDFvQpTG馺D{cD/t3y,\ rnHryrr᫳cL2S- '\%nĬN4$ r 78K \&oۋssTg>ZHdz,9xp[s^hm!خ}p!8n9Vi" (:iQ܈j)i_#V~F)$E- ǜ1n,m@, MbeNCUS JVɝ'_Ymh@_b %t՘0X),s I{;o޾@NHO܃AC`GTEжI Ϗ.4 Dw'`tY(5 %S^6=T?P+KKǧت}rҲ"I<-(௓.?~ Gl>ښAq )`e* 5\NW*ˠ<˃(#%Z׮>`zW."0B2,ےTʠQ3oMDtk$ЏB6r=T'':̈́_#?8yV;ci[- I l_loeFS릧~_!gs"+>bufZp}%U|f,ȭJ5BGyُ% 1 = Ce`9Ux֚FT]/ >`@"O?m)R9/rpp #3\Qre%v_`,JͰH L4n8|v٦bkpHSUL:y)]&aSDbHOZvo2=4Sqf3/]N*hP=︭.e2[ pr_nU=UhZP[ȎݗҷL2Ilؘv./^02-Rsż+/K^^ZM)w).xsKp:p,D$ǒ@YA|:ڠGW|\T^θ2(aAtՔV ԮU!}QH<8j#Խ>e^3@V[d-)?l0CM0ĀČ։-NF 6}`@ɨ?-rX;x푌hIH1ڽvaM.*}5 8 ֢u5i V3]"*eowm顿21%AJGQFw 1FCS'yH0@gW60܌ϹE%D!P\$9;>3~~₯!=Mz 7(+I>Et|_1AM K4! ?ޕ]o~+P<wT*P!vyq\ޤizvL$qVB-c y6[\aՔoI\i3k Cqiq^FT"Ϛ/3Po Bx@.`#=(i8CB-t!n,;DnÚ p@J{:lC]l-c/d.cӃiV)}$W z1ڶ=Y`ؓPN;3bVxC3G_=hpG.cVr&/yx,m7Z9+8{Ŭ {pņ]va8;$uGpޠ=zh-=5G)wfCBzTѪY TF6־{I :SGۊ-cA8%vʤIB)6\`\8y7G7Ծzm–>qЂ@<(kY*,=CTZ1Bz9H["l](b;|C4riS^5&^<ו:A;eN^cY.XBl덉f4c):{9]=Cd9|,Ϫ(x+6 _ӮhJhBͷ7Y)V[[0"^ugfso4(o"j]4͔4J I0R(~JN)E*a"3-اb~_m =k冧Ϡm#i0Q.Y̚ZVX~kRvToB`*R&zGrd6T#kvCΞl,Kgψ2 b%(OKeC̯MxSes TtaI&ǁk^I-(4FV>{(ݯk-,ޒ$:ρ'krcZQw,zs@r AuF:-ya,sKL17KzIAv@WX< ЉЃVmۓVtO_Q^v>yaNPin4SطtH]'^m5#( Pp:d@=f+G,(ç&N+?o&5by hpfP}drSh+SZEvHLhc_}  3 Y XjB#,Bֻ߭8)X4dfSbK SH䵜 86w1; FvHS ,4k~qn ۝ Itx2O'{IGD+\+L}=ۑW."cSYa:{n!w,y#g Rbx[;n'@#4Cd#Vۮ+UGI"-q^%a*ߘ,g_4AY^ kI&%Cg}Hu{0\F"(MO`P7T59 lTuȃ2vy_zxji,kk^#v<^vaCA5Ɇ$_ gA!yٛV9A; d 2i;S3 FCxL2CgٴY 59v4&QGW~%d'%^LVo)> Q} j4M"};A\]}͸ xrmN[gnĝ"8dTШCts@GbboD[q'(ݠk>*NP+IJL#Ĺ`5-4qpx54W܃QAܩt&@*)gWP3j+"ݯXcK=VOMË}DYu6^Z:T3SlKQVn|=0{DnΩOö2R܌i¶I|/A+EE YkLOa٩A_#7ehiqX[_\Tm=pSLuAѓUv_{h6fOh^k#CHC ҡK_e [\F%{Rم)%y*_JğlopnJiz/ 1,:j3&`3Ɔqko/‡GBQ#]CAIT.u.bR0޼z 74޵,ۨ0j4#b;[*7ɶ]urB:ү.nS4P_r*f[Li!Mhݻ^75_Y뻢1<2IKNvsaLr($QL P|Z0 7e Lґ qL[|ȝ!ʺ!pxAdL}p̍O3c]V:qcNy׋7+阮~q6rO浨iU#%-ъN  @FEd{AZv 4^ |Su\/KHtOE-޵z+3 ǽ qWd5phS҉P3=AsRmqXLJHUe#pj ƅ(BD ; +D o@פsE(0g(ܴ#7#<  %L [X#CۙiZY ~\"Ə% `%0ʂM ㇥>.c(dIN_8:&ˍKx9}],7E:CĆ]Y !5o!-㴓E ׎&\s}uI* RG/KVs۞r9J6J 7K'N;RmXdjý9yA^/+;=lE|+- o(5@ǵ<8z B7&Y0\0$-ME !MhYR|'n 63dITHivR*Ejh *Cwq ޥ .M}F[ֽ7ɭ XZTD x"vګ#]>Q#9$4 %Wu=ұKm 1& ?UzKFsHb\$zAE^"LSfd43a\&#xSm.BDz'D@P*=."b 2t>|/ IieKP sjB_)G(_ldx5aP8 ztkc3( zkmz6Jp!TQ?kC(A#X܂KzjeKfvLGc@pnqOhcL掅x#r|IzC4 *K$G7˜_&`_h3\g4/< טşE +İGi}2?8L1VwjI>]-jܶp!xG6ƐQT$Q*L)6YC5d;V4(FGe%wg%OEױZp4CfŸ* %SgG9! 7tF0'Q PlI .ny/RgŞ1Y+nGaN)0SB>ӯ.Z[eClOB~;+ӄD? !p1j_/YbA}R" bB$UɴFIM;Ux l70^(iRjKz.UitGcm ePU BZNo5TtJ @dQ B/6MMFH(jm.Y s,גݾHwGC:Lj0IXY:,.; (XC? ޣJ2-rQqj u!tw;]=g{]dȿ}ֶ.fK S_-XfhcͰ'}뎌 \ב%|Ȅf&uo0ً w %s lR Ns $Ŝ&!Y8e ݽf9 Ok>FH0&0N~%X!H립ے7s6&0b}L=7*DBV&Z_~ZQ e++ kД}q|f ;9*ᰜ)=I!LɥXYxa!"yj?.mhb*c< 6'67C֒4d=;4߶c > ]:%z*k&wNzBWX20H֯:w'Xj].!$MН~ȱ0xUFP,-$'+m#zY+/d= ?v h ^̤(L!m\zkDBg:<{v?Cy6@t:PMeSj*j gGLh(#QVm;A:KS-<j, mqv9\^8Fs$AhIn-(ȄM: ퟠqd-1t߫=OWj>A$/a@鉔özUj(.xob,Vdad+\|Zpz_!݌{ظk=#D  [ʏM\<]&-Gg`BHZ|F й_DR^O昔0Jfe [ioNhj俖(&ex$=x|V_M#3m=*cˣ\v{^!ˊqƒ~9,CT+䦔**+hOh\[ LPt`E]9>(oH&Z<5'HDL%Gh |>?={>o}M҄F9=iڟ]{Cfh[g5XKC+AcCiڡ^~11YN.i*1僗L\z 09C_̽Y(ぅh8 m̲r4&H⮏@tL"~j6>D9:6yv`,R#sM*(A}H)㞼DZoa§q ٬,p *'t" Dz!6(Ǻ".[;S;27g$ HHB/[i=B>hS# XZxXԄ^[>-v_nqy{nLcXҤiTᶤ'}K% Ȳ!{s]sNކ/"[->eɬE˚;|ə*&Ivlf.2e}x!2+`Fl}^c.IL3xGkRCn3]*$~kgie7 bi5H4M0Xn[TZ8RO|橺hB]`?*vݱbPւ\l J$psU^ 7sjluf733d]4mhK(P75 E>_3v5S1s .4n}#hC.6Rdb`?Y>yuƗ8:`X{J{]zh$A(o~!$: k)yV }X 3Wkc90v']# ' zUxP:f3^ک1R34 ˮj#w[U !]ɨa?ixXe6DBPX!d{8vq8h 62RѮ`fúCCJA~ӸA)1㐽].:v'u:4ADѤ[*VI|ứ#>]C8sj3+6$)\MիnWgG7A"p`>@;0sօ!vyz"R!>(9zAR!hxp Vmє L8RM2Cb7u1o3D!C|XziB|M!-؁mjxa&_i3CF[ဓ; _ X1a#S8ap%>p_,Nē$zh/@?@9Q|g(€F!utW>oXbBo*]Q3azS7 G|^~4?j5ODs3kpOǸQ2Ӣc3*&8%ُ$\ʟzl$Pg,Jؗjn9ncW# ,3Bl){cKĶ_E^k N:7^%.}(䥭G?ģlV:st'į]q}ԫ e.ɟn2C ^'J%r^(C'h  [t'K jߺÀ":h&txP.tY<9'u2AM`cOI sfҹ2ۆ怌߄pؘ\)A}<$b@DU%Ηt?FX;:mG wPn N;1_ OOHg9ffMR,v7ut~,Yz})i.8uPxn/]Ҩ̊gb@^ .qo;c1f#siY&1R<֤;,J4CہO$ C.B;lȴЏ"hFgH<\KYe+ieD^~NVE[)/Wy9ZK{ OB$JAӃ7kY&c0Dh^&Pa> Ps,.(g:[evYyM@\`H60؅5Sr Gnr7UPAׂt -pp B*[<ṱ-Q 鏌xClb`'3lWH"-GA2bnqC0A%Yg)m|nJ0T&r6c(kMBւLNf71/i,S&xh7eO8pbNtΫ|hdtE۽f(}?m/u]hy?7|Aw˅em we%5ܖ̆F >he㳶Q9gR}x4=q ^Kgi#E/L}U]傳@ F y_T R>o8Bp{/V0 ?TբLFޗ^i}4{H4B0'wu D__"p+HםOƼ&a>X6WX$/u4g79&o .)'dg"Y xBɷt %n $|g+#걋^A*D<3e'R(em_ #GPLxC8ٓy!C15pq{w?ƮE"\KU. [A{4+%޷;_$I&}Y۵r+K(؝ט0 v_; p>pOĭcUfndyy9{q=O,;{ EVJ\v,CyD$ Wȏat6FR*5?D l, "zxhcK!xB9D aqpT !wR×i Z6gk='M !\(I+p^Di.NkR1IU~଺vsƽ(@`GjYR 8d-/L5agX@1O@=}YHՈz:g<6^up%*#wrF_.Lg%ͤy5t`XoB.A.kN^/UPX[PBV0!(j%FwpDsij < Ń&>$ K($2L,?u*~rjo.&5N/roeHD!0I3RYdE '7!^kܜVyn9[tpvI 'pxa^B([HL~$[GB@^<û)I ov+ײŏ,>;,sL"""y~ZGi,[NEM0yvvtQ6Sxq!Mp-hHg X,;^(k^uɄv޸C^|cԿlooTDvަ<i;z*ۀCF.k`Q6v A- wLN FS֭SP1_*shK@9Q@MO}V'Ř}2hsc Lʃ/3Ƴ83l[Zqcܚ&ʚ>dRڧq](+)Jvo*Jǒ}15XJsB_ >RʯS2bꖼC*; l.0m{s-Nٗ m@t,L_P/Y:~?վy2-^0Ou4[=8,6 9C!FK7'Dk+ӀqbdD"[(ɸl') 0y(`: 5(1 -5`< }@^sGawEN! I}nɆÂјv2jj!8/=vD÷\ pEL__zFY9N:ħ=MJ&.Es~SM(bUiIxš7k )qjL˃4qE3'nrcsc|z?^T3kAvkF~o)|C5c33lG_2[ lKj|DaU{ԩqަ%]eBݮm_^m6XgfV~EV騬#_.])碍7lf[ 2?AAD3,"Y^+Nl .<Ŵtf uz^",C1T6/NȤxn3XF%~ "ە gv{Cw bĶ> < DTLgfc[z |KUj9P PS) §6 W)Il<^U+zjeнro\`Di Ʀaǻm7k6tϽ*Psvq1-pSIhq& Aל*)Xzu%Y'+ x H ze }Oկl--6?tm(ܰX9!4-g[ }V{H;5zP4;Y!Zw/=2΅ި@s?|8Wm}o`L3 o^s[bƼ#èx d'9mdl6bɄ$$/_q ¦H2x~!C"UY.7!aB)pv_?w'9mѻ-t]S5i)D}wK2&Ua^aWbI(sr`T85ݖ)RQy%HCP%heWIm\$p%{+4NbL쬱Ug,^zݯv,Ui*5LgrS{\`D;fk:.ިp;͇ؽ7 jN/dQ%JՂ Am^x^?C#yc@rwP=h1&GD&/rPo[p.¼v*v^-g[ ŎU6 g,lQO+SUڤ#zMw‡~v`%4u趱Ai6L&bH,r[^j}YXJjxb$uߩWb3L"ndo.YSoQMe;%dBذx|*ip*)2paN$g-63bK+8@ ZC[R+NY3G{|pA%ǽydW/UU Ybƣ#uSF NՋbDL PݑyBIdev>+m;p.NC0{\Ƃ8t{󫊩_C%]VG"9jBFB\Us B0.JH.JƟ z&ش4}U_X)/X\yiHnU[d@gzXU- bQkMu|E^hڒS|^}9mpkT(bBMi҉kJ6tv0Q*S~@q} h+k}QpH2si Ed~8;Yr'RSfkwxg7 &#j:%?IbX)~c>P/8De$>W%|e^8̴ӕ.+8 .=gQ[Bp3\Cؠ.!:q+{?؃k kqƠH9DVA=2K0)?HP5ho+9-1t ,akAw^{ׂ~ƫ95nh,ɤބo"AT,[& %3o9% 7V7K)/sZ+\ xjQ-(]yJDE\ ;7껡E mHJ A6g=FѠψr jQ.nz^yOuvR/ޠfW `B!ʻ2M^YZ⤼)yflwGQ̀X=;]ɾ1퐺~:zo'r~!^h>km& 5ӹQ\tհ4fHŁs|k-!i܎i;uV!(N"ަAz@'s/Waڳ[B5le \n15[YԻ!U)BtVmׇAz7pPIKFB7 =o{Md<Ĺ2|VS:-qqְl fUus TJaJ)ytc¸ 6J[Yrݦ\H *k˜}&xXt@B$7iHY&l]_ KāRZOReR݁|%tEvj ZGHQwု;X$ 2֯թSZkNi2j1ܐC]Eq|d/uظ 򖆑eμ_MF)?1ɑe%)q![w8^+G0E~Ґ&ֈe#Y5[~ NY(ygNGd_Hq= TKPɁد^QQP} ,&n-@i 17nDyML띕6c"iGDS2_lߑAӲb:"b^Ҝ5v=O'wZh <^TÇw9qmI#@1fQfE7oݍzp,&w%}aas[Uײr#;EۑmESl뒁\pfT]j,i^ܘ6w~j;kJx'oUoU<཭x]j( _ Gbeʧ,UgbQyOѭV\p#=IWɇ遽t.Byt,nܡ=YJ^)F*;R&ߝoaVBccex6e8C4mV^YDobD&i !.7M@MOc/mnOCywk#C^}M['<ѸoCJVQh2~㸾DkW^|ZiφXϾ}-v2@b5د[kϷt} >hvMN^E/52Z]- 8%wЀ)uW7PªEBEl)j#^[=D~4?rlmd|v x6F]՞[@bΡMG*{S/:Fb#Fsn L$z/QoE%mvڌv=O hN׃y:V?"Q Hs.AWEu@ׄ, |og,C(éDPą[rJ/&MKk:)M8P˧s"5YtʯqrcmgI5WlOY*ݳ'_/ ngYZ677c666b5c91ce64c21168079ee0fc599b02a39696ecf35e9f5cbdf8f83e1ff7c688f194e3fa515a 3553617e6f9cd74e9a13eab3e3ed1fb7bfdcc676 b1434bcaa02c65461366761ff321743a2e939e3c