SQLite format 3@ ._  5 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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info {5z8F( ]/ UHOL-Record_Benchmark:threads=6elapsed=143.422cpu=236.555gc=20.405(/`3eb`u  Rˏ(/7H P Ѳ7l|0t+LredffПy| ػMB om=zz.c=TT&Pnc(GjRk:A1"D5a9Z+3G aENQVM&e#OVIUC.ee=RdFOV͛jdeMYzd{*Abv\,BjͱDt1Je3+[ӓD1TvXtwBVԚ^F"Ôl ]'Mٓ%"-E3-*lA,ȲФ ȭS}Yg׍ 00ЀBÄ% xA4S~ y DD^->)kQQ[g^K߯}Q:dx]/Z_Q6%-Ba@0 F.@0$``8a B(b BbP ~|6~v .y][VLuD9V1,5w#oi"N#A8-(ED5,< כ-,RoIT-q- vVd6En%՟o-`zkNj %57B,W(tBD[*퇲z,?~x6bΏe$,c)%a^Ȳ* WpH,+f=pH|=Sy|7] Q67hc rYmv;IQxsgYܔcٸǥ ,3AX-yz& 5gI WTetYTL x8#\m'=/?Kj c6k9#KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jƯR{Vռʼ؊p2w(!kUf_|b +(}}bkp&݂B@#@ FPq 4NI`%ɆC|`Y/:t&w3U@֭:Wy3Ǣ [Z65]UT-65-6W<?őLΔ6x$aJ4Pt>=ǒ â2- O7"m~gIUZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmar    _ A _ 4gL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages J5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup I5W!HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files O5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id P5W/HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/factQ5W1HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsJ5W#HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thmsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axiomsL5W'HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/constsM5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latexK5W%HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/typesL5W) HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parents   CF;ԃ;(5 PYw(@P2ZԀ2h! zhCzѺE CFJ C"5&w(5 1ZwPj@2PO*Vbĩ/>P $Cp-9AqKiLũAKQ'H=0r?PxIL,qҦ@K`Q߫ {I8?.tH GգA- $Ac,(sH%4Tܟ_=Zɐҵ ~Q|DPA?DIP G{rS+PmR "WfX .p~F8=B4\O_+:RMEQao5QB#wY~ґ4 h`Lt ~bNdgnP<_؆N"B#C2 <yЭTFzu(K>)Ʒ&>Ct0{S~#xI2sC},-I`s0O@&Cr;`R3`oWyO^>~$0MTHczB2襀` P/c1js9gc1ƘƘRJ)QJ9B% (1m۶mv۶mn۶mm۶mm۶mm۶m۶ݶm۶۶mv۶mn۶mm۶mm۶mm۶v{novnvnv{? U40DX04<@$"E1:; P, 8(F l8BA9(@(( $ 4,"  8" "<($DLS (0PD,c1  cJIRJ*+ZVJM`Ce !c ȈBhO60@(s [@X̚D4s4S--{s]HotciMD`JS.G1HșOyoEC('Ȍ>wINy߮un슏7Lj`(gAND:^$ Z;AAfN K(8\$4j&g} rb^eB-{ 5()Y7J1?@ppg$@^LnQ(L]#rV& 5!E z L.A%MQo CE?Qc*(,Ve{X{pX;-jP1 P͂*Nr 2E`(X'%BH) 9w6oKH뫺A,E#%( ^[Jf.A]`HPlv٫B{KN7YˍιX tÕ: IQ1;bA wįArUI<m.R/}p$FcLa T̾U 8C2˞@+g?ja C';C,SgR%L3 S[(Cr 8TO~i 6eeWC Lk_Er.{W,j(r,Ql/@_ag),Gbq8~w:) Z@'h7K⪗;Rʰ:(Q.#NXKT/l#lw4D~Ks^`ҩ}v#PNWtxu'Z+GV׿ 7ц'9M@d s#Էg ZloF)uPvif~,=SCKT1Տr`Z(!k#k-q5fBjoǙN c#Zc^7滽` 5/bJE/-UrUr,1V/ϻ3Ć!QPi- g- 6*zK%1jʠWтsB!;.:> RP zES \'!Aaq~8kМFIO(X=tm0iQ)AtTZVOĤӒRkPAUgm_5(<8'c'6pfJ?(v ^@he['=@BQ͙fCUF. ͜fDqůLΥuʌ3R_fSQ=!-舰7F=t g b@ivsj؏Mթu^i=w҆7_J[dǭ SW/Y܈['TpL,+<̱+ie%V!H* ֑#ݥk{H`;/# 9uˆ~~ys{g=_ ^fe<W:dYԭ%i0+7 ]Dj*O¤=A@XrQ+f}RQQP'Wy_:#xiNa=UἏyuQH<1sI WITf@]އ[1c F+L1Әr2V]Kc*sR0C(N7|f=Aphc-0KWД384cj c Zr;Bkm8uޓc': azuRfS:?'E$4 ˾}nx4KZUDHW>µ@hog{!֛NZ:dܲt,gR|š;h0<#}aK bgint(A2 >?96]BPbr" ¥HlE-wTFc; 0-D݇q ]N)vBCGT$RÓ7誳@&[ %痂3D$O=.v%5DeDt6O0H!; kPxC9MjݕhQ$>L*$c~-w?zS2.p1NMQًb=@;@EԹzZP3BewYJ8W?B$_@?\(Ҍa6 #<̰LuWb7hZ"x+A /=yE>*lYcb[iE50M00b"xYEN99̷CY@n;D{iJJڹ|ԙ>s!grj2CŽ"q*}hHK$ ,J#x,΂uڬk*h!%\bZ|%mԵ8e qҏ/SZ5 ӂ&iwQ1$D*yd'f˂ |]IohSY Eٝrny9TֳyGl&b;LɱJJoJ7`Muq3s`04۲Hg& ؉`7Zn3u;}TpPDE܂WPӄ=uVgQI,,8cu`I"XJ@A4yX\"LOa~^Gڅ0^u@nko@;*#&][%&TsSg7Ca`zѠw)@>HK2k8DN.4.I}M?+т#@1+(܂Ok`r`RE4Rl  ufqn7ڟɬ&j_y t dd9s̵ٛBA"r.L=QX-gL isDs䌮=uhW.dʫ+.W#u)bQɻ\/tdOQzȈU5ܳϓt gɅ2'KOpb 4Q թ;mįu7ؾy>"N_=6[@oHP8TZ|ls!ɋ$y #}0V́2ajslS!%0P@ b%`C6ضAm␘ ᛖvf+/팖 f+/(k! :l< XN`s`֞a\B "O.b!U1`z.4;Ņ/h -CxCqL 36ԞXb>2Cq$(C#w=d\0?& ۱[&iXj2>0!|̼И.e`gP cz*Cma*~ ??DrP۷Q*suXb:{jlc^ *>e`{q9(c:(Cmvڍ#*l Nb26QZ4+w0P;`{vN)C3dG-:&; l^0Q:zp@r(c!̢ *QoV!nD%:e`!!9T;BJlPy U*oYiXSv!! ǰoLcSj,t8EШ)k"5Ha6WADSHŢp\!SZUFj-< sыGQ"ȫZhp ZTh#!f2,hE}( 3ڪ;!T=(ņ7G[H5So~~ب%VBxੈ/*L/`0 oCɻ WkS }V_ w['  ]qmz`!S}J_"=8do˜@,&& œ"-[ߡ.M~ϒv[8Z,\[\2/6g"s7翬a:Gcbaz+\G"+HFѫ9:?)%֮ W b(;2nIV8pid1ߵDzKojsV= ^ƜEMՙϠHEStd5b_ ڮT΋cK/cYCW9xYOM(r[&xO|*|:8_F 2(ǂ υHAB?dl*_\O_ w!ey2Q^) 2,wǂ /-cAFVŬbduZdt[ \oW cbǕ>$X 2>/cAFW^ͣŠlc7i >v(c3m<^ "]nq_)fvޠeb_6_p#m<^t3IEnQ_lqljw^$a/mg^Rvoa/-F9_t92jP/hO W|0 Ȑ_ Q cDzzx+Y|=rX{ HN\bl5G+m-$͟`!-BRڲ ʨ].2küFfv7s62I8H.&kc1_f໙DM~nmV7i4p7MnfŜ6fúQss}d\mtSr5wӧqPmbB=W4 רҐE;RRCK9A$=Zq'G,jQ,A8VɡSɧHT{ɣ'M0&RnL>a$u)풭K\xuSH_"(m@ m:r?+H?ӔN" ybёs+1ʈȿM$u1A-AZ5 gȂ# yusz"RDO6| iY!XQyS)@5rq!C$x4/ң|ji& }\A>xȓG *Ad4d'a z ȖG^HEYi&ӃJ-AtF=!`KIAϗD{Dϱne'U.=#jRz{zn%zRagļI7o(Ż(Pr'}* ',GwAm7GnvncL³ 9`&Ic+ᤜ{E4`8)>k%YmP5R£=c+1~UNJsA<0V_{,M 8+Z5p3{ܨ CZyХV .tS5*l+|'hn-&!A),-V`-n\#ឫɶw`c=M,`I`A [e=.\d] E[,bbi & Vx+}1r7pUQ`[M; `YK71T@-vں3Rf"FOd0>7S(꺆 *#O#[s^ nO٧)|ڛ#݋v>fj͟` O+Fϼmj`M{2{Y!8cݿLߞpOZ/c,ٝ1 pL\rWj8  u{/nðDr HU' Om6o{B=Bw#Y E[DMT8Ws9VA#}i/W vTVU¯=f{ FMtu9P;픣U&M~ SS}#Vb@ыR©SrI^ѻ}øH۸|Wr5.f=>  ; 5W) bHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarkdocument/latex(/H<Jd%0PO?A_M;>KdLI&-66? NOlٲe˖-[l-[Ir!gC9#r9C!rF93r!r!r!!r8#33Lf6Lf6Lf6Lf6Lf6Lf136cl2CdÙ6۶Mv R!CXCjHU^WUzիWUwի^Uz]WUzի^WTW~oooooo߿vmdM&lM6dSm&jM6TlɦdM6dM6dM6&l2D%*JTD%*QJD%QJTD%*QITD%*QJTCTi۲eiٲeiٲeiٲeiٲeiٲeiٲ &lM6dm&hM6DlD$"$*QJTD%*JTD%*QJD%QJTQJTQJTQJTjm˖-e˖-e˖-e˖-e˖-e˖-e˖-ײe˖kٲe˵lٲHC9#r9C!rF93r!C99CC99lf2lf2lf2lf2lf2lf2lfCf6lf6 f6ېmlɐM6d!lɆl& dM6&l2dM6٤6dMjM6٤6dHUUߧ}6yLDDԶe,I2۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mm۶mmc5VcuXX]jj.c5Vc5VXXej2Vc56VXU^WUzիWUwի^Uz]WTWTWTW~oooooow]6dSm&jM6TlɦdM6&t"E$MBvPI(Hq 0@JhC-?@ċ#@,Glj* aQR@Ap)AUH j!/~ d?`@Ȇ!G"ifL W!-ppxq(eMM! 9U(N3c0%H )@B- E#,G65 0(WB 8 )!*n/`V~ 0 d!G ifgz79;8'o_EpcgZbUq!7lA =jƯR{Vռʼ؊p2w(!kUf_|b +(}}bkp&݂B@#@ FPq 4NI`%ɆC|`Y/:t&w3U@֭:Wy3Ǣ [Z65]UT-65-6W<?őLΔ6x$aJ4Pt>=ǒ â2- O7"m~gIUZS5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain  05W' PHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/al|!@ 9wAWAx.q[՝ M$VEQ00E C101"#战[x@P~Kx_0Ǹ`pƂ ݑػwmm̬̌E33VUaUaUUeVUVUDDD""EtLLP ffJDHD""B"BHUA$(I#Z߿G????}k_˾~YqT\nNnnsVڒ]cC[l-iY7,,3{3fVafVUEX]]]\WWVUD,Q D1@D# +V0355s4c4 fJS"5%BS"2%H "&"%"#"2,d]\-)%c} CD3ьhF4 ͆UêaհJX%V U*%"HI4&ױ) p9I HE(kE wmsmEUQ̄H0 h !??9Ld<OƓd<O^L^L^L^L^L6&dc1i19LZLZLZLVLVLI$c1ɘ<&c<&ɈɈɈɈɈ;#;#{d#H;Ҏ$::#H:#9r#9r{{=ᅬ;$d,EHyyyQdEFQdyDGyD%DX$FiDFdYDEdIDDD$9DC9D B)D B$$$D99DAdD7 yCސ7dCvfmkkfiygyeYf3gΜ9s~~~T||̟ɟɟW|MMKKIIIG~G~G^E^E^E<)O_~C>C>C]ٖ5b[lmѬtF/.h(SKTHe, 8(IP(00(@@0@6yrTLzn&w9kfauR9o;n)Ϊ:Zͬ]NʬTfmgƴq 2 7KܼaoDGbufɢxUz63uUMӥLn4 mlB&j23|6 S&3۶S9y㒨S-trFfJfw{r\<Kil .LN<$mlB.j23|6 S&3۶S9y\z.ٌrRed؂[NL]I;LݻC&t%\+8 ՕGiٕbaI*bW¥k r]9ʵL]6"w%_\l>JȢ\ݕna1(+R ̪]a HX|n2JPh>J0+^AWR^T HUѻ n51t%Ql2uJ YHzҕp`sTWrƦQgW_5?0XEF@,-Av%^Hڈ+1Ӑ+)r/SsWi躒5D,w>w%*L<=EٕRpM+YrӸ+JmUѕ"ė bɬ ef c."'uVbfj;j2,$*m; 5Sg;%-%e:k89Qzّ9ƨg.^f5ftf覎gj-|2W6{rS8ԳQM.̈́[Ίegmj-g>msD7uV'={Iֹe-'KqJ x5W' `HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*% &i̧@ I%%P$@@y"(㶞g<3 gnf'~RoRH!cRH!$B)8"H!Rt"Ez2!B!Bu~~gήwwϤYIkQcX'GU""""jMV[} fJ33&6IKBf,d%eHŠP8ݜdd31cc {c|U-xUUcD$,"!C"mdvFcfꚙZP~+; @ փBBC5  1gC (,4$Ԝ@ x@48   'xH8,X  !P$( (!HPࠀ  (8` ?___O?O?M$M$Md';Nvd';NLLLLLLO>O>O>$'9INr$'9INLʤLʤLʤLʤLʤLGyGyGyFiFiFi 9H 9Hw3㸓NƝwVwR܍ŒL )3).3)̤lAcA41Ƙ ACꪬjjZEjUӪKI舌h Q   QirZZkGdKdKN)9%䔜SrJN)9%䔼%/yK^򒗼%/yIdIdI!NNNgR30iLZI7)ٸ1Ѹq8wuV6ʪZ6eLʎY 14AB:ctTucZؒMԘ)L=!ɦ1Dw_?qPʈp 31DHZڃDd ???s<9ysa]eck2ˬi$'ZNr[{R9^eVr/Kܺ[Vk~n/z[Rk^[7VW zK/.C4.k٫~]/뵂]şZ]j-ŬۚUZLnKQ*,ɸEڳN !bEiwlj .HFN|Iu6g KMl*).00TOLTw9&?BkڽGQ,qbG$CaxZ,R8z5H9ƢPBQ2QٯǪ?ލ!5&00 0}Ug8lqٲ?{U܀'Iz;pɩr%zawZ^2dƬ7ΫJPu:S˗/8 ;vcR Ӑg9T1Kx>V<_.q]wXS֪k٘&@ ^!n< 6pӐT2 dn̹TxUS Ɏm:iRK5$/ژ{JL ,7 6ӐV|jפEn̹T50 Ȏm:IuSK5.Ҙ{%˜q>S1$w&LkҢ7.u@9cecO=:\Im̿e@Ȍ );Z5irʜ1`ӧfCZr $_j2o ~ dcTr ɭB:kՠ4?$wB6dM#LK .x;4_@]2Y C20kDȟ^5PӔ=eZM(M7wBAH8hU:vxƺw?`VB޻BP|orZV~o?̋][BH܉2]NX̊]{CѣNK,jum.ƹ )ttųyXuZVSvcra k: |ubfDny%Exb[JdYy6e9>=;4X2%%H˺tC"b'-!<^̯WO& t~= n6PV5 #>#>71 B-6%a4İ, qbqP Z (H 4 B`0M:D, &immZJݑ)mRj!"dz?A*k՞Y۞s6wmRwdvU;2%NlK CHbz @ A!BD@LDD>\SY|G䥧'܃eלX̶\VN1ƍl.T 9@ *M`zzմDECX'֣Mڀ/cWt/FJ`,f8m) 7Eb%  Or\`+d' ɛ[NHH:\ŎmY^Xl[#`$kW^2$kxࡘ V'쓱:g&py0φ \ Aq&pN 1v1TZ^*q + 1C]}%YJhjiȂ5PדE% 5!r p놜`Yh]6ppkeȺL& [C2AG8W!j͛;dP=)ML1ES Kkx=]q"탱{j!uɐC} q&~V 1vx :5eתﺡ1ށuB.bLns 2s(/b^]^X/PWr^'t[ :^'F@eA|Aw@<@E]qzS9j g2 -}q5c'J+0h_2tE]A}\̅ rTd\H&s8Sr[lE 'C-C`a%"|xotҷax7 g'.aR@@/gt'dCc3BWw @mс<e+cgi:uK%> vo7dmdߧ,IZs+?Pi aMG þKӺդ׃;Ai2$lt~s.fvqqMǝ&;4E8 a~PEsVl`s lF\zN8h̖`};WZ64:0oÐF`ɸ G32*U']"Ck :yS9DI~u%L!'wJ0v! N#|~0g#|>0'#t:0#|>t#t:T談8[kH/ԗ<]Y,O&'XNlÝ{@4.mt7M ]80O 1EB0W1,VHv3eh`X _\bsb[5NLnU.YL~-u"r+VOr=%B]`ڵz>/@>Wsz M0ܹAÿ}t56IIz1=թׇ:`S?Oo~+3Z]AvWYviҐ7zG<ᔇ&T1K֢+er` <E pbֳ;.aQC{~ëؿ2"~@tSA)DpM?aӄzOS-3gQ~^}>w lUXJ`gG骴WJ\sY*D[FDQ+2#aPtW K$j $SDGw5Ό NUrlI\ hj?N׺:Z`Q}Ηv*e%;zCњba<'9R,u,7u?UC1Vxc:%)kRTF;6;F`;e n6;7Es5h=wwrrs>n4ھ^6]Ca3 ~PlRLЯ(H8x 5F(;HЙ Kec]ip{9zBƚn8`nC0; )e $fs)ꮡtZu W7 u,7OBaoԄ|KV% /^}tHQeb%H.e]oXXG 5sY˷_@3 n\Wd9d} [CP*Xo!ftH.|(**@#Qrh0mym]4M_9ͻpнbPP7 m0D3E<X5ިENST O9dpNm1Нm$w\Э:P7 pۤ@6Ex>p8ߔ]W/1*/__X!C &.H-GKQf9ਡsU` ó }ӆT 0ftUnnķ*E_ mœ7 ArY.M7ӂdػu|`kW\N3eWR"k;%ŧ/șCrGM: PA#V A؛T!>1=qcj!if酫7$d4\La4!0[,veKQE!{.װ|w)M?=rVQt6raoʮTݫ”ηn/, D<[n ]+/{Sk#"HO9.C4|ra!¸PjXf| -4lf 'Z.-Eu}{Ws4uS:=APOZKi_1^r%ox r7D(eEl IP9L3r\#p{=@~qs NHDah IS51}*p~-$xʦJ K0uz,8;βZC6 ֟kh˖!C IgϜ3$x^"L.pԯ xOB ڪm}ǰX\rS4^Ȓ:k֐Kx-sri<n,s{ Dӭw-hnҍWQMe_MnKgWNͯ1d'KY3M.6霧Y/F3*MZ4-aΥק!WM~v@/j 3ew%H%PyոtU,mtפ!pw 3"b:~''ӵ)+ZM[{f=+AF5sux5|:=l}( tݰKcJz[-ȱ)K[DU+&"NJS`֐<&ĺmY˽ߛd Tpm2ƻ-u?kjɵ4›K'׷s,ovS%@a%=[yC9m{si(| bEC^jHt;+ߟ' je_AS`y$5|Ox"Kkph ߨ'&.qj q` O,D/M;ul tT 6_S-ۢG:2ŷV(%4.K+C, A^ED:m34{7`]'&8ER !d6^J%ZϧsCW< &6I^ T70`E8]7srwx`xx,6jSI]yttP'ȃ'Z@mM?Xu=3ǟ,] !:Թbiu>i>}1C` y1~[Dbjh hS1-frM8 J@tʴ-kZcujW$ce)a r%A[ͥNmZ70LJ0.rv H>KNKzY:K;]AϤK{u,RбC3.'0ьm1l0lVx@\mm3I=hCj(}e}\q[9J<3lorv܅kjvtOn*Dž7F"m_Dg gVnVn6n``@2O>Mnr`p"%DAщ`@_3Z%DϴDVD"`(p X 4,x@A `(>>җ/}G?я~~믿~~~_'>O/O>/| _~|=w܁$\. K$a0I$L&Ԧ6RUjZVUhFQhFDh"3,${UbJJ*((&h&"jZjZjr!,Ydɒ$)BPDDDDDDDDB$"""""#8∈j6hm* kIX0VU** h&hfffffffffjZjv!dɒ%7 l=Y7 UBLKdE$(DV 3-pUBLKdE$"ЪU!j!hhf&LHD|˖-[lٲVZ!RH! 2   P"8V LKdE$Z%DϴDVD"~~o&v~@"@M!0 '-O(?&%$v`ycyFg]i5/VPJ$j鵳nTo#& IP9E4QโAZHa|9&3""dϸַv&vT)%ʍMr<Q10޴Şl@!J4u MAE>A[;$)݈VazC2dN7 \#BF)h Twta!,GirhiKL}Q/⭋Hsu "dکy=M)'QBr+ˀMZR c)B.db:6j[))ECYiSh"0Q<3rU+ujQ"(VSC5VʯWj)bp7jrD[iB(z=(fR^JKv֡J C&p,QB@9YbTxpCAvRWQh:tyWeQc"V-SŨJ7e(c;:eJK(ْKcTdYlNuVa%):6 WOշԡ3Rv(WBpT?S|󕔩8n_Ci=5j*S(_¨JW)SϨ܆TPFwQr 5 T5B0T E㫨8/<r*[jZ_Ea(}Vq9JǫF1)^*P Cۡ5QLeWR8UU| %Ԕo.Si|*j (YwW2 2xd*XO=J*F5(WT2 ))(sDDz|Jus2b2R(N؊NϚT*cO7LW2mT%xxx U竨A1M(.x(3kT:_eaFqW)bj)V*Q귊t2C/D$nb$sQd~I16Ѷ.L A K;{"eMr16OIK7 RO+M6jQ|` A(քUV*TBU]2UyuQO*JWR肧MR6jtWe^*=XWN5WQF3(hᦠZ)~Z4-#EKȁH*+']L]VL#˔x1*LH'&]y6!nKĝ}A߆3t0ÏdoF37.Mq9>83yOr"[dc ԇb6e^ީ] ᪏B ͬi~f em;6s7~Ot{xӳm6=?_~OwMfr#=]/M?|rϧ~}=6r鞛^]%;?%-Jm Sa4KxS]iE-Byz[WQ~(G,,([SNMU]UP-B[nyM]!(d qK!fACV5UHǛUV]ۇVN9$kh0N|0N`[^!sVav W!=HCUj=]9pvB/BxG5sŭO:j ͧ7IoiiߘLf.gck"*:^3g{R:#N;Uj]K9Th\$NN~N8ca3>0d9[)'mʪ̗Xf|}>}r.ْep}-Rh}L + Ǚ%4ZpJv/ h mU3!1H\ s&ٜ \ȓWj.YFQhYIMryә!6u}i7il)a+vFKhSG#Sj˅ g8s+Xziլ+rcBWZdLh‰gDzj Lvͪ,$zIO߻$gK \O>3['[tؚ%Ͱ^-Y|]LUtyÏf`=3O3M}pNUѬ 21#@4늦aS{şq 턖c~Hx%1E3澩rsY>w-^N^zEZ`]9'3ɫ 7Cl-WA8'6l̯{e QE"H{ɍmP1L$99c[XUUUUUDB2d#dC4DC43Lg:PD6MdD-d-dmdMelrBNɶقlA [Z"[F1bbb&|>_edd-D3bX,*D UUUUUUUUUEDDDDDDDDD4333333333Ӷm۶mmK$I$I"""""""""!QFDDDD|_V-I"_Vʹ%E"ҀysfTIL1UCC4DC447D f&LPgvio}ٗ~!d4~_?C#O Ks>eKmKBI)RJ)RJyyyyYERD?H9)RlFJRml")%Elɶ&FHr2#m+mVZVZ$I$72J\}7rD4V(ݶmm۶-ʹFw*B1iKRD"⏉*"$E$"-f扈gf6ڶm<]Hs68j u:EIZg6CHk=J>/KyPۮPPW;jC:sf49&Mp$k-#ϗ(Rmwh.ᙰ=DҊYPN"k$<*#2VI渂2$pDDBD {IaMkp$A%|SF}31o I0'fs칯*UA 3]RK_,O͸ҁ/xJe M'.4]BBW"YҔLw˿%9DHq<ꃍfHJr*t34 16W7 ȝ:kKhG#qd4ٜk|4np&NJg1 34u)g0/MUX zsğXIfs sKA 1?[{T6+63r6[j>Ij{Y`+`id,?i1J;EԀ3Xڭ5mz' RNunX1JXMγ(7^2Z蕣5Odڍ4|P`zy._zgyZfsš(L^{u$Q(DwM 3k-i"4 3}@1K LR`ASUk@O}IKl^HsUj1:C@JlB$$Vc`Z`hqB,6c@U1є1&C`LKsc.l'Ylh34#ЩY-fs RTb$ދݧYk UZD$CfP3PR>ƶZZ+zL ɚWJv5JFW R^PfLL %ޮ`kIh$hhT u?5/'N8k4GOPGΡ1IeXЁ ̈+`TOK*Vyb񒲶Չs.-MR rƲ|?OJ+u@8X]:l38ܑT %:g)~xqbiF ̓2F/11*&<=Mo&.BV=&N%#Ct&(XM2!Dsg HƑE"yզD0.6$.P5.!A4޲>)$'<鄦҄啕,&9X$!$ttvՑgK.nI.+H4 *"--M%= $h5H*-Gp$a?RtJ@hlDpEC'&]aoXBU7ٯ:5QW!Ѯr`@HjcUF7Q܉HDΌ.JS(YL ĻC7D@Lޛʨaf䈄>L͊)Űk"r>09CT`<pE&Tz78m|ZțB%rrL6CE!QA%1= @ħӗCӃ nIrO_C#}PE?l4GHohTG6lQ'og c{f ԎM>tpyľd^5#[i6&i3; <82g%I4a3![")47B79T[\[ Iz?bv)B"=`+D`UC V5(Ts7t 'ۤ/W?7<ӠB$֭EP@9.(D&<]2\VcrŠ`<ŴPeNH8 }(V?DJw4orQذo!kX *q~$R_JhFtM9(I2I ԹueXL):tiA~1˛\8]uZ?mI:]o i }`']ILy(Ȥ4Xc Av[AO%TI$]QICj$MP"%зhT[$ge+=PɧJV'pJdl]Tŭ/G݊Cԩ,;ip7IOvq5J(@ߓI7ze1K҇e4IzUWWVʹd _L1]AslESLҰ@sihU[a=؁RIZmmT3&B :ms)2U-M`Kho&67yYFC Z&$n`UaH怴24܊6ufBPhTSG gR Nϵw~"Zz DQh0tZ)Hj e/AJ+Nok;=i!9dRvd3l8}%L&ifiuGr&գ߄6x{WkkF&= 9%5l59|讙mS?7P]GרBBF}}(1k$u5XnB`kѵc Zk5BJk(i_Ym ($5d s gO A$Ɣ!|剂ZM^kjb5Ldƪg$0jpp ]Rhj${؈,վ'<55LM´N)51Kv!ADG mF S@  5Jv6QPs?*OCWӄ4 4o m F9 NOӁ?i~mLLȨisOD9 A2?Ix^T8jYq YX;jN@$/S."~4'EH~VĠ  ̴m[2H$I2 Lۑ ԈB88 $O3lUdfffm۶m۶mI$I$Ir۸qƍƍED(""BPD"(I%%J_L;VApffe۶m۶mK$I$I۶m۶m6$I$I333YVj)K$I+m"R#t6IG$I$IێDRΨ%7 h$َ*s_|?|>|3<3̴m۶N;%K,Y$I$m۶m6dM6D$"HH$I111}>g a!,$ AȌZHkfffffffff&_c a k!#` $F@24@L-18bE[sR{3WKq3]94WeKQl1l+^P%U #];T; *:c:V|\$E!O椄vdJs(1g/3=Q*t\ MpUwaPY f$'LFyoO(ɳGLaő+eőlOؿCiD1x5PHj>N h4%bǭ5ИK;~̹ym9fQcTp Wg BKTvTڢQEïTs+T8?[9fW UTJ,M(M0TljqSYܧsT|OEb)>V.ZQSc/;9ͮ8_Cro62J:'u_0nUN nBRZ$:S TTjbOԧj& >=r[EҨnSI]*6EOAŨYJ+J&N"54 w% ?ms`~ ӎet& 3˜0wh:,U8O`6?s AV@*عA÷>NQ}j@n 3%[>T 3u*g' =to4$ ygM_٫D CWz(Mwo4Oa Ya&?)gbjX#0㔡W% jfOMjsv6UcDI\hA-@ͷ *׋Nn )X:bN喭Re>ԡ;9?ڛ`Jwnw+: E}ᰅtbeQixpTjTPN)B1S2}1ePh8Q$Q6eGKMV+ÊĄ2DoP'j'G6Q&sr>9R LȓJ =_&jlޮ:aVܓя+4N6>] fM-.Ֆ/6d3RTVi.j6&8\Vn/ERi=FҪW"+9gln`U|#:2zau jO?N0Um0q@L}s ]z6> QyE*I4dV?q)Kʓp_T/L+ANj2XG^Cm]yH*Kj"]Ve܊bn ] ŖM["ESi\u$үB{7ڲ:8ժ_Du[\b*WEnVӢxǡI%:RnkQ/(^^~M0O[NsٷREV6#..ZBxGiURkB|ӖT {l1uvmcl)QN8-{Y {,~~A.NbܕS/AYtN41Zduтk+S}Y<|IŒE5 eEHm"2'[o|zRnD*_z.]nI HN]~֓yhf<ٻ-70W ]NS S*_#}ˏ Js4.yUӖi.ɵ$y04GQ| d2UvS"#/ȶ(LɈq4䥎N vw7)z1OI;w:oO1 SrꕌHgDK?4 uW:?)Œȸ2C&tR=~RNn)cJV9drY:7Pє )l ,MsSn #Rڸٶ]锱tt*`.S_!H*H6P UPa^ðaN ԛwiT^yErIGH\DҐ=ughO?q$O/:T4G\35;d^fuh'źH\%.-I o K9X#YuA77і7JKW՝_;mjh1F%zDҶF! k 7̷$smAfc/qf):DRVwyڃ/h#pMȈ>%YfnY>Vk@"ļލE 8Hhn]uW"%F Eν?>dtDvS PA \"HPԌ<$ ^GMx75%Ig7˒|n[9U0+Iˋlj›3I I&S肏7.S.`91>\6ڴ9I%WUJ+\j82Ҍ$BIܓ8-,1ɗ.2J \˸L[fÅ2*tX4[6oyo$xpԚ1%\ ds2sa؉?** VD帰N(ef.)0Nfa<6RU*։d`>n$ٻ+yS7*Ե~?QH{cNp T&ZʆH}Ĥ]iN/IK0tթZkwtBRXgKKcCm=t'ڴhTZI.OB`ڳ>1]XꄛCtR)oX+Tvd-}BKJ.$" TBsӗؒiRUzBҽ1=Ų'Ɋ"hs3ykI܂JXMkσjRX[7}Xz@GKlJo$CYdç]K/:ں|J; BdNxiߐ.y7Mcdrl.ץ rl]?mBٴXRu0tE.4P8 3Uy29G&αBW/ ~jCM]g&?!jLqP% %'F`3E5*Xu7K(l3T ֍zF@lsPnwЀoVYK;6aJE,d4'JRi> Jsًީ#Bi>y#a*;3s]$Yr=۪'Krf(PLUն801Htz&ѐOZܥbo^wrzzUURln֖կzd-oƅR@Ym$fֳ98,(M =Nf22ˤ*.ya89ز#{c23Dnf`u22[NF qS)+u(ߢxGH5WdHB0hjz85w`6XSHkμqRvCZSz.J5C6͛e;U`vyz DȦjx)f3HKl|b<*oQ|$:Xx RGV*W0h YILjӗ3Ҹqo&ckJb5Şmͤ 3XE# א u3$E2g6vH⾐]JZf3%TU>6RlnZݪ@Kq+@L5)*r,J93olfz˵u Jh{99lk0s*XfsEu$B#[Nbxmolޑ8WwL+?ue2~Y(jeWM$)++?%FR5Mg/IRf3H2cncP-464>+&Tz[9i҇"*Oj!lNc;B.͔4e֌*$wH,vnBXtBb6mr0Q7]Rڗ kGCbb6ܩ+1tވF#2nEJO!*D6!$!&8!uEWF}\U 8GaF=1ˬRf9EDv(;N1ΜnfY@֚t˳^U?@/©\%2(c_M=#8Rhf)naXz9]kRўn]N'z%$jϜj[1*M{TTʏyH:1eR*qwh,^f+jxtS5v1ChB< <Qd)\@ ե`5RD>GeDF@a4 `MA#%KA8d$eZE3! ! !QDDE oaC3B&0cȌB̋jfcfDE~T6I0!DDrCf4+(p`" H @mf1c1c1ƘB!B!BөN:n۶m۶m$I$I$I$I$I$I$I$I$I$I$I$I$I$IJ$I$I$I$I$I$I$I$IЌ#H2#c2AƘ1Dq !BH3Um۶ms1̈, 8!Άa̫$c 1p 3:ꪺºꪺ WuUUUuUUݶm۶m6m۶m ۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶mdl$IҶm۶m۶m۶mt-lqH(@ 0 @@4AaA D0`"u]uw뺮ot~H1 `  r8 @0p0C +3t?QT &}{j "~pK;ۘ&)z{ɮK$\rFBG3ʸbcG+Ŝg[)__;(Vӿ[?Bd Y| H9 $>_w;o-?G)FBI6OO61Us5]~C{t1Gw{M})'TW\  <ʜhWX`K*(U$,^:⌮ky#$]QQjFUUq*R?e7'BXVš*"dOptn5!ZDqETl3?HEQ;1ȣruTR2QndwR\z+a!7_ ԷΗLH+eu$7IF]B|IxH"Ki!w2a^xT8M5P]ANS3e:5 IRPNj'B.yv\!'"X0`yƘ-)`EG/QDXw|' dڽ0>u!(wnO"0NjI]`߳}D.;cS);.}"st!sM)6uC] ~f3؝ݯ+"%8!!ŮxƢaI.MD D@Pf#D|\_޴ I )^f T_hDMZJ+N&n]fZ0h/A#ڛMHH'&[DRZc)Ʈ:K-q0&予2HPB7wMG;ȞIxtF;?toZHyO鸘#AK(wzcONlu6i!AJ M4{H!Ϳ:nL#Z#gPV._Їz{T"a}|{F>~9SEbuW1n՞G"H ?G:U3!]ȫ'Tr=eB}!3NW$h8HyVgDjAT o((]!5Yfup! fⲒOb*zHg%ITY9Ru!H,hͩ )(0UQzjxU}TzBBGu&Z:XąbP#? sIR:5g5diQYWJ>3bU@ Pɗnc#v8 mS Oh="gy{G16bV3TA&%()tja.+T/ u[{!54<H'Ss =}BX*? Fő-?!"텺I =Jo`߂+DXr髵تц;'kh{-2fD@'2B,?~1b1C8oTx(oIKyM\RPJUKȧʒjt{NrNAwO-I0eʍˣܟ*a7 * YXkxRlK}AIIISt2HS.PqW$p8jﮔ8wwB<}S"L<M}wB<g" q( xD>z y, :%Px'ҁ/ՙNi#<$/e`N;XIa%~&KӎOߗ2!ե;%+VB_ғG" *HjAUDnܶrcU3"EƪZ!*#dD0AA8!* yB A$BU!ۇPE xV!Cx > !$X @X@`O"lUUUUUUUUZшF4""""oy晙   $I$Iܶmf;`f;???r*v"VWQ;3!?P3$BUDΌ񩊨)o? I!ijG?GoF??~Q;=A{Ѓ^=;AꫮJȵD%*Q~ioD+Mhș*6ٶM?bW r*"<}ZEΈGUDmm~3"="",""""""B$IdAŶŶmvAp*Bn*V3"UUUD [Q֭[t[tݢ !!ΐȐ>ѣh4$ݍ^X A(KS PXPH( HT@@B`PT0W{_T\ilьx]b]xBaj/WRhn-Rgqt}RE62PEt,ˮLuz[g3YτQq"`$Y, J+Suz[ԝ z}sT1v20Ht f!ٴB%m\Q8;f/eR!E)!򌩽BpSCfv]~$l9P;)h|[3U?<ѯN0o:p݄B{CN\#\f5RhedmE5Yu? sHod`^Cc*XKR8h,H(+3G{WZ$]UzM*s.WEAٺXD٘Zl 7q0ȭT#UV`,TՊla%, -EW1P_JPU[`:Q"d n"A]la WtE΂:v²UͲ\8~ IZ֌ŋ48ެ&n8 FU/\܊+X^R@gx H\}=XkS7}X75'x*mS83 Z֊ eJŜ}.ZEs,/Sgy(GDz?ܛX+ϫO #>6N"yWR5Ze_tvLV(i}g[iN|f^+{2+H˪"QH1ǩTabVh 9mrqt=7sUQpS^­M#|h|DQJV -08 Q+@(${2a ^Zvm?TmRm6Q @l^ m3,l-5#--kyu@pwtc ?֫ A)J|s  ?`sM6")A?etԠ6lDvxI]p(;g2J!\#Mߕ_D{?$A!O7G 矃=TdS_?+OW(uG!?չV{E2vC-kh3^iVk|<ݟ¨3RO[o^ٟ}GykkF(($+wI>I%ʡS=фLܾ[=?f53Etz؉ʛ_~y)dZ{AHO(d7i KYV=NBgHjz!"T"(1ȘRو2(t1[0~"ᠨ%~t!_?~궟\p~ok?~Mʟ ~h?O'g0aLZ2NNAma??^aOG׏wlب~ecża~.,W?5|MВC ҁi>4EٺjN~jUK8~bF\Ne~\4i#?jGyџ' ` z~VNj;?}B%6 C?X; oOU^3әEO9H3?i_CaWM\IWp;.- 7g,8ʕV/Eb,:O| ~8(蓭!ĽO^yic}z߼y@G}IY(`vGuމ#O m} >+'Wtk>q5DHCXp3a]"x eqXu%#D4 ;>\vjwւWD"sqjQ07c:E H@}p='[o XkYokA.(]Q$V>Pƨm\fcmu+B3̖* $W0-4YJ`QZPҰ7G#g=3`IRJ7[um^\&uո Z2!Pr{k$?bysLe X\.Z<< . H <%"^kK]o!EpOC(80}vOtA1 zS}mK{(n201Ӵx%AAJ3띀eH< )g>͟ihZT`+;;! ${+Uڦ+h>G:Χ 3 eO*!-L+':|"L9"']xU3=gj8I* -qD*Y0t_?3! 0EwՋ*i85˛`ukCT3RYtkݩطj]ʈJDPӓŠ*LObFiB$XϼlV%:`(k _YG/녌v>fMybvD`w6AZ| #E<|jGE%&-ѐ׆AK>|QSgKt^Y9+s^ctz-E ),Eq{hD''ޮ@.p?[, '|S-B?JڒkȂ|_yL;N qf3N*AU^hUԡg$㫡TQ9eVF6IW`m-QVAji$ Δ"D+IHWy4dPkKXB>-) fLe͑ВHhĘil@3 mHt=3:H|p50538"T Qo4S6 9S]ˌS\|pj/[/pyks4AE? Ǡq~p->j#ES~A&@ 6GX* F΀8w!YJ#J4 Ejq e?pQq%0b,%p[fV =CpK7fXZK Ԡ{/fhArr`6N\*W/܎riЖ&Z>m`BR|eT tv̧4Oy>czjy'P@s@ںR ~׊?ȪR7vpq?NE3Hx*qMftHeTa \}e/e']7&K37ujJABYY4fvl°M"4U퓂Ox8* iS>v)6L[{M `si E&,pu)~EA0?B5w%ZM3C3Yrʋ,p;'8EbQ%yk#-~f+Zbp( - 7I͖܇xq>ijۯnT<* OLSGpjI "8L >(/zط&PbءvNAc[gc./s% $7َ3>|TXCoyGnidm^k<-N9Q6|VނCv%%)򃬳PN{ VnckN"We=}iRu<,&3DNJq弗81}MIW}20W V}MFIy _3WdK1gk Nk{LQO^ ݡ !Ru*5񒠅w}hѰ%'D40_[~V/Dܴ"m<Ks3~oVn)fFXdG_]U,0?y3OO`%]1vZ[艼a++ݜ- GBa"ꄈNgÑO#sx'Ex^cs"^/nm= i~I~ o룭DIQܵ4?n}9h84yio3S}/WUkBVXiEȭd NËm@Eʠ9+֓i [:Xa+tQ{" s9"hIfVdidlkhqg+>*LCBM+:iވ "E ܁#fp}@ɥ 8&A Qoh01+ˇ3O=| [ :Ω[/f>x5pA$?cOU {WENe*8}Z&gaZ ,cб!$QڪdbC3nTUaؐɶ E xE hCZa0!,ʯ!QR`*co Chk5:R'_J4sp' <,iNۛ$mQ45V hT+ʪ5x5і؄LcUC}c֙ !L6VZU!g0#W$I$ɕUÑI$IkUdBJ伪UUUngʕ\Ǎ}p~~%j@`MA! MA  *vF$i#%ʌHREvFMgD "6dDB 5n8 Kaq,{@pX D@@ 54D Tp;/E64ё !Ii_;5..!\RM1v5dwu Qav~>4PkgJjg\iy> Mai6GFQB.Q"0FKU.΄[Ƣv.\'oV00A]."E5rхSL3-[4j]@@:v}"W,.#J/Rb@Q$Q8EM@ZwFkqSᦧo>uݚk5U#U~wG kx %8Z`Uye}Z咁!GYHZ:-eUɘݕ7H͖0,-CEV>X2b=@uOt% }efKSY& } gg=q}nopz.%n6-\t`kQjTDJ3OƝٰMr[vlS >Թ O):r$.RT>RȦUY iE*QϜ#ISS/9^cerK\Pwmrt3VoPaMŬN1"z~k0˪K#R(pOV=Ukyj A]z~兛F{|jz]-Ϫ}k j! q_ O_B Va|K>/ru8_4FUcz0=Yu-^9JZ,})v֐-TOzˍ2ZO҇~k EnxU"Rˋ YuT}"(b+.7$}{?~WR s= ohevqv,V.oe.?hŵc1]?M=4G vo=B; W*(f"!V8MM -`?$.9.~P^}U2W}O( }_S^ ,rGϫXEMV9/m˥m<`{&p"*ş )ssN~ZI=b+\|Ϋ JRzQ V j_2y5|MP2)tNT"`ɪqJԢ$λ/eP:v#V%/HIlX)GňRGPU@7#\ /%{,sC+BΕFS$LܺZ܁*Y0r0Rak3ʼnuv5"vSo)<+R[U(EMiU=L%:VT\VXQ =Y ׫Tiֆ 4_1̹'gH\\sq;1wxiuT&X# ;;u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method& 5W# >HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/thms(/ Dʜ|$@$iw7j}E_T#lzE8y"o-w'wPH}wwwwwgwfffeVffC6f&63̮*WUuUѥ_go<*#""*""MiJ$tJDR":JܙqgڙvfL|fgz3&"&R"%"r,DdnxE"21oۼ=4?T!ϒ?v}rm˙w@` 3‚bU DC BeT( \IJ((! SHP< aAp@ !`P J`(h@  c"j`P00 B  А ((@P4H!qH0 ljW˞V+ZvXY-G 9ArIPParHNBw?K(P(Pk-Mmozoo߶lߝ=wvlζ.O?rʿ;33#32+UfV*UѪL^UW^YUQMMR$%.Lk5g3]mDDDdHdZ!DL.D?}km-TL[&.?=,k>#|[_;юvhZ֮kںkZkZkڹvkZVkZZ_k}^ky-嵼[{ko=kڳ=kZ֬5kZl;źX{?~k쟱c?ǝǝvgjf5YͬfV3hU*Zի^WUWUWDWDWDWDVDFAAd#qXPHppp̘jC#Q"""""""#%b)R6GefTY6͗WZ9r;*!!EHlDHmAv[fklm6[}>kgcccccmcQXXXXXXXXXXXXXXX{X{X{X{X{X[X[X[X[X{6kfmvY].kdm6YM&kooݾwnmݶvݮunM6ݦt{n=ܖV[y~~~۷}۷}۷}˷|ct ۍ%@CGs 51X` ``a!!a ` 0M:xem0Ԅm>[La--NkEop_#-zMϞ(œC~o1!Al~z܎b428<>=E 0qlVv `LF:$桱eX(6@#3cSZYkǖie d;N/CbOa1l[܎b428<>=E m?4]9.Л7fݸM[g}L%sB&r se>+9W*뺋e遬KR ?T}Е93j5D.YVw"rn rRX=^UFq_zV_붗yZKZTN׫;ocβnòX a6X07+) Ñgw[gNfyyd}vMʔP9=VrL3LlhVIW8ΈLeIlntp5)Um2fsܔ’{}=m{XSAZkn֥r*foe44,˖T Suir;.zvB -M}$+Hc2rX 9\fZ5CUf1֘qJuLa;ídPdv̴ .ɼÜVa("YkK^Ҋ[[q3 k/oevE}+e>fg^Yș̎{ϕ"[H-sϱ,*3,mFMsyw9ͺpz[Et(eޢĽP{^=/+W%߲0zX^ya UڌP͎fXyFCóg`` 럭C3,|M3|#X6kj`7,2Il }6Z3T6l=c42,671ʙbب1T,c}F}6Y=eNiylE^#nV dXu,Y\"cg0,fjq6,,Saφ&ߗ-Qų"Eȋk |LKU<@U/-]ۺ3> H xNZT1N~"x;1&Ekc!vbMD ߩ;Rʡ ~AZNI&vD4]2r)ܠ1 r'AEKpVOL,Rt^bMyh㴰߁ 2lASzؐ .yAs)#ZbcKsrQI򭛰.{iZOo3+ f'*D֊Pݶe̳y%V"m56N<|  &\Ѝz-aw-,qmbKz(Ϝ"r9:T\<~ Nd]eWJE+pIt#xgw~l So\qb`F5Tg?"'2NYX lڿ>Nl1N#5$X*MCV073}1&.ӸwG8 __٤G%5J^YJ(Z/T ,Gv$0 rpu+uio0]Q|o !1 LڿceI~HQ >wCdd^6irO. ]O[[>De£oIFpT%@Xk_նWzI#E+cKS`<߿Kg}~g0mK{c';j @&_f12ܐb ~~w#5`OHVLc͔t39C[t hK3c"neAaΰQ@ъ{Itd)1cuK!n1~Y7A8IX`~d̡nȉ\a7P-۾Cȁ"震b M1"a O-nv ])^Q[0X(ܱ}B6RR>0#9|=zi3jnEX|k.4b1Tz4dXPJrCj8žI>2[EΤz:oM!3X]!)ZR^f2V;kWTaE+nScu+ 7y15.Ow*0n 0pR7$`p?"6:}1"5NҾN8C0&%:ÿS+ U}+6N&X;nU,WGjXB ( Z\i7݇ZA$m^"GXd 3GۅBCb "p ų8L%#C58xk߱G~HkȾߌ-0YrG. ]Oof}lٝ!3-]Qhi+ ^ jd *합\Q/3 9p4{atl%f5|Ot!6逆a|.D?Ng:m+sRCJClhcuϥetJ7CScvl%Q8H-MN6%E*{qt Kǫ+BJW/{ЯxÐ 0vnJLbR:*8897P%09[A&vDh\i-ƾuԙAABT٘Dtј17@7C+)Cʡ}ZSp!t_йƒ[Y F/GAT S(FXxίOd&hxST Ap-|3]6;B[`;)ګ^KͰ{%,St"y4vC=, 0k x$.0ʙYpjhNAܞεfw6?9k(x"%Ӊı8:xc!@3# BnjYg k=O"T| 姝=" jI㎨#S+&9ٸٹQum)Ukg,㼵jQl cr:2 ( WЯsgҏ" ըx8lյ_ tI6&N+.{bb7x#&;ytƙU۲J <9Y5xƪ*,vAO~2oDtfa}>_?yn8ôpp'46}`Bw4ӻ՗/z!ngOU|6i#KϤ36vWmϺk2FĦxԱov Rno:̌ĥQ@wSPm(F=}̺Cl3aΣ`M4ob gKs ^7>ixGHk섯:ڞud*=MЙK)uv}ہPߒb; ĭrj!>%J4*7gVOFOVݙh ƙ <gW`WLL6iKv;<gLDGRܵ5[]֥ہ2sQ10 O2PQ(HA'B/7X/472{DM[-\@s M$@;Խ^'b dI'.Y$s-d:3NIS7Nvց2LP9h-Z<Nm@ADSm6 $W&gvCPfb̓Xh0{'ur/ed5,10qN❣laMU<{tN> !'\,_ɌhnVY)3њ(gz r8\qmBJ(BmIX7ӛT)MtxruCWT=uPy+[96Ҵ>]Sm@Wۻ!Qh /Qjuwݰ@6 Jߪ'lݵpi xSrZl SO81)p`4o]Q @$XP=8A(UW ىqaBV 9B3)B" BRH I!)d!d!$Yc1c1ccccfYmVfYmVf]EWUW^իz\5D3L4D2L$Dn~[vt3:f"b%R%Ê߿}g}~/E1?6۰E֐5d ICҐ4$ ICv!;d3 9Cΐ3 )Cʐ2 )C>C>C>CrH!9$Y Y Ys1ӎv& iB& YBE$$ IB$$ 6"$H36 ဂP)$W`B!` bA!!PࠁҥK.]z衇B~zғ'= / ~GGo}[֯~_Sԧ>~?Oҗ/0#Eֻ;nv'D\ݱXuBWcABp8 A0 @  @ t&tP/1ç:n\Lӏ*/<`#_,oU>!ļD+9O񭄡-ė%d>X8 (?6_ZiTGhΆIj-{孴Dx{9rJ#RX:q=\pV.Utl&*Ic2q@"k+-G`qЪ T'ˠ@X\]F%w]FL){:ShOVv;E{X\'CگN#MhDèMgp]FzD35QQήςyf#] p⢶j27311d^egi+wʂn-;[\~ABN?w> &0_-\f^3n+3կu{tpiy{dr̗*3Nt:Z+υ\hgќ# [F#?{ iq;"Ww10'c8Q|kׇ/I(=S8ȅi\b Thg*zlLhp(RT{ H5K}u1IкΖh]]$WlI5K}͈g. 7rPZ%&ϣHk'q,{>ݑ]&_ ֆc*g>^2RgهfI^\"$ LS8Qw899l+"1rc2R{v.fɗFF4䴱ӱ|Knx?tNXڏi`.h]HKf?wNMBNUrFWG3l7J 1yk i*0Zٓ oϿ0o$þB9ӎu,EPsr!Cgr sEÍ::Ø894!̓WJr,=ۅ%=и&9ij* cZ3hO&-kӔ#/KOMP{tVR\@8 0ax,eWU,>h68f^=)t $GAӨ\y"C Rc<.b>p7[,‰Ћw9K'M.qCewFov¡spƉ!nw)ًUuoqZ_JHƚ=ۚ͗j`8h)7kzV?AƉ3GSo6~^0&(.]R{F8퉝w.TҎq4P@PK#YhaynŁZn ⫋t.>@ڦ ?~ijE@Cǥ}$|@ITUZ+›"ռge(2PQ;F3v+_/!VYSTpz"tc76F'zZdT5- }׍x.=Xݵ'n[*|_X &%5aqoK9*@L̈́;d`NN4fgOvxY.E}뗶C< 9nJ5K/ih[.t2 .ș֫,ghMJC075YFL|1rؗ+zL*xE 2ulbv\<Ֆ{eMё7ۓܳ5ٙ٘}f?;?ge1ٚL6>[giٙ٘lM?;?Sgggaٚl>[ɟgk2٘l^v?sfgc4l]ٟj3%9{qZ;׾F:\>O$[֮D*R^WPKYYW㊋GY5ulW/=NVV&o>ܳ5ٙ٘}f?;?ge1ٚL6>[giٙ٘lM?;?Sgggaٚl>[T=1CX¹dNIwCH+J Uo[|y&x6?3.d4MN4&Êƌ51sژ8fp.Ɠl?BPΡ /Sـ̅aF2=s3L)g3weaf01̞9Lv.I1?|ASt) =z'i6x uZ44cn<7ܹ$%Qߖ(qF41ia0&3-lc1C6ùDLѿ0ὐ.>~Tܕ235.;=5I&~~?ɽd/'%$ɾd7&>ɽdW'K$~|dgMwIȳ0ʟlX8 \eﲅ2 K8Nqk0us+<EOΚu ^9 cH>FKӎszc97{:/IeN(,=1҉RbNquGqsR|ؚlCLqU|% O@ 5W# tHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/,vd4*АF'cl?"vo$IHҲ%9*d+JYj%k>k͇F\ǺygVHPDh ICH-6][#ѣe"BȜB,J1.*LXj i D#u"^Fz&Qr}JuLVJS4! h2):bJ. )JQFRdbDz rIǥRTz BIPLs%(HHOŎ&4TA))ҌL#͇Fh(4[!؊q% &7qlm)F#ѥqBh(E PE/(u%EQTm۶m۶m۶m۶m۶m۶m۶-#|{Is+k^PF\cz2>ؽd5vk^>}tڝڟkQfb%C#H31lqskbΏw~| >e| c^-ŠX:IvnPu|M:\/\Pii*J]HO\&B<TkG;Kz%;-P(ՆAkFC] d16a3h*Em΋qL$ ƅv`\٠d>Pj!7CSĩF e;Ij@ڈ{|)sonFeYeYeYeYeYeYeYey &co92_k/JcA {칶sgg9/ٟ۶m۶m۶m۶m۶ӝ J'--<(0n2|0W{A (;.q(2AD^K:3ܞq{!Uh]K$@> <I}DB&, (bl1 TT5| F D$0E7,L3jm&,\E7M$(*[Y5ii> ּӁ-:Ǣ˒aZE52Rm" Z 0C`@q%H"= EEEf ;'Jsj5KD58>D$S1.&#>'w#VsjD$C@@H (rB@Pap(a aAAAK%)Oѯv=C6,= .mT-#8a>FkuQt,>) 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thyS 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id236M 5W/ HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ YL$0$il?PXUۈ(󚴴d]KAAEij9)||iiTRDI39">⃈X2dxwwwvgwwUQJݵwf욙ҴN]U]UYUUEgUsV$DODDDXIȄIHIDID- ʹlf&J&Y̐Ȍ b%ۖ*JI\D$d-AB( Ь! fA`( (Ր8@2Q "AA18,(0`$N!`p`( 6E$H`   E^ Eb $P A C!bQAbEDBCH0c33>h2mmm?ۿ {2^}^}"Cd !2fDAM!Q: 4g5(PENmlͶlgmS5vɶĶb&fffea 33LGDADDDDDDMOA~xJSdÙU[Wć0Ox8V*&3f/WhBf3R:WzZBf> n텕l&BeXTgYH5 |eUgL7j `+{.`kQYMf>7{X3zi =f/+>k{GnjjY~Uƶ6Cb=S͐h혅XMu:[Pdb֘,,¸aHBg"3,n<3bQbx+b6 L:a2(X)[\ede0Œ$'J֓!J|T#⌞Si p7Eªjf4>@&hbh?(6lSh~i71Isk r%qn)R$4 vM#mli2A<1(v=۝EYˆdv7'Aozp]"_ 4bHURBeG")0pĤV L=.(jJyqޑHOs[2Dר޳4d*)Bd" JYd?LtB,30kuQgaL]\?VSxbJSsBh:ovk$ $In }~\倐WF)1!QGz8S,!u DB:wtɧ2'ıcUV D>ͩ~ hj蕬J8h;]ބPYDz&G6f+E+߇LV <#`yIqJ+H6)lC3E='dVt%Nڎvԕ5x9f0;af:K'q-"5;u{%؃tܓYHĪxw}㚮FW7F9N]8Y :n< &Q`{%[ɾm".<@m | X"l)X뎋[W<\G1Cx"c_ԍY@%f /8tzNeiJJPC~.F iD_sV!emqsjE6ml'$iTZKrQ?._ǥc\4!(&XEEp  "'0\ 'h L  A7d"R1Ͽ}Uh 0!1z!c;乢b;LiyCG'Ytǭ{/WEOƻwD] b 9iNe 87ԑA@LF[05WqUaGH7AAdHNG <P4'@@F` "&0D"'h L  &%x$M@ dp'H0# @ 2A%"p"I >&pL#F0,A40A#@ O ,'(JH Np A$HxH@J@G @ :p% F  $`"X&p D` Z$@'x "H`&pLGP 03 Adb&0'x "h J`JI lE $0` p#Mp@OHG 9v ` Ap$"N"ȁ'0H@ D@ ^@iE zD!}:@s.TFkPNd1&?4RηF61sܰvSL3)\Nb1TNR+_kֿ^Ҝ%BICb n6 ޣ<Ϋ%K4Aŷ6,q a T/2́͘NT 9ebREΐ}#pRN&'%Pd,,;䦱32;Rl **%M/B7fc턲U&E,\.̺i"jHI0<%##)g%`c}#q'rW 3+" $_ف[:`܊횷CHEN ut3* G({5U$se|l } )[#tT:r t.1fBPMO4Zzhsduz`+7W6r77:P(h`^SP\bNf׺\Uvx Ʋ SJNħf772a&+Cq ,4YfW@"вgQRC:9D`g--&% J*/ U``q3JkBA1& P0(!0B!BB1I_2Pxwe+"5v9(p2X8K!h$xF} O5LXn#TinQ1Vjs[aОL&`^0h6ܤբ^"kV8+MD]r!z.a/U-d)r bU%=C!&?{n@8#EYY&!dkm8*D=Dǧ Y؅d-2A(hXzP*_it: H:ae 7*8{!6.|F>적#J=QaHꫤ݇Ϋ1:  *3m˪}B ͎"Mڪ1{ 8nrB{}+ [f}Z_lHel%. )#6% 6C?gCq :H!#qD<4+tƭ޹_q@PSMwdbBgDgmu^&yG! +z'R 㻐|3;qQ%3ZӞLMug7H6bzׄ`ض5xwQ#=VWK }ew&*ـSW`~EyIVq OrpGc[2Qim( 9\žP( \=[n|=[X=yD^$n6F Ug&2V3mUQYcZaVUݭ~|I4x$z[R NPe7,s tfZ ?vGQFNKF ڣT+wR.¬K;=,J*.pG%n% +*銑AHy"?bMpƒݿ^WwɚQ 'S>}gqZSݔo/0|sK2K3 WkD=KA͈GDa] Y 5W' "HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/J3|VJn'o6a-s}+=^7$wfW-@;;iwIY+%u?qp<  E }LlkCNtҀx$ǚM+4H88#-2qpqpD,~x'="8P)5:|ˏ8ꋔ'M@<˃b3YXK*IBF,PQ% iDa MTUR@X B'NsHÑ'1E@ga`D`FH , 4,*$< 4BLHh0 Cq2dxHEbqp0iÓ 2eiHIi hI BaqQ&lGXDj0iH2 ֮ffnee6:zx[zyjn"=<{2ݳjV9s }NL{y<tԀQ@r_6xo}ݾwn}ݶvnmmݶvnۿ}ooom߶}۷}۷vݮun]vݮuF6ld#F6kkkնVj[m+BEH&JCjPQ*hnfnnmZrihD T  "D)@BAa!H(HAAB&E"Q1Zh"f.Ŋ1X+0Y.E1H .E1[)f!a .*E1&.VŞ1xG,EaHL/>1"\ cXC ,&X[W_|';ֲ+G/w WY<#FZ, Cb~Zq1dq .2B;1xf.Jł0`Qw/މE0XF.n EcrQA /E71v0L,;bd3JF0c+$ ʸŀ`aocƸF3+aʈ2 DFY0fba4ScQ 3ƿ0QLE+1z /E0dc3Μ3ZՙRD>CY$\fBq2VWziE3f&!eZ1H~+ZaHfbK3(NZF-ӊgb\L)64\gB2UD^Wt8iδV3LٌULu&e2\Rl:ߛ9EIg"}(6(IhNgLvf)";g"DH*jTyIϴb3|&U0C̄FeX2(L)B=0E3T1MMlɌ'>3󉒒D\T"qy4#i13^TËbp4 e<Ʌi9F¸F03FE1(!Iǐ31X/adoaXba! `p,L[< 3cD۔cjX7E)t‚4>"YJj&KWI&1>ón6J^d~cb]g, r:gTsձ VȌ2?'p;KҊp34Q#x\_A%cה#lv0WiVKr"Žc3 sC޵2{kɶ3e zkzF`{0&Da)㞩ْH[u#ܠY6ϢS~\$S_9H&QrFf]|iat@3&4B{QlʚMؗzg+@9mM^2gԕ?XVM9x!_*k_"朿<#E 3%7!խ7[>0ܟ2a2/ݱTMu=O\P9Du .:V KJ=L3#xaޥ_F2ws3Onj 1ieej: j5SB! D,_w~PpXD! 0faG6as"$:-5p68%!r@PbGtXxm_}cI&^T(bSC"\5. )1[0 P(+w;s Vy-GgRyFkj41d#mM `Yj.5C+]b#u.f0Ѹ( j6Q;ѝ"gJ%YL:o R3<0YZ0]`d1axɢ"Cc+G!.-f1Y0^t;g\9¸"wLq"1%tƕ#2F1,{W0Y ^`8bt1"ɢ" &C,& /b0Y1Za`hdQxňEEFXL1,-0] 0b(ab"E,& ËLEq.AFxL -YL/`bat1hb"#EY,&a0Y 1Z0`d1xň"F,FƋ0,-r] 0Zbauj+7U7 H>kC-'^EZv)DB$68-k~l;q\Oߴ^߄? q$-gP'po uYŤю77Z{Xu~^㦩$rJZF^ljG9jz52n=q._OU)1*fyz<@\˨@[1\DkHLe\$Tԗ^'IJ{+ ],hs~,='fطV̻XBw9erZO:qշ[FI\u)u0-wPo[Mc&.sFBP.ܦ&߮[*r-'j9;QpGNʗs/:RB)7p2qo<Ė o|[u}~l@{}ov%wiSnm}s|۲OuΗb .[[h/qQmY$)8xOAKEYo] ^K̓#7PsĉI&)]* qfݦG7&OZ H@P2[ɶa%‹؞8 d%`˅SGi9 %N +mJ\6ܦx /]%9lI#&HjZ3 7'@1AOLuZ rYE) S prO8}bkYQCT9_8+J 1m͇[+dT78蛠7yWܘֺ*w4ۻ6S !8pp~,ZӋ3Y-(l{0r,r-?KYv #sfrc@ܻTOf;88A~ a&eA77J&4\g36YBe5JЦp6n9) L~IfROL~3lIiksNPkܫ*D՗/-BLQV ]c6wk1lD{4 :5i ȉw̠MHE_<-tah zۄ.x$ްWds<&T}MJojAiKV.+@!fd+qF$+-VrVfrE*ҁ6}| nbAFr-`DK GdJ q;m6`جi'ϖE} ٝ$Tolqu m!мR ORd+R8zyp0N&ix z*{|ŸgY2c(D~4W$$IT}]DH&m#9~Wh8{kG-8L -ɶagn};pD;u~DvyDq"mXً`J#έv}&EXoPS6r{ yE@xl"+%v]TJH"EhTK_k!y-4dظmnb&v\s^J{[Mi $3HۡL[a|!- ;q7Nbpgꂥ-'{7q_-sY:I*3(Jvrn˘70I7r[*bynJP2Q:!O ~K`kSn#JOf1?S3lHn!541Uq[ĚtlbӶtk!A6);!Pe6;.3Qn,83Y۞PX5LlWYI*ڗm 5q!Uw)Ч<{lY1臯Py%/Xà`P44Tͥs.| Vq%3㨫Q`} nߪZF5#%OҒμ,]2VGZӇ%\*]]rv3~kCu6ϗ[kMR6h\nXf%]M#"k1|%|[>eSpBm{9CC`r+"aLU@rgնdQc˶^٥PJM3\9ʞwf-RF6RKKw-D9~P_9xxRz B4eKT֌hK`EO'kXDq<5YW %&.9\~lMQG@5t,Lr|Mz͉6ChhKb#d#Bƒw.Am ^=-HK2}.xABr.qrބQOB6f8 d74G/YYω2ՔF(}" %cפ%h -&}5 | ̗}4BgSlGE g"x8:j6tnR*mYT|ΕG94f,6F ((;ܝ8|3$'ZB\Z ij@Jҍ eErc(z/\zvl z#.,;d$tmFb 7?͚,s;Iiq0M-]65 s%$.ެȶC{1]{-Z &pE!T>ٮCeѐ$MY|_CۯȦ#Ao!q]P~]Z^/u >Ňо.Li6OɀpnPA28 -07\&,4 ՠjdx/T<x9.IE-&k_hҐ$@"j,=/ ; #3Y^AOeA sa*4I!ϳ0jiK฀GJO`}Utʠ<=|q-׭ do dI sAՖrщc12OcFrF\HY2CrW|)KɳVUa._ C<(MuyufC, i.J+sтN ]{H)L@C0Wl E}^Q=x2Z{C ݲsq l6ǚg |X Ig}̹-AxNp#,E # Db; #ۆ0W2g|WL$JmNܯs;+օ ΀3yqKT*f]UwkHXTI1KD_byfDu-HYX4 GČRbmRbWZ5k: {$ܕU| g|>s553g7YFf>>B+YYs r'['b3j>RkH,XBtR*۽lgq) j#% qNr>3qEn&vq3*)ډԙj%*QgcXR83wܜyIy)T|k9:''gf93G5epd2ߝƕBb,4$9R2Y['82!7MvN H^ZnIk֊SƌziL⊘5͙"UЄ46Aᩣk1nl~KeiSVQݑՄUѫO$֤MqXbaSV+U[\=M%H⯑znztwxcI5L~̘n#@@0xyL~Q , a@0 @B Pa@ Pi p/{q4sDh6{b?8 j\;z'-~)hE 2Ϗ#?B,&RY;z6MMĤf 乗 i"EAf'@ 4ť4/2Tb$T(TA" AjaRP6ӍzSEx& L K3o O1>$m;\^҆Ml,u9mK4(ہJ'N$-5C(9) 5Lk eL0'0ܻk:J9+( ܔ+' PEoؼNReBNe5.⽗ȼ2VSЊv8!8E DVE>'urqfPzN>\\-77c nϞ*ND?zs;SpEcQt 3c]P^:9p`+ŐL)i %| }]iz ')tuc;ѱFHUۢ.҄3^p~ȸ\[8mpd\yUܟZ{88 @i Ȓ#guH.&9\=7m)EcKN(qPD+6.^e7ru#N%H*hӳ pZ R)#&7E$7 %_pLBQsWhSGg,f>"$uqB6, J̈8]:J㎁A90. ]YX3]c=:J$?\/v-V VQYExKȉQĆ&{Gro|8bā#p# U_"Ծ|u{jeћ`,2VW ©ԡoAT-solAS]ODd~*b)38]( rFnIt͗#q0/1p}9 d9tiTg +~ ,G K7I?a4 8d/fMUH& 1=z`rn!pȋ/4୐) EJaFK咃& Ϲ~9jGIG+ u`_8@i(rRO>1?!AeuaWZ#-O9X%beQ(5cS } usySpՄyZR6zܡ?x' q;CNn\_lgxP RQ:.Q[^*1'3DaI['p/7͎LJHCw @<8tR#8c#}u- e?$3gpj xqM~*¬*y'6ҦV6%ul.@N;{. ˡYKRQ!>p$V\\%P۽NL~WthܭQ%6E'C"-l%{k\jO=>4N[$ʲu|iO ;Yw+.PN Fd(AxM-M-ܠGsksmua!]Fh^s8eڲSs!Ҳ8&#Ub`ur4 5:ǂ81 N/8@iE Lo s捬 UkifDgf,Djvcu'=25 8t{-G Բ-caXoӜIZf ;)rk :zlD4 ҲU&p؉N\!pH>OE  W/Sn'ߗ7߹ ig(*E,(]e$NX8ϗD-G@,2{HK`oZK/n[N̡$*[mΥy :-O֒W˚ ZSKrfKa:>i9%rg+ʤ"0LJ]*\-]qN'qWXk %(gO j`9~`ͤf{WʹP\ɍzoJQ!L 9~rMag-06p,K7-ĩO1bBLjz88M⮦xo84T챌.`[PjY%MdyO} `Tkhqnwpog˼xdgA"hZvܢҚ=e ]nI=L~Y с\Jo6o{ ;%qm=&6pBo5/{]8p~xQqw|mnDxm z=|m58͉)tBAmFTtdR%O em;#i +nkՔoIDu@om@+$o57Q'*XF-Mj$ǧʅY2f_}ޠ?wɐhʜ?xm4HzoMv 56G vkǵ<0eoU2/n^-ND \Ta?&"Rj̓h>7rh} 2nEaWAаei_|)Qqc$#qc. {L8b+ vKTgy]wi_*HpB1-H6kM\+2T {{$ V(u x;҄d-* ^MKM5NZXJIL+toOY6}a%84735d674315a92782e8978a9590797b8d85a488d67dd59f24d4648407eee957ef090d6e7353dc59 6da8ff0f6583832242a60e1b676145250cb53d212c0aed1a-d6b3-4f88-aba7-225229257dd6