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 z9~\4 ] HOL-Datatype_Benchmark:threads=6elapsed=536.321cpu=1908.729gc=766.4857zXZִF! 4e]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;)P]c6{jҥN[eW|@'_Ϟ*LQÓX&kACSό )h_(btflQ5PbگQ靧@dSAK>aȁ TPBR=~.#*59"ݔ=qoVgX/nT ^)0ޭc(mDu⇄\?_[ װ+~Qv][dmc_΂80 i7`.1M'޶Mg ҐU l ̙ wTQkڙ yƥAmzO~& %)Pix;b;o$d`c}A\I<瓫ٱE^9ӺbP 5Uyv\ Sl&m +Mqèhy@\uoP1vyz)9C.hSѝo@%/A~/b/FU߯/g Z3@:|a(2m-'b\ǥnO!Os$- {s]atȭ2:E"CYalk(6s `ނ]bQcI5#hpᛤGZ␪Ov3[;r^.o~zҦ+M7G-JK vǯ>R@ vD˞: $QP-o'SKa5M`.GѬ|QTyKS*[Vҿ`6PXޖDQAnBs]H lxXױ1KS o=>Fgc-upu>5; &Sj3Is7>^w8JɎ(_hٟC1q]1Q"Kܩiv*Sd{t΁9TWa~b8o Zp(MkD,laA; ,Y>Jå iTh|I ɣD)"} #o}gq@>2–n *\΄8Yh䈟+(w;|N 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_id514J9K7 |HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.tex7zXZִF! ]A-MՋhvG"uIBm51FbhK#|Q}k@:9Fg[ !#J4GB{ ]drw>*"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=LIzIJN63}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]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;~:[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*gYZMkfv1_[{ĬӬW~:QMThO(x͆UaMe9uZ02c6j*@${w.Dam-%䊿x!R{x+u3ҮmQ;˚‚9Ǽ`iAJ?~Ԝ̂g"tB~z s~S1VD|dX&X'5f@5"*p#[,Z )3XWs^Z37^a+nlRVT'tЃ~3A66]+D0;&4ߋH JnvKO5"-I/2brҍ3hC+]Dr7@~uMf% 6eRp /un^1i"TZsCfؗ+Ø sYBZ<f!k(^,LuzcYb`}w /p:`a%(et[`  l^Eg,C$̅*͈S2?lYR-Ɨ !oC :Z$+YE!p41›>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 89}=QR[~5ml"VWΤR oJ,1a QOfK rp'3f!!zXtۨF쭇&~Ϲe,:’vpH\|&KZb{}q};Xa$4BE648\U1GK2xS_Ȍ ;p@r;[^E >k;*·{AsDzMd3oJ"1eSa0_) dZs`)nNh"_+ `_o] 4_9܀, BgZM "(]݊F+Ԋ֍Q5>U}nH?lt=!guBUS<2318<(^ (;%y\]Zgpl1c ڱٮÔ[Hbt5}T2E$AxI!H|"h| ݛ rjwZQ:Pz)RQ*DI+3pϴRW;8L2RE d[+CX,`eV({oo}meGC98TXɆԛHLϖ+$Z mF’6g95m&Yuqĩhmok:bjDl$_4$˩`-A7Nhs^OSNPU*X?h߭% 2yS7Ũƴ)[` $)OP [*$ pQ pj& 4 )OW =?tɛ^Y+iWҗdCD[d\l#r}usj2oKh=ڑhI/R'8օc*}Bkl!cETZ-r麯ލsмخM͕\WYekr-6rp)P82 q GRy0}ǹoBr5(ԚZNxDU)TոM_8o5ͤ{6M,tH a%?(q@b >iޚDW lm#IV3z7ph-PFW&ψD)` ߈w&{}u)'o%sK~z rJ0VQCm8L{ffwNG| 9O"M~dtAӑ=ƍq҂~]8я$O@ַ#kl;XgAPX!{ɦ8,Y!u 1#5T`+bP!޺m J" nɄDwo3R<[Mwcb& zʷʂcۦi͠1=CWbO pl5{I>~%DK HS)i >?2;?*|1-~OVtE =mAw*Fy+MwFSo3pQDXDqmȱU_3ߚfrƈ_5Vf)[\ff3 4PRa(?m,=XE 0oD| L-h-A5Hv Jp˗.DY8g=h1ƀؓieJ9\̾ /LgC%|6C!33S}rh(5`Z<МHLP)m'*t1E+|XbmnqrNe㪀D6C1-p!K]4 B}R+;:k,{hVq ̘)<a_%WX=\-'3X@azn3ƲE10~EjrjKLyi/.)#υ-{.xUQjHgw'Q㥡3|S/+!4la;c{.En5Scܻ^ףBǐ4kONK =A/S`FyvjpiM\/{f+)k|oPwW$8k1i޹mm3]0K차Tfw}, lq{-z%C:}Pg8<VÄu)k7HBEw:,3\5qUSZ 3Z*r[eAcsi #肽A+"YY[C4 2@./F~~ѩVҐxٔrfAJbSk^M0;-)Ж~i_;(a0y]P^AQ,,Ϊ:9c/+-],tXP X&yVeU1 6\wxqFbّak$p`V=kV- ||s6=hg$YൔZUP]p!s,H'ŰCRB[oHtK8 PҟEN&%#+7kI۷1ם6(6nx\Fύ;?"}YW4c;L9"]/gQ-qYB +K"/qx5qE¦D1&4}fOО :y礼æ4~ˇJ(=,&P&B~1p\ZR.ƥe_<lJ|R^02X·0vn\+:-t 7R S!&(QwDq]>n ~Fb.Բno7lqq]Jb 84h(t(]P&6~9Jr)ZEPط(|cdu 6tZ|gh}Ɦef?VPm#̛ot2DI47I2ǘdX./VFfЗ_1wrb+r5bwg)Qax7ث͔6>945>&uDU!k)Wj`" .Bh@͠ j`9Բ8E.k֝[uĿyU: Zԍ~L7/t蒧;B2<"{bl('7Oxƽ!9/K9Gpwx| ,9t@R01ӣu}(j0:O ߣ."S94{LxD0?o؃@M{=BsҢ[ڄxӵ6J.w02zosX@^]9 ?@rQPǠ+ĽI$Wws!|AF~bb8)*9%la)p(c% Ў/nt&V?τ '_bmPI;%䅍I}"7-Of "(F:~W{J] 6N(Wsyk"ߴ`,1I26jOk: Ew7t쐭E~`mX(hwRX93n'4%=V6MLވ|; :6^=΋2~?lBµfUwwtw*Yu)!dy1y>4o.*Y OxP2%<S}"N3jbC.O ŵ)))z: X޲CcEpVSEoJ)i-K.T;YC\=ԎB]Bؐ;43<d4_ZC$}&Tm][MkZ2v y,X8Hn b[Bݡ%33Z1F\ @Qj !+!}C}00EY3ҁ wP& ՏoIF~\?m&nw%˅¹y> @ŠP{ '>%Z H4[]x=σ?^:<\ ::7)E;nw2d"?>U$-29јug"ҟ82CZR/?X #  3*23> u5s`D́ rQq&ݐ:Қ5-3ZǾiMoܢCXD$$ki0ZH,ӎ3wˣy;x_~K؁,g&XP=&ZR40G%~eH|ẅɆZn8Casp?St#bǽ0 ]Eaʘp h/L=~ޚ=_\acT(3=IR~M",`a)2?b$=B"OVm(2r2q|(3wJ]U<]Қ*G`͆1`Ħ5S){WZsd$0*B"*fhy 7<IθaT`<9-Oե]!25k͘ݖ@XQBfxG;E1c87 -"]PKӢPZމod$SH@=qW~qEl6؉zTEtRuiqT9*qs"S4 ^|dUAxк\\` "b"KJɓ72DZTG@( 'qťVuu9f e/(99+p6Ab hE iiZieڎ?soq^] `)O\9)t[(,S`,d[H(foca<(E89j/䶖 tTl$`Kn qqt32 }7yrf9!lmin| `3YFvi3&1//4+m$=' &@yGH3e>7fM\o1 QFѤ&PB\Bk_FD tXKŭ_Ƨ@nNGJe(mXpZlpQ1/RҪA4j)g/A5D2(ӱ6Hm@ax]Ur;3.z&hG ˈGZ5PAkAM)V˜/&9'[;d. 8QZTKeE0p+]1.~j;g1T Jg$b]kܤϢ%g@b2*e|y<g.T\KO%-.v!^'˞A#+ޣ%0~bw>"Gaʹ{:W31,Oxo+Vx-*2)HEAcC./O&'۵߽%5OtxX$ zV6[6>) @EJ֏gcsT.%3+O]?`.Z*8IUƾ*gLꨜGV,,4߈E~yk,tT! .7im4GM^-$E臆qr Ba@'`r*"VJ([W>)l_QV[gj.cvFiU5dI(|kbPL[4,4mqƏPSv~s:X „P#%+s[#a=<:*/ ~kڞX"0:CDҡ( h) ~beL&1Rs.z$&Yprg# mx[K8(5wH()U߀yDzK½#!WLPR:oyv3uI竍y+ei&jM"XodflٯP6w?cu&Q YjZf27R ݘRY*8n4 R@J%>3\e0j% 6/yyr 9|X7,fM:\үVtE^WL =bvV^yU2dfm8i 7cu7yGY[uHN|1pjx8#gX̵?G6 VmVA2c^BDȒٿC3j5BeE eo8?"Ǎё }ad[0$fxz- Cis/ .v/\+-OfGq$=`8b!)vuznct0=ɶfnLM#n4t qM͜jF7+ t\H?nA7#ד_3]N+쓭 WQōhD3=&ZŗhC /?O|*٠+I/Wnv]q/K]@%j^qwH'X@/^=J',-i$}:x|.j#ӘFmZ;byq\LM *=-d/s|?|_dSAv} A }~?/tߗ_\d~s:c%Fu.?lDFOZN"Wa|nX9+}y$u+I75+-ﹼ?:14jyp宅 o Ԓ[l ďetX+t=%<^"dH g-HWń94 %y ρ~im[,iNbVxLYɨjDU]Iu`r}\c\,3_hYgP*Xd@$3IMLz E?ي?ASO}P38C+>+ɺ]Э\?0j^+x,+ + aMe2]͗ݽʖ4O1LTJ΂ $1 iH﹍P1ӡhSKxxi{E 8`*'ۤ4nI^nAFD)(D=Bk8{?STl` !SgGovhE_%CͭD,2l(TyXiI4dzCpCVS7gݛo3 P8wV74PM..*ea5Q`~:#tl{49Iɸbzx6E~|B2Sf*XXir!KևCO:^e7ϋ_#A6w(nT;wG/WHxT>w &r GG*Og vIů5OC@d0i#o9S8 p\ˍ[#FISbf'3/E>'!]"~7^UȖ[']-L<RbЫ&] 44+|W}VROrs+YlfvBK~P-<oSg/Bێ'J:FJEiTٓ_>h2j1w dR^KHpkCu0ӞtS Mgb<ݞ~|W$^G>'60+Q!-3T@baq_j;=U"k!5OEW& )c/QQOq_]ApXy7b8gUٵ WvJ*U#mLUD5/[6`&ZC?pn&&{)[r I^0Z--<5å!xѲFI#.,7Wb䦘ܚ α5@b5d`Try@?홼 ~Z;{v)Wkg%}zKy~ R,0f!&&fT(;"z6_Vvf%.G-$Pz7HKۢ0Pn^D3`nb(LYmܡ$T¦_r[uȖc 8jOյ*ڨlL2{(~cH`H|)S,jib7dT+ڊTNy fvb>7Ue/Q ;0ٝ:[T7uw!3 m/g܎zZ*)Ivr`(K ]H. 9,_r0Go%ף Zz;6RxWi/N孆ɣ$Avv2NL`ΏOE.Es;er<,'K)pZډ*V$k﻾Rw+t#J=~]ga=`,UӠ~^䕩O.50&:qV `i6fi 4/^ 88 Pր8bO'sEܢgʐJs\hDM5?o[Doc#u'Nm@ivK"vMk!hv,T"1nBhZA]u@v;=0퀚uVCY6oXE\]"fin!kH ,PBOI! Z%0w] C3{8ÖM킂d xRhH 7P 9P? >ַ\Ԋ[8fJ@^lDKqY[VF8VEJIϒ&Ňݡ+w!h oTl`TDe}geNQm"vM9-A`'*b v{L'9Q엀9L(25Kc J>nvg>j FfByv.4oKﳱRIL9qax4x=H]YK3s%~UJ 'ʵ>XԂଦ5ZsA%Y{)GM|8:ACӦ?) ,>d n!-ͽyn9i6;l|f};Nq㘦 %wdj(u=2JA/b^?9]SB^".7:L^z%| )EExFK}z*NlA Eb*clAw'Ci8t6[>D0Sy#e=[v ?T[pnfRFRgD|W=Rn )VȩBgzw4~ӏtU!<ʬ<㬴>ji`EьA R ct](>eG:Ge,2$Lw1x|/".2I&_y_2kͰJXbr>۲dDv 0[R-i+3Tr,\^.K KB$]/G]HC"]GM ~bߚ/{gqel#E3t|sP2;F+$ZV~/rqLI^MwMVaؙ=qt~I&`X{Ʃs݀;?HP§sz=i;LK.$΍3S?Bn =Ƣcs(ʪ$] 45WFV- ëquOӁ']g 􄄴#D \Z |WJ*A(=*IO{'ta0o\ Ɇd"VTQm C"d6XcvG G +&T":6?,̓Vߍ$ʩI!%{2@v7}$R\|%$/$ha5{p*??65v.'?2LSRa#4&l 3"߹7J P|p <ΌM[G+1e! ;[}XTTއӀ~?IDPgH@ҏ3k}\lNJzf2,Jp $)B!ٵ"f?;6PE9'C/ 7I N)C. aPclJ5Wĥ/tk쌚~Ifg`-MlHhf.xf- >Jqau=P'dQom\~ƮJ0宛^:&22, ^(`bZwm^؇{rp*m&b'r {/^nmߡN .B``W B_l%䷺_1+6gTk%K#Ub}}o̐t04B:qpVg<° $4DɼҪ]]9DsBL-3@g<מ~F&7Q~$)aG5.2n.wJ{)nٛ\Ș\A;jDZF g{ 72qa{+V,#%(mW =}(YO„KpȠk*'OEԲ 38W6&iW(aD{yZl%yʨvQg)W|;)z̈́1nّF^B@ nqDjg>&,2D9dzTFߡnz[tFRk]vѥ?(:'$g!zi xrVnЮ'}Z->4^qssUǢtS)#)yCN:(ҲOArLMzl.HKuC*"E_SGm7k"s>7A1zԓtf$OS[U1c`mYNUKje_<~u^ru|h9nΕa,±us@/<_X9A(pU rDݐ崣3G6/l/xiIӗj>2lUBQ,qH6&=$\5U `]aSth hNH#;nydH! Ρ xfguz[5`O[zL]$9Y#NÎ~/`Ω~ᜠWOt]Xﮟ֠"Z$ǂ)/Pg#y=o, X@B(XɌxƳ-TTFj<\.xl?+D5//xN8PEIH5q i-L njS>լ* ȃA̦@Ko!R5ԄICPnqMHΠgDsPa*zRl,>=PELM>d<nJ~ε Փ3?3R`\_! %?IkoП=>m~H(-yZ\ YIAr.w^N߱ `/\;Idm+x-%e c2o6H ޟ?EHLw:?fydДօ "#yqS?WD#  *kj4,V"y AU.6*pUpϯ}*r1]M0]="qUg95,5>W qFO IR_NĤx[vn#&^v%pZ/b V- x [R//eF+{uӲX\\Z?dcX-C&+lK}AzTI )2"Ji0ξ.K^ӾbT$bQ)6\S!18&)0>rxc 2W] u[TOߙ[k37Fu⨞@v4}bq֮?A G|32$28 ܶ2-7+ LSb+j[.?whr_T ۹ũЂ2(Q㗄/DwJ9˥:M>OxSE˗'Yp3[8jѦP:RdfdsD}m_T%4h͜I%&F %XN5#g"ȕ &u9)%;hF/N,)Zy8#2%P}$D'.u\;)*;yxo{2p#}qaQ_U| 9?H8U5_&װSNU27P㇊ǬBc:١G*cӊ76+Lj#}ثҪ\T4U eмN F`YTeĽMɨx(vٚ{rWkhrhMB!zmt[ʤ>3hf|8 s̾R#p=s8q<0en9'WR,+ @ kո#v=bWC} ҏ={J&/1#gT&걹 T_n-NTz45dpP<OV?KW]}v4IGM9\#s98L否ce})^|9 #CwUOw0jaIwd$',Kt&S4c09GQne!ؐa9m YK:6ܓ`2bƩTu(7Y7)e&,Bebgu"=c]tH|9}%$t rT=ۇamUH *BEB#ͺ41Ƭ2  Dc"iCZZUίrʾy ?_v`GL]HEWSY\J.ϲLi.8oҐCF jvHH;IZ'EՄc}65q=eYwN }崌R"nEHfζ+Ppڦ>qb¦[,A}S% M%rӚ%Oi֘c*&M0SB4ꄎ)R-dq_T$Zr=9=n,(G H80z-g6Ef96bp=p&iCTmEgQT.&S*JRv-D%,‰* n': ʨ/|VC6H~[̪h)rNp+~JA7u6 7IxC*"3]SOjVoө| 73#[ݛtׄ 7̻XgD(ZqBaqLOOT߶>)jsiVΘ}!v+wrgҟUs$jq`塱7\pFWq{pY"ȩWW&zoFԢBW  y3S=!lU8XČ&A< z+dM#n0{b2DI:eD .y@ \Vg9h?Jx؉CN)y28N*3ZsnupCtm#9xQCbNX"Y7_,pa&/10C1eds~]^dΘwK*L[4uvMnlTa0!nQ OOY{|\~5bveMjj^ɴ}b'z%t0GjWRn5B g-uvQ=4C3<ɉE[&*RgB%c7NMS"m)]µ⤰.,sAL7΃htG@ 9Pc4;*6՝"C y,^gʫ{Hd;1,!1_7v(dZo dh{\)d~.LUK#Pv^E>>=E}I B誅MLLML:/g@$S}iPHTćq#҅Ju1[TeLtW\Xv|}ܵ72J*1x"=?,_֗6Zw,ܘȖM8SfӂHOC>j>?H,JKlu!4wMo Ĉ2~ zEc5c)STX@@*H(skT; XBj_}y7TDh)dL\_,P>=_Ç{E̡mjOW{Dnz{mώmdAuE*k$-*)`dsts_3 Ŧ  *A}=vZ' c>H條 ZH<%Kӆ>vFZ}&ۑ8l ^@/Ѧit;Lb5|S_][Ѭ'/VoA&m+"[~&jU^tP*\Lb&w%)9|QYΠ1n %a.۸\ ec (ZͫOvw:%qjs(;_eyf@&qmKK(>F}GH$)0D%63p|:B', [bxӫMEx)@?7!&ET[,c9+z~u qIcKO%,R [?yB*T, z !?l2'__ 6qfF`ջI6`ҼIB}u36'.6b?e):{Mi. [֏ܒyr<`X>}SK>)…;!uU>XtBsiRfh#g~Sdѓ3x"~@~n{Vc6,15.9 ڒJNPu&>@=e/N0d1 4oz~?5D0@~e8{n^ BI:s:esXTq7SؙTb:FbײX|SRp#._(ա>d N38?t-FׁR[HW疪8=%q5nhfDUjƢR OÖ" VFtʓ{|>HŽ[xo{)o{ Ҏ`!U/CRW⡎Y$H;`.c"_"D?*tzZ~/(t܂d\_zE" 4}#sOJ s,022'c;Ri7xӶEsA:#jJ݌Lh# DiA+U;,׎W%6[-gva&5B肐5fQf &<-Ƴ)'Ewƙ$mOc/%\rq#HdWխh"R֋(Ti#.T`h~.<Eܰwγ< o^]~ǹYFHX!*Mr` '+cq_opv_@}r^Wܟ54)Qd[_\99|UlZ"'Zݯ?eYwX~ 7~d/%Ԧ$G|LAȟ湈Js;0gfM{w`dIR`6JMRV~m9s{*؝I]F^d],j7fMI]]/όexuՇ3Ҕ*̀yyJ}{W1,,"֋nB(Iꓗ覬3d0!N$0=OWyN.aigu`і81(P:Z;VܷۢD2`>97pN~QDz؞ms)TERGi̊mM[إ w0N/uЉ3 /r@/(-EY:Ĵg5K OӻY5+QD8Pͨ.n8XގXM{GsMUjHV{̈́-e-ʳlUPG"  k?] A = OOä6Gyh9t]Jն({@R-bOf (h8EZr%]acN{O $ct]Z= Pl BGeiN?=(r}[*+8Hav0&|cT3uD\7uѹ-|2w竇I;]lpF8 &؄>Xϥ$GlSY/q Jl 6!DUIXH0px 3 F95@!TKMȷy 2Y9Oj$I Z`Z ޕ?%3DIzο1m JXa^>MsSDc!Tqt8?@m:/-*E"ϲ;ڳƼh0l3%N,H+kz%c WZ셍X9E."hv<78XBF&Աc.namFJy 9Bu?NhէGd(~2y'fF&t+̊;Σ 3BwJ _;C0[e)k+fJ)F$H$q 0ݨcx!L{~_1ח-D EUB2{ @.TB5_6k K)^MO]x z0Zjۡr \~,Σg`3#L$)um"A?_I֐ b: ]ҔtrٴyP`E QTm,.\oirMM#tyB.0CLV-bGHM?Q<2VOV"nß]*1>ڗC/d"B2(>;4r•SgF@d UB\s_0 [8~ RDZ?Δy&TE\hR+HXء0_e\ѴAKS;׭xۭLA0gIYfZ"W2e&~ J >\{|i%4+,R(E5ay  N~&Yq Ҏoٷ}1N +5YLK=â=Zmٹ59! E ㌲8R #/_~ҁJVidQ~^=Q:8(Ob| q\ t;dٷ%vW%q~e $O]&E>4N;X@L~"~f_ oS:Np<^'O{*H c# P[{fOU(4t{fmG#\sTH(z4ηk\9_|EW#[7F96`oYUkC^Mj\N [t':lٲ+c8.j"2QKns䋿ӕpYmc޺RV5QOan *9.3 laQ%ʻ'ċUYɣՖ< /G˷'To Z;h}2 sK\y>}f/'-H/hk,J?'u,4ݙQi/Ft[o1* ~k6pYr$ٚPӠ$opc\DƐWfE*W 1q6Ch>IN!o`~c*)\H锹 66$ZSEn[3舆ouv_ VdRx~$͊WO$L54%Csh^l 7- :|i-.fjWH#qPk{&XŅ*b)= ۚ@)ֲCDd睼rLb{!ltt%gi'Y"-nbV68d\ƶ`#-!,/ [-\0'fCvCEGi{Β}/n!5!+O 78_zpU QjLkNj.M2zؐ I=MEJvOWMǨ>[e{&="2N-EB֯I<&b~d"} Qb$Xdx-}H=4^2 uVT_`OxͧINE@P>y8FL!y8k$~Lȉ/[uMv~dd͒]uch?QJϢZ+,ʎȦ){Qb @bz wHXWFhN-%(g#w"z眲w>ltC# W;Ea1^Nz r0Ḅ'ۃRǓGA vc~ 3NW$ 4^ qPlɽ0C* g?'Y#%2vV7tT:pyb ㊡<İjFk>I6BU8~ȶKlqWi=vey%̍hBw Z4=/ԴE}2.kRw,P8mlJXX4!OAQ$ (vQe⸺%Ф=ט;Ԩu[_vWGH ~D4Ǚ,#?>r4_TtȼWg@O<,| *skޏ@#)'"8ia:OX@u,ak:nOR*֩Oz⬻BoGk3 WnSjq>qm72̑iHI9 Vm ;Hw}[X4!(ԬgeKQ*"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=LIzIJN63}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]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̾,^e2dba܅G068TtǜX  ).Ƃ(cx=EqYΓJ46q>y cڇxK9q.#PN!~0fq}ԭYQHE8_*%Ap)~eL}_i Wو%4Cm{ęk^L(cYaS/~F%#_ BOkt"bVoi' +oړM@NJ1c?%שQ)F(zW*$6 Ggtx--2rD[d"4c9=&Z.ǒv`PWMoÔ$%{}K<'8q1 |_Qabsס%@8 9cK,{* g 0 g+ئp5J]QO-Ebm kxBz?0U5fa/Zals3w,>dZ&Rtc!ա^>oS}\9bK՜ Xk- %ܨ4Z(ؾ@vZP5d_w6 01G[vM!YJ%1>(M~3b*ZI|5o_9ZH9U~Sĭ<9`f{JF]a G!VR(z29WhQkmJ!OGZY:J() C͟Ljȗ,7>g&öe3(O>=,Tֻ qܼrT)$;䭫 L |5‘)+-MHl՝o gM\˛P^ 3RVKsD t+dh2>GX%Ph;&AW xS(cQ0A\Ze->X:OSMt (T4R160E!,~>^:Pe@j%G8l+%v6[Ksgۖ%KĖ)6 OXKˆ9 "CtR9ޢE` 4݃<'܇\^/aaH敞t; oK57u4\d_Gt?n 58g5vND-= M~*4I?Yo.)e)Ρ#,+[E7@۞s2d88Fuqݾ%jR5Aɲ-G>הy3ҪuVRBedKr?j8Ij<8,&a Bi[M?CbKWV[KWee!gYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id51269K' dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪢+]D?7 {?:fH\5Omӄy OtTi)`OMOɤ?995+O$3><icY!ʼQXxOϭ+'6Vf֙4[>撨qe9xK%rHl#^ ^J8`|Y9tfLM_jܮB6t6-x&\G+Ւe!N']t0cnP|ՇG ,i<ЗOw9J5$Rbg [{ڠ qǽkgbxf3&!xt~Q*wFW.NƓ&Gi̠8"gP`%p삝9om\t)>+.~= 5#+#hiTZĪtWLwjl?6 uūiXW6 |ަ=?+nf|hڶ`ykJUL7A\ _a W4nrV"4KST-aԘzg`7q ա[gG+~}^KU& 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 ~TѢ}=gJl.#lC}y{y;xe{M,q*b8sz --tDN;cq>n6EG(Bڠ\O `;|Ύ{4$a*1lg`]7_R)։ix/v ͠uR\OfPB xt1`m8~\'ŽAgm:d4Wʣf/7S+(IjZifY|$3$>qj`ʖP*@#Ub+K'@lz!^ׂ?(Ι20\?:5h+#Sgnpq\d]Aam|DxSԛV\ZNJ_Tۢ८<-(kDzċݎX=OP$tlԵVJH vHWc|Eu%=nS>V7OD fo7#p@R jiX̃'l4uf iբPgccw/vzҋ*,ԣuX铿 M!Jgg=g6 2t-eNM[ZyE+GAr$Wy䔱Hݠᷟt|uH,HǠYvi(JPR͑+[S$ǰv$=i1SidįOj4ҭ`lè7PFIrmE *k4li@xԔwRW;7)0oKJI/ <֭ 'Iz9/9@f D\e=Qqsr`ګ.LK.udqTN*.WoT Kr cӞ$XYͨ^ws7߭Qz&TNTe*{ v GnHuwF^HiLzJM#D$+h])Sѧ/j+4 2ƜFVm F>sW@6ĵ޿:i,07BثS6' vyo"Ԡ|la&J9=dt;µcd]>' T"["@$ׁ?+(Aat?c aϝR׊CA!zsfV4jqN855~$$0506RvtZta]# Zou=Y$WyvA ,GF7Y#z#|754&#ö/H5 ftQ|ʷ0UWJ=^2l4n[B\ {C1ŻVBzFMEK"bBNsMkpƷQTm%XN+J+0+#~[n9s*=TNj+1Q3=RYOT72cHu_ ?Db(HyJ|B ԨSg'nl Qhn F-_X"? ,Xb]a:w7Q?ڗudi'pݺŠŘmD~jpjGP~ ٍ9^`Eͼk+6xs|Ov  *EGAK˕TwZ6 hR,EXnk6_8J>.6;LwY8jzC =sp"c;Fx;b(_SU)/fB6ߍ/y~A yԋ%xjt(HCw< 뫜Oqg(}?TJfϊt8֯u"i-+U:Rx nPdIv[F©5񣅯ɷM ]ߝ,x;B D: -hxi *D4eLX;K !(#SbL*?FHMUX|qUM_M* DEm =PɃfPy5ZC:0yu:CKFL:TB+0(b=0mxZ7coI{mҠJ(s[SL[ u?*|&$o); UM[A5}ƍDFT*aUc;JXu[ʦOoU1݁51wǟ[JXJ <;Vܥ IC^˟C ӂ[E* 'kيŃHYbu8\"wZG^v_Ypd/ψ^ԠkswmLL= 1dx:O?ٱwX,{;|kݵ2#0׻' ٕ@D?З`{=y" LV0F&DT3'mi\\[+Kp[er#f<ܮebpAy$މ)fg2Jwc:rPXFEgϡ dsō_c,9/7# ե%4̳E9|QǎV(aih3FW"NIlTOZ뺱p톊EK)%/ޫgmZq~0$ ڊձgYZ }p[%L,k;A.[0L*75xm%#uoUlb;öI3iN6 OmMeLaw3JfH?(+lu&?{]V6k9\+Ke'€/Pu\`s-X=x^E"1Ub6`\zKz_?dUɃgwHLsii;=GDg8O>п[ؑOvە9羕c!J0Qo8^|qY2(jQ'Xf!A bQF mj-_̯/uh83EAr劖q͕2-0ݰD|0FWӃ*]A06цا5)~v& ۖ EpX5;,xXn[n[hX"a_^Kkl~Pa䝠8KY4rΜyYhگ~"!:h[!/ReՇke2b z ZH@ser^rU+dGP̼N"/fdmJ5@!kVol3=:U]p@S6rL *|AOÎaBI< MN{Z~m½:>9(B(A&蔆f-.^Hq0]XyV8|GGf1 $S^&.<,{փ.0[M$Xv+tV12x:MWfY/c'zFcq 39$؞p .Z:?"'(ݡL?w-D~og#ey& _\#(əw3,A I%(B*+%Qq2'J- ^n];+ kݮ`8r9ѐ5 _36,}YfEױPJ7:9,tzVԦ5eyTD,2ݩtXoIFa@Ai݊Efl|CSf\Tθw]Uǻun6 iKwQD/t+bkG_pp"6 _O0z_Y#K3SyROoo~٤"  ; kĭδ\5:ݟ=#&RVtu?Y Tlޙmg!{v׭P(fkrtUػb'e Mrk$(!:W='N=G¼_ftLI4/z#ʶ-1}yAm久k41@# =jlL\#8f?鷉mwɸ~ߘ n?JNGE+㧫[L97o)-c_۪xLޭk̴ֿtHNޥiO(Ky~9fVQAMk.[_Mo"y}16M گv[ҙ=VJuD./jc( ?oz;F؃z45 3q1tJW&LT<,Nc\E{%fJ8B);zkH,h?^i}TӱeшJv_Tsx*"*ܲyNspB|SܯXR;a#hΦ$6vT_@"[d=ґcs6mu[Mڸ_y֤J1⁅O\B𣟜p0nON 7EXr`͢ s%qf(:L0od? A({Z_nZ,KjȫԆr+1ҕӐ1$U z9!-;]Sv0؏Ro HU-Cb'8a0ݍâˬ=Ejt}%cq+Y(S ǞN0F B-( !BYC<h?IdzUW{b*e{u)m>aZwDABC{Nb>b U3с/#7ݒhI()̜jE,l:M<2q`rFY:Hg6ʨ<A-jK}]Tָ?+2}1e܄Vi|5wNbZ>3G\rÓQ/7 T H5mHIY@>5 E{)\(R5Y?CD)=@瓔+5S 0FEq[nV}~  X z!?^uh&csD)F*8;TP [8ˌ 5zN=&}(UCSeѻe_~P6Y;DnwU'q-/BgӭFP-IHZc=}ՓQ)Qߣ|v!&iwP*]7j&p`ƠG &YE~VOV D/kHof] r8#&2p{¨NJ$Qsmx xaX<(jm#*9C7W\+ oI*lԻ%w!d(67.h!(nez"wջC1oV>a0d(=8]1 DG$L+'@'^w9< YSQ7($[ԭwX(ȩ (c)3\'{rmAO47y3N{Sὔ3V&|VbI S[̓ w˿tr߯>Uw=2_ͷ*k7_uѩ ?,.12ǿ"wYyv{cY8&pRօc3nZ$76Jh޹4r^"fTeoTilT 0y2,>7Q~;lZM`vDUCYø lZU5I. H$1;m?O4iΣ=EeqTJkyޙ$WV<ᮘ}M[r1 SeZpڬUrR3@{vH#xdQyI)THZ)ۜtT }M o t\u#+y9 "l/ނF'Y/63kMp>P/n_ &jKP %u܌<_f-3?Uk^^\ā(+m@{Mh}͝cHMm``ܗab8b! ttPzۧE+0xqkF#PY';;> e}wAPde(ftQj҉ Jh-pZ w}Pu{x!+M4LbNag_Wsw#k+4騑חz{eKw-)wgnu$`5Mc78v7  |K<`+6fH_0-@xx#pBсw@\I2 iP/ ^b!\9MӧMCHjO /-ES3-Zޗn}^ی﫱Fw06/;?EM 33b#A;?C8ID ATΡh`cB: e*f_t2%|Ip4}u\[^éEe lHBgrLߥ1NpSI[9O{_z#t)zk/{@N`leZq[]ijX5ߒU[ӰIY 2$ѽ-=H: {Jodh_! d"KSqk{5+?t3-J^SkN)5)jhDc <~0þ))}}٨b S ȯǂ^UCqRWL u1 %AAKx綺JsJr0loRrЋO.m{͒ܐm6sSRt?PI!"]ΝHS+\P2;v*n*X٪,#Hh 䴌8W09>\jE* x-1OٴdVa/ۭ|BIB$TC|%eRv?]7.u0P,.ހD,yVtKo0[._yF2JÌy?ʀ##x1 (ER:_gBxP{Ga]jhΖ0M bhњL6!)>1y5Utՠ%%"OY~”-6#v7&=+AsG# K;bIv]:#sWPU12?BH۽7v J|CKV8C%s XSeg ]bL1{^:_& DavȒ8[:IƓxݿRwFgAFjlf2ނӀͣWk(/I$t}T.Z X)3lot)*]9yƲj]zq.Bޞ.%tuTIjO|_"&䍋a@B/~tGjz";.A,,fgE]~rm1N(OLld8&ݾPgA0+pI1JVGYr2ql`U1ӡ!ERnA g"  lI/|3l뒑s@E&*([:1@Cs5Tv$~'*yn)̗Y")`@{5\ Wİ =%2 *Gt گ;a vysZ" ߸9봭N`;")zNHj]f- J3! /2@k^HnN1q3,}B8"#R魀hacQJtƞ ek@ܛ E4/+kfpL$zظ@-ڪ䜪;kXư~˧Y \ U_~7㰈um塅1_TFc@agwzH#%2}lofEy%' X?Lʢm sE X~V]̄cWP뿂Y;V]h:WLR@Q-vd'̆Ir嘿>fz]9E޴*?r\ ;t]֟qD:J]ٽ"1&p}ebu|$Ha; wCh:c PA; 7o&`-:L%1*oɟJR]\,`OK4A| 4}NUjGL&y@stt)XRz S= ƨp. ŒWіbml#nmiڪjQ1pM _po^$KFBgflE -6}ɯe w7b2]2!.l\wĢ t&q+QVIt"]݄Ę_YNNeոk !$,@y8A=U0:j抈Bc\TC L3 7O5 7(yXx.\90]~T9| .b&.?2!W۔b:3LP>T&PEXuO9_Uk*ntwU:=bb\B'S @3A:8١iL6(ӳNG =i4һf|{갓Ɍ^jJ6CqeiaT ^f/~.)s. )t{gDD>"Yuԇ@wj(Ln2lNG6Ta\ Hz8k,28\IuzQ~-ũbUkXiDxg j%C,I: #*1_$(jT-+ru~alzX(3tqU.8Q2]_a$ݟLa7,-@1(n0q(Ԙ fzVxLps8p[%MɻP0U"=K*:9={%`JKh&o66a@˹Ƒ>]5b-Q)]5-gw>z#0f@| +a0NHlm}47F 2.˓ClW CL v0嗿2y<ߓ RwmĉVo|@@Nz~f  y+e&LWPy A+\f[-1g6B&D!7xa0;H7z1?X9Wg޿6oU}.\qCQZgI0YxBzk؝yЊn?e<)qXSҗ3!Mn語,Dž忴fY wPpg; %:wIev%bY+..> ~dz7*vұl:FNoVX1(xFa떍Pl5-&~#!ʚn'fڄM~d5Ŧ t)AB,@ڨ_x~f!S8 xgV4R <ɖ(R u h^0{yY$*³9E~ l~Ϸ}iΒ`7㾪wBhH!m8~`I#Ǽ2L/gɃE懗)/+u*s 'Huj֞n!b F]7H,Cs&>%Z`,jX0<;p-t Jw $Az+#*=aK:-ߤ{SjY zZXRV*1М/; 9僙-)Pޒ+m G1e$u5^3Cc가4`N0CV@gB ݔz93,^qqrjg! oѢ*cTKI C`QƼ>%(J5 _}b;w;*1J!{1E HD\oVsGL]y8{? 5*')@ҏ402Z/;ŦYf}\FOmYΝݾ5 ~wx'lXMVg-C?do擙+;u:|6Zө?⸙gA-G(#똫ĺ4(;ϦРh g}TĪ݇hn0w \E,0 |"Мd3E=,md~Jceb>띮Fڕk*97iV%~c@3z4l]]!Š2S =c 2֢FtvcmP'3oSL i\.TQg1sؓWPkP=LI,_n#6qBWN3oGZlffǂkY.TWz1F6S5xl 7sI:7e -g0_@ʪ(Jtt6:H5Ĩڏ*"$"ϜCjT'69MASƦ< %LFI1`9B׳.>&H aG֗VX/꭯XR='zS7DG}x*!aHB'ULXi8m{7DJ5?FwHO}|y->kOpicPUsD2QxbU76zyPƁ[1 U9BeL޻!eGGuf*kbz`o(A5\B(5 K\e0Ab. .)z򫯕"ɡWVLX3(*mB# 8ۮN!Odf3겒7~l^(,>9?;{',{\fsk~hs5t`J 2a;S!r75<%!pkpovRo~PL6JM!2`]uG 7XZ ʘoRE}FJ~p7`6 :ͼӃD.v47sŴ^Q!٣C~ѺCBRO%bPʻPk%jW.^kq<*tE:#Tن;10_MR[m3E? õ푣W4`D"j2Ն8w 9W[$Wkg_Iy>hR# xn4D Fʒ@Xo>58|\kJ$vDD /o uJ;G_݇c5Űz76CA{ ;a DLf p fcmXIЦ㜰PX?G҄LhR.?wdG,L=1xQQ/z^yIoE_Gp /g'XT od`=wQ _y^r%T%rf;M`x)Y\Hb* Ҙj-wxOT 6y[H0?v'jRf6!ԍq? Kt?tL]nÄm,8!{X܍leZZס{HV |@H[]{$L.jT#"{‰UHBq%Zv 0?oߊ+#qwRP@n%"JԳ=7ˠ,/S}p;_wW<2Ab(HU *GqpzMyBU^K,CqPPhI.0O}{s(FKX"([`Ze:0(}krK\Zr2nB@L 0mkJk}v*}s>o~-$]\L}gvq:.xcG6kfޟNXӠ!ÀKT]qF׺]FfNC1w7XKU"; -qxkX\ BHc KL`ߌl; K4k\82vSK+>?W֛bus4ز3Kgt4g`O 2 E3f f_:CzliOL>} hضMQ i^ʐǼ~ &{r`hgLrq,v:֫kftL.؝+jkKd8Hhʘ(tI̞|2?g\:vP^{qe=k-qfXM%g9oFI$,*h6ɛ4evqiH"qR\ B?/ߌ;y(}f_0ԇR6SzMbojQ`4EV?& S' _I.Ysc;滰d/lw^6Y4{.FS+]1J};O1pKLH532_cr(rt?R*/^٠69:Ϝ`0_)TO$TwRJTʪgW׈F3;>jGra$_I7)dh4[0KndGrtAFv^v[5S?00jr8|sb3rVRĹD ߠN7M;31 !)y3M3V@36$z`˹ B7`786.)x2ٶ:Z{jE& *P9o7YAe&7P dyH{aW u cyO" <hVFoHgOzV=~*МtoGE3 { zMj3M%J?X7qDЪT5XC{IJBM1ZW])O."U+]xn>$TpqFGKџWr>0Iafy_B*Y v Yhlx+-t:|4}gHkBk@"3Wh]gUsWb3Tz,VE@*jbu*Ն-!|pGk`]CoƋ a Q]ۭb,ۢu #փ=*$*{;vSPT:`tQtWVݚ:Bd3 OB G?4wa`Rs W/%.nlg':ۺu* J>uFB;f׭#:nKZM NX&C! &VeI Z>= KZVܲUЯ\viK/`<.j.)=Wzf}QqA7 ;Zϥ!ŨH ߙp0v>A>!(RaoGpSx>7h /@:Gз$e0 sauOT x/[.7H//IFGj# /J}oWIˆ&W|)+!s7781zތ@E){}#՘#+8BfQZ#f(Rv|WxEEtbey'2yT3P# 2+ 8{ p`~&(6g0>pF犏 D۬^Սrsb.;߲ɂp+[,UVx{/Bn^rݣr$qM W3R7"7~?K-G0 SZ:*XL =Yb}`eD/ 稕2[vC{x.G?g'+cͲl_QpY5 U;kQ ]C8,tR1od`̧y άZ'sz{5[U>$},q̪(&_ԃ CKWhW@Ʉ[8H"öL`|PЙ7vS!|`Pprpk?94; m%Xjܐ2t ~(E:-LXbv9# ZhZ ‘sfLvӞd"lo0/8aY>EKb`o= 䱺0}ۃ;V(=ÜT,ouX[ݦэUKCcP;x~2'2 }cn4W';" $P x\eEQZéLsdfLH':ɣ-oӄ&Q<?PwAGaO!}+?tOEs-+*҅|9W$22Uk,f{#18n{-s]pA]V64I{ j:v<%ũ:?dvRŗe-l9oX}(?#L-*/AN A]d?H6-o|0hMWHK#t=.{!v62t`d?cgcnvH TuӶ"KB)p` ڵ q `w{D$RrE=yf>>v,FJ,@:gAЬ axiMB07H0:l[#䨴{ +-hsV񻎥wV@l}`ŚSGMjS- o~>J/7r܈&T_Lϔ=5?쀎(&;qDuyEvDֲ0ހUY Q;]39[_1R}lyܾWd;}ZDꐧq+&]]{!7MN2ϊ!bϗY:#>aALdt{ZC$7tAVyi AF6!̬ 㫱]O`\Ifp[_)Y"S "=x^J9u 'w` ]ZI'h!1WBXkUdM~p"BgO3 fGz<~  9LDqQA uQ-CRiaCJ)av['Ji7~qg#Jn5Y49+ï]=fIH`=J.v=9ɚ t0fBhm7 *ۑ)z$em$&C玖T]D[}A-F%5xȝ27a]=}Uy ,d9Hmt>sTi4\oذʀK< ߠŽIaD^jU@ $`BA>?B8BƱR3)#Yc @IR "͛A )aXVKZ|*]Fj$嵉Q{"RHμ)eJJLmwqVҌ* W޲?.,D¶-=8?LRI$t]t+ler r5S"Γ 6юJ\32QTz.gz]sV댰ɲOnp]@ߊؼ]=muZ`Pm99P r$*0oEڝ?>99 qG;VR'Pa rq,/|eBKq]m&E-ak|ݮK?E^v( `AR>K8|2t;ܯgCG#nCiM_ZJF3M :ɟV|$U9GYV~zgzNƄ}ʨQe5n3=tʯT2,8) 䩅l>>&'Q;7a}mh\NknpƜ.I_F.Ђ7P;(f]7#pq>3LYk Gw\VS >m l#NGcDG#H/2^DVߏ?^2+c`z,2s-怞wk>gBCTgYZ NANp9G' \HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ilh]Άxʆ5.f-9 rq@be( D4,@!6}&|6 (w!m F J71%B۬ D-x UN[` =@OoZ-D.Ћ0SP{o{)owA;(w+S9/}E~$=BkWiV{'"-%ÎȰ_rvA{bI=c x4y!{s=nICOVcFKt AN2:u4C7smj.))]p_|scigE x{134˴ CM DtVyn7[l3F~y1eNl^Zp#f}uV!YFu >ƨo;V=F_4g8f /Vl"@'a B Ku4yi֕UC&A~n斯!˭=ՙrJSv] ыkeD!}UNA~% i%}}DjGL:ZSG wBu:ԋ,<ҍxLs@7=8#qVlp&>vHj@mݗYa$8(ϊ:WP2曳Q9vІEwDDu?@8*pDOA_}9e4g]2/5YJ{C!otn}^}` RXX]'ڻ Mv,Xx'*.o/>PVD꽩~vb;ח$m{Kl׃1d}`~KneS(`soH"h\>5"ٸ{JC05=gUPO]$0+Ousko0ɨeg DUH+~B ]ݻ8/n3B4iAGvצj 3%.%br N6>ma]pШ~nr[),7llA"|zNK>V^YE6ΙMо3z|3'QuMJL185wWK#ui¾H^yWύ6_ }}gYZ# 9G# DHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! X]ˠ)jk2p O6LP=͵gl5eϿ>+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H 1Z:M2Qs@ sDq$l4}c9.kzw U^&$@ptHjRAr{99lWB<==,&iE"Ec$Zg>[XԔn@Oډ`!{`#m"us}9~H 8=74zL`XʒB,ho.Kfߗr)``L1b9esByHS6æj7ɂS{6kvl:cu=psѢ275%Ń+/U[RK>1O iʱ/4yΛ!+Ujc:9Llv+#`lqlW}'ܦ<Z?&TmU3k UyTRD2KEKóG?|)I%c=&wԍzzQhc \Jd]PVu,rhVYvaJQ 6( AA(#r;m:N0x4V;*&IkIA*&VE s}TVkVUɎOqkO~@;95͓乓Q041e*](1::\t`lhwOǧeͯ- Q>JliԳfzIDQN~։<[ʟdoHGeחnt@ MJjJo{2WBdw_iF~*>XhLѹ$>d3SA>Im.UEc/eٔ3jW?0a)EzY2n"H;Y;Ԓ]!b[hbC`ſ)xyMoN`N"*t}7"AGǴ { dVyM7&Nzԍ-kx5<$Lذ10he[ƨ=t"2na2$.rmu;ưssjaYҜS; PSHESH#7I:2Mz?:rcޗ7 ߔDdpvT2 vT¥&Q*e 2|苶p.< sî 2$  T|a;* Ei~BC!PUJ9C.RE(SfZTh8b$ PE KJWٵ.Bais oE@M8bڜN%9QZ' 6._<HsQƃY*&QO3$({rHR+*>,zČmzO9EJZcS fxKhgَ6Fd1?֏<@^Owi$ELɾn 6AKFUFvai#L`\6t,z]2?!%l)N utH/%~; "آ„e.=S msOn+#8jF_%R¡qF/Bgc:1vq% ڵ= &>ШhX&g'@h@HϊcLƁf? gI 4XoZmQ M#Y'fCEFa;rX_PLR&x'ꋄ?7hKa!`"*oDYIi+[_!d~`nݵFiPۇk pAVQ(탰1ڝg9q(yURZPjJ!5>"仜*Y6jNk=Tn0%n$җnH "jMs)xj= :sTVvH8+؞z 4XN'z5(_&ne}h )u@f'v!rA]̋twCꎱ'٫̑k\)hp Ц"kgCs X˘Fl8yKkQư:u 5l*(_ ZET?=, h5jq,[_U0ǻM^enץQ.ǫ@YdtRfIFk#M|*7OM6V8P Rf'6 8kҫ@l3TP&ӮNm2i[4 ky u=}a D ҿs=6w(x#jiؒC#&]jNv PUSk=SeiS+ _4Ҍakk^H zn v CB4;תJ>gEw:a%(DS]_9nVwٻ1eE$VmZxX6i7򢴊D: iU-sIɣngN.IQY">q <@nta)O͹Sc^(%Ihw`7YQZ}X"38v:&! sL)f }~:t=F./*lHr>R6^7AIQ;̋64h`eN^ӿQc3VfM\n-OE F3iN4Fxݓ:0jǬ>FP@RW5JizbIԹݗH7WOgG懘-cm['1 {d8*@dtI̾7fEL ֋iM) Dq߿ Q&E0*ok ?,r/n)6_ïu.:0x@oG }γ5r"kn')@%>̔޵dXQax7m6V#=3Ozֲ!/(ov- :Ý}5r_jL;tR}P93`@{y^x~\Wxh7 S{3GN~ywdzҳm2t:Ys+A;"Un`ibR=KzCZpaV ޴&rփz$;;-Ù3ТE=F5?D։/~+M~xM1jMꑝ (wݏUAk@*q ܕ79|١dD/ qy]^"yf6'?Ӆ<\= #S>J Kø6e-Zaw\K2prh j^7,%A\Ykܴ)b_,t&4,]?+:wT/6zz*u81O1NyCZ;OÇ#lmh"d42TX\iWԂRɮ-lEFCVxh5y7OR)CUq1pLվѲ5n =>*F2!? hPCv'XM?ɽfooތu~D3B A'ϻy&^n7~5u8= $Q=3QС$n JRdGAZk?Xb7i `g EZq~n?`_Q+S5?WT l4}ENf:fʼk$B@Xr=eUz[-4H:c#W03mc8u{<>=z&6[ ج=p c)r=n_>%vcn)rMS|ŧZEݰ? +!);wmV;EŮ 1`FZ8'~5bmkZ!إޡhVѥ2JY'Y۫罈L*1Qxx'h Ml?i$S-X(ikbIw{-Ɖ[LEh aHòIf&.NI597a*u"6-?u52ݿ%NE%']lp(<qdqu$Ҏ }iLtaC t7[54ջq=z_x&1vk?1`"$rygE0]@TLz8g0$ضEDW, +&]47I0<VUF$Ϗg5I.o%3So&8 EPq7>?͎'?fxWiO SѬyxIIC)zu wK. D}2:ʖݖupGoNO2md7jqfHALxA2@26;H+i~G>D`Uh+\f$#9ؿYWsSlWg޲HNAp&䁐=t<`m qagFNYd?p޽>7Mc$#(_+vy\vH߱獊*Crok;\js1Gө[ fm H dhOloC7$!hƢח<9WJ]#2G:a(hG[MCt k2'/rB4L# u4~_~8 $n6)VHbZ|B~=sՍҔg i2*SŰf4:rdQp 0 EB&K=BOvIX n0GLU 4ԅY8z4?_xᅚ8[zd/x[/Sa2rij`4*pkk|}_7rriI2yE$ "MC_҂oağNxG.#L`;8Md~Aܧ_ԵKu&_axmmy؞a  {;&t$2WWQQҚDRG¦UR{ HG;}椵ds­Wë y?g(oL'Z/VLRnd —FC1ZjV1"ߪ 2-\#IPk@wdmG%WBKR(bK[᧭FޤpN Kೲ;63/-taݢ}z'rg7,y`vOqGa 2a5%P9͍nRiMֲ\}熨|pPQz (*@pENd@7- "*&%S-HM0j 䣡%{xz]F%OP E{^eMYؼܶm yBʤԶ:YvsC׹fmJsG*_D"LC38qaIhQ*hYÝ6,H(/@vLS]} &3#ۓd 翹MD4W40:1D5I~y$3%tuFzq%Z$C-mL#~Vn9Wո71fx'R!zqϝ;-Сe?[ E5bW&0 r%`RMax9ʝh.(F( ]bH$\![ cua' T6K]|B%?@A4׵Ԅ֩iN&" v* vCEl.$uXo$rD7yP[KǦȝE\_5ʴsZ0뷁@6فJha4ܫ1jb@F{x ")Xܝ2Sp_V't#iM)1 eP?ѽ0/k._M@D搄NE>}_Dm%tujI' UhVQmRv=|3T-".+ gRV-xQ wk˧4:cIIe@v`/ A~,?:\*G^NC}q, pu6xq&Y.] 4M4noz =Q97 (lFӹ\*r^gl6Js4uKVԈvt-L'(DPx%-6d^{+׍.hSKJyZj֏0j0Mge96[2'2ybDXJ>:ڧy5^v,2d=f2r `f |&7dEPB&n,<+轐ӷCUH^l"P=]"Ta)6'ͣ%*eS|`/(b̧%_?([<5 ?酭=yFRjT8e׆?`G p"F噖>j]4k :ZL4 H 7OD0YTji^%!b|}(R55+^Ȑ@x{ ٓcG}'{y3 rC8VgVovSa 6ޣ .YqFpR1/GkA&4u@@MHK@e+>D씖;_bK{3{f5Z>g[4 ` ˢdHCMB7\S"Wu)Ҙ>>ђ*k 6'ݠq Ӭ66A\*2bXPFM&.u\˓/o Aڑ`7g "B JD[Z [8(sj/n?v[Hc=b&Sb 8@IxUSNnڡXdkwea5&.jP['7(-F?6qz-2^7a:,k%-΂)|_L1)\w{5]U}Ɓ~u9<_ 0mXN`E!Dfw-9HJLOf.i"jc8NOod > Y Gh0ks?tnQ%TV.|u`wVշMfn U]5 #k ']U=Ո"~"9i4EeTpUfD?k:ԑ+mS]"Zp v])a,^ :}ѥvŗ?"QٷyTKYqnwE[s xƊ+Ŧ6_$}"0C-\GAoNQ8/6lRL5Sxk(7S͓/f>c֦OQ%u!J;e-ࠨ]lj=W(ndJ╢X?/gրuN ./2["Skvl+YN2 5`,A=I+Kҁ2wFea(DƄ:9pR#+wtg ;_@]6(bT/?%xsR/'TEu7[4#왎#ω1CuȎ}f5Jߟd,(3b~3m' b6x Z81ܴם)W06Nͦ>rڗ29w}=DPmTlCD vh Nk KĜ6nry'`qD!ȫB&)0˃Y/!O:UedZs uwA2M:=bZ=unz8n5ݫf0IN&Wj~}#L,;IcMsHr򦇹QŎoYv8֕$ts=b?ԋ4[{ }ş NTUDC̒?9Rdt/wY:ߪ *险GȶyT0&%I޻ü1K;0ƻpf_rDퟓ/PG;$S~Zʈ)E_Ɂ?Y:7N<f]5OvjAaeFJibC'k*-y ߛmUPe*6K3 i) O岑t|[{,٨,X{O^|((8Xms2lX~FpLjzim12j_ڮBgKkk,e"i:;nR=}ϚfOcODܿ8\ =f>܀X0$qB§&d/ Qǻ9[4>K.c?3K1Ϧ'~+C;m>#K&-JGl{jбd+ jX[m9 =6޶VsCu?SH;_KXzQZ jT2ɲ\ɬ_+q" 6LOnTM9P: #M'@|P2!YN3/L < Zju_n`MfCόR/>U*k"RAzu od1gnW|oc9DӰ;frU+,[(=ץ3+@^/Ask(7숈fD >^9 BW2Kxj;ѡor h〡}MWZZo-3DμdTE#ח $alpr'ٰh㢾i743HAhv Wj DQ9 ό^@эC hiW\IO#v_ CȪ[G@NPISXCX ~R8UF{øƩ (W&[3:e)c9gJDS*5˓GBLUJ B_ YPxޚ`b('Gn:+TĺtX/} OtbxUP75K MWgx`rVt_\X"M>QYIJA?^;_JztHi  ?<6l(zNdIS˕oqL #$! Q;CDjc{TRV/:[W$}Xb`f%H !ƔOE$X'Xm9~X@Todԍ[/PX H_#*dK>wmIcDjJS$\EzV>r ^#RL8I1_-A%Ve\F5 1D'3WrENp+ UvL5樢n(ȟƨi pì(+wMg!tAQ YU "B"#WW~ƇVRiLcOچGŘbKșm `fJx ^3MWNj@`хgumkѩF[`eA$Sv1WJ9Xޱ2G?i?W.c18S/wpڳ<; %Vo@ F%W.QL2v"Iݿ%^}Uk^gǾ*G"W?%1.@yM";|%HSrsh)}RymU3*c8f&db&gK>W7^3M3:ҳ.Tnи0bZ(e yaM43nڱ9~x`rя@5C(fn q;¢Mapd>,3\Ԕ T:X ",ܶ K 6AA¼Εpt !/4ȡz+ӴkBV76+E;˞HBEdh\m~rlβEOh,X4+S )ceOtKԄ|@ۺ^}kZ4:Av5 x5B88;Z >4/E;WT,N'LEPJhP@ke ᲂ3g/ @+ i|)F?T)Zǰ4z&슎6NR Od8 77k,!BUVLkSkК0biLxvTf*pX@B^W8^rg)ɱ7q( :x_]Z$6- g=4 .XET&EXfPSb+F˭)F3Tȱ!: {Lzows^NS~^iX:[uR#Yp5Uq|,i\k 9ѝFPaqz(6~SEJ+> J㸂] p~_MJ/!JىBEZ}  vJIxPB݁8$dH=t:찖Yp2.hÓ.غK1kbP(e}韬͟z1W`._/T4M63/>&z/ޙY+) ;߯mE(I~qǐu qs&m +(4:(q1>Xx*2Cߤ>%k%掐 n]l%A }Bj pw@'Ls_B'\XڛIq-?6sY} ]c>tnc6B)?,bqK a"p\lћK}ko8R2?&ĩ߾/%s=130&eiA"ɹ3LJ4kl? Wg*B_RZxuPL!^H7̿i@&~WyOW{PÛAp?+|<7sy"Lߺ%˱;Ե5S$]@,@*hG۳4cnZ3R]j}V ~սMDnK;{HpЬs4aꎫ@S+_E) ̶l^)Pp}N.:^0 _Ixa,4,P4U-Rp݋=I9q)|5%h$&1E l"Y7IQ vIQۧc*Yk˻-?Ap,ul("x+ L(;JGCFz8$҄:c ++:<8ވ4)S"j* ]$S?zD5 KFGrom} )>nEpt ؼMRX-!}^=%pZVfK!YܤVC +N3K9 t'N'$Tw忰nQr~J#%y._xlSRW|,JUrDM=#:, ͎s Oy|^Ꮛz ­h37x#/6UGW=%ga B^%R0Fz@B`zA7$ SV|0'0H0Y4j WPnw_*iY.gl>zr{08[?6CgpԮ6&댟kZYSgˣ7J17sSx19'9H35 E y>y 5TǙT3I=Ԇᑢ T@OCj\*~Uւ5z*G~Bs'>&_0 &"Zk”tOS"gc؀dArD%f2onyLZVJe-Vܣ~|c[uCI##xŧd"L۲..یu] \/YT?qOB{ $Ue m@IYDuֱmV7{. ^b_0#'qBE^c^"_{6zd oo&fg؜c%f8^*16\Ƕv<`xeYU!Hl.+Nd l|UC/h]cQu7^vEiC}A"ˢآ֟z7>F7o4sQj\}z'cSfӎ:j+b& N*n Gq5>/—^?JCSAr,Bs2^y=zK$v =\cADt>r},^# (LRZDvsrG9$ 94K<6dj$y6lTCg ͣ#wрDF&6e,M6K7|n˙<)02&Ry":j,wv=WWjaA >Gq; y1w: Xe;MHc6yW@ |}]:B0qM)f",=fQzAspavwɜؖ= PkC\`,q'mthP_o>ݟFEROޒ/I4r&&"phiߑ!^p2=a^& )ʼFR z1tB@hK,8>"A:MW .dQzfLO YףN1l |sk6A0uYK8 /Fܹ'(OV,BJ sQm UvdF8 !NaGc?̬ >~ߴ |GU4(ؒÙ@MQd,Pf0"v`A`RL$a؜;Yu3F/yoM/zZ$sZmjvudW-znCf9`9k-Rd Hd~NgՓiͱNȿ.(~2fAݻv:5<wjsVV!Q݇0kTLϫB :ں=λ]Ɂ0,iP1PҙP;ږm1BUBw{/'dm.>u=ͤ*&ZZ%Y'8̉Rȏ̸CF}gZ$p})XrRXDݴ}uS}頊$D܊ñ>-4Er OT0~hi!=!G(ChlB4mSGdW$#Vvu]@95_rnv9s$}#wtH{|DM$Zo*HpC_jkgLZ"sBd資Ҷ\YWJ;_!D(=9+؇,]R.^22D1Hk9]P+ ƶ#CBBi-] 8p7Ãκ"/F 7 7*F4rחhlV ՟O،#(׷~, TDn !@RB={ﬓ7lGOWF#nO*l7@BRvGTB osq6gu_jݭIzzٻ$(Fl0ԕ>yl5>pɳ!eOY~oj2h#47aXcӅ+exp.N*a0.`BĔ + Ī@gyŒ(RD?k"_KEL7gGe|XNڱ3&Wƕހ7P\XE YV:Cy^]̚lV|+Q*dq0 Uc&I17Op1kvA/bߛ7śX֙8j93rwE\Slz{j`jkRW8MC p"aw졔۽Y lM+2EE>CR^{lөczŸWܒ6tΫ;F,ٱЍ@;_? S\aدKe7w$. R+uuQMU"IX7c9 ZbMxzpdZneqgEY;3bx=xLniGY_#c }]|!L;I[y`gb98VJV7iSDb<ЋZ_婍𮨧}A\Hjpѕ!DVI )UU8U14&"I!G,U~vGk,&hB/ 2K)6=tXQ4)WI˨(RWUpAנU7N5)[< 7=6>Bɾi>4 MY2Ʉ?RE[2@!}jihu̓PG)*dq Xr:vI1^9nPdo9L7|?Ea7vYİ H5h" ۽_6iIJ5J]NƝ *A159xj9yե{ KDW$rzT/<d9H)H5w{%j_ L#Vաd'>p2`I2I(TͯkjƏ&g;0 `[g:A}>3eU 8Ԙ< ]s`xpFإ5sC0bB.:b8XIFFQil 8rEMĒ&z־ɇ. +V  .y{i;1/*4f\A͑;OzZioRa8xeI7ǍEDiK=&_'u5Q{%"$f q>(C< NW ̵^%~c V*0 A.>wt&- !5!7zDjQXo|Ԏ4BBƹ9S+:O\ lE oSP =Ξ9 ltA<m}hPRZ-C4=;녕rcTOTBuV,I9q@ݨ130c->InljOl@s&n-|.q’R7ӷoU?b4jwMٕDݝ:!0qBײNp)[ɹnt?«ܺ>Hh~x=t>].xA=EgjjKx.=ҶdIl ]И6@=`,el t7zXǨ`e7'F ]WNU@7K&մT Q$ͨt;Qf~X/| J-^AoͣΌ\:?P "bB(Y n>5 g+)_Ι&aA dwԜ%/3yAe*x{PیR)鱨iox+< PERZ8:ʞw aYAJ~Q=eʯyX(, ݌jkƜH ]t]3$[Z"+X›HbyѠt+=?7!#ElUSڱX'r7-9"NaM}lge_?>ֲȟͬp ~kWtd:HpNS Q̢ܣ K-\vgdd2p[r\+e[iyRc.wģ CF(i ēgX5*-lAyPVOu+YߑjmQeRItN@RXUQvdHM+`‹Q7"e9A+HxTn/X I.O]8j=(VNSGfH5 qeDo k6H7GG(ʁɋйt5j?x y6.>Jlnyz&yj^6+.oq[ (iuQ 1a9xtN'&#@>Y ׌ ixH\*LOBO7'(J!TkX1`Nf%!WB3C/пXa`y+"= lqJ Bse0X-.13b}>VP/{`}ٚSavw87i)mD>K& 1sNICtiS^)4M\@pgFm4gKӟ`ٹy F5uUp`u !֨Qwӏc:ߖsA:klP>ZUrG|Ә s> 9ŏ3?Zp=r/:Q 4ީRt4^8"H4|vq vlf*gՠpGz[Hs6AFh:A?FaƐA?6ƣjH7!%[b 2@Ϟ|q);A5ǼАcA$oj#NY\r,wRxPz8wpOfJ$.9uVxz,?m*O<3]c~M|#c\{Z#lhddskY' Ṷbyg"

 ELH[ޞFs.ifyvF oEG̿2AftUDt6#=4q1% gx&d51KQ \gm(o 3jdܡvZ*@u>Q)%^%TYH}#zV'!CѲo8+Qyw2~r@y#smZ5,\@3hΚeV!ZfI|^]>LYc238_%6mV-G|kT:L/p"QdO,`ts.brmWz*0ʤ6sS?wX,i D2]2u_@޺.?!1~}wszڽW=Fچ8,`eX~t@5V\+֪ *P[IZx`-|!R on)^%:섮b*U_brbO1>:t4Rki+%{ZK?{E’hB3pTB ;GuQ|B?cQ+)$ߏu 1P, !Dq`eaf#:|~<r?Vմ/ .pǼ+ȚK~(Iܠ˗vele=+ s">bju!BvCryn2E z~T~y'UB xZ#+~=?!v`#͑R0WɋjHZk()(d\~Z.fwxiRiqy{!q}PK_\ t^<.qK]dXWNqOjcafZ#eG6KU{GM~XSGz: 5->zr0zKZ~؊z}}kN-gr+{Yƛ gH4Tvhx~S B= &7"ΗtѲbNβ ٳϼa XC`|ؙ\oTzaR:3$aC[fy, Wpǁ}I+ׇϡLj&λvJE)T>?զ~}^B34uО*u3jZ "eӵlpem vsEr IN{*oI2+Jz{v2b1웍-V-;_\vDn=,yAͯb>/V#:OL~p]϶Ver`.̕GbL7aŵ.f(K̈ Vd8F,= 1.ܺOh֢O};"+K0A{H Y`ՓUE[ދhm |<zQ}1V1nJ1fsy|Y_"{"Ry᠑;TrsNU{yp~-7:VQZC&u0[ ^Zz(]íL} G~5.kFQx=$OڬAxU`ཛyZZ֕7I/vpc(|dk% utZ8ǣ+E߂E ~ئ%ws􎓶tKD\ɛP-yWQ8K Mmll.]OGeDW+ >QXڰH[h֑_eI_a-B]cxb\AiH:x:z۳`[gb!uo&`+?[ A0ͯBuх}^@h|Vvq08@@dgNYH JΚo2IW]E- Ҧ"V6"4PG(bh"W~&uf!#^;=L%Ά蕏?E X?A+P)Dh~yu;~E$T[D8^d-/`˄^g/П ܨ*;+:pPiZ,(B̳x{81 I_(Kb";\Pb|)qNjkSi ,+?%K_o48OWKpu:C!M,IJ\Z'd_F0)d1ՙeeS AeWӹ= @P1$B@,w{%fѹkD4`(55}~,mIJvh0ƌI嚩$ҕaa;u6EMK`P̴RvR,a}8 $!@<c7"S bHxpಿXZN ZK:DYA OMtWǾDӪu7Ъ'=Z51dS&y^nEF>ݨw@7%cCuEۻW-cՎ޼G[PA}XfT?B}{0ä߶(hU)|43D,4/eMs(*"|#ѹdp]jː%{ SA:Âl#CDeo[аb-nf/%[9,%j}۞U !RQ)Z p6`ϼ PPfg}KU\zՙ{8Z=m [RL͙d.T:,Scp'fxCMK~Z; 2o4는HtΡߥy#|5Н bEFSȽFchLj,_m梂s#`9 )-r)ڎJ><_ӭvI !Ks~_6{]|D eM3|iK6M.)6ؽu"W*.&[!ρ.B\\i$$ȯBilmXw5uCֈD!ۙa3-S-#9s4lřIé_X3MEMR4ubHh?8N@5oqr2u y,c܃ϤM L_lTТYz}H+2.X"w ~"*FȂU=~bFl"u$8@LN+ e|aZx ?LbI,Ć%MhA5|S kx. \PV%ƽ@g˃Q*"[f:ǻyT-̯u0SQ2M# ) 2?vz.THUHh12 $itL*`IS&UҌc$}j'R=aw:c xz8pq=X^5S R#dNk\_Ӄ>.>Go~|Fi3>cAZUGf/d~2oa$iǓtTK^-P.K# 0UsJ{SK\TJ Aɽ7 A}V^9{:#@~dXTšg+F J6M:4\g*ܺ]r|ZIXrޖM BҜߑX34xA-$ X<+~lY5El(`4m"n oۑr4DZ(EE"R/lMƄƷOLw@A]cެ|>KILˇ\ 7;@Jj 'Jɶ=l_,z> 'ʹh,k$_X龻ZQpbwM9eN]@qw/)pD#+=SGCOҳw"!ԌcF9M\do%r[F6 ҕ){*L_ \cNYGHUnv{{n_c3I вEVwzx}&vAA3HoFLe :Tz!! 9N+s\qYBN`5k}bl0kc6Տp9ƺ<.Ȧ(a7#f`7p7J#맯#3ۻ8;Iڥ0و j8 zf)>?@BNp{d='-AD[ 6a{%e!  2wo8+IVp I%zOuTk(e6 :1{]g˒O~3;+ 1TSG=#,HQp*ۼ~[н 6UU#QVΆb@M63" )4mFvs P%Lg{a+njIO|=/⒉?–1JΣmj{U*:% ʋI}6`R*~n_}[G^qjXk=bQiW{!chʳvpzQڒO$H(L;+%(NPuaP-zW DžhUrhyK<}CAgj^nqOVmaWyH3?krqC&” Z\lќউr>ϜTH̍$qg|#= }eKXssАz^B5m_P"(/cB<;z!ܫlJ~Σ]7!2JmθA6-p:+6NH~vR=#};}TĆ%)7R>Mm4_&0U,>EqozIxeĄ,{w$Tu'# .O<9`5j;Ѝ^ \ Y9Vkf1x$j:[ȬgFO5F 8SNqB%Op|y2sNKZ ;'@ѿyW=Lt"+{~Z|4Hw$Pjp)\%+OT'pN@9]Dn׫&iv]*%bYU{εzCZ!WXgcAfd=m!q PK# Ҕ7H ,8Y,ԼDk7?.9PꑤaeQB8BeT!B*]}X߽R)_brA 4669'KsT"kMDpI)M^<v,|qudn;JnH#p>i (.W!QkVRy?FbIl+'#E"!lM-I{u?ǣ0IgL@h~)r$ՙ 5$dǟU~W8@kB P~gpNTR;n@o Xg7Iu/;MGcwBM]2K@VW\T|E=01vBX B_sMj? Z_e_V