SQLite format 3@ ! .C  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 VV9~4\ ] HOL-Datatype_Benchmark:threads=6elapsed=523.514cpu=1951.880gc=705.9527zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;Qxv9HW\őOLTY'FZ;I:*[yĚK3 ڂMP V&7ځog1W~] }$U GϕC'fc Fqͷ%6#ܖ3Rvl\~ bӬHQ֐:y̠ʌ=l=-eI_ - *jȳ_X$SL\g1x,fgP-\2UCqVA'gDTwbB|:Ȋ"k=6a$zn*#n<{{aa;_O v1g[4}R\2CqOՎ5ϗkhBvӄb[Dl1 : >ׂ,9N5CF<{@\s? iחgYZ7zXZִF!  ]ŗXiɟ1)*u%9hPLHYfKujͦDC:hHϱbNma׀rH a0j90|IÕNq/{0`5DCd \fmk5,FOI> \ZlyUEP /hf]c%]؇V֋ q@,mHPw W *4G5)x{\!m]hw273^[mT|hqQEhj~mC<2,tj*od+} SQM6Pt[2x)P(>giQ9'. 5)_ׯf= r_G|"ca}k$r{L$g(׮ۃeL9L% !Ə&D BZ^r_pnV=ugaTjJ1IS.PRӤ(M~PX޺\)2==K'#| )`cZTD^-#DK.tCFv*&UkN^l̛GaȜY`K{;R:>V\eTAW9NI^u=6Ƽ_y"`H:c ÊJFݾ0W_qFI;lSXV#?CZȼB/usMxܜ2Qqyœu [NKDDso.jVnAwd0g?.RJ>#(LyL70phJۃ`.oX@m0%L$- x;f` 4tt;$ W?+MJht2X9$j})`&9[+ fLcig<'ܠ؅VH"n嫾Q9Hւ$Y ,T|yy»:AX[a69۱<\ŜsIv=WTϔR5Q/Y5? BGo'+ LnO,Icerbn-ațW~Ɯu)f[:jFߴ磣[ :0y gF] K|#k#l_2ضѫG5®$vJs@ h2oxlK.ŵ23+or䀘NE a҄VFE0ZjR n }%R&&>thuLAecb=f*d["8Zͮm 6bLօ/p\sNn$2mz NPoH\d!"ڈn_ft e"\ hAf& [Q!T4 9 HOL-Datatype_Benchmarkw9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id520N9G3 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 ߷MT@9D/j\5nf:DŽQd%pvh*FulX?H+ D@ޫ́oZge,k8X>:TKJkbmOɨQ#kuo0M+&7:~yX]ʟK{ካ2tUfovEvMqBLXaT9!\|{D=Dee4ՅSl$i)H4uӼ6^=HM%w:6H39*$,~1:rkͷ#+-0 _$ycn%Ńxv;P<3 &b^붑F>F0lvBg86q57t{dȀa*L c|ؾbɓ4Jlhdid3z'C*- =1$JjZ{fEoS̡I'7[Ljj'Ҧ`A5xAƣm gAff]Ǝ4FsLv+tXbŔ!|ʼn7{Z*iݖ<'KлrKvgېl_Wfd[9z,*ffBPDY( [>hJt3gS"=vq4;ͨ_%Ð<4YLʊ۪IO ;uwwȡ=W6lV y|w`> pgáv$ Y|sפ"3N"G/dhבhYs;xVѮ.i9DDܼтzRL9sebpheHkԠt渂 >эK 6A6|nx`rM4ܺ{A?sUt۷M/Q-nYc;8rPtdtoi" =+rOSɨWs,F0Cl527Z ˑ{$O;KdCP|թ>_ w;[)G'nP{TQ1!pu,T<:aMbJNt5\ ĥ+ %eP<6T 8cjFw' OeczE l_k߳qu?Z7ۆZm#LrQ^r>Fl1'yAA֗~*E՛rW1-;<2t@Xaz3J)sJ |a^f@J4)d2{g ]4V' 6>) ,`M^XŢ(ھaj X¿lfڸoiO<^'YЅw3 "b&*UB0liԻ;"k'eSHPX-SȼUc?m>EEVK螬λq?7/ra\NBCHÞM-"zqg~0TcR͌%Xلf7?,z.;&Lniٺa+ivqnHZb[=$oliPL~:$UE?p68zQ'4sygwnH[Q-9^}Q~DߦeFo$_/͸ͬNuTbTazX.Z.5"U"4szEDb*<X~k#ך2ɞd oY0ox 6 1&:IA嘧%ԁR_H.rm 6= %o%4D!Gg4sQߕpao~uNd" 7m1Pm*%5; '@[BT4yXO~3gM"$2b~}[Ĥwrok8bO $u|ʿ ?M;&[o wX57 (zAB+|WhbjSfGj}"􊧜'\m]ϴ6̾F E!ku)TA > j]uP_|s1`h"{ڢ wM<Z#Fn ߲ ,IK82g[Hs=^^4xpKEqŐG|aϚӈ ^lUV\CCUNΣ~i˹Kjre9I6ò?kGP:B:NWniͳJY 4g PutJ;DX#!"Cd8e`CE4kۻn- ʐ79Ol\' )W;F -Wi 2_4GR'w|# C{hu5PY&Tb1WhI\4PP%d%Zn멫AoqBXg&;\&zn.?pѥeQL-t(PI)@k`֦@aݭ w'[ 4-;zy"nVė2SȠ'cBEI 8[5,Y:m "L(ƣ -7zs~Je^m)f CZo)L6Ux}𠫘r0+EG;E=J%Thn}31"tX;4ҷ uW3m(Bh8ճ>mڤ5$<`Xt,I{ɳ]Ŋ@am}Te߇g.|ʯmtk5{>MqfD9~T \~Qk{B[`{0(;֓u"A;jPU XXuEd14XK@+h|8ApC29V`?‹^)ɭ\ R<AU Hwݰ7Mڒ$(;)ddhS bh4VlܼG:/:$l2ljT) $ Nt8*1|b\.{u"]:4V}. P`O>&*~IV[++'{4^'zA\5rR݃ɺuЧʶX"XW:g_*0~Ŵ52S[oc[Ϲr)L}Y!ȶ=;OwWhP@7jv| `5coSx~NBM_E5M10hXz䙩zcG_FdO_>ż.DOƙG<T!kgʨÉwP^ߖWq^::j<rq?ΒK;em˰Eh)lzlTG67֕WNbDR8|>O'p^9r*F cMLGHTt~1io,gN.OBA;2M >T>!}e7M' W"K+$9r9DFr`i1mE} k !_@wi?-'h9&꽀&H5$y"CòCW>3bX 'TRy4ɛeƪ oҨMQMDT4FU) g)iD^3`S=UeqKɋrWUbSd܇ r`.p?A 9!寘ʘ;hוIޛ-9pDώ;RC=:i ,'a.gX < fQv&-:\MZ:'atPfz"=9[v\"<9HD} |RlEN! +%؎nPjPҐNWpx18LGJ[%_泼ྡྷ;?-^ɼ $#`߻|,2OX%6j&إ-;GNEs}|RUzU U1ɡ)c ٪BY L)S-}v†;2ʈr.$#i䃵7L89I_{C&m{ԥBYP4_k,=\p=@229='3Y,6cso1KMDVC eHS lZ t^wly1an,D W^ѻZXCZ aƽ3e pȉZ+/"_!:/!RtGe e;l6}]}'<ÓLLYj*uwEt,uB rUڰ‘#d94a&#[ʏ p.C2}ВGӤVϵ).+<Y9kEId IBMfK2`W|Ys,Oڴ*6URx>JZ*lkFAeZ˓j4dn&sr/N>P0C+ J}ωgicla><U'/ z[5k)N7jszY0z Ƅ PGy8Ȣ?]4oD7Wԭ}<:MzA! Px]zfćq q/Tt!~djjʓւǥA!=!Ҽcw1 dgqJ (tn'sPҵ:*f*Se^(W~u#܃UK@T x1\Vt}$ɏXg!M䜔Q$p=üot}]VS3Z2QuN\ݪ&b$? V)A*n،_R rwg B"xA4){B-BZAHA< }Z ,m#vg|L06w3%Pہ)nE J̎^k'1h}j^U~R#Բ0TRgɫ2~!Gh4e(rrɭH+);Bu{ $fbӪbS8V0aRB\x͖)=5'E=W3AVȯk7 : 5Ũ 4T³`L^*$7-EvP k*b.xx!NFBƌ~@߈ 2F`NpyT?Lq$s{{t*@#M A>[E76#v0|I/JMyBA[Һ^b`m&qNZPzn xPw(jy\ҍ|~q_|_W+ljM|H-m'ք~bg/4b!H\ ?Q]%z`oH«ub?ARMCHlG qB.ŇR&Ѓ e/lZ[՚*ګOa8g 'Hҿ ,J l& &<_TEEX֍zPxwtP f%f1%ȄK N-Ό<?Y 򣦭TQaDc\`?:ym^P_k6s-_k_?ho*3`B&m+u9܂dùBphMyCOdUˮn uPI8{`v%& 4MK鿦WUG祥`0[X2ec󽤚2pTSgNlVJD K/&ܺC׌Έ>S8,.V `w(lvdQ+ܻ~bHmaW<˃}{nGyZ!ŌkR8Zm"b Q#r (=eFAG](ngҪA`v辶ǙSpԧqVH:-ʞ`QǹU~lhRDi ~=]+(Z;@)#XQ Q[Q_V?^'snOª@`Qus1 KjO !@Ch=gjr'4fvSܖ`ekP\1!g Ժfm>n -8]L䞵xZ~cL P ܰZ5D5DkT,Mˤ} 4ܮdC+{Vkޝ♻[IfM:&ļd=1,%Gt$L͡"r/)[jOPWj qn՝S_*q ))\ioX$𶔲dWHdii1m=)`6nڠ%|1{'a^g*ֆ!cRr !W"E]r'z̴F}5ކ' L#toG|xP[izLx@4cHϙ3u4Hg5ZSPB0b-f&*ж v.: q9nR{`lk׫[vKѪ"1$)W$6dZ#M5^=]MH<QzgjUAZ8l[Mѹ'(~u ,˦˗ts/0WO$3no$Ūy[OJșShIq66\e]T #P)+/(3ھX>+$ɼ=Tv~٠xN{ǴsߣZ8Ov qݾ'`SLz2lLBjldR (:f;/1b V.DEr~|0lT8@L/,f=l+0Jbb+n\ GGK.{MJY&:$m 1)mo彷Not~ TVV:dSco7՟^nk0dؠb'UÒXQCe$ 1p>*l珗ȁ/w2CVO xEbQz(H*JYĨN. 5 &yC9WqX0kCiO?LsW\}΋Oh1 c [5oƼqtAvq++w(rq s?oY*26/ D[#&%+^5?֤o ?MyQv= OBJye [*QܡKms :8i"ѱTVM:oȸ\ 5V H1Hyد*-IXۦ"{guPffdBG+Yٹ/y|wJnKi;V«@l#;9_yɭk%>Vb9Vnc:* Jcr8}Pnǭ,} *Z!%`KBe4[5ɷ*,ݒV/F TUi8^W hMx.B~(L&}gr}$Iw)ņ-v*?SWCZW9Hc?7댟$z[l4ӭ(&K}V815; vEE@J@M~h.Ʒᴀ ô,* tkN`|yo itv-S_OCas`Yј+ 9щtSpAjV &eO:I[ +ٺ2LD' ( GxmqعJޘA<l_!{yr;PLJql8n٫2GBe&ȴ;xtؓ6fgɺ84^Սw6+B!'̼8'g|/+n@5{OCFg[]H׺ѩ:. 2E"yKv$'>${k.bS;[q:?Bܼ@GsNɫ,E+sڧ@xj \*pZ?fے3tBc/ `\]B'EE!_"ıJZA%T& $ڴZ' |8D~ z-ƾ>q@[ I֓3>AJCxy!T"A1an_`hXυ, Y7PFVO 4xzsf#D++̷e]CytB=)@]=^ J<+Ourj^ZwʺG{pS1MbvcћbrBEuh;s2Q%SRztV1kֻGEu.M Y<ݛ2Xөi!8J(]cC_xCg;&%(mQ1tO8iKz"ov;=dێtv\p?4֠J%R:V#v đ9y~xI']6BQS*0YKi`0zLO̞׼at$8mWSa|Fz@x,W$;&,}d $9F BҜڽ=uNc9:E]e ᾢ'u>,IGIHuG7L״"nYd+baf)8qsguړH6C6Oq% tGHn\fs]u0eKϻ'EdvS{ׅ^g95aq"։2P-ul:7kvA  {erpU Ž䋂7 cZ"Q9%mf5!=t丯`&sŶ A4$ޫZltn-D#ų)i]eA u.U0_4CO1cXv? ;-g~3Sؕ?ń< z?3 NJz*WEuC&0f E+SQ沵xSIR€0VnʂH\ $"Gѷl\(=|^y l `-cXL- DSGǠ@qus€8䇶q{%O4(l#Qumn^_\;DngϟDwgk#,R (W[1%U[]4ybTom u>'+c"JbFrK@Q6Twj"'ĭtm=\&6O% dlD䩱}A(G,fW/kV7lS+:nґaͧQ$=JI*ᐓB(Gtp0~O+@BO]}n]۠yBu`n˄ & )qM1 %WDbt1́@ ڝ-|3"k쏩>Qz/ʊqS ÍFupRo )FIkJ*hoŊT]dQk"zxN|Mz=Gȡuk|L t\{,0:/Knw[ À]}7&C6A?0\(N"KXWbkOLߒE_KRp"S:3GסՆfBM*v1c>oPRSD?PyHTe Q'R:+%n n[k4w84pz)2-# (zIfB`ugٖ)`fM+IN{9&ugs $vG˳ ^ℨ?gǹuC*H0 fy)]64oKː9R5$S7S>Oϧ~rw#jޮk/ /Ψ1 2IPslK^#Q[ f[lML9OMq=>f/%aZ3 ɰURcF==`T +Aq2{ca}b i MtDƷI(քvxqA,4_cF^$PHw.d#<I3<5`@6s|b?~@Oti?W?W*Mb7 YCkG(9;d8 ݅I+UM V ugH9_6 FX?0(|Ff dyZ0UI{mQ9O;,dQ;88i'vq6s´h=K>f4zsV:m@C^ Imip-}!QAu~_~z|X&#nCfzqXy>SChF<T.MˆqKʈHLãNpkC r4tan:->rKZPȝmF;ɀs2ϳji~> ߎ5yoZs YD138 TJso(J - ~u&MZ/ hFXS!ywDX_?G+&A=J,ԩT.wv) i-cVwҹHFrίJ?^8Kcq)rB/Xn(Bwt vtat֩ylW-v^VR'7abMR?;,wvXRrfbptl\XT"5F٨A<E0fmםIs񪜧f[aXtմqWHԫXX,h$.j?@ ^E>@7 VzH{<]|aO%]@)R@$KZ%y'gp FSmdW"Xa$mc}|hY9O:ʒecqNSx2=dJ[#ӈnBΨE<ޘ~2#W`Ih({<;Ӝ˯=u eI.n-pnjpt*E [`4:αۚy4k5Em"m\-CDH/*Y#2=,3*L, '~hv#gtK6.nuk^Qi}~F8ׁ ORd&"^J5\_M8 g9γ,9c 4zcoOEn5o 'B,/#3NfppNQ:?oFp`3fsz9k7)O V=*i[IJmZ LK$׳,cU"bQg2ËI-C5i`xmH9ͷЮr^2dGmC3𛆱F"mLk MO7OȚ5P3S'W)C}0ЂZ;GٻW*Js#~& ȟu%@/1pP<7![df@CAY-nGȍ"˯*v4;vAo^aSR؞b0sԋ$3zs2c}ERg@pQv_j-%Q@1@Ӗ7wC@ O:P@Z{_iY ?>n;):kb?]fn.SES jſr/!v]nahiaj)/Ñ7v,Ef'ɁC<ҌV,|dPҨ'!Rv7n"fA\󎼶o'Ņg\~J-koJJY`khH ?SVv]ޙ3:ғ#9y:eQӧW]NuCд͸ D'!#1qvb+xKݯ+[q.;'J;o1S<}ЫMgdaթuZ KZ໨ct&'(4a7'w3:fNUN~pm1^S0׋fSGbI^?w$L ,-`meޛ~ʝuTA0!C,Ucxs7h0kN;ćļH$$1R&vc~P4AwR"ERm*P쫡捱trd]3kW3"f 7oϳ )Į RxOl_Hp=έ)w^ݣ =[2_1?K8\Ri/:a/`3kԋnC0Zu߾E^6= *,J JD#vM!Kh̑]o'Y( 19x37'_/[_%#Kg{ MKJYtTTDYe=874 Z\@.4+-CAWN'|;o_ VQr5%6'>i='SMfUYaɆhxBuo[rY6G=[Poиqco׬^?`B:*|O  sLJJ=ǰ}#g#Z` e`Wg/x Q{y 7K_`m=mުNnOa;al౑7hqXb7!/ "gH a:a }yi흂`!;.vu #}3[^} 6ڤ9|w#s S 80Zw#oyCK3XE [e9. ^y]Eo bV >we. kcBFz8f!-LAךmv#YIVvl]q XrXwW.H|f?F<Á1„~Ie+ҟJfEҴQ"mr|t;hΛ ?csdQ$JUl&?:ZPX<NWIjt4ȻCбHC5L1yR.LmV` 7 ]Me6x-RĦkN%GRc7(9E.&0tfEA~܇e%טpRYyS yS/g0Oiu%3JQ2Ncy!{2 z|h'G-GKM՘>Tĉe"sb{ kqgTM5:kpσ$ j';%! .qaa9E O[wHs ;?.>wVJ& b[KVg0ԖKLr :HS`%ո[!º)D+֖<\3OSqʽ\.q+]Pp&NaÚluϧ}@F^ܯmn^RĐ铎]3vg8n@/3u۾^d $8(םV'% C$&UX6;w=iPDb)?l#@B`fe+6tI a12m`HZ36oԁ37(q>΍S(u:%$4Sk :téʨL%(mli-܅JwpDG]ar!ý@ 1t<i&'g'֗^op?Y5e5Ç$jfbrDm>SFh>]h(T& j|!Mf5RwU\OR7:>*r; p5~LO(!@^^ay~16~0*ɄՇچTU%&D\g+@Z47~ )JxE؝p =jd+.蔪rc.-6) 2xj=c4"P]UgU1QذquyBz1KQ+ 2)\Cu,qRx8A9= =a[AB|+D0vC=ׄ!9w5wnd7\B~\dD8|kpf+fhWk RюVJ_9 $˛`gȴhH 1LtGv]LQsMϤP9%8;;bbi|2'Zߴ[n gp ֚֕V{MqML֨6W+-:Jyfqc`._ 88RH"k=]gxS4iK3;y #[s) RB,\+$iln{9]$`G5M'B1Iý)DdFCͿW0>/޼Q*(Gsn-i"Y70(?ȇPl06S7kIj^ '0)K| O6tmB$.2O$GBuӷ9"T>$ogqŅͅIM4۔P+|S߽܊M"(QhʊWU۝~ׁXl䩈k'|ՠ!|F:SYrLϸ=' CZƹ#A4v mػ'c6%|n(l{Y3b@$6`BOUdOgU-lx%P, nb -sو OrV̆hG}Cc$ C DPD;E{WAkL܂,7O7 7WM]-b=v&29lϞw;٭i~ϦQ/%JՓ?しRKO%20 ,Kc~{ ѡIh>ּEό'#{?@ԎlM=uz$ AP]{y+@>>@sv8Ȍ\ HZns!.Sx8J0Qp@y~Mh(#6Y"994﹋_`ы+$ThEcy"nEn$at=$꣙(HB^Cv<"b;S(pa.b^[S/8%jy)p 4f:;rCro7wɠhU,H[Eص tH藐L?V ES+}ḞShDxV.}^_ܜsZk,7S3)eoc *=m/ܲA.QHYOhi9.~?(OIܧ'ѻ5_AqܨWC"6IJN63}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;~}4UU1=PEs| QHβBa aS48xo3\BóʤW¬Ш$Q oșMY<+q:WBPqSݭFeeMDSO3D&O171`.Az)-$dQ_4X~8*0 @p2_dU0 k#CtPOUn߭^%|ALvM?2]S;vF 9::/U!052^bXd{[&TQ]w? sUOۂQLSN'90ωAbXg,U5~lIV."*vACq\)[ ~w:Q9* *0wz#joT_oOkbjHSO( jb")aNIBe$x$25`/ 9K# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! Fl{] !M젗OFI"Oo5Pl:*_9(&tZR&S, QJk: 7hmv7Ub$fLR.<99_*pIɒ S6듵HtfZQfgc OϚ&kzJJouMM"3h kMV&Xe bH-pd3NUp6,F ƸM:M2o.Aw326v=%9! ?/_-I,G G|A~vZb `hA1Fk?DAV%p~0[Zo dP= Y_Z'lֲ ŬOq4>[hb|Qϒׇ B q L_.='kfs+8EJfz Sn>oFw:@rnJc'eb+΋\#TGďT`L['X NS[04:d#?Ӂ%_e}? Bs4Fq)CRpk~ZpiW}1f9s ,}^=C4Y4q 5j?BW,rt?(mD45WVlfä e{EH?5r !,0!/3!ze2X4<[{ZxC9.ܰ_{N0s@-]~NO+>qAKM"7Pdh9& +duO 5j@~vq;!}1ANfP<&EO(6,)Cr/M<ʻ} g›0rba< }}-56^Z+4 -qIS{[sQ'#jxs[[[T[k>}3& %b[ua ([fuIgrEBkcJqƭKAj6\TE4aDTV0h{#^IbB3F?#\{?tNsNEt,X Q]1GyFz|Nh%cGMM%kךBH ?./l[7?mE24GzճEo\KV 2"o43+/.Љ6EY ©'q /'&At`U}7v̊.PfrdEߣI~כ53[ʘŽheq2{@k;FJXZQJUA7~!hJ~d*A3(v}!Y2Vm+?zefƛ玐RU:nW i/ݚȚH1R$]$ ׃~`=" 8[͍ yaAKe)G+(OdyzgeBcvn͠F[ 8:td(pv ]Er%zH&`aGPs L(`+mQ6#}kT VdR0Wԯ>SJߪ( )ҭӴǾ(VB"@@O-+m .2A}ƥֳSQ́&#Bm86sb6#p_˅|Q N1Z*On™=fdQ=Wf추rT3 v65K]opso?i ȈpsX4}-T鰑/RL@[< l| }|@GB/LGr@[?e]ٖJl'Cv,{ a' p ]qzSp&Y͖m嫿et5(ʶ"j#.?&[N$)ԠsND GVkZ )(DY_l pci0k<23:r⑋ ⪹ev"e9 }Z3I1pMO5[.,Up50z,etistST:.Sb&[p|+1d7}mB#t0j uWRvRTV! ^REZXg._/f`"Uy[]sA"Xcl=3 dݒj&܄"Rӟq= 0G]H7 QGZT}G`)&<MB4=a)aJ4e/nrB+?v %wyb -j=I1q-C@&g4SZTޞPʏ׋f|W|t*OKwau3[`FLx]p^P]"+wM,AlsۛAqK >֤f2mL|P$?': s=P )ژKQH(ĠX``ϛyULý'"VR̐-\vLYOaMI7p9vB;[N&k P!,<5 *l_msK 0hր$HA,da>yGss`.9 湦 8c)7Å^h/C*(ps8RUSs 0}E9$ Vi3;傔m'NfגƗO}0qҝn~΃$!;&s)c*~79JhI_l\M' 0 B59,=ͥ@#.WUk1[/mS /qCi{Jc<l3YY-x>>LJ9z߾nJAq2 +{׾K>Pjo0'A+gՅd;2R3G(HG*g( uWp3eSHp+7g!E" S%~O/l0~o(%vKUGk(ݙ}YzKXktXɮ (CdmOkKy9b^IiӐlgK9((P"jyiitpXhxɏ&SRdZ`jv!Y[vmR\9Y t>}>g3Ӳf?1R۰),@8K}'/42zqh у^a=aª?w%sǔf*vJ9qGa4a/'=69x?NQ7?1BxΧwpa{v^ g3tqvԧ+и( 3X9ִJx ;lcΑW ڝg>W(\zz u98 pֽe7܈z(*NG!@"eDz[9<-G B\z}+86]P`F˨? )]v3`-'+mɵw߯ ]-o UP105DӌNOBw84!|$0yHf!>Z^nj$!u7F`l$yoȄ{$Pny^lRKtqq_xgU4 DCpwPvHeo M=֨p* :ȝ3 'NzJ(߬GFKc#.ώY7_n+c{ǻh mfyF0R|0z9ϬAq}N+xpRP8vN|ѱwzzu Al.W@bd.7ۅ+1b'ʉxZϥEoZ`Q*tC y$%I Ϙ24=%ekRu@7]`?WL%u3A%s,Q~6^f-0KFȮ.R-GF손w|g)QkPt⺦I0C`Weރ_ب2W~ˍw̵֮MJ8)Ϭ{̳62zp(V=XXfN">sQ .rп(Ǔv}aJbȲ8犩wU+{-;FRUw]sXP)-= B\EfB4YC_(fRZMF|jvl=1' `Yf\sԦ(iE{ts_&Cd4RF \pkzCvF<*),Y_G"˟ɇPа$E8ZޏACP :t9d;ꚬˈKA6\)1:$O*#|0z-Z+u{ex?)/VF;rҤyro{ š9q!ᐖB^RQƀ6Ȣ$ +gYZ 9#s 9G# dHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markup7zXZִF! 8Uk] !M젗OFI"Oo5Pl:*7kbVq 1&?Kv2k˅D_hJ>Ex ͅ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_'%X1s]-oKDuPF֋I5 v8 \^ԨE#15HY#PW]Q>34FnG9Ѿtm` ȳ XEoaf[?B\QP1N_*XE誉n~^Jv$ĀR.0C)ƶpz =!N*+7!nA!esK\L$NVV. & #=mR9 .( H~~8L&ޡ$Xy^gYHK?qp+ ίHvo _4jy<|4C0>AB2,bTZrR;?Z-p- d-TwJ hdzɈv 1u|ob?z%Ю7Akn ݦ> k }f3l| Fjm8S/~XcuUbGNLl'ɤBNΥLq4`oP6Iі=meisZJ3#J)| G]ű<"F_:4zy]?q)i/7bE‡\#n }_N5;?[`EQa6/^/tvV6zZi8f~֫e_J"0duҿ.!dof~ RɅ'-V`M 1D"tLR.*QD Vz Tqs!D+<^?UY!@Vw Q kHw-4H¼7#ý,s!tLsYK/!L|ցL޷NAZ+M9AX뚆[nhOs%wFZ 3rnz:]~ݵ p;vyPʲ,z4;4=T-Ō;v5]ˊS+26HHG;N},p$8tOdśu L(jSCh 'sfې DjTqa6mUtTTW|9U#FZڣTLz^L~; pA yawRDlzԍDs 9G!jHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/files~~/src/Benchmarks/Datatype_Benchmark/IsaFoR.thyM 9G-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/document_id522O 9I# HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6XP+f1aHs%z E$ *^nҐ~?NPEg cnC{GN-E4LMӒt> gXźsx 0†cEtWD 셱|7iCboдXi׺2("K1o=yOa *|گ?&[WٝTZ oFM秶!bs>nƕjKu"b.#!]# 4gd gXbqrG37V4 `~ėbrtڊH>.1HX<*DSآ.DY8|bۚܚ/w01!hZie޷]k%HBËI̛a\!8=y ਖ਼Mc]1@YcXE"JL4mkEZ!1Mʺ-3a7{bsN_$Lly@QrDf KԎ8 ` |Jd m@CwtZm$:0kYI2-CY'bc,tha,6v+#)Of^˒?Z mn  \1=ϊt07}K$6^EtTSwn=~q䢧' A+9lu!y0Bt"GV| &bqB eu~O=WĿw "(Pqol JBsY;y]<B4³{ro !vI:&XO3jc5GcTk\*pa7O (B|h 'bYTGΈ_Al=/Ux-&^~ ‚.x=^{ci$y\ZkWO%G7My氬X }_[[ 6]>ՂGloj\a4z3}F$nYd⃾M 6k; _hfp `Eg.vwD+M.%ېnb#^}W{t]~}.iH!̔oriAiJ@.*UQ MNFCp&%,pFdw<g OdPCb (7`i:LLf桥³kN k,7ds_6|B?*7CNeQ!`/hCYγ)0p6)e^c^[NKI^<.rPk'' 5 - \^ (P%'E# p2FGCq FzaMlNesHa@s@6 \L壦?HPM`(OوF؀ܺC':m4FK$Ny9UiEswAg-y: ͎:ۺkQ\yԝ3|1b m˗enZsO=VlfAxglx"i/ru`bR9GAz0^݈nsU:0R,o ^mL\n[rCYLk nV'tRK\Rd)ApGL*fᨺ+*nxI,eٓ#ҝKU+H,XCnlYhoI,]!/%4} -^QÔ@~1|Ϡ"y]CgYZu 9I!lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Brackin.thyN9I-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/document_id518{Y7g#xPP}:` fkmmkEÂ>EP՛jVKm 8kO۠;dt_VjCE KQj tqPʎPVl]{Pw UZ0@n89#p <.2ޢ':{k7SV޲Ey$mRq5.~>qGOd]<  {$s{T_ ڲƌYvkZ$l&{U:@"315*t3t||+=_0% Vdc=ypߠȗx0:wPK+wLKWm*ZӞ VKD40Wv!j{e:G;pÓ9#^@`d*r,t2ٛ9:J}08=da¬q^q]n/"70J3c*@)Zm! FU"( _~5 ]м|ʮ1N@pآ" |oځwH},spc0"N:b\ydL ѕ0 ňl2Rw|\iŧ {*\tIR-;!9@DܢE8IU*M㷡(.J=.'!9 @:MWW o@vnkD[N+y(ij~mUNT?ta<;+_4 ~{kڈoRfKdRßL@}Tpvl"Wmv(UbT݂Vgz'*۰aOAb^]<'0n 8MvaH)ڥLy ,YK=;mڔ?%gAi߻Ij6=d+<]c{'װY< εrpg й KIjm=6a[23KP)d!,0[`ӹ\ƺ~龮$R{_-I36w'Zp_ڨ+@TClaM-z;]'H0q>WyC4v7݈n.;AFv%>'sRea%WbBQ@n#>Kzg Roj5mԐ߀Qx@Sh j%+lǦW:iFH'C]_4q$@v`/f8IBy`vnwk3}zgDҳeήvPvTyvqNU%FmVkIK3ǏF ;cv]:;|tRPX^ls #GHΟjVx=z^H#&:)Eo%G/"4/ƻ/#G4^?WְD\2Hsc&q˯\ELU_ ynDgs=t-AvH*_U`. ~ ֟DN" J yS8EA<\ ^gLnI{jԫ*+J,[$Oz ,"iFpvD͘a\%=R`3 >^Owj8[2O1A<%2_Vq٩y¶|GAƧZ3)C5@2\q2KuB- Ru9xQ2o}vQyK{ f&=dw0K̈ G}ٍm4p>fiB>5βJc Qp򾻥?"437˰ztNX"qY% L&4Uє*#}I'-g6Q93Z"60gﳽ09X( XgmR%}5kJ+OmΘ UwuEmQh>ktMy bp˫iPa-s-l@Τ\RBePT=bSû#ǯ.C -Z|Ӡ_WY^6%݁B9H( /=wqiD [pJQeAON"3Nފ!-"?LT9c7Vw2~|`(K)t9Vr@HR~CA-%HtN Dj@tgG.ɏzT:6A/yF*:y0X" o(͟P Z-lC\kO}˩l.&nP99x:Ʉ; 8ߛOQ*~6eiC?B" F0WK2bo?"qQx m- R0 y9{m\ :mK[M?:"L LDl!}W)';pErT'[%䐶:0XX[a4/!t!X7.UM}K13+)`AmCsxrY-rӰ}`UYLﴗݩ`m*B9Y[R/ !o :+>Mϗ.k#0sVm{UFn5-kt Ԯ-<bH7Wa&>qrE*ihfxgkrxծ)Ls.E$>#|JqQAM8[p)joWs1K8륙dWc+U靱x6ƱgQN`3QBϋ,vTTIGS",{C3m}sы0]zxpZ$[f&P43Bt8L \ 1yb}/Z!a|G KI"'}<0)i]ۅEz&Z-he҂u,ZjHw@n@`zHr7&SAqcb97O%k-]C#8;b7y~rӬgedO8vϝ=!.OQL=2TL4IGj%cI`$/^e,4k$? ?)xl7*hyV荣 5MM NncO pCyb+\HLZ0鹀q5(, a 0JE\1*[:I6i;kXLWR|d Yn3&jq ђE$y@y-aUKS%f-*AWռN 7zΓTPQ9ح= w~i̞:8=~{qLROG<8'izby4Np٤jBE$ wͿH̱l$Xi¾c|K2;k'];CP#Bzk}v4.*!Hk(| ~ g3pӇ'AdYضS6&A޾p*yMwu{PGRRRHEmBB i$IPibעb&a[~|H, v,$K (j. Uރf$i\Z^)0GtNJHqJy-7xpvqP~xJ~K@Ӭ턖 ' G5J'u]>7˽SM 1:9}F~I)۬h&ò5 xnDѶXB8r[SatfLk_b.bjOaKj]*l \ȄDG-Ʌ JO$[!n{P,:Ac-09QАoK0W9LXb xڟg٤i xmSf0⠀[DH̑r^ӶUJ/1j`]G }e?˟lCDi2LS1'J; @l=j¯SrV',l=dž&F:Lr!FrMH,T^{6uuP1yV"Gƀ~,h-⡏% F&єxIjʱUh|!0sgYk3P ϠxIf45_GCԹ'5OX7Bz1"ϯ?xTpD_E^3t kU0kdΫUAC|teݹ~ZVq:)S]=O:zX}-S'Etvay\Eqz\`h`XwA=w[ۉ}Ь:e()^/%v6 6ٯ]>%ش' z\q͈6㧛Xe77 e M&G"gtdZJK:H_61Ϣ?5G\3zȄNJ+]N'G'XC v›i0O1 >5:\@1LE{~. ]p%Wv-SNj*eJqWye/yk>ޢ6,\c}9 0(7/¿t1[@>!ҼB1Vʵ4^ [ㄎ?:ܘ7rhx-ϋrE| "?4-iEL`.Pw}u-\/rz3Y)!yN;@e`7.?3g m!.JtjF- xœ MFw6$~g'pf9;e!N},er΋"8ʸ\g)I;5{5EA*H8⦡ڭoqQWjݿGC* ~qw!-&Ρ\v9vk΢w.˵Իzц7A :G!#A= Y7ʴ|;!~(PnW#˼0w S3HT"2s!@7) ix2ɱ/)} bՃH7oH&i[Foc YW<uz|*i(<XA]ؿt Z:=S>&Ƴ~XkMbt{u 2%φn`N\oC-'ëZ+kJtO1F*4dŒeVjl$Mty6>Y@#3=(TDv?ӍB©k~ LP0'zdyex臅.xaa v 7$ ,X  A5EiJ>t|-b;ѴZSYvi\~2=K$8q=?̆jfF҂](?vViTMXa$=ɩ,MR's .<~Wu.? 4 3++nqL04W޺)kJg({bǑOϨsbkY?b֡Et>{cMFi8ȐAȶLH1 =q^$WLxt|A[V-}R%YjH9y[:`Hld/)L؂z*Ibȳ7ZN}F 8-5+2CW"r7GiaYϻbb^JV}OԢE{wEJԜ*OVHD,-,`z_ޕNrmH ~ɽ(ow#t{)H&=?iYicEY%ǜ)9d?\'Nz٭968y;{' >{A0W4%=Vf5 eF"`i\/vkօV˳yF񣶏,Fx#, Xر,ZtɟYO䆘r,4tCh ^@c{!$^T܎ژ`BjWcN& cgMSi+O_];\iٌUC %;~']0sw8۴ڰNN]vByQSl퉠9 {Fm B{'׻ypXl3< BzPIx%5+!Q+r.CQQxQ*=(+и+vVGm{"[:(*^HH&! JZE)Dz=3om:yp{V_H{%dU (.MUD!L 59/NIŖ"]jLmى_|,FRli..pRJ<(㳾=-E-*}wmbj9K`6b8#'@G:^6#;~jX嘱Nh3DVʂjUdLYkL@ ~(4,m<5Iz"e(2YU@=]ہwSwКUg?b$ !\Dl=N,PЅG8XwOOmLMosߠp[PԔw@>)atIzbS6G(\mȜ H̷3I0 a^Ki ogg|tn cln8$ DQi ,cTH_@La6)PaTǮKYc2z~s/7ggޠN?yk@v9X';#TQT8J a N"cKH41u/:]y1v44ѱlNc0#k"bG(DԸOk24"cY6xW=R %-D- E~&pMbpʏPmB]eb=e|#ZHRe"+woal=:YOhn%[(W y}RThLG{|2<gjY=mji4C԰xX!j>{ 0۽a׮D'F Zm יKs̔bMFr,l4f䤯#^s_rqӟYR]02ǀubT3yU5JG,0yәؾ173|½}1AXf4N)-?)ZZX2n? ( +_, J-bbP_P޻fSaZ< AZTTk҉?L:,T|;YMMV 4UˋaH"ϩ[``+(GjBRwdi3N/N,0[&A67M ^wJxq>m=3_ԠOl7FmWng/3b4{_XgjAX#K7Kd+=EIz eٖ-)0Dg - -V\`wܵRn dTzq($ۉ Q!M`XcQyX5Tņ'Dcâ@uT?).0bꔇ @φa"`zU;Z/A` 7kRPSٺ7|b г@J1ӌ5AD5_πzN|R4y) i)h/: }Ǎ@;qf$#{m_m>R;n8 ȹJ33o|NAt sP7B*ҳɨ)0X$)YraϽ}s@:B4ݸ(gϏ#=c]>ު.2+yХlbjNe {eAp'%tKlHSnb\;K2k7ro$Z|*<#Mk3_^>ynO{`sh؟S% .X_Qgк ǖfd.ߤ$ +K`q" h?0[j'?'W9g&3CB] ,Ce/QyƭdlFFG%(x5!懖N U](q/+T!94odyRٌH f{12OpLZo6o?.-k?K0G[qcx3B[b=FNMc~?5;'бD)˥"+Ób%ӕ܍w]Qč)q \ouz嫥&W<EZS7=ACg.kdrrP&{1*;K̈́=vN:#"fq y|HgL1VlE{m7嫔QEEcOǑ6`v]<[ai#vZ0MnmXS) =LI'Mg?-)C`14j+p |r!Ix=}s6 j(kg D {ۤ"^;6l6 ViJyqnwo>jze"WnpX+/6g:aHmQqg[ECl%~2!=ͼM atLR-_J.[L m9-NDH:XgD4g9}7\5>{]vˏ?Scrl5uO"S{:)#٤aQϤJuk7{,v}c8 e?ܱ=(Au(K^c.![4#3Y-J O~3#=P=zD5̈́ ewgC mZ#N0TZ얾^ijQ܎}; ",# C ,\cZ*PǁqZ#-Ҩ3܍O{8&[R{Ѱa?0M7жEr̔±h?oU N 93~%&;co23K)wx tXi# e{iZcV*ZpYQsEKiU /dvdPop7LQCEVR9=1=g|0eJc)0;)X䥍 l_0kjt[]d?7z2Sp?E<t(t&۔"et[bFe$^j44i(o9iU4xp} 3'{_WZAl縵,1Eį10K~EI/RR՗o{vV44E<$qkBc| GtM$jtlƭR2}zpE0L9؇6Cg)0]B|ø:C,Icn[-2 *Ll2skJʽ@#쿦˻ZB9s2[-!H:+AFFrf͜7>y"[f(vT1GN[ȐrnJr2/k/r7;'C!3Tf-$s(/[$Vgzә[vk ?aBNX:U X'ˮh1:j9K|^1 \,~kf3o!ic%14`R8_T:ji/3Q>}HK{?M4[3WB߅ppC!1r75 ȰЏ|F 3H斘 3%ux̵P$^9qnO0LYj‚%?r{s3,to?zzk \s?S.p3^ܙ-.5d~N&ZYJX]ZV!~g8eS%+OW鮓9ya`^MֶpX`_ƙ{h3DFN;a ݇>%E>I{y2(U;7(OUj^x8tT'y" 0,7bAL6bX]aofcvPjX,xk[MSBXC[OӃ:I :|?V \pm вHeFb`͋xOW40TbtM^̉|/hA)db=ljp[ܦpFi;l6;(m }12ACIAIڦA%t)%C!5/_yHF(,944[? tʀ 쭪Hv~^,е@\F0;7xZRPҖ'D^g,#ԦL3w; ѢaP?ȥX^Ą7cD#KYyN%ZEIIPX (]ڞݢ}̝*23jg&fM>WkKjs78CWEz>$u(O5cyTvfk‰Ws;(<`Q9=(DC@JOIaZěhH fn-G~@03ρQy-j\Pl]]b YV@~g[+2.״$n)!v m "8 A&-;j^2E4̘|]F z;M8} t ,ECt!l7 ߄˖^dߚN*S(nSH@}ƛeekN&o]Ǚt/m5~lmX X^jҞRUR¼FKoD\VrEZZF#QU*ks^]j2r')I9&{blux^k6N[N .0"nWqhcg,QqIOn6ԚFp:pX/OݝA]5ڢ`]zA-9_e%UY" :5%>F7I䱭]at%Qzu?4湮TVjF4DaSVr4@IT<IQmhnC#spOӢ6-$ķQL>w 8qyKt߲?lEłFƈ.m[ڢF}MI˲^>߱8y>[Q 0"9x"5Āznsru<]P(p  h.h1)ؑ V3q`'+l ؍>"SxpիtsW$ٹ8R؂ռb diIħRYWZTݲiôhx) ꦷ3սM0gCTo4HM8 C/NqQ{2,h hbUH4cd4M3j%# q3B*WiR_U58 4?zaPۣn+ɵˀ6f܍LeZ&>غ8{7c`O bDb^JbvM RLZQ<υRY ~¥c,-e܉OMKİ]ȓPN hf%cY~* ^`I'X6aXK' >9D[aMM]XkӦ6hUNz4οs`t@/~2c|bphn*<'g+rʵn٨e̵X|]}JaxkD@4`{č3Z/u Չ)0 ]AeSBgXϱ 9*;W(^{S!LJbޛ܊qddxcrX"J@jPN J@ Qlpt`dubۇy6h>;%*jCa /Zm>h*oS, UߌWBGĈQG WS agքN`tҍzoս@>M/K~ݫp'sܵ 0#4i;;Lt۾ggx~+\Q.tRwyRȭ$̨uOOT0S1Li%D~5OTml3.'0E;wDVy%o.ӍAxer -Mn843SI !"P okLuUXh=t\6FƬ5>oTVOMv<%QMxR\RjI+$IJ9PWyPi]uasfmۜө*3j-FeӡL| SFf>Ԃ& A8 N1_1{}#Y/9Fn 皧.ԛ+`ug2mlzxD; F@gYN7CLtſ6"Eʸ)>=!P7&sED! FLQVDFpgZm$zDž}GءʨHnP)d OK\l(?Ɍq R~c`m\D0JP=[jjmnPGR(y ,arۊk\((Rxq!{$5 ,cW(C:qx/"ja}ո\KrT.qXϝDu#*Ma1e>dmh rGK9\™IM!t9nKrn\<1%[b@ n'=L@bva$#7E{~ &Hӛ >R癬 0١]BD~4F {2mUkbXtjNN[հz7n;zi z#( }Sh)g1DK#_>atˢ#h(""P]U6g"C’_ P#\EV%Wxۃ6o$|4q xq %kJk--V%Lrt$OPT*%~{fBa'YrZܗ Ӛ<{*͎jW?xV%8_7)H kkTV$ ȣr&\YM ~)2͓΍÷tVLRL„lf.)j+$Pp-ŋ_  C LU@9oqY)?H!?ƢeA^%=b` ٷ1rI2^\)w4eqHwxGu)iv/)M`A.VV=J"Y(쌅ዹ_AG.hJyLʶ+hm!d UVOJsॲu41ԏy%M0%X3:L@w^Y.@رgYZ   l9G' THOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Iga]Άxʆ5.f-9 rq? ٲ$ZC' 4b"2Sk>"_N@fxN>EP߹ǫ[@aTbJQ2+Π.ĭZk mZ ȼ#üٯkU x\Έ.õKvf'`xn,6@5JJoF`D+Z/ NDUS \;*uvp԰wD䭔B1EaFh-K.O#@P-9ړvR~0zsP/t L(yU/:b(mۺ-AfpwVJ:oo|K3ϓI|ҘeB `CTy ia+iV6{k_rq.fd! HX-@~⃢lS1,Is5mݝ?$L}ã|y. !>4_3Ău֚hBAoQ`<ܱ_AQEٿTB?.dN%Enqan,D)4T;?wo*? [U[stU #[<4H.}Q( (9:#n[!OAlܾSk,s& OG,2 $K8kwd=.dѥTPI"e!2^nU{rؙLPoz\p4MT!OwMV\Rp5l uG}b09N,ͿTE 2`KMI/C]f́X798ƍd$L:E~jr QӀ\]u u9nŹg3!ktʂT5ްc?J B Q+]Rx#B|r͆X5?pX3< %^#jN-UA &]BPv-- paS7øZū7p]K2M!0. $ }&sE6KIP#}q!oKD8qffN@n֖-oi{f $\93vժ~MH`lDQ =J򜍈[@] Jv &NOw鬎F+vkDz Lp*юEM8)9ۜ01mB4xTZzV5MUꦼUyf`MzSuSRx_q'ymOߙr/H#DvO7OL v9U*X_mWEcfի5V2#E2o"BW;ڇzjn_%J,T"'*S攪DYb*o3 f*oD|YRmǣ7.B(43Ai.rcP9x ݏzRB2i3& zNLx*mĞ aG[/} Fq&fgJU*L KN"+sWwEi^ ߦ֡pz)dl/;` bڡOp{*vfAUt pDeKEt9O9i'93={M; wG0<&iL+2})\TxY ;2)Q(ݵ[) )Ji\M"0Xi4hQ9 klhD$!!(rC^_Bs_/Db42@='s.i(i5th"z˦uZ&{j={'D2Jo/$Ikw~PnaR{C 3Hh:ɘ հ~|HXj2Nxi"?Ej$<2D/@xPRW"\(@)R=}Q₿ByHә]|^`-c:|s$3:EnTd9I_*4oRΣ"F{#qv{l?޿j\&+vtQ,'l?Z+ YAqTdMr~NdѾxs%AoPmKVP 4X89uVrf€˸@ÃBO->?b'kUWr3"ӁJۡa$p]/d;.= P/r"Xq~c`\!ׂ; ꯆ96T|Kś;Qjdv1g50HH\#OIl fQU@޽.S==j0 ~uΒ^sE8֞o\i7>9+x F!% i0K+-a5~X*NrmG*\? +_]Mh`./w>3WfEo \rXPUTJy~ TBhl1湺x:$\%*9\$C߫v ,EOBp4uʹGr#w.YH#E}z=7Ϣm*,rzL`i/ 7UXV.bϐU__/7y ic4uu1cbT>_ A4gWIz[$L,z!cզٰ.Lh ڢ]9MTFMv],!y tb6#5 2Pb6N0] K \yשgd8UKشx;Z+;:\&׊֋rZNa@&OhxY W@D~{~a&.qOW_Eé4骮 a: ١)B`eӱ9di7&_SߎkqgANy9=iCiZ= y cP{R$vI@xJŜf 6 lC̓otn:_)×1 1fغ7S2 6Ca؜lPABB#—i~:Lo$oeP.jv Zij}n}=ohZ( y\)r;IP]l:]")-64M'ϴkå7yUC5O9rA&qMيᔉWJrvԲa(Ws|sV:Aʫ43`+b t1}[i3uU s5pS*˳)of7xq4X N =K ZDښȻyPf=$ NfauX ՟:ς? Z- ƯMȫ̐٣%P慞e54>` JWm1e.*D$\ ov%0(vE1M747)?BjeWoX"ՉNu8_D?\6ߞ>X"5vSܮW|Hb3vD DH홈1R)nh"lPE,**t]LfF5-Ӭo٣A6ֲ}nd [}q PUlXsI pkZ)3{qKm`cx!?$p!;cĎ 4x*{Df/nΠص&jx4:2z};Ҕ: *LisKJ wFX)SQI1؇a^5i{t}96TҽGWC6)3%M}O6{eh =;4'+ NPt2"W va1Yj'ulYl@IUۓώVj̬σ&l9~sLtT:J'MVxytBBp*5B}[yB% sJU]+Z+9xilԻ}ŝ$gNO[Hrv}mT_daVjѶ#"swQ~@Ww3hm,nE6Kv#c&L5FB&)<tYG%e)aX w>@ hC}]ʣl-m5;,6mt$g^_  VjsD|zͰ%;y\hwͬ -,urk )'m'7}>~eӲȕ@d#oP3Œ{Lwj:;֍)W5lnT#K\ (Đ@O6#1$.y>YV>MNL DOKN ?ӔKqwl̚P}Wkf"h^;>K J:ZCe6AWi'WɊS:>d&S)ݢP戺)A=/b\y5'f<h&yr6SRK8ms'`o* UΩ 'pIv<)Iw޺u@!Dog\y7e m-AB$w)K2DU>0;;"B p0˭)LhhGQґVJ\O zG[o+qZC) 0#~?Ǩ  ?G YLZJ2^ f0,qγ߿lK]@b6[i+ of "lC(|C6#}SbUF4Z ? C@s>ѱX]OL=BcuV+&FSJ`\AxQ ۄtrIkOU΄Хkp*.c0׮Zm=|2_I>,f@_dI%C&}i"gIl(.4}u^n_- tۚ.6]'R՞[aotȻE"ci=6R!SnINY Nӊ gXnV3BoN~ SK/:aM\P2oD列Bʻ7dKt}2_jFK$06qTvj_^xfw9ܐpդx ,6Н̂e"vP{OrJ8Z.tQz=i`i]v5vRqk'}Qo#P &`Iy哠a[%DqZ},q2vIs ?#V!RO?rMaa_|N X5J}.o/t}IbVfÏEWDzntAeEHbB-څ*j%[)r`?wCj,bv'NQU:Ty0Yek~6ۧ:p"sAxcSETP (O f7T=ug1"acjG ;(Iz=h d"HwuN{z {X n#J9$Exi"iG,#qۉkͿ:a0"(iAC)E31lKf/ſ1|N\kjyl1{އ /쪐> & '$gkԙ{f߆hה@GZf!PEDp$<-+BJy/b6)уv'G1Рv SdifWe-1wNLt+uȢFGDԦhn(|*c^y> _65IϬ'1z(~&𹥛Zҹ)J,mk˓9MGxiaG=i:v~~\ e6{j%Le.,C rI#>+ؓtzC6teI L#T(J/+ @R RqmbBplvD:^`GhYetӭ"qq$d!*닀(=op]3|&Mʩ-ĈyHߥu4"(-sd{zcJ)8 hv1hFJ9=AحU/p[3佥p'=7z;24d)|&P)Z@M˝An3!6g\һ*Б}c OIIn:#Z\!c0Ilt3+zbOc_d W7, I,uXR5DۃJ7,I°&԰jݶzl4 +f P4KCʡW]mj3e~Y loC4lf`E2ҋcIL Oo]v@U4v]weCΐ9HXAwJ+rޜdtڷli: b*,^Q)Aؚ7j(M9qm\biґe` \@ ˲lD @cowk"Rl$rwx(@Xg{^dE^q#@=Ť2Ȩ81(ʵX>,] ش,"\LFth} zIIdFn[]:QҺA A|klJ:),^ {f_mycjR4ES>"3r~Y_'|w89KHc?i5*ABąB3ϰui!J O'QƋ-nk0DuH l~.׼lrL,9M Zङa!ql%{RΌոʬ;EudhQөLHN}*?-|cm嗺vkma6G}^v碚΁A\(tJ')xs"D5;N:OCG,gp~/o PS=D$L˝̿ v1QO˖:F\9$@Um=יvM.bD *nj-$}tӠ9Yg_^j \ز̲d̸k q,cE \EnxBH&ʳhUTll1'un4,ÃŚY{%6}\_{=XA'1]x#~A>ft8.A&ڄWs{FR5`!yh[kKPG4% Sqz+c|X6YG2 Ko,g3&EFޱ'Ȣ4p%BKvxs@!nbnxI Swq֠_[l~cp쁴{H@=n [p[z1j;~]El1qMN/2;▽cnϞ '/O&MɣfVt?VmINdF`F3/K֗[ߺ)(,2[MF1,C!@>ޓhW[ F]ܷZH1tVuD<{*QH~چLPJ@ {Ǒ],`f^< %fNu!:\k~R̅xRx?{ 87>3xfsqhާ=ޮmR?i6-A,_yӣD31 G1uP}_BvNqv{f`DH8oT!{^"Y7d>qp5AvuH /U*3 aWՆ˔P1,VڍA WQ%Q{]P&.}$ /uC q=~HgN|np?ITNJ4B;&/Iȃ0R|pNY[6Z z ))< +H#L]3ҺUe*+HנHc d?1jxkgT#ӻ)W13WU^a=顗 ]ax} V> $W9%GVy-Xӱޡe~eNj::_-tB (k&nt'Z9\{.3ͺf-!P媢64@IBgu9U{$)g~΄YԂ*^鼪 (H H󾩧q o~Q24g<(*:YۊG-ϥ촇9׻BS(so Ց;qo8lM/.A);ʫ$@a_gJ4:A.[`{')AUCqiQCAϺ@bq%HqQt̿\~QY%>?H4La#3iUUpV M3Ef)'֟5kdjNˬ2MWÍhnVZV2D֫Q"P OR1-5 , sG #.~Y<ȺaF2Cv_(.Ɵ'1(1Nl'X[,SY::ZK mbM2|I>{90{H*PC \pATD` uO7As:1`N30V.qs{եWWGROueǛr,chXiY֒b-J#VK[H:%,Oyl8}v<A75bO%_䥍 ?c'\j~PĔ|ykXj1g ()+ 3@9Z4ٞ>4)': _jCPv:%1rPk9q@۲괈Qf?[` ڎ9ݟvr kBǖ&KP̝Hu%wcW;T>sWR:/iN%Q=B r-W :TX5q^YD a#v-J2PY8S&G!7Ka"8S j@Gmj3Esseuwdwt '2 _D8J#^Q -sӫBDFD>0i6y QjA#)d@v!AAUHA/jow#\Wyȑn+20fm̔y!i&$t ٶò}LnW@M}/7~Ӵ8t9p(MM<gK'B=Uf|Fs_w8E (n  Su5b rF&v? 9E/S2UZ {dx,^qq]ЋrnqV@sОTЂ{hM-Kں0؀7iׁ +J22l)0`5yEA\p=aU oRܾx(葳cF߮'񙍲vHC. 6.ň^U9%'IhK;FN\rS!/02u+lԃ`&uDT\)>1مFxOPrXXQŻE Ō}! y֑~SHeb!*BTQ*Y] %(>,ӊ{>"(hW* `ɹکe97XA|"1J(Q06&Wķh0ˮ%dYslKa_8 qrm-2W^yΚ>p//˴}Oc1QN:dlm5 vGM I#ԠS/8_{E *qCKVT=b$Uj"`|l0Hx( lٕzj(iaK öE1c3W d%n_L\>[+FX8=d[ x=_x6@td;;sI|^^l0spsjJ߯\SBu<˟`W+DǸ-@~p9,cw2iI_Q;K7Ӏ!rO$: TJѤDFT{`J399~HY+xkpp̥]%HWRUPwqI);N`BR -13<+)97fV&b?`P&TDF%x.ol۾T濗շ:'ōF u֫THte»\: ɪ\k*҂1dR`]E|BO:RMW/]}P -_?-f^+ٛr#0HT` L~ⓔxoJrT#əa Y!YbGvS*xi> 3ըYwB$0-3 >2yGK同]]mu .VK}rv2*;QBXLkRra8~ON7s*cuxn3hO1 *! 5i2'׋!tLJcs~吏Yj얶Bst9x1dhkf?TvN*dil8^CxO  !H! Fi>N01i_K~de>'Bck,U| {D48 ܱ0-I̦ "AP{\_qe#ijǔg+Qҟ{1θZ!ԍ/5"/8`:=;"`5vEaS.VN"F1ܿH=;_K#cy6ʂ!I'8Oj}"K]^)ZM<fyWMmt՜Ӥ塕;[HUesv& RS%a<.DT='xt 8^]Y QQ8رqUF43))Uu:3 EO>~?aje}oFiYj"MLaFs9 yX;cծ[t y7!L0qs e(Qi6zCط5Nm{DIf7Af*mgs&Ef,)[K!6ƫY ]SVo!Ce l+1?7tJF,[Rp-J.jwhQ =L<W\QPHY@`jzq+z&"dWOPl{ռKr+TOa9wi7:j-$z7H)CϓlAr,;1hЫ1V(ݮj yTj2x\EQЩGCՐ5i5njm[aI3N$:QQ¾\NT3Z0b 2X'Eir LfLTAFs9bb51FI$C,B"7܅dB`KZEVp-ݤi6`1L+:I^> j&f.í@&~Q&SwL^/DP&V<aw kVWڲ(M4}Hƽ(5QNN{y$u"}n? m~7u\ 9Ƕ><+3s l3OE!)O/1vd#ԟ̋SVx [Sy*ۗ;1E]( ön#ZV@M6t n٭Xj$̫𧢵'sF%ۄ{;3Y]C@2%fp07x lP3v'>D5a #zO'Z_$|YpWrv.Ț34&.YK$U`W#Qӫ8"^pޞҳ~;ӝN냱̭ҫlkrm,"%1U^8 jxKɀo8p@kή`^~<)+!6!&-@/<7hJf]i?FxDn˔'z1`LF@Z[ܣk-gCKneTsK.Z9:z;+KG7^E:]1/,Nfis)N`PHrb ,EF!ϐ{y^{ C>rse0aySQ&%H^VoU'cMom'4 {n݇1і2t f"`sFCt̛f{GCJ Lʧƭ7qډ+Y%P"Ba)}=,u@'z^;!z7_H=Q% pj|tm>6&H(`ۂwmݒ)жDnefV6ϥ9B=!Y-2eʊM$$N-P c{ۼ7^n1Vi 0k!9E(v~aVH}l.{λҊ0D|Zys-:} 7.2Ex}/\TCs[9qh^{Mflf%(W})q"JKů&B>Q )ڪ .Bڋ_ _[G"iS| {֡my}D@M>:~ME=&)KiǍZ T&xR(ǝ)-XQ/?rj!~[)~)wO>GMƃ(xm;>[/O ofmN+fË+ՍļBp (sG?*2q^Ζʼn5$znI[g.GwҋVR+J TaD8q"[͛'ό6OY/}6ʯ2 z3>O5$Yh-Hx qi(J3==e\ēFz(Y}0ϡO=Oʅ&r:DGz`8Ʃ2]'G:j('00;-8k GnG^#>S `Ud@Ŭ1)b/XK^L @>zbD녺ʕP,um3vmOb%woW,,UT"྘"ZygL dc~d7YQhS<^+r6GG 2;ohzto Zܞ+@ Zz_56L|KRS+-ĘzɊUH*1$%QHMY) `_>|1v6sdj}Q`Wi2'4;WnIe4ph#9MylLlRbx==;l)^NrX}3/Jǀ #ʌ2Q >X}T(bO+Q5P;ԒQ.b3Na7ʻ-zE"1x6b}vcgs EniioCz?җ<=}7hgElD}ҁ`Ar N%uG,iX;UPY/0;,lc%ר>DdZ9eon(,# tr:ĒV5| 9 5Djw9ů0)Y⽘=9g.̏r~괫Kt\Kgw菑~!e_Q)[OùMReCbY"q]9AA(Ȇ?vt Uytc}\]ג_i(L[s2l2܉{ㅗf4%Vq^H7BH^^,*{V@sڿ5OƂΠώQ|,L%-d<+m uy, ؚY6>SP (ƢvW";qX.Sl"ɦ=ȢIm%&Z )E,KƧ䎻YL *O3Xk8"L;u׶ֳ@ W"!ļKrFl.)NGx靬T,xMѵH-xdISG{Sǘ6U$6alHM8I/`\y|a$k}ܢE1Pw~4XDi؏P,n ']:%ab$v%!^;rWܷ38(OF}9z3 ͫ17X Gdf`[]r!F&^7CYG"9m}.igb ~KIuwR1I;6ո0!\AYc#I(uhr$Q hŝyS:. n\c(+F *^]k~2N؝XBBd(xfc0ZhϾey4u{H:Y LpO+ \V]ёW}I!xmk=2 W8~ϕS2|щX5fs sZٳ71Pj!zqh&1-80qCpX8I5vRqv#H\zE`3>#a0JYdUހka~1z ki#B=Hb:l)DW^CKs{-&\9XcK;_!6e⫶HߥМ<Ŷ$4 rzJlA!%*f%(4Fc{\&AN7!Ehk,Kr) Į k!<ۆ9tk2G$PET{y:SԤ{,/Dv)'o"~(A"z jy,̚*tH7KG yѥ:)G[-a0fy_z9rСW5Oi lL E/nƕPʧC*ZӍGBFAthpx_'٢1;;'.Q++XwQ,I25+ f.i+{{ +)2w lN_RO5e*2P4P֣ɄzDxѾu@9a0\9U-]DYq4"]peS^u9XheAgg 9#FnkXƳ˅t3iTp[T+Gq[.AS>g2lx`l徚"e0|󦆈S7a.i6k\8Kv@hraO"kh*m-j Ru5E8Msv:vTzw"MɷnF?&v}}a q)E^ŸÃDV $׻C7>1^p`gwު/s{vx⁑P#KF`َ:ǎKsf0 D;¿ U4}U滳{HVElUu%Ѓ"֎U 旐)>[9`8emE2Ϻ=07ɑ|feH .5)VzyP|Uk )H`3 =d)K`}V|m@DyI.kR$ր9)C/G!an hby{^? 5Dk Ȧh*u1gmȪ}Wp EX}_p#Y# H3t?e.[Olr? "oONXq"c$лw./u-INH; ה,v3 VXYvlE„+'(8&rFx~z89U.6{_Đ/C*YMpH7=eRD_}0S 7*_ydRQ`|`Bw=aPlP|[|%?u(guTj|=A'JX ~EVB<=K*_~[ϞPNxx`L871z=cВ5z>75+2)"0Ũ\A~`Y9WR1%/x!:+'}M hV!"Q6tiWȿcx麙&]?_(WUdbuޖ'o:ă XBTTI"l\inh4 F.j:na)Ƚ]LW w,>spϻ 9X׹@;4mQčCOeW{^].!Ffs?a;,bh'}QkVI(#Tܙwexv&\Q𹠵QzvD"9 *]f!0m4Z!pGhqݝDV~G[2G54A.$)s# _G]ࣕ9~4^yG"jPrz#Iye:ܧT݉{? ZIN7h`Ⱛm,ˉ[2I|Tu%}~lT0::t,{E_Arb4O} D|v^þZ!~- itWg\c/RGPhwZK >&!<~ [q*T qL`.y '%=,m&.ׅ"|/SC.Q4 ˝ȵ# >pGiY㊕XP !sߞ3Iч@GVb`F1JHBP<^|<#\GxT8'B| ee?ۡr`:~g;檰̕{$ w> '뒜(J#:zM2Z ׺?;!beI&>cDM ]`rvr)uƌ"ϱH1* zbI2ʄtpU+6M揶GJHa,1^NnKܶsq9i'VG2/M姸XgP=Y]f)vkBP5X  VxD(#C6!l{9-CVj3)pԾ<:0`jA' 6隩UU])ELfB[ 9Ԟ]rwPt%)t6~2M}wWjEft-`D >SbKE^ #MQOptv14꺁l;*3w5iΙx Z7)Z*4阼cfN֧4]Y[nPυF=H.5X&ۑAj]lr¦T˴ڐԬ:ɛSaiC#/a 2`ca՞]3 $>xljƚ?yn^,(U܌x4rMO uPjמ'ht4H @卧:%j\Mii^"%Է5/(PԪr7rܛT%!T9t7VâDv!'سWcE T@Fa$ᷝ!Rgn j@ktfV_R;q}>u4WŹ`|Us~)%=8Xv f0DP8wZ8dҽ_Zƽ )3Z-Ziˀw>mMJ`q9 (D.}9fG/syϬPV~Qτ=0e8 y1⩧0RB)-wX|Hv$dVL*O crgwl.>񮎦@)$w703j !4¬P?{'wg-|W r}UZ*vk]a*NtR8>GmIΟSֈl[8jKv?-?E׼ PB[Qm}103"`l'Z~RC/Wh-ٓ~e8?Tx y P1َZ2ۊ[˱w4l^` A iazI}gOn1V3\)cfF0IzK`Z'\6(;*ϙJ-A*lMW,xУESwAYA7&DĂ' wP`pFsE7Bv[0*#desegĘ/x+\p5oomK~Pl^}V-xUM Ae?[(+Wi,eRk&l^RIkU鍹F+%_Jvv!y5MYD"XM9 }Щ/U\! w@vv𱿠Ha1`}4]GwB1:c g@͝hFh5%Fj A0DFv:11jJv=zz `I]!?\5nS3i}5!. L2qVrW`̻]ƅ[LUtf$/ZygÄMN{ 5yu֡<[ gYDVxfqub^؃@]ܔAJ4qd ' _T"Y~3ímq֪cEC (Aa8g[=޸A8Vj֒?9/7@ z*DVa EyK}c9)N2Fʊa5؃M{bb7,viYtN=^Xl॑+CAΕ Ux_60g2V0JHy)vE4𶇆jÃC# }L`GYj Qr:;Cy D ˗=B\ۛMƖ#W0N 3?Vm]܏nK S(6bO(cO^oswc kZbʄT"a[dc.9>7[%t^ǘ3vù^u8ŒMx^uaoXdЈ\2ׂFX2Ἓ*Nok;u1]1ӗnhӷa ,xsLC!*eYD{}g G&^Rd!g5miy>SAXɪDCp(}VY3l4Ss +#]"t_xvw &mRl'uw(p. $+؟U[Oc]ЛSjJGumȧ懷>%H;>p$f3iQbJ5$r JMpّTù3k>ۥ;1b0NSɄy v%\XWG4JkiA:kZ0@H"o׋,NHod\оmxa6n8 "4 1|"WP$4$9 6-ɷpcAX`nS2gU˕!HOŋe $pycDBldˢi׷a+\i%ɂّƋྑ L3y ( v4γ l>cO+0?`skhhClhmx_QBML̰~FcvT%Vd|~9),@HQLW3qcAdMb5u\xHgP>!`.Z1Nk^cPSd?]95VmX97#oaou\ L<d|ns#]`'IT k8oiּ+ 6 Cԋڗ0mugRrk@P[T&X QNDn/3ג,9Cc *sX;-=k'?c2RJfߊz.N\lJ>75Cana^F!*u^U(cʸ%`B*De!suIa~t5:)!YXpQ\o _TȤ2dnLJY P8gpF6YNyno9Y2b&:zBI8au&& 7khF% cSb7TT\F5+d-ǝR#[\)T99elFc1Ռ~WnZ)`U]v U{\"\ڰ{Gtų;15Gԇ{TۻfG-=5u8FYqQ<wQt?ldkDVMJstypl]2"DK3!h>ޞg%R`HgS rk${tÐ>޻ۛp'1Mc } ,O+g˺{;oB8PX+8Z|/alp0H.:P'18ԶYzdnT>lKnlO9Xg|SfP (Ȉ+Z;U8?1D2<¿KȺI-ՓNP.Y)4r.'DTqs(}Lޡ|⑫_Ec֢A!hVp4%^dJͫ 4sdORĮ9;2*HDB?\?7'DWo[^0l@g3ʻ'|H=w\_}nV~C4]ҿ bYzCA'֩l< "KdZL o-:19J㿙YoqEqSm>YՂ}IdN&crGaabmP+yQQ)WVN%,8 WX]IUrƵPng[DBLb-A M(}w~=HAL-P8]5K&S hP,+#2͖1/eȡIwktso,ˏ"k0_Gʀ#o;|e.(9z^Uz@ 2sWsC6R:prqq :lPzc*c_y*O('A3?zՌ :hnvGx[PEL6Sȿcfl=6ƎB=nVXOULohǝ`DA2[+ J0'bRWF2.SٞNjzăKG rA"ЅSӚvC#4,S@,=]l-`@Sr퀝e,iԞ~W"UC#]h#CE}37ICf#=A3|zG!?ıc#?Wڌ~w.hW]7D!T ߙU{F0?5U2^zXLv*,$K***z{Cǽ2` ux G0]{Wg"':ۦ3RVlvcD ۠g-*U%Ĝ':~ |qfBzk <-dUaDfy,f0^c.Bv1v'+o1)']-g_a#՚q^5ZBi.Q/=$Ng/*eKvRq+BIM%oz-4"9Z~ެQSEpM<ն%'= ;#4щ`x@}a]㨸RU$ } dQ}uN^h/dc#Bι2;UmS RT!?4jMLQ+ F|&~֋MN! s 3óI`W]qG6BJ)T%n 2RJU ;k\ _ soz NhdtQ9w'%ifIOtm~e;B˅/ԸІ8?.@65zPn}R>4}HsVo%ڽ[CzwzXa WxYSjT ujg'1ѝYXaARΫ> q ^7ޭ3(#]6\wbQ%D9SvemA~*[>4[o~Je9 RB?'4;/ɲ8J&"K0("4i Q5<ꐑQ~3Vِ pC<>QhXX%7cR" d2aHLڅ*-+f"X/=)ssc쩀ne.u,'WAg1pIhx"w-OFʜdO'j|N`k'U`eo|,-W6)-E t ]Q#´4H%.0}Yނf9dʺ*MI]:㩖MG-s1gNU εss }K C("-~K1 xH ~-Vo+fXẻ._4% /5Tq<œX4F&:?ru S)#pr) )lnjhcGүUiR-)ph񨿱wbܲ b3c- Ṱ\УtoEb)dʇ+ SDӽm>5 Z5X,iI|(-C"Vt9y5lйܵpwet?|>Z @˲Aō*="ӹdRl`o20@E]vDF%mWI+퀊eiJU0!W0 w1=ZUF `7.RTXjJU93 #U8\IB";2K7ˤ<;c_|$"ҿxJ 0M߬jm#"/21p-N0 `4ʜ`Ͷl< /kWХT#_l'6}bXc_pR( ABw2.k|5EgXku(Qeٷ2ɣv$hGcs-o8mڍX".G+ys)BfR-{aX~) {AZ><=t JyVrPk7$"T6vrd nCGůY$u'C ؎ VPrPS9(k*tNz$b?42+c+Mz¶&gɽim$-fu~?9srz4QzUιCL!jcwB%b&F۟WcQjbiJj .9x J9հaTH '.-%M6+v}PS0g5J=e8}:]G(_"0ϥPWTZy]q{ Y=Mni{6!;6q&ӢMfη2d \*>ݾ#|v)V*X3l  5{~;_.> c99 b){,,lh1E@Tͮfq9풬vd-5%XMDktWX dPxeiF6W񼓰"U+5rAeަs}/?1Ƕ߀>PCo2~v^YT' 5ɣF%HjQwJdkLA 9gk.򅡿ZR_nѕ{wp[u:LL y)D#q,kDXs8N~ 좇 (x򔗐Qv#A[?y:mt¥tj]I^SMs#ی;)# mlJ疂*@ TÊQy -N7*34= _R֛q!J=xx$bdžr%DeW"7mj8)?xA=>*np~_dw~AN ;`p7nLk*Șkt}^#f^ʷbF ӹ } N ȾYԆ^tA8!U /h!Qn1:"S \ǿeƒAelnF=[M ,1-4C)nP1`-i!^5B}J!57fI\`[uPsbW`);TGûοtʧ7!4Be!8_{,*NJ<:ggJ0Fu]NuT.y . Bn~2vaylruHuimyosK/ v2m+{R{Md{V Eq3HM6*KŜ8%(%sWfn]"@Qax`Mq?= ѱ):f\;кZ8.k墹 P+9{7̄45*;3W1+ 3ٱ̧.7JSpz&3K ZVw}biicz# .9Z sFwwU庖[T7q턮W;ZhOlԐ] JBD= (5,dF)6;yZKc#M1s4āDSZ ᷒wE%;LX{|M׿!im@cZ/F#ޢ1:/0 #vnD=!G5;@EGpd5U;bK a1J'n]r;  z$tNkSG\߿S_=vuQ\-7e-FNBѿ1qQ5@ҕv:q嵇mp9ۺc֮TRehqcӴ/< 'q!ϸ֣B/zuNb_M8 rcQ~ISG 9[CGɰ+4T%Je S _k{.h"`޲.c*El(A~҂pí^`OYKJo}A#'LP5?,Kՠh˽j?vF.L݆|qw?ŲeW2ebK\ M,b[vkj>H kPXx,'jmO5=wpaZjLx:_zٳC~}X 꿲7<1/έe8He{L{5[F* UxUCL(8A/8Bn0|.صu>Cĭ]g̞VuZ ]4x a8ǒn2o DוD.Dz,4 hxhw5` 'ƐձN>xI_=Ӿv-O3EUM5 ӆ]?)N Y;IA(ݞcpLQsL\tc@NO.ΏȫjRN kZ9H #_3c@y{bƫVO.9CZz=zK RC Vjظhy nEtuL:h[!B6W[?o+c|&-ovv½ݾ%ڳg`5z} VAi#٘"J"#c6*0M3V`{(2~u!N&VȶJQ lԦD-ʀHeUX`$[1>1+fhgWn⏄fc q9'Bd ucؤNNf(EV77;ўkeû[U)\$,VƿPޜ5"zZtȁFx@alu+vr`@MZe9>),,N45U:K0'[61Kp  sJ#Ep>F;,ǵ|UuQ` GgLպu]hԙ =cu"/u:gڂK!G2JgRk;>Pz?(%vPr?F^ԊyOvtYe 0Q3BOLϵ\bb{ 5r4rI>=ߴ8PqA+ϐ +md&΋v.幥gYZ677c666b5c91ce64c21168079ee0fc599b02a396869a160751489e38d92bc488b6a9dcc699746e87 eed706cf54cafa0d15cd7db269fa6af1ae023fe6 d251b107e77d771e8e05ce3a58c64cfe958e535d