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 J9~,-PŋBTϜrLѓ]?%ǜ&/O!MMEFJI\{RXK)dd쑧ieS ~qAWwp T|W0Ç(5`gZguژ,7w`8]Z FB y8^qq ]=&PzRAiQn$X"j_pã`JH"h][Hܔ# HgXԤ _vĕKy=Mggtwcʌ 2R ]EWDHav` S:χDշ |\JBx   i|gYZ7zXZִF!  ]ŗXiɟ1)*u%9UjW}BHe;"?ooӓ<e*ւ l ow&PSl]F=9`5r0s͙L_Ob>4Ǧɔ1vU w7M"e`Qhg=V9#bLƩ#h_1a {^^ISJ4i8xiscѿQ3s]si 2O-F0?Ac ̶;&xr9b Yr,r8sj3NLUW3tS> cwѪL(yiOˎ9̉fA. x 6=Yp|GV$wKR}nru%d890)>QdS  {cz#MFQR,Lrܜݥvz!f fU1܋sT/+rB p?պqVXaD1B'>b3h|Lqbj1]d5au\ӨTUEW`XT!@|#58lq]Ӯt B,Os6>ĕAVѶZAO1@7!M*)ࢥNMV&e <;߀r6\:-PX2fH%wA^W*'uhIWdbt9i /C6: /zne6lohIJR㪏|0iG<9"ˆ6!!6G4%3#Noe.`>K &wxJ3B/-Uב0O2pG|v89_{Sn Hch@g L'S^; FaDU2Y4HP'7u *d%wV'E~TjS+g^($s9=TeŽx.@Gݓoj Y9IX>ޓRh"]}bOik@Ll#zCLEu<& ӯ^Tm[sFc<^ӻ-r Pfz`詼̵BS/D;[u[EaM>D۰wpVYza=1]jL=N5,b=դ3 uQ)jܔXd(CL0;tuJk.޹/3(-|P qܿ̿f%G~%54Rk#bmZ(ˣ >d2'B0 ;L[N9REkF*"zAMe٩!f6E,Bg0ZUm ZKϩ48 $DGvs~-ATe >a,B,R@¨smUi)JQk9醫a$gG_6/c{i:*}(pP4't6B4f&c4ZM]6hXwC]kȽ"Cq-Hd_]iݐ)@cT,ZK6}EZr)S(o99H`apj':~.QEW`O鱴V bc߭3bCA183yO9rZZv2O(Grp4 CDhShl 9 HOL-Datatype_Benchmark;9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6qCk?Ќllk^Ua}%s;xj`qFoyj4;LC{쥕犴k+9IkraA'M%%SazDNCLEHRո1^)(bq܀rNetXU.eX/][Ή$e+]"ʎ"46)IHi'(I>#zt5Tٹ+'gq3 ZW*"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;~aF9G'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messagesD9G#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/markupH9K'HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messagesF9K#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markupL9G3HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.texE9I#HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markupP9K7HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2Mdocument/Misc_N2M.texM9I5 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Brackindocument/Brackin.tex  Mkfv1_[{ĬӬ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,ч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  -;9I# tHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.BrackinPIDE/markup7zXZִF! ] !M젗OFI"Oo5Pl:* G3 ^4·OQ]oP* [wiؙe+%3Afs޿+ V"NH.6[sU6qCk?Ќllk^Ua}%s;xj`qFoyj4;LC{쥕犴k+9IkraA'M%%SazDNCLEHRո1^)(bq܀rNetXU.eX/][Ή$e+]"ʎ"46)IHi'(I>#zt5Tٹ+'gq3 ZW*"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;~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՜gEx ͅP(Tm}mW494;->[0!_i85|{"L϶([",1ڲC\Oxi}|9`&Sm'.Sc yf7[u(sQxE9ٷ~'Z=J m8p}p &l,N 9*jTBI Op/CV?)9zϥ>C9@8ـ בCY>g? ;ps>t v2ɡa ˦bu;/j %ddzMFF9K' HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/messages7zXZִF! ⪚;]D?7 {?:fH\wl ID~W Y騁 ί*W~\~x􆿨٥rȰZSžVblͣ7r~o,X˿ jTN8ES`QG5#}& I O4,,cg@ qOq?eRi):%_QER *ƭK\`J]`9n;"b'TR_.v&\P-|=2\:6hlb4ml#JT N2[+Q,<%?wcDcuh8W SdxZ@씚k/җ4FrW(#|,֤R,pF*ࢹu4&P/(@[ʖEZ3W8:FrX>p"&2D}D;ŹAJ6 Kr8,ṰMe ?/@%3uOzr AQ~u?s>O&7k@bQ#(Cΰo{!ސZ)q|U 9K# 4HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/markup7zXZִF! 5 ] !M젗OFI"Oo5Pl:*_9(&tZR&S, QJk: 7hm6JRt~-ܹTqkC9E~\AEٙ5e$%-ed r nhJ#"ôr&d#R4NJSZ)1r~{}ĤI[F* xE#z*f ?q#m-ωfli%\W]z@ďCX-P"I_Ȩ_ƢNEg4s}n3YN$8NfuA؝*G>XŁ.!%Q3X!@th(LA^FZ ;B- |tV"wQ0\*WjosbKƩϜ?v GZ!V%o{L^{g9WpԬ J\0 v1laǷX}d TeyYXS:̼]XT9W<׽418C|Q144IƼU>B倭;4OaV/Gbޤ_ Q'W)\rWGĥW. -c'm"S`5!xNHsiÏ6bCp ;tׄ9&(yLVmS̪3J< Y o(,p&ޔT3-e_!Yl}Ny:vևLa }y5D+%pkc`G+)aH0etPBYf oxCS+f?jD3Qmd(+4QRZぃן&VeWwdЖ#W0Y'yX8,`%R뚺Օg^8hՕ)#oɯ ꉆLA~ٵD0_x5^,>y0EUʩQvΤB`K}a(KP;cfIxG3UJ~q7toiFe9~S)M VG #WJ f\ VTL(chϦA&x15PHŴZwsđ崷 USo֚Ft%B;8fcy'AyM\$??jSw(͡ˀR9'ZY9`:ܑ:'kgK9:鞍e3Tca1vugefH"5Iלm$Epgv8Z}|~kѣ[0G೓,vl{PpMN  ^#umh̖EFHmzTa}AAi}Iӵ#xT{'t0E3d;MqDښ"wAE -v!RZt+^\* 1^!}r3}<:5 #ǁNvkb t]ќi2hQO5C05M ܄hD0 וEJ.qeՋn{Luv.Sr"++0ə97,)RxDYC哮@Nͳ9YtI.01"4b&8\Z}ι`Ab 3(ѩ5IREE1JK'^u˩+-d+Cni-J &-ճ<`q r_c_X(giͬoi)i*BaA=;}au1j$C&NUbLAXvpAa!^fr-g"S^[Hi۞i~ܢ(9>^?@пـW؇k5߱gYZ}̿Gf@CGC?( jl`IHu+^zd7e5nJa[:љ%]xjvV^f<>x{8@jE|i]jԖ<]c7qWv>ES.ܳ_bNqyį?}[jbťEr9'70 ڎ|&Y$'A,S|7ïFhXXH#ulyA1ckߊZ&MϬ[R]9 bڣ _J&q&Ka$$ ED}@Tk?,3؛vo&ă5MtwC4?XzbRy-pϬ~ڕ fVłE_i'CLXL/.7tXi{}aݑ0!HY:, jSL }cEzRd: Pq][Xҏ_=Կ( Y> UmTK{CےZ!4;(!O';Rʹ iZK9ۅߞ(H"5$޹"a!]P O)R;JH1<Φ7]"E։^kwx:4ȳ$T0{"J%l-@d3L*(svV ?&'E}jB峐GXߢM9M02?x>A&L]8Ot-TAd^l-nqűNLw{>44ͽ*1g\D{̟ehնe|TG&Y美"^߭޼B6eю."@xm2W۔:K*UJ=n܄2o}Pdӽnwtɲ αs,| EZU&N)c5+56ï}~lcnutz9<6z3c5 ߕ/4:Y *p>LRJ7ssk$(̸X+ǚ[' fSXV]8,_۸)s'4=|!kgOPbyu%YN_>ĪUR9{t4 ,HRSXٛޡ&l1<"I%)A}?߱/m5CnGsa p(.>Y~{Z~tM>x'K)Y<c¬P%)a\C7NWQv*vzmL /tī[2ڀ<桁uЂ@eT[1W 咖odɟ<5PP476gn,M R+ʧuoBuȎN5@Ρe1- 6P?"PA8ᛤn4p@= K;[fl^ܿh[ELx"z-4m<<Ao Q52#n-Km ׉_fm*1K/*=tp5OY;i7]XxX?>jQo8I2^n řU#9Kbjo %vo|߱ՠHP)Qr\'1ՕE8+n2q \*;b+Lb#nVtu.*G$9x!(gWi`y#c씢/Eo 5}Gy^C0ZlMT8Z}PMnp{*z+N]`Ev Ej~MFK/B1Puq5˝ܫ+שׂMf&9F%堛oLV|Y͎=tܱ:@mz?mlUq`_zP-5&u=lHR@6?>Bwӳ%vDƮyT&rt]4jRl´nr#v[7F|r~K9ہ3(x>'d^ڭD+%WQT"$16}L4`XVRL@B3c*1j)'~]:HXYZ'{-enn(\g*ڰ9u!ؒ-|Gz$G;`zXb FVgXM35u^ZAU2xm<4''"#6*kquuڼx.w_)7K >A;5hYu583K68U"*JLIJIj;\;kG8NU4eBw"V%;;ƫ|hzҪIL>2ʅ +7AR4w6EL8ДE ~ t VJ<|eJ]3N=>߃`Nc'F1⺔\ U\%޴lSuX'Ի-iSذO$N6w+ې*;rQjxx+Z:vB)XA'ՖHDyvǚ/3YXGAgj8|$&|ŅP(/nǖa!-џ-?Gp}U(kTĖlg5܏rX4b &}2_.1.֓vd@*ZlW?N֛bAr-LVJV*-em7Caŭ82P'auc^9OWP|$J|vb5Yrls܏rL۫)d'smcж>>pLRNʯI xΗȚn>!`pX0A F?$ON㇀Mڨrde)L%`{KJ52LM' A|l(3xM_Ȍ$Y] TQyA'}V1q!2'S1:lwgd"ɔ9sʉgB8sDHyy9 9Џ™:]۾QG!یcmPoM/O!&kQaAj.ɬɅ(~M! ozRoX}BWrw0)z^Ѳ8BPR & n~Z\FTh{Nz{$!-X|InCo}/9$yuȅNIH,<"ǐN@T#D`j–QZ)Y>B'b$c/cb˜rAo+` `%ye颴8GZt'\R7tK4!6E:)5[ ߆m%6Bv]m5=O~qe~EڞY澓m4*kdlF$ql3/+=!븧(NgdGvjL<"wͯe cw` }'[r's*6͊MR/R9HBMX W0; yq]k*X )IN恭"Մ @eA$;B>vƅ,C) pwK2}N.=T.D<*k2*=8) |S/g mպ tDW6.?Fj:avkVJu~.8T0H!%h?z M#\0YXTԑAAιÕTw P6. 2D"HGn9O^uh:EU9GmMʲbد#a74&=4U5{|k(pFّ1"L*r4qk{}fIp}xt n(c`^2۠r{ b-P6C~f,_Uy7S޹StȬ\ TD0Vv_ 8 nR> / 2 H+(2ܦ?&+-ɥ{|l ׾U KD"$EZme-j@oEG8Ȗ2 QQ}w+rsUPxrZ[ׁOxsSlKY3Ltwhcu" |8O#LRE)AntAbۣ D2;X^>/kư,ȗ|?H`*̂pE.4Ck ) 朽K*S?d!!C@Jp-xкsnՈf ֺ/D!e9igU}*/@Fs4AO$I?Ģ:6vG^SЇ= y9lVh)ncA "eVR©yoTGQ\4>Jc9%Sڴz (J6``,Hzvzlyu?U舽[是VY}du=ʠKAiRJh sL`VOׅʈ(@*y)íhρXOx:<~! F~L]}{w}L?.p$?C6 1l43i18XCU%=LÂ5vcxVN.\;XKAik26n#u껵^wl/↙qGw /@!]BH%>xg [Di(鄹=ȳN➽,aG%d\@ڶ6{w&X)-9RD|9>T2'bZ\=Fч@"uCلph-JfNw'G̥ywlmTBXlPDiM#]VenNԉ\]pdO70Sc m ~s]AҸ*tc2'?o S""e*W| K&.\4W;L[FR+:/68Ϸ*x~TU!x>jpϲ:L~ aYǥ:|yX_YgPo$NmEpI󒖈\=A!lvcܩ9Lk'!_~(I*tkQG`{R79}XVE|=`MxO$A[!-Vnª*k">Xer r+V?=4zCy9 l1#Xabkx! ~i z;&ؑ oi C) Li-0].r3U@8Ձ`z [0^al0k2'LC2$W0yk׌{jCuelaM841 \1 T>-+ NQ|VE 6lALjTx6I߿+eJMoV>YPb{j6(5J餆k(mb ;[mo^+i 7x'q3X'2_#B;Pu8 ɚ.& rtJVb{T.[d.on4_e 0NS@KS0!* v:YVBNBb_15#xAAST&>'|'s}e`zHx^u`Y% D Y7mr. |Q 9-8Vv+ΩA^=QiB1[wf9kQvwwLsL.,а.F7Go1aOG8x1О*<0eOHu׿+:"T)^4Ja!V̪L1bc Z5JeV/;ʭ9w! fxBgYZ   x9G' lHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRPIDE/messages7zXZִF! Ikn]Άxʆ5.f-9 rq?+R>\ -ăl[@^gUlTG7(~DiQM9q"7^9z Cww[Z-* :0?k5x "+%*Ʋ\яz+:zQ˒6""=ŵPrH,$O Kr'|cK8ٞEm#˅.n4*!}I-F*gM e#NXG(bc+៓P.??;yAC92FIP"UYB%Ӻ`eRC0-'g=̂]ܝ6\[^Za tQPg`xgBd$$s?[NUf 9SE]^stB's CuS2Ȉ2r d'-s8"2ә2f%'TbnAygtY&Iİ2{ `>+||d- ^BHVaN]'y> TOa7._I|:7PT)T+z0;/V={5,uj5|7z{nqtվH{b5!JG/ziB"rlS}LV*uNzAɟtbq[Bh >nNßүī`ZWbG,5GR W۸6he*\NSV$ĖB{O("2)+Fs[5KtmJm3;9pԄT( (Lܤ"a2\B4 gl| 0<lE)U'Ҁ #ӉeRОNe7s瞺PrvR֙9s\.Y5wccf@"Ws*W9PHwl;UOU?sxQp?;|Mh̺)A83_-߀5pM\)EԒ O1efT1+^\_Kߥdwd^OR+ND)%gQr(r~D_GܯMyg*0>Nx$zdXn`"oB1vqx`숣Gb ءtSDfMyIͺFDZ[Г]P%Ol p|Ok?<+:n&XSƔ`e{a`FR{ZZ-YJ#U@Z%745HPC8w,q>jW:@>P̖5v9RuK^9d6/JVi9iI`@.Q,]z!Pl>`zQM!d"%QwP:I";0|#yKV|TT.oݡ5RdԼmpP"f'hșy~W#:EimnsZ#1LBLwd &aTaAj"l " ޛOѵ~C˓TbqԾQ-PUDblZF* ~l#\ { Ҥ &ܖ\tAݯTEzl.fOieg z0ZeNWbМDD];6ͧ xEc;8dmW+"v+}}oMb,0cpLVꚱ-hhf"hk?89#O|"$BS[YM[Zm E*_T64^IZK{坸]k|y\f ig 0["B=zX!{#eTP\or98Jw5&D6% Ҝ;϶h$ [5uZ?HвYR垇A=tc+ Ӭwҡɢhp.PBr L4Gέ)j 4+XĬJ%hB3xyh⣣^qۨz@;"s/uM&Fiq9Fq6E 50>m$n`LNz^~zĔ~NԔ;1~@z~D{((eh)tUw PM)I4F0KfnXַ-Z?"?8H4GFQa8⋯: ;۴6c R۞@KLw}-y Q8iz$T9tĿ,b|xxula9.ﴬ^yPƜDs#& LXswfƍjb-I~0m[?!ܭr=RY95۱Zq(yllS p}zק0rEޗ]J֖o}=Rۂ4yъwX :G4^}i:!5Lu96 x7J ?TEdPr\NLPmLF#{b+1 'huwgT?۫dUJiNT֝VÐB 4 (j? `SP}_:ZvR7{zxS*5eSRA}@b_T 5Lr ;}֋DYou* \A.Lm#'ثydV&XeHH/_71{պQr wA,AFEzЅ/"%Pㄘ=Pm6=ay+0Mo4WwߙrݎK:tE)ƻ>(!$(j?n]j!4dR'p(;1Oi[NCmȷrE5Sm /?-ºE/XxB<ݯ[Ϫ"Yf/6lIۓ`87;ʝxsϪp؞,-Bgƿ_hDD͒r!lX7W.<+VGbҘWņK%-\ozHBOIڲ%fܟHAehSg|hZ5iЫ箔],UJ4k:ekB%@k 8: ,Ҵ f1e>M.d,=*TMMѠ1Cu5 )wlFi_бE,U}z4ml`ȁc0ڼ7L:pnc}Ҽ!b"af %٨&p{8^5]:CXsD76Tb}nj1;5˽zՄʹU5<$G}᜿jWMon:>yh|WԸ2M^qq#0{Z9zy~ :|Ens(KxLnlf@K_k'^?v/%ILkGAq6DC%Qݝie.)íND&mQ2pLտh}!\LɦK"L/c+Y$!;Y?Jr 0K›؆RH8R-Qle, !Fwd]`ҁl ަv7鵾6hcTA ~`S1{dMu^ͺ5.ys$kmb$`keHATZh8}9ɹ)K V>m%lk`6|}*J2wU䋢TWr09*^YX ؼns9$3 lhfP[Szr+*3`1O4Ĉ 8F$AFv[U{| u -!(pM/o2S{ 4}kKMN<* Mp/򉣊Ѯic8&Tk-T'@'"SO=wQ=epY1"T)_1݋'+b]oP~,y-"&& Agt\tFy)piͧ0ȽT֪.I%k5$P_h0;D}W55s1owF-5()ˏ9 Dc䠳tɟSoVaG,3{ȕa;ȭy.q۩9 l|}`;ː^  >ם,GbЅmBܾ&ΛtON1U)7orbx)v 1PHڨN $рGv. sAw^յ 4=IUE)g( ْlP̸aqPE csCkGWu!\@Gr'6dYʏh %*^P*dzO!LQkQqbY,aA8]5٥-9B hg.$)(X?dH Q4d#I['Zch/ =KzTI+p7P1n8]9+#R[ah1MSn"Hξ7cy) ͽLֈϝ]&wH=![[V#ByivN`%H6@,T3 XU m$! 5b7)ϓ]=Vw MɃy* 'ɹ r19fJNːΊ4*:<5[؟v]ũؚvR-%\0]val=DqEW[KZSsR NFQEGӣ' 0t[`W#q1 }0Zv`.Za\dbJqV"M 1$B["`T>W}EIGpAxe\t3*951"7&U}~ n9$kkA+ 0 'gS\<Ղ+H =YȈ@qXxa.gkdbH( \T"}A mhjތH+ $mfTxţCTy/.:ORHG"@mF)| 2K{+F,#J'rdS~DR9@tI=Vش )NMI7Bʉm@$[uc|Y%tOh =s0ɏ ɍ:(A-1|mыKĒ VC1fm Badon3ʯ.得#{\G9a9M2 pu&;vY Ff #Tx@O8}-$xߗrV[{愄)gqHT?PJl dqF ߐvx$IaO%?9>׏'.<#'<\J3TPY C4R0jteU^3pK+D<#l+?K䃁ܸH 1c` Z~0/+Z5J`W_<a$9AM =KԻPpekW/[wCcNJBOhyLt@]_ xb3fP0#8Qm[s LZaxk%*""ZDDDRKma<3KP OtqDIW~Ѿ+y{6QҌNR$$?'zjDY)z:rRy7>?dxU>NIrF~BXLtA~p~Uon~:~]"-`dY 10^: 8xW_m{nMh"Ud 9pzvi3i=CN@fj}"jxvk{^qf/\)X FRwCXh>=: l,ymq4kCQ'zZ<96;:MXl7_y5>x$KOopK||!D /WsGXb*C1{:o.S#QA, b[eG>ď(2\ؼp)MU`)QitM܁']wv\hD-K?o8lY戵*u.6կU|##z2 ^gHCŒ*^9 ڢ.SZXB?ОQ$Ƴ 1)wRG7zk|I(gx;_| anAXAqeV\,t)ލԹ#G6@G\@γdPSQ;Fą:w헲S)Vn+Nq1DIRB/Q¨*w9z+}E##g *G$JQ9K_kf >c*ï2tDg6S%vӰw@ρ;/LpD#Iĩ IN)ú8ț`uINN+vvpYP9'ӈ4\3dR'z nOOOk`PRdM/?|64tlO%<i}*Nj}"d׸WɚnEY2*L5~ :( rM9 c㧃8N*o/TGY=.L؉A[o `)v槒߇;VF x/s)eku(덬Z%bG s]l^V=w8iD! l{0,J̓X-8Ow~/<-({ҽD?HZ‘Pe(KF0Js-u[)#vR:@h\CqjVr+Cj2󱏊`ό68>ޜѨLJ ib2onf;pUMMe,t9zveYBɭۡ ΦI~vY%+{|XK%Y' PD-2Fډ\f*hѝrUc][jY6WԋHrd[nޱ]w\߿NAe{zBOO^p=f&_˺$%M 9cl%[gSBA#Lc;^DmZ3Bx+N=47 lM-cS!uzS_M[bٽNn,|EG{%kpskI! htoÑTNȨ[6b0 gy2gř&}f ̺_\i:жrn+4Fvȡv3A)9l֣N/2i̚6KYpߔXeLzvi6P VECož$*ހÚ'3kezz_]Y`T6L̑6GI%.R+hV{QZW´AZА 5IbߧEQو@a^]p^qbi>euVֽP'\/#qi(Ѥ&\5b +=;űLUh ϓC4k\>t1-`C"ӛ(B5zMHdDQD%!nQ6eY{Ȕ!|,BXJcF,fNmgl++S7Ȱ /`inUλkU$dL3]V@øo`C SwI@F8]Gx%JK CL٠`ۚoW3˱_0 gi^H4h}dWcӡa3* PŎ;aObԆz+ϪFaևAQw^U-eel#Ҳ:RY7t)B* ]ʵE@*_iwS8ӻkrLҁ(@!=]Z)W=wzRfDLWCi7:kfXC{ь. 4drE- af De(^i},SOO#0|[9#U,| OpIg0Ѿf$!_Tݟ79L;޸qD`t}Bs,T!-xs{˲oO0FJMA1'ŏLM"E'ay TƁWş6F{LݏfCYC]q:DRe9NagWOKNC\kp@&&J$%(&)@qa] 1Wwmj&31W6ŌlϛRmzeBB}g2w{mYn?r Y9G7!,':v nI"yZJq$ WTAwr6-txPwm_ʭ!Ņ5l R:~&f*OAZe#IrvG@]x5E6"`#pP&}{*ػkm|UNKl%'̶sS5<>B[ .V1YįYFT.Uڙ0}*O6"7*39Gb0}GfܛT$T c %.hKОΊ' \bB sp #5" Z ާ.L ^@\2g:>.rݕ~1hA$jp*gV:ο`s>UX`wBr/ULkoa;tDTtov_=lR8,H)[--;bªh2-[.LZv'/*ZPYMgE%-|" _5e;ol2D(u”Oؑ @t̄(Wʉj⬰^Jw7loB֫3҇C&D[l{ $__~cXt^317u|@ϝX%2#-:Jv &"ȕLr 跱s4*STd01%5mR?4*)(#6LC:˸r}!cLfd+Vd-m`rnݬ7]+`]>AU qh"%a?:r4SxBB ;*lO`"\nQXѽ9 ꜳDh> ǵ4U &t.={ְn"ُ΢*:0=Jc`?ʝ*jҊ ͛Tq40+R۩hȏ~_ lHdJ2;Ͼ(:ѹ7 31uјM5rͫ팲&="pi'U7sWXX E]{[{kpߖ 6~T0/iA#);VGLhF.U?aD<VJ{BQ }c%\\Q,2Z4;y2G4z) f r@;k3sH#jU4rr8=R$1_q)OA5+zo"(i.,k~P[TN w8/ެVC<5Y5=JTC{>jcZ=Tv8/.^$%ۓe+%X0&$HCSL!?*,MQ"j 8R櫂.UAhu6ظx,v: 4D{>?_"x` yFA%|@ t^C,*˚&iNFe@ /VHm:;X+;Њ:MQBbb{8"'PXiFIN}~Jcs3X|WM= ¶d\02VtvKz8|E<~P8;OT޷ P_^XYxi)QN \瀎"U!f Ǣn$Xk/ RB$-<Ϣ:ٹk\^nP^қ As&福Űt)s&u_s&7T3mhrp}zǢO,2uqtI(A9M|O5i LL`n73M JI\v+m>n ঢ়ٌusxeFX)il5a?kH~Ԣ2kA 7>-H٧ӛ4l/pc^.+0gO8\Ϡ_^%j)  3QۂEXw(̼c JW߯4MW^2CUz`'v&5IyߓQ€YUEI2Rtamtt9a_'WAO?z_}0?.ggL&G0 >ꚙLACʑ֝ϘX3"a9lH)l*=-:I~Ϋg1o1Lq2q+lm&dHKڒNN$1]>Եkh8&(Odo_%^REW%|ڤnA>㡁Მ10pi%lw球g^[,.'rA3Xyg3ZDO$tb;/b;%N6^]_pcoCqggA~{dFC>zFmm+BآSA7*W .4@L R~-L7*d]Eǘi¥X-\z&/(0jyLC,4} gK}7 i%cUn bE3]z? Vz<5;^Ͷ`S,W=}OwqJ@|jr^|ZFŞg1QPy r/{2̌MX>1R%+gPs*NAQ`n?'՚?ْI6}mjϛ(Ea>+ŸbILXD12uZ3n7 ׸9cܺ>P;shBHk(BV;N*QAȣ*o@ڇ-)"-#s\ g]~y&[ŭ 4@gy#ifd)V׺ yk#2=oɄMXӒw.o| p<ʧ,}t< L#^$kN7Ec| pE^wwd˭B얌$㕓G\l^y?clD"#>ib9өϫO~xV:mMҊ00͋*p"[&6a?)~=#N*!hձڜ{%Awwb<I̊2ƛ$k+N#%2$M`a7ªp(XiDS'5:V 44é;tG)uF NzP=U?xG{YJ+~"!PWyT(q? bΙ,Vo_(FhH5}kkȾ: @3"1;'c :Tfځy,~ΣRT 2dF}'xVQMouW%څ]dI&–{Vrv;H#AzL3)!z㶘L~ Lα(eW?0ͬWy@KDxC0γ\$[>]+Mm!0}=49YJM k<ԹS G-bcUt 5hݿ"O%ө-bH?&JVGbßw!9GE~V';9KPGf "SCܝHPVrw:U˗,s6}y3:.+@;gs/FrǝT VkgO7Q\^xi)FU=mV !&rF1Ci0LvHЈaFO2)ɖQ8_b֍%93;`|VN25= 9 yxkSXZcVm &na;۪X>.<va,P&Ym'59Cn#Z۔W;PU_s/3g'7.SPr bԙ )$b<1'ejJe^ +̧̍zȧsq=E!2umnn!)ئ ОD 敺p TN9NAP6ǹ6Ÿ+L%w2BqF(M*I@+話]&b FqNvy2>#Mt&6rx@jԛH)2˜6+P-51\2%\n"0~hhL/c|zru"4 FY5Kr< }f(.s2ѭ.ݞCǧ;>J ή%EjEe#ŕyv5L|cߋ~@& ߙ]+Kje }k$^ TH10I ^7e_M8 EЌE"!'rnd> Et1вڏ'Kq/;66493}p4OMnLFw|ZgsqMk9Actʁ(@D'qŽGEZ˚ڀ&[IycUl/\4|eÊoy(ۇfAuB){g!vη޽NJFuw̫<>LWCaw"FIJ]P9Eb3 QBB'nLgXh=&#G^j.kwk`D6 y׭4vAa#k w_/'FJϕ4M,m֑3}C$(38_ۑCh%q>W0*>տ3`,_ IS,D=ұ(u#he;(V]A{2 q;vϻ쐗ȆPl(:snMkv@(t+COYטx$ͯ{luP7I&.ذ^e3m0~V6*~HUF8 }٤&;#UʫZ⿌ 5Y #r!ۙ*Yz/܈[xM-R֌3v lo`7rmu͑O=d0m}9#")+svߏ9.TFѠVx6MKYU!?R6γu_(}fJ6+aʱ4rvώQ8|魯qG)l0i\oc-*ە4Bk3zL(%fjb!y ߍknm goݿ/Z .gK>Wn5rlOiWHI\8\gs?C,_i 4ذͭYv?EoN<5}he֌%r9_1a1$6/kT&{VHTqbvli[X]G7cY;HAT(k*%Ԏ$} O(*NqF!0ŝ*D_ﻸXK &=S'FE* OQ=Ň2`M:޼@g ղZ"&ڑyD2nf@VI`T,#S0 2ی M*vܟΌ-3"ePf ;]tZDIxTK!k96ujQS\ϐr.bi KZLV  9HE0oI"eehi5 #?t]_/1=ϸTXHGm4?# 8"L_3(blqxP#I{{y ?;|p=֖/0_yj:l{a\f̪ҴtcU([xXƹ"Z_xxKJX Vq_egʸ݅s 1Z >oA~l7/ۈcN0K] ;݉蕚—L}|x7o>;V#m*xyQ gT.v )ʐ?['@ 434-8Zɰ31XGH[볉U@hda8cvgK9pXA߂1K+H!(r+㖎0*z?Sĝ2r1^a&L&R.ícBGo0{ XhCú l@l/U"Ldck4 ٣OwoTQ`4~>)Q2#_ayEQ#nVG M 91+2(4^џOOYɱ%dQW굷jdq\c#!&$M$V'm1#'=vh#ceav*|ɘNwqK^pHn&*_OzG 4ToD"yDcJ(% JBiuJa7xSrUc%1αgI ;U2whL6U킪iJ%A\EM`T(YZ享x8pE^hc!C;s<06V'4rVU4hdAhRl`Afʣ\tiA2NY fv@YS8{ZFcs9evl HC,f3h\b 2 f&ei՚a",GE i ƞ`iЌjāa7Fik D%cAϩ@Xu&r;g^4b(*G %K#aL2Y+)*LSJ$\I״;,mp,,Ү&|?5UQ 2C`vT^@,!L1s-kܜKǷSX+o D5{rg&ؖ;ln(!#@Leƙa@8~=Z Kza *ɮ.>7.DGA7hraF hC,e0|A*36}HwLA!ݹLڂm6H mE(2!9~=Te7Z*x0d_x<8BblObviÃr<̀B;r{G*1gQD-gp;4R>512o&/&;Fь2;)Gvj,rn*v3[ 9H&8{Fgü_I7oF&F}]ӆW8dPG=][ +JhتZZ]+_A By5l:pYS<y' bLj|EQ9P^IXRm*5-hF= Mo305ewoJMT#|S%K' {#}`T܀W.4s=wR(*l?`Yi0$# b*OO&)yG~]/c&ׂ-Kvû*Y4(!:|@o<%xظiK KkA؅}@mзıKek*5s0xPi:srI0RU0}楴A:>~22[\>%1.}C^0QDـq>Rb D[RJ572 ի9ЗlkvindAiu q/UkWl?%&ZKi)N7[c ]pN)P[Qy*N`Cƥrh03(bzJi8V}P&)n_bh~u_n.o>3DK\MәR>I7lZEiH*+zu^W|9Ggxe{0*C\, xi'L]iv?D08~YoV©Ұ`ɀM_y="$MhHѝU2W 9:UOGLLp's} ץ KW!ш3/}CA*_%CGf]41x/ieޤ;NŘu0 eFh9j+JMT+&~,Ga>$oTJ [qr.g+V^j9hQc->ɱ,DT$Oa}O +G6rQ82 8|vcvʦuDW$+C>#ED.W16+: $2^7Աo `*K +#2>_vAG$'܅;zz{g$:I+H˫PQ&M*&-@ʩrzRҲ8"(jRS|ʓ/ܘK-8VWSOߘ]K#kn0t>^Fvʮ@)cQO䄚lcչ=zQ$[?U&T<_Xqst9ڝD2Cʏ_1jzQkx 0B-%H9ҏ*@5J]etc7x<%_oXRJ/8.5+%F=K #?`&B>2m{4[g'bp=P@ H)/- )_<#@5l  4uD۵9P"Һ|^ RAտ \y/nK51bNuw9\*1.ʧqADI9q+$*9u5G? _/t f4JGm[KN{E1E煐yUacZ=M}cZoij!W*qMscUwZ /2TXɩcBT86 ѐ/+t*2ƅ6|m87XtLxMΧ̨ ;}d/ۗkf< m:f~ƺX(), ]|0k |w1 dzcRtqJilЃ[xX; :!!57@Z9&/'3z*"b/!&;3\%B:2fK+80WbƝI[Ɯ=en'>ekKw0yN*6瞵 8[,7 (h:)K}\?0~qLVDiL 8[\J{fw7Dkz͌O;{~ȫچ3: FbNU7*P4 娙7tbtiiIN vuݤWyTu7vT&eS xk01|w'I˙ZW@nUf= HN}vYa&;ZB/aVA CF8"H hmd| RsB #g{Qu;1e@R3*HZ|q HXnfGr"-26n_} {\Ԟ4UAMS6=\a8ϓX9L/4͕΅_lTm 1(Ԇf]x^0L55&[ ~qb(VkBT!VSP%SH5x' ~TWK<%f1_=s j1?L|NY?R1"eX`Pq E]`t QGXxsq 4z AsMWLB8E߷23f¹|<.PvTɮQwbULos}:'?̩ ~zETgT#gww"ԴzfMB. Ʌq?_.*~U7B\χBeXTR@'RFz?򋞌dOzֶ$⠱Q^ji#K< 8%Ãxf0*8?3iWW-OleX[×xWB @[ ݦ5*KQR:ǹYo'N*b WJ'a;'f.[d ǖ/ ЉnF` jW}/.5.`;W)6b%7[v@SBUqQ|OmF[^A_|]9$b/6jfǶPWڴ1-8n##RҴJ"Wb"?FYt_P* ΘUUgjadm%wh ɸ{X <\wfXְ!͈cT|̢4j-7g-tz(J hVp]׮dh{L*$7=_;'VFCf#n$,L^t(i~XjC# VX_969Rp1JSH3P$GT{ZHpp){ @<9#5B|i 9=-5;z`I&[g`dϟPF)piJ7D<_PˊiҌ.XMwsNġ˵CȺ<d֣X=8GI~i]F*,@ HF_ɌLE=kk>_wC5Nvk3s")3AbF'>/R2@#Z^o2ՆygUJL35v~uWjn}Sc Y)"Dyfh`yD=Gk]wy>ax \|DyxbP>'h!@CqOEgfǭ&yӮd^fNSҋ#wjʲo%/jN"UTYBI@(rG~ &X%>[Q5•bP: >1Y QVv. 0fEQn-&=E^nm>gt6tF*cʎA,QeIM6,Q {#$2؁wd>l\ҾҌxqvOko:k,{cX(Q L$gn|a8숆gBR3>ø&]~PREL>uc0ތ|{ " ٜ$Y2r;X?](-\lE'IkL"ϝhʾkT!b`7AڒVGZٻcvk&H9$”ZL"w#oNR;g@oo_,d9gpMFtN 0u}u-Xʌ؁4-9\heHc)Q^PX]J״֜_V<-6Dll֏Yrn`4 ጜgU=O[Ds]֜xk ׀36O _H$R7)2|x0|ܘpmww"4` c 5ѩ0쏬=#A}cw;*`Ԗ,•: ̠g]Houhq3m-nʗ3Ӷܪ0$6 T k#R }s_)Sdbi=z ꎐE4\ mc`l8Y4 C܅[Ӱs:-S'7dr M ĽoC4:叻[ k(1*l7P0'c7Ka)E8=d8sl+'Uq\{aUN CBK3`N\rYLBgJ{&dR44=l$>#F 6,=faѝ29"_ gm"Y^k0X^*wu#ю{AsBR6滛-; ,MwƑՏQ{?ÚpDYٌm:@`%7p3R"aˮ EeF0hM f2Μ0.&韵>D<^l.v1aܕc`".75ڳ“ sA\ e-c_{ W"HCҊz/7m lp0%^l"Pa&r4!6 l# x8AyOb}Kzj3桦^ T+.J?~DyraφN5"lArϝ'ũ-\Sm‰' ;ܩX-A2S~$<7l'ஏ@ʎB/h'L]E-2~$3p|9H$*YrlzY&m7ș/\+8P)i\fxfLnpι_A]YA]-Hg3B7;?vC [ԋzD-' dH=|tfx󮘏2ca(?v7syܢd+ u%շAf@H*r㕱r>NW#pvC]mGv9XN_ℶ>c|jn4Ԋ$x?n]CK D|ԺSfir%`e"xy3M)k}%j|SR^hۗUuM$_YDm \wxA*i',GXsCDB^`{LsUFqz%wˆنqaZv-[u@T  mS@|qDI[-wf}nqVBk6al+Jzs/'}:@p]ޠk|d"h'nN@9=Pޝ:~ٕ7cgC!D/8a,̱K `8۟GN]Ĩz9KqH~X0?35ESS >2;}jrJ ĩ9fYAg512c%*|F=]SA-1H6I/5["Q(fq^),b:ݗj6FPFO%2~>"w['Fׅ] &l҉`;:XwȢ#u 9Twלea9K%RLqHEj12nARbҕ1cZ#:O$ŐWH{jkm,J & و]*^*ğm-&󵋿} U!_, Bp-:d~EK 9(XqjU ҧ"O4K<:x/'IO '@8+eP͞!5Ж(-2j >4`0'>ܱSQ}<%0Ҭǧ2n⯲Ly)J4YT;/2|/Ӯ%Q׌0{Tkj ?.>D56)gۇ`ƄK6aFؔIIU"SnbxɃg2^b~+@/5 "xv꓎H+C41f f+3D\8Xu5p\\o1eܾJm ;"SD\Rɋ%;ϵ-#0O2mGGu{uBlA [*N-#YbYZк{:3' w0tC㑥⬞ 5yشfm= =Gb~;Ƅjx) &!J' HLX[v~-\"ӖC5- =zaBWM_ܛy|N _;^WmWF袹il[52t߭ʖ68a?;[LCE3~@Z.߷. *siFQ )3b[MZMWE T~vQfK~ m{*^ V;)ߒ^[h#z'!׷Jq@}?a ]8eO}A=8Jbo<^wt.Fld<ȍv;t7$JQԝwZv".i(PB@bԟ3[6w?$һ4c{sS 6@[ "oC ]4ϕ [m˼Bӱ9ۀDvjLMn&iQ-g//<'Pk05mT9H٢Ҩ78A2 [ji0DWꔼV]w,؂DH:}a@%H4 P8+\`X1ZLRYr6Pr2sa.qG*6\8 3l2. K1)В F3;$l.)7.~q.صX\Ԕ=Ֆdaڀb3'{HzI  cAuq<^132xFUQ$0-SP_V\j_>W?ajvzۦxwkoH-~NHQ3;+Y&@ VB곶^*r kg/8H}ynDSqJ5wh s! {tc0KE,As 1Ol3yc\aM`+BPql MEj78K Ê>zɫ8iݨ^̓f ~#( Ӎ#o?Վlf/vP2;پ#A>6k^hIY'hW| #1{L :cI>cb? rG[jA Ya(t0&)nQSv;X'jm'u{Es%b9"_s,T o3RJ8A'VVlrzh󁠰ˊŖWJx(LM[>܊mM,$jF'I8_E͜*n|jgMT+!ۜ3tĦw1rIE^0gx}0bRY}ytjJLgM: ̂IgѯXO'd&8d,LDț#2zsN#YB( χ$sܲyX|ҌZ{tyk8]$ITB/|C_c5Q=Jo}[%engV\3c+=~3.` NX-])CKT{o-y,n7㡲S A1AX4 z@UKv|f kK V]NՓ`*ὐZ6]/˰BQ?&X(?l|#!vь[ 2_twA'3MYq=4.bޱgYZ69370e942b6435c2c0b6f4bd916d3d4edb61f71bcbf32b635c328a6095a45f5c01bb1adf119ee7c0 bd89f790ae831acf5d43976dcc41799a9f93a1c7 bd84e8a64af63f81a84fe8ce680a7bbb7edb1778