SQLite format 3@ .S`  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 zzw5zrFf ]/ UHOL-Record_Benchmark:threads=6elapsed=143.853cpu=233.998gc=16.147(/ UE9Dc?%MSVaS}VA q{U" L -Ic4ھ< 0}5Gi c~>cJuXnhj=*((/ _Ks,|mb=_C:}!zB1^a:<&2_baB ڲ- au"d>(/3 Pm ??bMQ )S-xv 6V6tDce:4%P$uhBQHsS)䑜*K\t1i,JR3ҲNUMMb?EPY85JO~e"QvFZ$3<.GIA~[M\kߺyRщhu٭D2'\HxIbQ]QLN׏IY3eT HИ,CRlfn*LjeYIfLbAצ!y XM[r:`LV!LhP䒄($ AB0@X <@(&0D  :0<8,<80~1f~X.ƦF_5c#S={E_U˕E gdW3'Gb_]Jt%JљVx=6>lLU9_RMNY[TՒdSV;Č&hwɨ$h$;J,3;#_lbEUCyX5u|}|hrUl\}Q"#eBqIIV-UC~]ȮbhbЌu=TbDRGH]YnU_yUXkNjeVYFR-~܊6mEKTdx=i>5A41/!Mf83U*9 )4eLIȩ\7/ 3V$/5QTo_Db5*.qܚVܻ6)GʵL^萀Pl5!DU LReL4l,z65L ,QKr D?lMdA`7k1ƪ^&󼵋$s#)^ YK l֗󷝒c.QBSB|^`ߖWu[t.mz0ߌLZa ',u3.I60cknֻL&~lBu5i(6vTM,Ie@;|raf랤A2?]3`@rU7a.;t!HBзDD+!ւJL]#n^21ޣ5Ad{"O :|~5бDz̓u  5 HOL-Record_Benchmark; 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(!*c^g>c1SL>v ykp&݂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#!f<2k1gj78$mEİv: _`zݡh7? @QAkc 2_JRA6*V,d:2Jw D:hzeLi/&iCiQu(/2g{[bh.HMg$! ryH_zO_0 X0יQjN4t]&:wf0Ю_@if&Y瑵J9|u/fwjw2M{)szXUAh藊&WNE pI[O# `u:hdnIį3nAn5Z9E~&|Cad7e@s`˿M6"jt߾qJSg2|RQG< G!p<[^T #w!x(YH2"+:AW^}H`G}My &GK^( tj _}X,ŭOK^T_r ߰ O`tj _}f0ŖCˢ_T߃e_}Mol}tI_{,_G _Rfb'sOS/7ov'Fs)CҚJ"Ƞ܊` 2( >K _I2.@eؚ23fX.)Xga ȐV__.]c Lۗ%o||!ne*D.3Y2u)ɮ&}$6jZ &X# ݄ !RM7lUr)SJI=6ybw%N",dB2@L$ ` XҖ c'{i!^?щM*QgBHF r g-۠ӳvNɐY;HG@Y;- "nNPOm5FM# vDMП$dP$%ШݢZ=+5#HG?[dAmbB*LʤDD1IȪd=J2Q@U]TZ|iB:eAh!n[aeZi̤x+T I󩤖E=cG'H}y@դVH,nhי(U>'ݪR'iA k9Zn}n3H9LdI}SI +u=)}?Y$Ajl>"b<)>:Y*P1 I7|],ҧ7O0‡)qֵ0661`-aPHUQQՄZ‘Х&V˦.,Rk[:zx']ȡ SI$3bڣ܀8S,'u⿏q0;4u}AiF,9xiλ& NUёVSM_&UAY0k 4A+O;bQ{1LbO/ɍqsT#p?UFf[M;w&1Y ʢsAMnGXb;Ҍ^]*l|n~?&+.AY-x%3zwIC#{LVCY#aƯ.[yhDTxu0*EPa6"_]~=؊&F2=V6‘ok_}hdTsx+`b/}, =a%^w鍪qH \]2`Eom}@J-<+--Iv+xt[xIVǟp]s&h&X- X[m8hZR2bmQG6r, .VW5x |^nFdxiMO,.+Ši֖bIӕmj_ Vč`,H-uDnc;ӍK,-YQD[th#2LR,zdC'."MYgU܅¶. !Uo4 z3FM@܁:zU 6׫쩝g bMd'\b'$Wc0FA51 @ h @33+bl" aED1J1cfZZD؝ 2AaI1N`P !B!(!cr5oxy-ͳy^<O1Dfy4♫=,K<& gt\;a4ȤYEQAb+Jzq%|lA2a3%r/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(!*c^g>c1SL>v ykp&݂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 k kT5W' HOL-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-'KqJgΜ34&uW2zOt8qd +5W' FHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*% &i̧@ I%%P$@@y"' =gyg˗xB )äB ) )"H1L)D ⍤)({qw?uwv{&JL:Xc:9eTU QkHc53U1I_7d$$.E(C*VLqw6n=fV&cfff&1FccjUUƫU "a lk$۶53Š͌Lrr[18` x9P8`@9J@a!p (`(H`@OP8`a]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 DH#@R]C]Sjdkixf?ď1nЂ$EĦgΦr7z'$ȲDqvK(k',m+yC\$o5Tʂ_8AJz_{& `(o`#XBR6љRRl(H]IFBb] ~D|z jp>܈XGF_Sl(u qA5 ^CPUĊ; NESQ_:3l5N|:ìa ǚiQT1{ X ӡΔNkB~xs/OƭS]X5 )ukFHJ5 PZj7EPVL%lHAk0_.D:M*5+"8WCva?9`0e}5d"VCLAh !ȴsa߀z7}* t[Xt2!NmJ;t!&֝.ǵj%x^}Av*x[ 0v% S`v+x_ &vvG{x;'@Y K w5N S%xAWqS{qAw1VʮԷ(Ĥf减zp_-#8R_1q0"U+y9&Uf9SC3HBL9ŇñO,z*j8G^)6x[VPspzvf[&6RI.#6*"V> :In g_J A&Pnl:eq9ڑC4yDe. .:U0 Xp:Rw YSh6v]}`>Gp]ǠJۇ_'8::QX 0"C;`0vVdh+`8ydS{G-r#\{k=.MtGq@,ҋIޡcj>b|=0 Tͅ\ ?UGqyrMeC}ښbXD7+Vx\AT H~ݺxفˁj;لlIOiV|eTa;FG;qW*_烗L`|SPJ BW̔w%4mp]9lp0LMD9ܛTFԙLfAGSMD4ýLeDydtt5l>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;.zvB8[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<#r+rq72|Mnr\$+)Y$"ДĠNO agZ"+" 8`,@p ``A zuR/G=9W^zrQ/8թ_rzueQ/G},ԫ~zsQ:ԩqSNu(/G}ԫ+U)*8崔SaU8prt)N9\Ճi0vt˶5lici' 0Mwi%.i%RDti&+MPkFn U3QP5C UfTꦪ6TPeFUm U3jQeCnP5C UoTݠꆪTͨrF Uo U4XuZ(H:LUsZΝbL 9EXJZuڧ#v3JPuSn*5ʌR6UݩjJX 57#3D"(_<>NhNۍr"/8EAU8k+FoF= Tת ߽ SL1Sk].5/IU,MWr-CQAA%V^yK[FHHHgfù.|% QV#֋d@WPzz >NLC-O %d1'h,R;ok:x L OuqMqs<_n"_އ\_\t΃}V42gs/6)MBtN<6|n/f6ss)uM/ٹd2c*jUg[Q@&#gsn2Q ! ɮ6n"(3&c V?뻹ʜe'nJb:`@5򳝟{g!m Y㒒š->UM} ڦT5:ٔ{\gam QqIa_4K82_eŸS%2DIg-).l \ϭdjrKΐ3ɾΡ"pfM}6*ŞF\[B} iS4]:}ԼܧjJ\BDFQݖ~,iV+.AF,Y/I^ Qk(pH0QرMQBQ ]A9Eg#&E2 ΂;ZI/iw#Y:j,{ TOim2:TM΃n$r3'2hbT $[)[&0Ӝ~~~7CߦviVZi6 rȑ#GN!!B!Lg:әt3E(DH "AdD&b"&b"$B"$B"$""b-ضm۶m$IRJ*Uf(2[M;3d˶eɀm˶mI$I$I2B!B!̌HDDFDDDHDl۶m۶m<2ΈDl-9!pF$b [|||||||||||||||||||||||||||||||||~~~B{/gRDR$,Ft[m+;n~oVjJ*$'J$QDD%J(I(QD%J%J(QDDv(ID(Q""AD%JH@Q$QD%$IDJHR"""ˆ-DA R%WHHȶm -@  )D @ )D Զd+n߶m۶m۶m!I$I !B!Bh aFfdffffffFDDDDDDDDDD""""""""""m۶mۺuۖ aF$bcٖ aF$b#ۭ[~QeWK6 l@` AC@@obK1g쮽UNn1*\2/!0 d!a9b6Kc2)&\29LO*=LZI\Эi'#!laE9q&)7zΟDIFfȟ6\o S)3h/le`;%GNKH- 6'zUҳˌ;U1< jmU\0j2 ~ ՄrsWTRr69_7{Ćjbbr(JfXo3v>(%p3Zp3 { —)HK7/K^ne]7 =y\ԵxQ|x3;^SD5Lz^YU7&:spKŖSZ=%JU{̻Csɨڡr+x=EF ΗOڡgvτbv޼#'9^%&i8!麤tI'{&_7Hg31%j7]k'3it\ѽS*riLD_'z^m^59Nb ةM'(A'3v &SbڌUuVїlۍ7ZMrRhLxt=IpyG|?Ѫ{ٶ Iw5㨵kY2Zt0 (y0ki;2 }&1烘zWbNUvNԮTòDu :c8p@lئu:;drdbr\7x:ձ6IL;L9p=/:̴=;\-[J (_UVsDJ;G .NqA+ug=%rͪ:T;\yg;T!*ٵ7Wi$x6eKrvFLvhj6ysNNf*NXNҔ 5'ks=DFC)%BԴTem6۔j^~L aM"OuWJMK{NOuI߰&I VqI?PSUU+B*]3c' T|[လBڠh'@9:o]&lFSRwTb1W })_ 6|I¨O'~ăB>):I/FzFIXm')7#~CKTp~` yk'pYspm[V_KzH '9 |R꩚`@H)#9 y*ar:I=U I< IHITbrU)zUL=jn{kjb<Q͊:*[wLe 5U]Qe:*%Kw(A"mR 5U\CeZ)RgAB* *Q)YS ziSoJd>1-Xlb7d,sߡMN'|K'zpYv ։?CNAcchLҷ xEgC&+0$/$U+R uTLLMRjtV&i-{Ѻ dOhQS^3IkKԕJEY],X 't+zwRn)w]yh M3mɊl"Eh0P@`?|n, ֶ >0X,L `Ç>,3LqM I$EDDDDDDDD!?<, 60`afffffffff``m۶mK$I!IRH!`d0`6 ,Y"E(""""""""۶m۶M6mڴRHKKKKK[6Xg)[BXa3Ҋ\d3ҊIL۶m۶mے$I99r"D&2Ld۶m۶m۶m&I&M$MED,"b"&$ELDDDDDDDHKVDFʹV) DD{FnR#`ygym۶m۶mr!,Y  s"ac<ɖ"(q/L`3AdD|73mKV#d`ٶm6I$I$I$BOnZ!%Y:mII̴m۶m۶- I$IRDDDDDDD(m۶m۶m$I$)Tᆴ0A$81xo Qï1JiYmDP (TCSUn$BZ=݉J(.RV,/\R#an:w!Ŏ٢A~i{~:[;,ݕVgdg*'Q j1yD&gh`a) ca|ɣJl yvH.o+}JǺ2Ha]S8]h*'`ɼ 9#F RT}7 CTQLH+ƩTݯtҚi f"aY_! R)N؉,Z$6${Li':FKt$u{J/zeEJ3zQ~1S\X#CThn4c!4t֑enɄO4śF9e*F?ViDNם=4L OTLӓЧE%EK@3&T)E?!f=("fGت`zֹ<&k$ȣ^D5c"0ɹW/=R*~rpeS/aIGst"ߺ=Nf$=&]I~X.uxaTB=Hg'rO2pc*C[n)*1TSI~_"ɞA Ք)g%+)0QBESA*@"zJIW #Mfod3CV4ZF TЗT<8ϙh 9ʃe0y遗#4D.T-HfEd;(Vol:#0MVzZvVR2QHX_E(yL CJU9sԐڭ%Q}o2* {jjIsT1Uf7C|loS*\e0AiCSvғƕ8G-GG%3^8U#ާƹe )+f8pKDP^kvM/EZ-cIGm:VU0f+lBG8Ful)wU,TV ksکjC Iy3:]a`3(cڕrZޝSͭ^BS!X;NȠjxG0T?ԒSG%latC WIϩhntyZSܾ la U~ ʋQU0T/CjZ34@¼ğeI,2v/>X Y̶J*@B4~R4a|I6L4ƊUB(/v*#+R}?xӨ쎾.K]JPT/'~P=v `^5?/ >^#>J#/L Nmb)ZYϛg,A f;'VdʵE3)0TJp$@WRh);3O!ia"I<Ylu81 )O,A c0תbU$MU̪z:$R`.ۢ:ᐭpOXbw%^iI%yRBS q0e8M*`GqTXQn*bU=u1R5F1TQt rf)$9(Έ +JR_TE.Ff(*U,E"'㔬\?%AWFOɤw`xFxP$sb&fL|6 dù y] X d PpAju4bhBY3. Pb2qLi'AQ[66C_ t$J9 Rhj^;Iknˬ ? z3hVA8ndMgNAqYL#4"HiĊXG9땆H$ \Eٺ!]\wFBM&Bcw5DAzZNX  J:MOjSE١.KfiʹJV/~:ո 3R\nQ\dԘ &}$TMQ&ԮY )~]Z,JZM:P;%RSd20-uJ<0"j8LSGY}$"^ `3v3H𿞰i8lB:Yi҂T\DpZknI-U|CxLPŪecm2eZYjF;uFrH`j_!@$R_^8*o#Eʉo܏Åy_8Kg9rg y-PcZ*e>+m v*eܨ0pS^bpamZje(miM W'i[HW(7)."k-tvvĭ0J<|%q챘'{g vIF]ɀI+ͼYZRpbۢ]!ih%I"m۶$--/__~_~f_~o˶l˶lVIۖn˶&۲-۲m˶l&۲-ml6ٶ6&fݦmmM&ۤۤۤdlM6dMI6&$dLdD6MdDL 6!&M&dD! ml#(@ 0 @"<`ƒP@J Xhۖ$I$I$I$I$I$I$I$I$I,EJI)I$IRH!$I>)$$I )$$I$I$I$I$I$I$$IRH$I$IO__~_J_yy嗗_.//d{^8@2 @  dX0 $ $ PLPCW+X%_DVj~26M*&[Jh`)2|s^KT9xAl_,M,6U-s/QY_3cTܱTJ=o[AtS1N~=㯚I[?{_~I^Ѝ9\oH] z.rh.lB+>⃗'?-QLfxt"DVZ* fw <"Y!pO%I8!!"ED Џg4)ǣ8y$BPH;ITGH=Uz~~S 8tE RFQ㆞0tϒIG("6펎D#D36Is?߱;~wM#O~cRoxdsO\qU3=GI,y?I}c$׷<^1 KȖ !֚QPRX"ԑH40:4Z =B0LdǕ o@GH醞P"g7_#&2FH;i6"7Zţm?kL*4<~!v rf>iy;BnVx:!T!HGzR ö)Gc/gw<Z;VYA!ېe۫#vfU#^Q);c"0f bPA|8dG`"Q!aTRd4$C>!{M[e!:qt\j(㤯#5Oԅhg~`q'/#2%]L;x;BjSTE?Sqr:Z$id"G !HNyjIqXE 4!$ݞ~T&%#`K#`8L_O@GHpLb4x"DϢ@J?BF[z?By$W(m;T,BagDDK/G9ME*-B#bS Ia# (}lSQȠȵHU:BڍX@F,Ga`2yUWya2MOEibem"q6IIpYԶ3bH@ E3e @40rEqT|ڮ8YXcXCÁr"§|y+ȭCXAĬ09B:##}m8BC[A$ %D>&9BApGH+(q(nhGeC?؍IDs@@@,:BFFy|89BPC; e6V?B~8xEvE7|i>*(|2叐gmI_۬9EH @ЏHw)hlz`Ń @:B 8Lg~‹@t┸ð#O.=@4ǃXn*!ubL$lA{\§jG쟄09OJ"EYuS9 |vwlFv|@Ք*:8|A0#OM=ERo%z7 .6#Q~u;'hVwhWte !-N!J/@//4KbT(H {pR0ш:ۓEA\ T:OSXT+d^?I|T;c1"'3Q-|={W'7E>^Ǚʑ5V&x9-z0j<)O4E!ѱ1%TKP yd=b)Ib"jcDSP 7Ply>E腞xzFwV͔딳D[_|FѩI` QE:J+HkFeԱ<:A+;Dh 1 ʎIԑazī4(zw -5MIT4p3P"MF|1E-FO/X]AhI~^lՙWBNYH"^fQkQ]5HLɻ%%)Ȭ4d3:b94"!O-xx;*@г#`&p_8 O <:3,x %9׸lQRC(D%v< _<9d X`3ˡ3:B"kϱ?3h"<@Ƚݹ}n ݞU Cd*Kwъ/ K$#:A?ci#=cxu;j :qA 1)ia;lEA2Y#^ R(c̾Q%\"(h܉2qE -_4ɂO 1p"%@"g.'j"Z~yN.p/md+6b3byA!֍/38 @ǯqTA9Sdzh9EvSWsqn63|Eǂ(65:$VPξ@mE[5BΛA)FM괕?dm{k fFO<P( ҈Y(RЯ!Q/[~N˽-a]`SbkdaFWj#bMIh=U r ^PAbPY $aCB1!N|k膜yu]t>߲S4k؀" >' &FϺ3-H0qC,-tW@pD̯p/OQq֊-z~hTGذuQ6z"@[Cw4f̣FьPFBCW\Sm)R)pxMptˣvZj6L[8{1k,3z@rQ_VKL?v3Ǩ| gQJi/hcBJQp8 E7 nol[e} ՠ9)v!3 836F;F#َE@n?y@s&6?_WG%hݖ Qќ[;5trއ `t:p(AqrdScj-Lmr\B38~"ⴧ#6|ڴޑBXՍRH%ϐ2q" u?Sۆ1cN%I"ʓ64jP=Z!qyB]n£^*eJ vtcTv&?W+tZ"(,Shjm&X%}j[HU뽃T`'$ nPqS9ʲ.SZJ—ZE%deŝzEZRoSLцl&u=㘜x442h렍"uZg /ޱmYтgD*o)q 8 ͊f}R}(ϿQVU5(*fB)W] E*npؚ--6PٮF/j|lK3鷝5+Ծ\lLvJQR`n|M9MДԮg7fYhw7vHlY;ӸM)qgOl}ol M=T-?fB.5pH ̴HFEED3-)o6Ӓ"ʹH! iE"b*K5ӒRjDȠPUUUUUUUU_U5SEVETU AT!ZzQc'{U5H fDC4DC4DC4D333C̄PiI$[|D3-Im/ʹ"h%E"mi IF1D3Ӓ-)3"[C3-E"f!Lf|>|%yyED$"""m~)A[fhfffҶmĶ=d P2LK2D"6  ()҈mԠAn u3fЭA7~o7AfC!BZ!!D3m *B[TLgfff33!ANҠʹHDg4Hi>H+Hfmi!Af%E"6Ԡ$gn[;$E"bm۶-۶m[?|>sR8¨X KA(Js Z\`H, 8L @@^(0?^6`J{VT`յC Q\P/X52C3`M w,$s1Q Z3qp RRPqV[)2隕{ÚC韆Z)5k>֌9 @?!W!ðaBBOۇRPF**VU1U(JSE]L ň YPLV*RvүY- k7[;J]vY ^uzeqe`|rJT:+RvjOYAz*Jt";W)L Uo'Bio{d`3tܻ=]P,Y@ż)g-`("X S0DL|)hKK͸`rֽ >V;J+Y莹W B:d},vaeB _׬u PSrdY%ykrh5֌._⵭)nC4鈔ŃG̢6Rfch(s'>j0!>*17T. A[^)E"^7 PMe4.r9 o|Y;#XMe9,NJ/Բ:0'ԥ3bm4SOT 0լj")eJ7\DgU㖂I{kvrSòD}yJ_􎰓b "?eL˂֮'8-" Shdԧ.["|yNHGE񒏀+@y8 ;IB&q%@(53|68li' LKPCn nT_jD@5@ծha%zFU@ag=D T "z~ yd8= @v 9"=h*Y%jQʕu}wubmvQ6'tvcKs73pav NٞEY@K,`K/gCI܋L)UTnVk/?-Bw $F cS; [D#KV_ꑴP6ݱGrhu(;V@3\yɴ^M-`r]dZ]<|wX7~F^Ǡ3Zo@--BS V%KL m*.':v2M`fB+D*lI`$xXT:`PːKZ%)v슘zu*lMdX;Jr󺍥^c^gX3l Gt 'DfG1_9~tVm@/z {~l 0DϏpQIǀYjl8Id+vZ<g"dJ勐ߋ>WʔX~ ѐ,=dY!-Fd?q@߈0y"_J?DV ~O g;ϽmqAp}{O%8Ay}¼my>U=Oh2jr>;,>POKXswT>JtCw{"Hܧao6v>KyDS@S%iL*kCh5XcL٧Ն@wfPzV2CJtEP>"JuP ݻo%iI,`uaCIAPW̬kςi[+NJg`)G@Ç]+8ַt ^>~#0C1Fm\TQc%}#ŮUY@1' Ȭ j0;l3J^ wOf>55j4裥}WQ*쁍R[4S\Py Կ Af`O$*Z T3􉤉UdQeeBD2^hWk&( *D5o|wIvҳ8D[4׮ls:agixLvgZ7$R$ ʤb -2 KS kLg"Բ*NRvrg_F:30J|z0FR ! ]B%MH da1Ty03T ,aUd4HOq2}zOS,`ـb*i᭄(?{pkhUi„4ӱЈ7~2rE52G%-'>oTJPs% })+tačf&/[H%2AB.X0(]#aƒIVUI>bY֨e5:~⹴Hxa[ꃻh+c]qe E:ԋ{X{‰@b8i}Qlރ~ޣO^⌦= *R LZYU%t6!%+JVzPp@6}u5D0J VzKh dBof* E53&?_{/)T5#1QK7}jr5.BHZC&ӹXvy$JnMDPK`J4`0ѝd~W.$4vWz&;pThW֊ ΧWP?^}D\k]t"ǧ4P2(Am-=u BxҺ;M0Zi 4 $E8\A%$[? ⡴BSZc O =B֐Ye"}L'r9|JXYik EI?dŽV`0C[1y[:wD.ăGèK yC(Cgo?kn ⶝2(dzozFgw}eH3TqS>+EWr8/*Yi9VYY1,{8~ Bu"}5-,cn4)VʰX,_Ivc"lޏQJ,ZG햩yډJ(9P07-SѴs@١1 bC- T1eGja!q C@LK=&h*iй<:N-_Ŷ|揪SL`%۶ A$a[5~/ie+`0)4ԦD9i~dMS_||]>,5\xmv  # @"|H6a2`h3d=k0`n' t+ ,By#:TsT ^9d G(g9VA6M>־@qpQc 6 Re^;=% Y<\M׿W[.9e6 ğMG0H₾ݡ +~9xո93 so4qW8궡JD]{RBQi? ?P j"_UIjeaqVݟDI´{î ><ƾCM` Q>3jj*Κ)@ RVcd+QQ1V @$V7<9=n’9*P[ u>$!z8񴷸,κkE]Î%Eb("Ik|GyS ,|5[ ϲ5M&o>Nyvm^;ǎyxe)k[,P}r#t;0gSvbo+~dDXr=Tf~)X3X8fJ Yj-~K4gV9;Jcj H%ht+5jc#Ʌ ^LƂŬ!Sj7# % ?2Mł@&$kR.&"1{i sVa'|>4FacX="tNodո2}k#-wmْ*1v KOx ]($c{Ǖ(As) -(rvpj&5v=NaE'LBf<,>23DHک 1_]3&ƭLd$cIjfSci˽SNl6]N-;$5߻.%ÿnVZY;'Ig)#^Rg/|S*lUcjܽ5U-QjNelO-Q&瀔}9L'vc&"jsjiI&ʶvXcoqiYm/V^YM;$JJOvLlA>LA$0TmWCf}૖ Tgyp;iI{5q*O5W{OJS(xLWt5cTi{/Q[(ISktNF-AݳEX'5݋91WT>TD.6j>Q@4O%:^ D!.*=?3f" SYh1vbM sX)-SzPlvA(!k&5*aoF1Q[ں!!<# 2__~G/H4X:ca  ! Yi%ZSBqf҄<f(S+=9&5Uw Wm:NJ՟XՃ|ԫ^NX^B\8PR)뀯2GT|* mN`RhEVjsLB=ֲb0@T X)&7C Pwz:=nd~muA?tdЦ9DGZ3V,1J~*2ۧTxO@(.`Jp[Ψz]YMzgGOtzZ) m s0~kuN%@fAKN̤DZX]Sio=p<[x^CCs] +fY3f8rplA O^pE͢Y|[wyɫ\. &5%8w)2$l VzunJq*B_^ = Đ֩">ǰn!yKB$?+52+f%Ssһ/&WG/:x>+: q&P/ut8D1!Mr߂je(3>j>$eE šhUEK0%l%x`5#y].3wjRk63Mt0JS tqoW'jyvJMEyF  yNT) vNJEiJJhJMF\^ 㻃6K@^xp=޻jϑhwT;V췳Qx9x, :~_EQj rm h6^oꀧzM*W_ cyjT Z+Yu_|d}}8HsY|x,^<>d.0`i,]%$ eNZOtә5,o\A&:%*F,])oS >yK+"Cu.hB}]P%b3ͫ/WGhIJt\ xk/k|$T݊n#Tn(`E*#?\\(@2 ZN5J^C-EhRDU!"!CMSV1+ S1yTYvtfY O['Cp2&D `aOك_g2DsNKbxKuDS[!<5oes}m7}v匌+?"b$I YTx.ҼBQ=f^W-1OB)tGSJ˞ `-f/ iBkPm*G&|jɮŸ\?Ҍ?`x F%}D|O{2t'\5OwU\mO^Z/*AYY)x\8AO=HUOV& UJ%QtsE(D.AlPŲb,hHUӢ E!!t{)ѓ~W/\*s62\Kst aW ^^u5W1RHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other_kindsoracle fact bundle attribute method 5W# xHOL-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Ϟ(œ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`4oM*R @$XP=8A TW ى 0>BV Y!+d!Gș!EHRȅ\ȅ\H I!)$,d1c1c1111l3۬6jڬ6h3ڌ^իzUUjfh&d"H&doo-oy;ljh:VFd3aEu߿>>_~c~̏1?ma !k!iHCv!gr!gHR!eHR|ȇ|ȇ|ȇCrHbhY!MH҄4!MH,!,!IH$!IH ,؆a `80E9^  C  D.]tC=/ӓ'=I_}A_??o}[ַ~_Wԧ>Oo?Oӗ/}߿PY nL mw;;#{ꮓ NHjz/wwuw3rwzWwwwwn vFd,'"?P9RYN@`A !Ba00 TDI  %!hXx s'is$4 B(@A`0 D#A0 A  @   zE0zyXec\r2n 0Ws"Ea+" ݞ1}֌ Y?#2u0ed>{b#&Xl"2I :|oeHB>3aEvs*>0xcRHeCٴdh~SDIBT+w %Ɯ*z9^7(qDAy7{TK5,*cO1# 93.6e.sLGxMȆOAN0_A b_> o0_! )T2fˠmG̷2vX 9MWY*N¦RCU;!ک_fF]X-B*laA& :qX8mYd"M\".Uc0cow|! 3GqJ!iZ=88f]W>j3qܵa! ah5-+&_Dt}gUp">N**|$A߳6i%T훿{9|gwVfX@qV'~:h$-YkiЇ㙪;Rg񈦷{fx鴟gn}S156͘\mifg갛},=M&/;ss.!VS:fssl3sL9';$o/Nbڟn_s?OJn&}%5ɎId.9 ?e3{½L^&9_ERr=YfN9/yIYaEknɊI}5~.Zs=VM;yQ?C)ZDUAFSRG  ,Ph\KBJؽ.#|{YF\cҝRkwBh;<8hD1y Lnf"("ƸVku'[<\o19?-_Z=.ߋyc$ٹAQ5kr_pAz(u!=siHLP/{s<{@HT&d JX{42EQ'#18`@V)jCv^g„$L0.:%äR  =&N}D&7e(cIWs"Fԅ;K)ן{s3(,˲,˲,˲,˲,˲,˲,˲,ݿ\.1^dK2!dQ.=c=k :c9۶m۶m۶m۶mNOX:|øn-FǸZ\qe}<4E&+`IVpk^H_`1 P#d,BR4mLX@Pbl2EYc. ii$ .0ND_t[o&Ǚ56 A&Ew-B44 Ekce\IDщ0y6Zu!0uGyn3o %\9Ўy5ȚE"s LXKEgnA,qi4yLw#FsjD$C@@H (rJ@Pap(aaAA]K/CjU\7؛?"4U⃈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)[\ek!K=gwZKpçNvW!A hHDB2%X 4,krJ b'+,a hH9 XJPDCwD0 da:xUw@Q:Av8f`!6b%L&Zvv}p\XDA&9X;ۑ[+M8[ v<bvlVUVLp?iZrC`K$u)4~\$ \Mз ܰxcԪU Wb?: 7ɂ#hg]&ށ'w0U޶ɳ&aӮh䨹ߒ(mS=*7XaA f&t%M|lcפC#x*?y$R5_)@ՉRٲ(-(%k&YN‚t4E[ؔ8a"{?%@m'X6HGuy74̉ 0L q"XW@Zr?W#MmqaUp4]ƄkiZrP*HK Cz<q_k DPrhߓԢ>JaIla(&,9 pwiZ*SZgTZFm#[qj.Q{x /)T ͤ %)$V׻&xKjncdH~meI8P\+>ڎivԞ8ӀkΪɘZ(]BqwPqL$QGQ%B7Nkq`'ޘ{3He䴤>[$U<smiʍy'bZG8& ֿ}lh ~"x dGbٺʀ஋yP"`݀mAe܂,}D1>i-28@hO(U!T2m6qRpACTQ dD/djď䣾^Ueu*D>kv@ 6=vf[sB*ea3.dqb\Z(ѹ%@#PG0 ` `8A$p%0D0A 4Gcr/CD,߳'6$@iWh;ChGMթL,/u{B܎0TFpR[&d&iHPXX8Q#sFw0lAB)Ya3pi$(h<7\0re95(hfec _w7}DGARQwh$Fq@74CLdO=u([e]F¬iMSO-«$`#y3r;-^K9s^1 #wE:`"9gi%5ujM̭X<)$md0P4u\(TáQQ`; p@bieQ.[efXUH2`{8%ё"ֹ1v@ Pki%OY@vgԔ\=j 666ͳ CD'@șy@%*>FL4.JGoh%O}Z cy9n)_D"˫!M>käƳ_#aqq, ᡡᶛ,QT6t,9V 0mk=J45ˇI 4QĨ.B1H9  ACbPC!b!D@!uWĈG8weD-1rḮbr`aKkDxFf9a |&pV Ye\?`Vl;@Iâ^h q4L}u'bjj[~Y"ÃR+OmKq i'̫y"# Z6ێV33K!laXIVp'T!ґM~O  k D\` Gł pOw_)pa,^ui CnՕ5>VsI/thLrLY!_GG>FJ&b7?d84uJ\IƗdd6l27O`cSN֬@99C_@hYbԐǟF`iOAj{ǻROPrZqMEd>n12'qוQŒZ%`#R&Vnws',X) rƏM1 d̉ 8% O) }B;Q.lge-3i>6Y#7Ds摈L1MA!1b%#ڣ38+Zv¦>B1Ѻdؼ*ɥX2]Z: T k_+!@.ӷ S==n!4T!8#w8%n|xWʝ2.,Rpa2 ;RuB}/:IbN M 5W' HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/2Un'o6a-s}+=^7$wfW-@;=fO&x@$՜i%Gi@E0:F.؋G`j]L/E0K\$EaQ.z#`tq,Zbr;\Dыc!^DSbx". c?ʑEbtq`~ZθrE:Qa"Z\d1.B3`0Y~ŒwNcOXT!ƋOb.0]fɘ&"蘹hc/^Ev1 \/1HL1$cO5f#j`34#a#>c6јbLFbdӌb1xLy܌O0L2" c1 f2Eh0(f/>E0k-F.Zwcbf(9_f ?3KV|"9?e3xR|13}Μ/3⟙df+>Y^ş2VUBf)>gNŗCR|2,E/fOx*^!_ E3ˌgf)>يOd3GU2(ܞS8`NHK F5AA ]bbW0 P&F1f2(~/L?I x2V4uj6*,52.$gIz _+1o8]|俛;m1>A9MWʘ=K}}0ʊeX]&g0Y:B@WR.{8Rl]mͨ O :ˢZNp',U\Ǫԓ +Ԃ/D*ƫڠ;  L=~)d[$kS1G:,t:,P.w:Nwɕۗas~J+!t+ow1Bk[q{IZ˸&o m)yE)pO6J/A\&+ޔ.5[i8i3)>AYʺ" &b26cW55&i($#%t:NtgϞ={ٳg.////////////z^41{wa;g۠-`@f%QRjH1hB6B36 RUS$DƠ!Dm#^` `Q\cQIv` $ B0`aE˦Mϭ9=% JM+ud pN mWXdcMφS̶]Ed#F&U-R0...+Z]Ib#EͦMM'F yQ=| ؚ=M$,q_ ]U"寺_ R&窊\տ3XUdO U)/H Udڧ*>@[<Yl0,60_´`hQtцbEFc8EqE  7 ,,..0Y 'e\9b`;Nʸr"wLq Ecjƕ{L,^,0X|0Y`dqt  F L0X|0Y\0ax`t Ń& LoX<,^0\ax``t& o,6, }]1Xl1Yab`hpŃ& w,.X<.a`8p & &?L-,>.ax0`db P_K"g9א\6;Zn y5!k#kMv)lgc$HӊO瀪1Ρ-SOXlk"D )xvZ)v`";xxg!v-M[ CDσ-ڏ|,u6_+|"irrТC`B$0C۠˰nק0g[q:l9jJ\vMjJ֌fp9:6lj"YW]l$2]SlĶ" 9el'c񷝆3,m `Y (P wWҁ ,Z vN/WW"MSLXPU[{J("6]F9LN?k^ZNGjۋDv[$QnYvuhB z EJ2ciԮ>7I|:jϭYasM@ ~E$] @0=CpaG{yJ?KnLS}[CkDDJ]k{VԵ5>=?><͍=Q vmp7Pȕ!$"8L`Yo;C1)!e2Uolydk{5chC+Є?f9 վkW[:HRɒ (8K÷Q >ɲt21>!"keEzm/[VI~rau)=C;*[b-ZL#*BxY7:͓tqpz|ڠm/T0c10c^sx{h (OI]eJϝ52r2Oʹc6) 6ܕ`W-{y}qm2i j!>!N?ZLiqfcZVWnјYlo,;4eⵓC<@@^ Ok"_cϵ_Cijq*9tNB}F-Im_=&%\#H^+qgc-.$ n "4Bn.lHVNuG6˰$\{^ua8OɷZ(֌n،.1:ʬ;*͸/Ե67K_6q̗k8=tM$9|96c_ vCM2Я+dtwsd1kVR1~\F"FVЮ!hkkO6cKV]v \RLF+JGw6ل|PvlՔznk׵ȧNj&cu :/.c>\kmҦؖڏ"yH{i"we$]1;Gd鰩֎6,XcMPQm;<1kZLب=+M#>Iu1QdҞ6)cPwF=/:Z>=qk8ܦZ=vJf>`c!.¬qoh]ېi |jElKߜ"Pcխ^!ǯ:n6_SzY "5zojbz_5VƔ$wL~mߓc=cua2zmܺ,±2 LӵHkfR~B5Õ\`ArӴfR 5 c> g=ҞiMھdRFc=.A$L wڿgiMǽ[Sk-,B+5k|0v MqIA ^1}74l5D1ğ 衪R@#*5ccZ4IekܽmcCL[`KV=ayFҰ-EbLƛÐqNFeC;rMd8{[L>r.3=(yPq]+T l a_FN XcPgd-P-`%uė,lA8O 2%qLt@œ%EM1ռ8Jv)S,0r39y6/P,f}>d{ADqgdw),⿟D5r76ZYF4R.>qc 5<}52D`Uv9^1FRz.חZl(d'0HHo?h<Ci?. |lg.f˽`pT ?t)MLESȨj]~f' }(Xoӌ mk 3T9y¢g@.N="QT65Al%B`C@ xb%gӁRO&hp B~a`"NM5cDR+fE#gmc -m߈9\cc9nMլoVx~<VIq  &yX=lgEsۡ%`1hIȏ#3Bty3=,mv)]ڼ f´]!Rb)N\k-W<ԟ Telv_'T.4uk5 %26ӖJf_˞3%Vrsi݅bKؐ=Ns'>6qsS[ī~.]oNgieeo6(m{vO]%/(8&aP.P1m 8U qrĉ K;}3[3 'yʊoqL] jl _ːe̷k|>*0@iW}8<Ux0M6wnt4S8Jה, >JR޶U}=ml|2TR=d1رX؉w%,LD"DD]=YBD_kۦa'!TyϵqttvE^FHXGFe-dEw uQ~5$vkE~].؜[u)D뱏1qBsLW\QOs_88~w{G{yQ[BֳV.6䩌JCuū6M mׂoUKb! bc eWeЎf ض7]xcw$Ë~[[U'!ŐѪZM$թAY3hokB++z27QAOzrv@؃mq8SK¿40&eq ௕G3Ma5xJpp)e.} ~%pͅ ##)e9Ydo0GbA _ĸoԦ4`e7H (w#cZǸJhSPr͉D' (tzʥjpuXZ% -bLX==]w ItM# +O 9{t'sx⾓?IV9104^go'Yr?/hMpoږ-O'j1 [(-|Ypa"]ɣsB~&{') 2 KM yG( @X*}{hftTcibbhDͤr*02Sm?(FWL}uĠQk~[ctYSCPkJ<rLk$fh{ qq#3_`P/)(;x6Yj@ M)H Mf?r2\A~w7ܟ~^kk̈́fDpTJ4̝@@ִ(6"YWGɡlFƏ KqX&Jܻ4httixIT ܿQ[DOW+<1Ф-ul^R@ֶm$E~쩱aęb5Sֈt?GTi!8SV3<ũv%?"V7 S,Uq֞M?I+:KK۩1: ~\Q)5rSLw2w.f5I8 U<-/dXR$áCb(Mʈ-ީeEq"M v䙜!UAI`OCC!j2%N~8!VFWHsZ,H(5N b`*a\]/wŔ>MQӸǞeVgF̄x&7;R?DZtSOX 9NCziä>7.9r,8Y ZqCky̆t ķգ2XNϜ6)_|}" j᝘bVɟ3pTd0 *aC|^l_nJKm` ?!`IwD)ټ&$Wp~Ẁ-xbR>4ʈ< ` ("$)g2`^M.ehy2)L2`XO=RZLg&K:%L2+n]6ZceJ;?"aj[ֽ֙k5K`E(ɗ:ݞaBf%4y? |9{,vf&'4.#g8@iK~#N Dֳ1-y.qE۬Bx:٤Ͷi6%1@ض @Sl Q+?柂 snls@̒s.>]KǴQK> c{5Tv1mnD :אYAnA^asdc 6J"]0 8K*j[B)qloWma[Hoc]Ѯ8_/BkfUkj `iDt)z|!@ٱ4>A)㛽6/`-Bi+J8d!A=םv}P8Gq;"CLNr.(5{-Yg{ֶB 1EzApco% Ϻ.sS6qh_c\ҍt!6 ת$؉X1.:F'v)܊vj9|[L ḳAȗ,c۾vlg&K8cلQ Xb1&)htqpܯM*js8TدD 9#eLơ%_@fxL" vABr84735d674315a92782e8978a9590797b8d85a488410762705afbcd782ce8dee8d2dd05d7dc4178b3 23f898d9e578305d6033b7e85db0c90d21f08baa4e86a92f-e38e-4830-8a9e-4e0144fddf18