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   e5zrDD ]/ UHOL-Record_Benchmark:threads=6elapsed=146.344cpu=241.517gc=21.611(/ UEp9A({ E|}! U>cJzeMTۧ( se0mdJuXnhj=*((/ _`MְoԦ`Q0}S73bF1A2-DA5HC7\s"d>(/F*$ Pm ??bMQ )e)}z쯖j#oLa3j icq'=o{WC9TSj*A΃&9^yTY'%K5#E9J5#wG(h6+*QeTI*])ȟ$A%ZSRJjmnI<6RW!5fcugsr#qը\Э=9){V ӄ/OG&<6Rl̬߂6Z%qI:` %HV`$, /($ AB0@X <@8&0D  :0<8,<80f$~β )9~ŇfY5˘V5v*I|k0EIp8F{"g vP ' o/X "-Zî Q 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 =jQi6c|w(!oo*Wl1n8RDUy\'+nxPg0#@ 0#8A&$0@ |ɆQs#p@:(}azӾqɽN nv գG]d;4p^q(V WnaFbh=M9TF Q?3Qϟ)qϛ)ݱǛ޿y==o~v<2oy*zEنf.dZWK_5XoL**S5W)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 (81( ``` 24_F zyͻ2#^Q[x5<榚=LAz*|\ՉGStCਥVd*F)%N; Bv>β^e*M|:.sO+5B2;}|:hg胾;eƬC>{V5i뿹d=ܑ+}))ްG6c*,HgbM- j4/@jߌ,FJչ`J0)1baQk4]'KҮ@1n'B+AA #`zKmRSMMyhY߳)N49չ*Rhr8F?hѡQx:x%f98[rrQ- ЭFWU.wh%뚶_,lxo [ǷBy=ҝWspQuƒ 5 C3e 2*\~ < 4 7@s) 28?*{m XӨ~Iy`[O|g~O/"gqO}aͷ|ș/gYO}ao"yH/"gO}o"/":ϒZO"{ao/ϤYOSot/,"9ϤXO™o/^e9ϔ´"o)r:4XW~3Y'I8ŷT}KxHN~* Cr#зu 2.XJ~ 4 M'@c) 2,\~ > 4 ͥ7@S) 2*\~ 4 ͥ'@C) 2*P ~ 4  '@C) 2*P ~ 4  '@C) 2*P ~ 4  '@C) 2*P ~ 4  '@C) 2*P ~ ϯ*6^|<F3eVX*^g%^Sg(_xh_Lf*A%MM#,ʴ(An-2-d[x)4х}RӠr@#P*G<#]6M[ ;;tb?~ {"7~ )ERI6L7b)biF;O2Rhʢ5(@j#(GGz4£OgFN3WwVUssFX9:&MM4ݠ@4h$z JP$DZ:ʡ!ytE0h5:Fd:v]zmhAe-CzIQӒZAH|RB22c0+$O*NAMϰkT<;81=%Ju:ZIQb;aP'U&nOG'Ue/3oDR|}RBsT\pQBvj* `V!U^rƲЏ]Q"ցz'KI 'p(I't8D8 p~ sh>j"M*Әj`P o0G,ΈQW sLA:^7|b  [NQ$aNXLFt ?Q=(X?;5thYr`&{p뀂T J0 G6@ kr?Ba}"0Z4*DlR{0^.|l ^C&7D5 9Q7T:Z]0 G7 ;9&^ Z4*DlRn^.|lG[C&75@5 9Q7T:Z0 G7 !i&^ Z4 * & / ^n(X<50846*ynRH[jb/7>6f!A.۽h& FUȉ٤ґQ^|lo*A=6ǴZG5ݚVNo0ȟ)Muɀ?#O#7ZSv.8wڛm%.;Z2>;jp1@R"v:Z?1ڑxLR4+b؁sH[-Hz< $Ej+bix0Z8Fb.Ex`=ʰ9tѶ:8C@d`UĤX12EQ 9N4Tqx#F(TMCw]y"%|iAF/%6~A?I^yUgZLT$V!;!-siW[=} 3ZXXXXdaaan‚6jȬUC$,8 b,,,, r $E/{?|wAYP\XXX {G2r'0B  G" B!8[~A͓O/ߔˤ<?tC2Ewv:R f^2~iě N#Tw]&b̈:e%Dó614F'ȉWb^Qv#WkP_o bqQkpkoW*r7ƽ$@V%q`0D.>ܻ ; HhbD/7K\0=MK*vMwnG 0R$VcZv=JeT6\moF@_xp]qO9E[!ls%p c옛M{w'GWTpn` އ~)3G1jqԫcPG}߱c_ϏF~5MzgQ?@MAh֌ dপ}e&ҁ6UJ0T+VFɦz,,  ; 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 =jQi6c|w(!oo*Wl1n8RDUy\'+nxPg0#@ 0#8A&$0@ |ɆQs#p@:(}azӾqɽN nv գG]d;4p^q(V WnaFbh=M9TF Q?3Qϟ)qϛ)ݱǛ޿y==o~v<2oy*zEنf.dZWK_5XoL**S5W)HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/parentsMain < 7<p5W' PHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/axioms(/al!@ 9wAWAx.q[՝ MR:v G'd E C1D F B1->>׿WJdKdKdKZI+i%_җFoFoFoE_E_EODODOD?C?C?tB/B?O?=I/ӓ>>>oo;߹sY~mkkiig~g~g~e e(Ç>|C9C01a OxpVXa&4 MhB$!IH$!IrG(BP"r!r!r!)$2 !C2 !o&o&od';IIIɚɚɚIw}7w|7wr+r+r+~o͸7f,4x+h(Gc $8a`(00(@`0@fܴ)OrgS3Yן̜&NUŤ/'`3ӟ뤲ͭČҧUzb5x$Iu5W' lHOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/consts(/*ڳ"0b˗W~+#-޹{iN!@  36#6#&h"DNDLJdO_o& 088!B0!B8qPIP*0Py?ٿoCݝ aM MTUЬ18cY|DDY33Ę11i?>G !.w7FfwWf64d33UUWU㬪cc71C$"+%"="2mf񈛙9ʼn'"#/2?a ,@¯a $0,@4`̄p <H!& < 0@0'X 0PA @  4HpHP@ a! `(` pAWWUbX*VUb=============555555555555-RK-RK-RK-uCA:ԡuCPI%TRI%TRI%TRIuQGuQGuQGUTQEUTQEUTQwB;;qNdALfgvffV H3jJJXuUVUª1cp!1D81!cGdDuD>"ț7s36S6S63llzzzzzzzzzzzzzjjjjjjjjjjjjZ%Z%Z%Z%Zeݕ]Սqn oglaH6H]U()k57Ԙ1Lj!Gb$E2HdHdIɍHcyf|%DQDEQ!ʭJf!f)dB";a&fxA($B !ƒ~~~믿믿O?O?O?O???// wfV5ьyB-,‚@. 2D 4L 8@DXAρ 0# $(X B $4,Pa (M4M4O?K/K/K/ zA/^ zA/ۼۼۼۼۼۼ||||||c~̏1?ciiiiqqqqqqqqG}G}QGuQGuQGuQGŨbTQ1*FŨbV1Bc$PY iەgթٕuە(wdT ^#VC͌ng5nӂ\Be(./,TLkq7g&)gl>T,Nu.ϻbj1LMcQcwӔ-Co}Ү/c\ќ (-?%l6ɬbi,J~]r,vq.W\չ\=sznWr\]幺sw97"wHR%,X+z?,Cfr,krY $GmuTV⨬Q0 SZany139VYe-7La9ima*-#3F)ٞ>7هf~&̎Ȯ+ic|3?}*f^I=]5fW̑'4iMyaD-uqAn&X/ƨQW vʙnsG+ X{^9#kc{_]:f/+| vxkK v˙nG- vӘ}N9#kc{Y_^c/+g#`W1w̯`'376֏0W쥱rGgt`W1?]̮`73?6掰[1rG34^0WZ1?]` ?;١#AtMUy͎"f4ٵZ?aۻ^b߳q8XO{v-k%157̽~砲7%ͦGL2: <` Ylذ"f&I lQl@0Ȓ Y- KXC~:#I]Ib=ZT. uY%`c:W,AI XV7 uzs!oB\ŅlsvFnd$X@L( YMf (Jv]tk Jv$d `]I v%` qP&3,dֳY N"*M[.ZeL4=1QC0SrlmiH DMAaYN֔ƹ曼'&j mk.Fu僂 lb3rPE:wDdȴpm(|X$KzٍR9PǍEmotcV6Lm[su!32n SKܴ} sjƬmj۶8BF+f@ŏe-ܜKF!;kAM  9+MT]JD9Gvi@_dpE9O<4.ӕ0I2UtNuc99fz4tNKZujW[V#=5ح{wo6kuYe%x۫❐;XN |u^$ݸUt/f #yḁDYjh*rE|LIܬڍj[E!uCQX7yYyk5lDqtyo2w"4t2jy$wܛƢ7e~#88ֈ{pYgg=0%abL:Hמn Mi>PșՑ9g#c9P*{'ۢ/T5511`g}N ꟠Kބ] j'4"pxY( ,Đ#|7|7|7uJ|ۣ(!RKwI"p{\&HC*TS\mGY'auz6DA)ed+oh4uv'>Ãn[sB[E,󡬌U7-z,.pWDj(|ܿyR2 C N;LJ9*Rh a .M"c!39É! q <:@q3k QWlglS:a>qnD㸃%2uWq'FZrvYRB[uOW3xYQl@mD[ ^nɈQT71•?<Ȕ~X]}Ʌɚۡa ly ߴD8F c 9'K7|#$khQH:b 2/E=E 5QX HD VccDpĬG-,R@_T43^W9nl8]l:\@@uAsv:\]кʝ ]Bb:3 Ʈk]U3Үhh l[ y; \ޅ`U8\q>Ae{qYFo«A^Yyo/٢.a9˫%HEP,mbHJtWQgL3HUDrfpq_.b=OA+gqțpajr'#U/RNᓝDƀ->Z .q jX O|d,!BsӤ¿.ocLz*o/?:T.*0ʠ":`0h#Tdh ,?l 8Lj2R{DG HFmGK<.h $֡%kCDZ)2Hz1(|( D<\ipQTr;w۶9$kny0g| \]q&#0Xxڸo^ڭRFܺy=V/> ْ~ErM\s[xH#yMiF2l獇ڴ#OtݦX6o,ՕXC@)wbUoCϐG h6pG UlMpW(6pG UlMpW(j$G H'#dP%[WV#uԫi"Py5`\'Yd-ԗ+CHܒB:o1~yM\X]bt{A\Re-P"ԫŅ~"m-XY$, R/K u􅁚dP , &{F@Č #qQ`0 Ę0 $AClT34 s$SaEX&Rb@a0]  @ `X ¸Q.l2HX56_g 3O &&ӌ̸ff R iN`cHi \`IHe*i`ajLva8#,+B(' iR`p0 ʈu3V6;uͳ]A^¼?X9CcixLO&1DqMaP> ,@`[ 3 VA1;uѱJKLpwj,KDC L{B¢ҰU?& s` , Mؠa4,C Cîhs8 5v%aJXX6b``]FA `X S`MY)/ǫZ!E]&%{!e1*J/ /#hZ{j՟"شLL<2 63;[1v{/w+aF^+!bE?΢ɲ\.+:,.o n\c<+rMf1uY.Ula$`mfZ6'=yd3~vG&.-" u&ުg7(%=gXwm6WovB"8}ֿzc6fTnIuk1~3Y6@2 wj֝gÊ_N"&˞a`IZ5$5g;C|pbـcyòg~cM?#4c=8P>ΎhbYhKtAChWShئ!ڃPm}򉵇2&fȗֹX8zhOtbF: 9MGwTs:yvAe֚xP̩5vtyO> \AEeJgJ2ͨ Ybak>՘HNqS^ 'ǽ%z\`ν[7 `X 3?㮦@ : )Y](ռsIB2yn0$8hI98~"k̎N]U*)p`KAv#-.qKѤP;Ċ[9c@eߠhˌiÆxҸ&9$UX4hRNh͡u2p|BCHCH?E驋9e\ VDggz۱|a{fj{ B(%Y )9Xl'vufQtD'7.j *cRp0fBbI<7WB2t4>^tf،gښpDʻnjޡ `I7yl;x_UvMU9$t0RCر"EI)݉+%G [5{/ca`g 1do[\E\b!!6-"3&m|ͻ0UP S`KNAcMO ~?eWQrkLjGeו)!XHQb~` ;ŎXB-j\!_u.M" nے_9[FEE8bCJ6 .[V0)j"Cxbm.2d3s t {P4;k1eWWr@bG%( SK!u>+(JZ]oeL\aؑ9Wj Z9MZnp-$֒>4jI]%}G)2N o1n&2TH> Ep[e C,ݺB:?q 8KǹkX]Mɯ1 PTL_WR+Cr.D-E,pb>݅W c0]nx f,r@)b߱b*3Io(*CEyzqQ Kj1QVtG t4pFqKeWWrcHj;$uK">ΐ tvQFpb^I iআ!0g"J cSa0 ;txw9w$Pivl{醁Ҧ"DkCQj#w3K+c05 wՒ͞b v*E)Apν2x75L}B9`7,H&bq0-g:hl Tq-LQ[;T>wq^>Hw.c0W0kKQĥb\3JJhn.o:2=Pc%m6| /Pru2Ȇ*As. pAU \ē;;/n< WEhUs)מPϪ|4ur^r9Lm tIg';~o8)%7-i((JSFkTV])8Z0.ykCb=(&LgVcW] -Yݵem.&` tHkL'u_'=f<ȥ?xFEK=|D5|REV׽g*֕YAcj pnøH穯e ~tn`LXgVc] f DXwf/j h8'trPk63 '$NpMA<&MɹSf|hs ր{t*7LS;`.;630Kع{h C RoF7L_T 3ХBJR)I'[a.F@sw 5q2f}̟)}T.0tHSJr،.aFh Ro֤|$Yj~Q}$ :~"H,!,Qpn6gд!}Q5TMTvȚwQ׹O`5t4g:u}=,k.HhB]V2^v;7[ aQ:md^(@mt_Ҩt?CypK*@XeoMp2q5+Ί8#Έ3(ʆl(rnM 7&ʭʭ-܂[p#7r#q6۸۸[n[[[mFo6os6ar&arXUW^WUqU\Wq"Nć )LDO$O' D?g̞3{fτg3ᙰHXDJDJDJ&" m0hivڈ@!@!="D4r4ɒ$31I8U͐1hD,$X $pAXP@((  8@&?O~A>yWկ~O}SLg:әt#HVZiVh6Zlٲe{{X믿~~~~W|W|Sm"DTM4C"F&Q5 H UUUUUE"VDC!ѐhH4$ DB"L9SΔ3L9 g3P""Sdvlٲ۱۱1"0"0"0"0"0"0"*","CϳyyyyyY[ED3"md|>|>|>|>|>|>|((5@"@ Ch@!!P ap$+O`'?"vSyF*R" VROȖ/hvCexaM{PTE֎7 v ?M; pz_6oգ'mm F;;ʚ t6â-zq 4&}VѼl<2g*V|P7!iek P!MiX+$p㵠<h+y-! ,[I߱៣X CtaY@G+2[ -gGTXوmUhN<1v m !5֮qa;dOQ`/sSs?o<If>Sa6|"ADGMHfN.A쭺,IvK fT7svrv)]J`5Xv3ILvQ&G005w!z(Zz9x3j/!Ua$hUo)Wm%p"D0̤kL~r1F (@7fw lRx2u=@Ko=ܪ 祑.-ZR+M6)-v%9{'QN-)6ޒUy ,+zxm! f7o1Y$/z&''3aQbY~}D1u S8Н‹C sY/t5Hv+q<͙{ĚI7;)hA 6AH{RʍT\gB }|F]۶m۶Xyo<+RiF=s֤II-x!e",۶m۶m۶m۶m۶m۶m۶m۶m۶m۶m۶ 7"bMm$I]+r+7$effff={l$Dm[ږ$I$)I+"!Id\m۶m۶m$I$I$W Es:m۶Z$I$Ix#/6#dWx/I$I#m۶mm{dDDDDDDDDDڶm۶mۖ $I$I2"""""""""۷o߾y͛O{"IO{"Im۶s?wm۶m &O= DQ` DHEBD@85{Hȸ U'id >&kdގog;q[IɸP -;@T[od-TRBrj*KIL XD͐?HQąl[t$UR?Uԃ-$9;%Hw{i>U)Iꊗ2V+Uodfu|:]R+AFXzڡO9RlmOIh J9{-[yZa*@٣9ؙl+֥3Id$u8=UWAUb +DEELN A`V@>OB{N:0?Iμ1T;3ItNE( Vqxd6ïҝ=aZ`F97UlD*fs4ܟneg`>s-i$w5!BZX .]:Jz;- d 8)w~b#1P1d˃r I\ļ[pK:MCx'I 1)H&V miىFʺkśQPaB0)@ Y48Ih&4ưDQQs0%RvSݩ #3U6NSA<db@Dxœd)RV\հFJyk-)1joEd6bKw6MWSylҰlY"f|hDttM8@VtqP鵭a E43I-Ӧ-sRh]AKdZc<mrRo{`jB$#*DCP.VRix%\S.`&F`wLrQйh4L|IbKLesIyH3Wרx;h*kqD]E9DX1FAMdEa6 -=!fRyr7SPs!#;H*)uҾgWkq.3@$W9[fgz$y;? BQKZ3oPl5kjTRP+UԷkRW#uTYǪddҤ{z' !7'D{01ohqR}.K PK80(`!K?E$x0;uy$I>,p"iz!צPPLn>Q &q47l"tqCbV}K木-!@DC$]PTD&O܈Ir^zRU*L^ҪVIN}84yfBM䜮[d$ɞbG&^$n@h(װJ]S@ I+b!bҘX[\lT`Ҧz?UrD5 (x0u6 aϾsTwʃ~P=߾J$+˥p4F0(NE-F;A=vyI>gPijW=dv㝝_!]V,jSoasv֒@x&GP6 lAIü3.c$쩶ӬEⷍ>*%':*cсgV%tFHǨ϶.g2TgS ς3MRlx%H񜇰xQPȳ=I 9 ju("9syZ s&l<%U=Rr+E˗vLIbٱg%<3mHvQAy>`FRZ:6fzBV$/1dZhԽ1yDKhRE2It NUeVaT8^+ 6(JV)@T*V-]bjo2W͐"bc0(^l1zD-~ξ X!Y$q#mL训^iŜ*g؆ [}e3_͞r6PW9B hRͺ+}:0IcNJ'tvljs 7h?LS-)7U{h\u5Nu3`oRu[u O:ǯ4^E+ .XUEqs {^TȌ#d: C幥@ MfJ`>"?~p#V}@SIwN;zN#'H)m Gq>bVӜcnz 9dMn M*ƌccn1 M']{T|Zr٤l\MoA˴䦰+M7 ԢJ*G/_-uUU?/zj%l*&iLzf(C_FOROS}j50IjpũH-%<֒Upb ^v&r&lpdjRPR6kQ"i <ٱdrJ4J+IrwT}K -K"kWԼ-B:Au<--4˕Aj2۔CmVeSTז쩍OPlLi5)uI}*]ϸukN&V3sUB"[PNYTkv'ffJH *+ @)𴭘9D2ܔ[}HG"Ou>X mXZ~x!I}\Am\ 6J*A\^R!K6Geqz6= 愢4h$,$oxhcF1\Z*tYNji7tKi)Ofe609.u4#G&.^|B֍]?&"@̏i0$WF9J2HHyR&D_y8OOU BdjI1q7MFҗybYE_ 9j@iIL"hqB8+x5=*٫kz3EzAUWPkAǣX'zБL҈J^~"^ͩ:UL契$|J' $mNh癪7<3!6p%*hz<ŧ0Ƴ;81Y3 wnEH[*MnI6I{2!qx$)";>W:&I ȹK0tB5- 5BQ;k#$ϖ+gpm> m@yE)*#3S`߻K& (SݟI+#d>7" M҂^' twE}da|ObS=_xw.,0IWՖ}<( )b}7 ԲUJ,ZuNip$=apX{v u<6XАskup|35}Zu@H1&i8|gfiftC3I_¢䣖uٿ 35l1ԇ5gwB|>V(TSIZ6V)$(e0{\v㖌GEpXʋINEK&iT_A!&/߫'I849a I֖;otӏU#"1o ;8[6+Lxl0J Q7bt$^+Vq<c?QiLҰG׌ܭ/JQ $\LBI7%Uӕo'4 g⪅s(&Y>p`=wI>1VX^!I-Z h)Z"ʍbx@ iIzn"mf6a@-m#Vc664͆2lm)r"^׆b9dm@zKiBͫjQ6MI)aSA:TQiOthhӣhB|(9m>9mu6 C"&LO>d( d@. fsKiFټrGd3cEM?&Ĭ68A֎CV`gdTx IE M*_QG P9c3I'k5V)b^+6k)7&îoŠbt#\F1lb 5p1Pl~AmOԧq֤5BҚhM5ɈΚuf nʚ=3%hqk?K (9yB6^81 vNhRp yA#̀#f(b4 dcƧS3Щ9#GxtT&鸁UHlhzM"aL)e1o4>n>|/M0#D!jP  +0G&UͦYa]2I#CX)345ҡ4?,ͭ ychҴn6PRp썡x{|}J>8IHEt K(i D-o"}JV!},"y\kC՗&VV P uL&by+pq*I_ܠ{̏*Ѳ84%Tk5)4IZIC{H07 :Y 't+zwRJI*33&!0~zyYiKniD$iKni* `@4xfmm#I$YRht۶mTUh4"#!4B!UTцG4FqD& :蠃v:333*J$BA5f*I$I6b: %e /ҙ%7""$I$Im&"7BJ҈/BAnB38ži۶m۶m[$I )B&[miI$I$IDdDFdDFdD*R4C`۶M$I$HX! !Ho3ҒۤHZrH"!DL^*__^_׿^z^z^zBп^zE(BP" |>?fU@3 g6lf33m۶m۶mK$I$I۶m۶m4H(Q(QE(BP"EC` !0~iXp"""3mREB133әm۶m۶%I$9$m۶- 4>#  DA4lCF@ HXU ?;\Jl6O@R5r"ПoMR%!Uy;,L̓|zgH,)f\@a ss$Xl7[os%CY8ޱXɞ4WJ曋YDz&kR:8lAܤzrRfoBӝ,^ʳ킄[Y%yfauA+}0 IW`Ih㔴WU5tk/I;z9$j Ki֟c n-kb|>Bɧ"2zP͊[?tV&S5zk|{G[3B{|!L.IFғ(ԵEBP%TNn+1C{}ী?wEwZ~"*C(wKqU jij$%MC` YkѼ(BUWSKeޢ&Ye4KhiJ[֣MLtdT8̉mGJtf,o3RgK~FʑSQ0@ig\ݐ^ؤ07TIü6YM4oo)UjϮ'!]EC#|RԲV:B×k*Y5; f=R*I1 LO .H MM[M)8VXɁj4U\Uabdi[<ű*d-E,F;SS̍\!=4o0kPKk$uJ忳9Nk oOF$:TTibm (M k2͟@Rο\kA\}:̙,K2Jbjmzyc4FZYRA(\[LKKlW3ﲤJv$J>v`8g d3Wg&XڿA/1ND̕Y2 W!U=m$ G`mJ i)D>"'=nMamzGmmp;21!P#ɫ򔫼p$Zf H2nu}C-JrG/<:qrʱtZH댠uR-4I:ciݝSYimH%VO)'Q*#'^Wo]@w0}=eTP(jMuBGqstPZ %\Ř}2͕M"#O`KRW*NH6!44()oAIUSR_*˲*#9}3 ߨ*Yc h{(k3A|b<8Gϐ)1 sgMPgYuXJcN.F$SgYF{udMyB9FD$feג]<&kUb>d*Q\L2hU*ZzT6<m##I0E>\JOmD}*He$7E2$Pjt+X-L70.زtMc' IAcU14MX⅒x(_$W+z K$=#l*S2HCZRMa^Rp$ʙi$9 Npv QMpsG;$ht'7LOuxBLW8&5&st -c4$:ӿB05z&2^Cm!:`<#lhi? 9H)2<˕2zpST$ ]P Ƥ2"Kw2vQ}:E}Qџz&bb荤4Q(eT8 h~+KĤ)ad5W2eyVlol㢦<5 PM7ַ)ϹIqwTS(H4)4+$Xš\H0/ɮ\$h{FVI했3 S0 iTbBj%ی#c W jQ#OY%V~"iz`6*.[55|kljw|Z2K;IܝeTb9J~nKfJ^!/!*u0^bg"UK2~8UËq‹Du$n0Qtr}ӼD7k'SHߋ*SI{05jh T,UMQ< #:FPDfcYRi]3`HFUJ]F]ARKPw%r&KK4K`k3)-9* 13bbr,)q>~{^TEPa2a=}'o`) A0A$EALu7L GLjW}K|NEs+Iz)"*?ifRy)TM A{c%ARZT[Q>_{Ȑ:d6$ZڭsN%FjghZaeSg5쉶K(h+ 1(FU jKgUGڐjI6ĠlR5-9&Tm!೪]mA5hWrPM6ՆTh \봤(Th*ѥLOE(w)h[-J44au5=+jI&i>[4]pɠXVƲr4RRb41V=NG>!a/-=tjb67yUzkfTwܑte6K=48\.v$qzτ,#9Oy/OH rTtl5 2{GMLǟm1t [n?܆@zqO"CdRV;@a|lwы> իͤq"9uPG_4 !>P+M)PZRJe"HeftZaH{TNfL=},|o6lݗd<VT`Ϟ*p=lr|Q&s7UȽFU6ݜgTnt}٬ʨS:0ssҁ*.5mri*YܥvUXߗa-4pTf62D{ F{v]tg.LY, =!LT,Ep2E8y.4S AR04J6lT-:Oefjzx>V#EfҴ$ )$=]?58 ?ۧÌIEP^2tʮe2iroًbxh>l \Tl>wsF֞Wu(بa@ eudm%~e%_y*x p:U=); XtxH08 08 0 0 0 33333333#32#3"""!"!"!2Ld8#8#pfD"u ` ̈Dě^G 0̌HDu ` ̈Dě^G 77 $ cp A  , @affF3ьhI$Cİ ۰ l6lt]uU,$I$I$I$I$I$I$I$I$I$I$I$I$I$IBG 0 0 0 0 0 0 0333333332#32#"""!"!"D#8#077mڴiӶmÃ8("Q( i X񡡡t:Nt:Nt:Nt:Nt:Nt:N麮뺮뺮뺮뺮뺮뺮뺮뺮뺮뺮KKKKKKK 8``@1p` &D 𠂂& 8  C@"#ް7m۶m{{m{{{{۞-޶mm/޶ަmoo۶moob޶6l~$1c$  T  +5. w V4 LdUd.M3'DHKy M!'io"3pѥDHWTN>M$Ms] CۤdbĉHaKN4'BX'!5;'MR@i"[Od4}HDH@K~&B"g"L@7?x"J$9 pDUŅD4 D$<!"|&B bЄDHcf(&Bf7ҁRNpDȀHDT)5 DPP'B1贏zd'DHO0(ޞeb)Z]4K8AM@qEDH10\H!MH5'B 7a9=5u:N6C| 9EI6U%'B21U|9; ejG)GըUUu(T2J3u?jC)QiTe寪eG9QQQi(gT;1u?ULݏJC1Qߩuejř?Fe*GQΨQm*eT31u;ՎLOI:Tͪ)eTswJJ9u/e*CPhgTJY;ՎRNOm(SSP(5TcʿT9J?ՎRCQlg_bLN)SS(ʨ53T8?RFOCTʩߩvc|*:jFNSSҨ6(s_T8?U2OO,SPΨfrw*e򟚆bFGSS˨{v3U\U2N}K%4SSPΪ4cw*ŜzFUGUU(ƨ2r~* _U2FOSS(63J՜ZGuާQQQjPozq~ 场URFW%SS(T7ʲ?jMŌZF5|Q)TfrT菐[- &SB9 K6 o3| ,Sf'6$Z,Ң暫Y0lIiqI':뤮:LOYSQaW*uUp:xRME^ GYSԩ+Tij85>uV!Lz}>'G:|ǎu5| 糢{+YXzE%@TEQB9cBWs{kO(dkU\Xmp0FOg_1F sCZx8AfCj(L2Bf :@w.DUA-Tr[0\SN%:՝nLSa*;%TSo(oT*ruUE@u4b_К> s4fx8M*TY>b\PсM5%ՠ4"e5s,4^ljX+p'\0a$Dk] W{$lj@zP͍#kz/^j=ئG~*zNУ=v,=rirElC)Gz»Sa@SXC<: uX( $]שqrTe*k$IcE 6 iq"-]4ҡ FN"S%^q$ҹ#CKfґRHsi?vIs&/c%%?=P? ār* }򂑕:xGɣK_,$6βt ȘJyj_e-}%q6'6f6R1,rV^.5c$j6SV'\(" f4בdAS$WÌ~eމя,]&v5ыXl{J#E?d@nP=s{Rv( 4IE`|R].0쵥+^7`I" X)vRk 7 :MS4LUi2ʁR2R2SQbWeWepWaWalEZEYԈ3h+9$Dȡ4(1L4 ES$Y)ݙou"?md&"ݒ$nC"ݒAE~ 2b;Iff\Fow8lfd>'`4!bffƎiff~ӒI$I$I$IF3FIQKxX8$z |`2؞U/ @]KTh2e/WGQjA; RP_=P*rIޥAEZ'*i" WlP3D*RD܆UQ5u>5 ڝ亩UTZ"!*!4a@<)T:4 FD?q\7Ո=XۤwЕs̻n&_2ZWegAϧ??|DiF;|o` g^զ,,H;Me.Ab( (Cx kDž)"f^Ƿ)JбOywCT!PT|/4+e ^[)>ɢ!U3\uja;O 1osřUC_WOƪ 3~/N",/>TXǶpH}{(_^fb~-7z" {A\N:Jsy>nRչ%@z}nhHV!Amv=}GW@~p$46XU- GU=((GeP+PF@peZ 3XRl T?`၅;=B̿֎@U [$1Tg rsdl1-.)t?vM<°DhO7ouAO|%i?s3z/6ܤx?{q:Dr49YYϊnPoX?[_`{[|g')%q+JFHL/9e5c/tYLo#)XHffdy4Qb^}LDnl2maMd]aH,t4)\ qk֋oI?ILBC'u/6}?Zꛅtgיo;{k᯹0 ~kSI8E'%&6L ^}ADȟZKSL?* X.ܚ+6X@ğGkV PU \-S ?~(]V`ݗTQҽWXBZ[=9X#ʴdGUAOW.T%{~X/0W;,; h~T߸z^?` oi{Wi+5iJ=ؘ$Wژ˫Ǝ⠾-G?T"O4nh 7C?y$5Џ%z~Ϗl" Pu~|Ge h8?W';4( t͏)/ 7c9IBPHbIn϶7|LK):M͟&?7Ah> ɏis~·`π)DLYԎn?lg @A',~Lq.3u'~3P ~H-go+چu c@{`q/E-S?wP Fic zo4>&N~֐T( >,SV~X}dsrFY;O4ooCt~߅>kӭu PU =G#_Am_Q(=2ğ%ؐS}2JX`.J).N 8 H&.U:WE[K(уŸ0QWEņE;nMhS"AN(L?ɷPXoV=F3GOBaϫ=щ)JSKFl5/\\CYuK~j*qEv6p %Y5Z bB P0+)/yM-3X #d-tVp /GdL4;5Q}_QɏlBw|'Jut'tJi2zvt0$B%OFU>%c]єMȹ7AE61Yz ؞5`nb.=ʼn8q)N~NDdsLn*d1*?;/[e8|aE؞:T"M9+*hRϠo:qt_;^Q‰9#wQUqy(h!$죽&rBl)dClgi<|n׳&|k"z,?HdFMM)^\,jCnGh21MrʅOQ`>^Ud̨rR6 I Tg hۨT F mK[ 0sDвsu6@cX+ہ]S%ٷǺxTa m+0S>5 >\BONN=f_{Jl!4_?;OΛ\GC" KP2{@(Ge= '@q' :/I` g~@p?|3ߌ`6Ĝ]fXi`8܌M\3 $F@n ܀ n!I̕&UfL)kpB*é]*)[@eެ$kQ5cv +5(VfC0f$?7F $͠y$ zz8Ќ" V Їf\N";̨`$PmA~EM1>73( W HfDu]Eif/@((B$PHȂʌCZ2H!mKf`7Ri B. nj*YB'1{x]3.nj_wS}'21X+$: m/ d 3*ƟOaF qs0**̈3ą.l| >3@/CH|S8eD1 2vtF^#L ॠxW2N. D#&0e`C < .pӀ[G،5t2Jg>ٞ~$=t֞d+@v'Xd6 ޻\-'e"Xƨ1x(r$PZ4ͦPܽ_U\@; EP) ( }l5bjҊ8~@[wP5p=Yx 51)J0/J$q\z͉]fY K$TneL-q qyJK F._|ᲺZ~/uA~, R-{2zS!*4vW_+4@ή}a׀Z챺) ̈́c]jZ?' V_E(_Yg\B];# (ɐb@;,.sŽ8w-zf^{Se%!k+c0+D0 iV~ݼ0B^dBMq)qVZʮ*ks.2^NA {ت҇v8dahb_] d|[\xESAŇ'd+ݐYiij0CIUo&O%_5w3; :,XrNB\@ 8>AaxUNv2' [+D0ȏw }Տy->4@C_fyE #..U: t@U:e݊tQb9TO@Ҫ[r kِA7w`1L4PkC>6@o@mr8 (l6e(P!lASc sO86b@\=mXOeP@l+K2H@xZ$ƕ3!QxZx@;-YL4t肆,JdL<$*[4IP\1wOBJF:6c9+ f;X&r!f#3l2eJ5uXxD ZS3! X nb H4AtTY9邝 lBnQ\Sk}v I!n""i`S38@'zGlV A筰*;go_TbPpZVyz2zPQmRǷ%#^?>͕x2L/1Sw>|/ɉN!E$[aēЈ|c1L<^ =5l HV槇[?+]ѧUq(dZn|.]`z}xиCM7iB 1< ڸ_Xg@kXSW+˨ h= WWec9 :LȹmTY \E” *XNO;U'$`[+, HLT+h$xbƛ]Ɇ, 186D/ȶ1k\R0͠bCnq?bC p1Cİ!NBJ1&`. {gp  3=6!{_Cx,?1-,JșUȽ˶kaA'U!I;uf-Z fo܂k<ٍ[Cj|`kcd&2/kl@uda1(ї|ƛF*՗S&:,an_W73@N)|T5-Af3VRI0 wPΎ!o0AD1qA;b}L!xw0~dor-E"I Zq( Fxe>e@pb! Lc8Hƾ40Jq*n "?g~8%x3d%k#%Gk.@=o*)M U!tM9xcW;Y:O/k$@I w QӅF! GWc ^+*}7`gjLjbX(\e"7+/h}o dwx!WE!~} BbzsJT}}5  3WPBo^6I,`>,Fi<t9g,OIc+"7Ioz7ܦs]%B:~IyyzKpkqσT]div 62M3")19."3A:),yĂނc QTJO0̰wN7uQ?izژvxpjT' qNH<{FgGmʅ;߾%Nt|*IݻTi:iJ~a "?DyH*(F݊&πh5E (au4bwr J dL]85kZPk$tOIF PCooK(z *viR{yO]kL%mWnfO5@U3"$l`3o*\6T0""TE4#QLU0UԶ-M͈DI?m[Kw H$`sq=flSђO-y ȑ#GvdGɪن)h#2-7~D w@@(DBB,CaB!L!ɄIK~DDDDDDDDDm۶m۲eD3"- UhF$ ADT͈DP}U=S+8HQBa0|@8(`%A @ B! ~+l~e|l\pit*I5{YƉ fOmy\t"hi>IETxisRݕ% g )vOGL/^ׂ*. {tQ|-N:DZR\S7R/MK=lwvuOUe)QX+>Wa^}" ME5Hiur+YRTXdAFP>ZYIm6׾Z T+HkZgEbE*W5꫽\IU|BT\'+;@Q:TgS%?nH Q.rh U]Bk.@)= I,(Y^kpL;j4dRg Gu:t 45PxjZ^Cܒ>+Y WA*T6öHVe!>Oj6Yk@MҽDv b뫸uUXz/@ܜ8u'j&{YiA&Y~HDK+,bR?ZR.u(CpD&ՉSۨ?GSp p,kԉZwP$=5.o:G5x8URO`oAMneU< hObNAj?f{ %V!#Rв|.A;4RECc^&4eԃYG2\K>AAs0-veW9>BX*kro_TJ*cA/4f?A&.B7ȹ+Y$kYʦq9pE#EU`g}**kpjM"t)9L3P/P ?[qU9\N^RI8?ԑϪHm?SNәVz-Szp@EL]é=Rގ̷+Ԝ~* t57Ĕ6}72^./zaXMU_z.]t]UWCoE&\=/ӶA`V;ic{\9HdTEd4rn.. {L TCL]Np^e%3xQ=Dv2Gcظ7+]PuC*jyA'<n%Oz6Z{!eY]g5Ty~j U$J\ۦrZ4 vxe1{% ͬ(.`4kNͯ>3+YV3JʔUtm775TCj>\=3ӣ+=rB珺P5 ;@J:7iD UJ\)?_Y0#=eU&sjS!_t= *@}īBsqUk IwYdhWfn#Jh0U0_FepNy%0#{Qx+*Oǚr(i7#KJEM4YƢ~`J.TvjAqr#vlEnNpxT_J$2ϷL_iˌ)f,n*|xOPj~%aGB.[@hB!4?*&Xюqp&u[<$U8Y:u?5\rEt_CP`Y?-9E-܌iP-ʃo)\|T%Vi2NCˤO-b~mA:8ZhE¹H5$Whxqb^`r%Vɢpcr_̺%٢8P33+t1_El|"̳髖'z*oOkZX̛Ed@djjW"W?VpoQ\BEůLPr]JhE0U۱"! W/e =eB}/O6@w5|Eu5`Qpnۈ.iZM8Ml/˚v% Gy͍Ὀru(iǩ,&ɞ9s'm:2FՄr)h(@IHЕf5oU?WpAYܻҎ;SO ? J?S 5W-HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/document_id236' 5W/ 4HOL-Record_BenchmarkHOL-Record_Benchmark.Record_Benchmarktheory/other/fact(/ Y$@$iw7RjBHqT'L;#ua9['eNFogmMrڻ+kw;hf43{̈f64VUYUVUUD 5"aYWUU[^e9GDT2F+VHNDF>3*V>3SID^|f>3gVV|ՌfTک59HP0xP`ӆQaDXH@kHPJ0C>(98,(0` "`S   h8@ XA Q$EP$,p@ ⠠P<Рp`(D@,48B 08HP hHph@ t+kZGʑ6R)A _iE"Cd !2DSB"  $lD3 Ux[$I򿻧nkv[ֹu[3cn]nۺmɭ+KkT~lMl9s{yw#wwwg433"2#YͬVUъ&VrUGddWSTD**"")ְ5H}g3WsQ-QۡD%DHB%$t$Os wB1[k.P8w|#FmlcVW]uE]t%.qb(&x'xoox7 wûҮ+JҮ+ʺ#H:#H:r#9pN=aOb BA(r ʼnD4}(]% P0 D! Pp(J|D px`   C  ԡhh@(( $$ CA‚@bł D@0]k_U[r-G{j9%j9Ar 9!!G <@$8$pP i>pPAommMwglFggl˜پ퓳]rGζwwWwt;1ݙYͬf&{UUUUUՐjjکWE""VY'fffj43C3 MfL"B"%iL'br ͌gl؞]vZOi mm{[7"y+rWr?kZvkG;юv\+Z_k}^ky-嵼[{kogY{֞gYk֚fYk֖emY[֖e-YK֒d-Y;֎cX;֎bX+֊bXkkm0665j,~s~OwʬʬʬʬʬjjjjhhHHH8."sq̈gzcf5#9kX"((ppp"?lͳ9l,MWZ6l*uߟw"!EHL,04H@ڣY۬m6kevY]&kdm6Yݾwnmmݶun]6ݦtn=ܞs[nm-o۷}۷}{{{yyڻkڻ֮kZ֮kںkZvt \ϛ%"( 5RJP``!Aa ` A0qL}6HXU WtKdD,'f_og"h6wE,`䒎pdSM,=R%DڹȼsGc 1{G!ߜHzKxImZYof(86oϦ2.;'Kt|@WF•舐(/ё!Q^Y)WbrDry央DDey&\ O坑r%:>";3JTTHw^Ε(KEb]?2Uˍϊ}sZY8.76YVm\׿ Nsuk5^^q|V{z+ jeU\/hgk٫+Մת[k=nHy䅏7 ~[Ҭy6}[?xt/D0{S 64'Ѥ)2==A T.DXGpI1Ϫث; \n6*W_6N芏Y%a u$N 7ŐK h5Ɫz@G9ԻRfQ}\_{Co~tTiwnju[Tƕŧ|?g3\~9v}GKޯоPty⾁W%|R*8XR}4hO+,1 0p{B܉l45963,i`u[~?ӻŸw ?T]6cg\m2EuG >91sĎ3ŐK!/FODr(@*@Nc{%$( \fK=݇(p\bг.Kk8O{^%/g dJ}á Q+ Ko0v 2 >LfHY^6S[".|*r!;`3x'kA$AƭJ-Shb7(Ho A0-Uf5P՞4YIE_Go:;RCdCm=LlXv} `B2.%~pTÍdzQƴkHޓ}Ocl uCѷ"FFp+S4Gr"]4|{,(~T 毆< ɺ?J@NWB ies~סaõ SaG?0 va#;5y1 8!O}ZҬg(7&E M3=JB%U &V=:C1z`(潙WR CC'4)^== (ch(`Ixv(ϫOn ϜlΪޯSKwKsXj#tN̚1Upeڎ٧+f7sEge_Ǜ\Tk  /߫'ₐyHI'_W2OAW)nAlt0GSn;3?o?)kJGާs L3ǔPo`4muc|6s|Bn|=QzuDb,&mĚ4hjrP^p ;٬$Ѹ fl_SSy~}±HTi37onƢ;dxwy/XO?E/s7ZoCi22O.?_WOd;[ 㑸M(5V'lVh|7Am4p0+Sv nfּ{ISwĩ}i t!}4W~*8= f/Ln]Hw'|x;[! XOM%%y&n6lp4n@_mt;tZ̘?ij蚎83];q=Es]ϼb'o1 ~&/ lC'sh#%޺aX$$o ě4xj:( /p7d68ZKS fV3Hک5owXKuTw3:}iZn1lLFB_Єhx+N!JKǽ!GFx LI#GA"]#l&n4J7DXCo,e-gUǎܮ%ce,^V'zywT."m`0CӔ^Ԇo8kN<-`]ǽ]o5jǘ{Hop™dE㽛 M8Lp{liZU{|,VCI,jf/* j#dAG=mmD/6Pڙ-Bx͟^Ԅo8kN<%`]Gz+ |ܯN3Rv; N8lVhn:/6N8㱉Un\1zӧz o [ \P\kAj_g zI}; -wǞo0f]V@LUox9NӅy_Lw4 |}ӧviiǴc1EiQZ=iOړ=iOZ֤5iMZ-iKڒ-iIZ%iIڑviGڑviEZ..VJ[i"0!!@qQ Q sc "  E!bq H,( 8`hݺu֣G=Q#4L}}}}===4 O?ӗ/}K?qqqo&FB,Ț̂^2 2sYXvc ǘ`$P2۶m۶mL;J93rF9rȑ#323GleYьYLB#j JV,I$ 1CBMq8 ``aA-EBa!'i$@ B(>!Q8 D#A0@  @ AB?h&T)p_"*\, ǀ ^dS>r$M1{4ȷIZ!:,z.<~^*.eZY$k>=˄jY}z=@P/""Lddcf!? U//! y{E m!~ <H[@@4&rr g QT(EAfh$ȅy+bЄU[ hohUi]FP>[!-3e9G=HdľB=y/(LGr٬1>^/Ļg N/KJWsI,D`qz4_Ț{X{u,)`TJ$g]<;"܀Ok= t8)N̂z[,0תkaZ6$r˵Wsmiv:JQ@ӰVnYBNNx44VD"]d1Э2Md41w@3wd\ƴ+5dTN8M5z14@?ޡv@$L-˰񁩆E7)7/!Ap>U b%%zHkI^clJZD̝7Zh8?RL>3ss/s<]풋򭒇dЂv&?[yGAJZWCd$#sL/H ]@XlGR I[H"YKFiosot2G2%ccVi ]%JbK AL>̾yO"I5.&(+; A+N)݁;PL;_gE/퐈4+ ^Mk >hʤ< 2ڎ<46Ё14Ǿ9MgV21 h H;>V-wkTuϗ[΃]IǚtȄOI:.# ШF\hJ `[WDh`!wV%Xd'[)J4Tll)#$‘Ӧ81Q"ÿsx۪b(d@. q |,Vl@`1B HTj1S)mOӆo_Ǯ=ڵ k3e\XNTp totI9{i z8҇_򖮂-VL2A/AGĺ<KwDpp^_yn ڄ|AWkY*+7v%̿Ʈ@؀Q[bJffIf͛GR ?2cƸIuhX&89IZ~*u?A:OP'XS )Z~*u?A:OP'XS9.9ߨ͒a^΃>o 'MsruєܺhJ/7.ZMSruєܺhJ/7.ZMSruєܺhJ/7.ZMSruєܺhJ/7.ZMSruєܺhJ/7.ZMSS*~^vǓ9('k:iKJ,Eؔ ]  Y k.'\y]E+aE(Еs6Ut%WΘr+dYMW12+ѽElЕ~Q8u%W͒] ,eVAW"{P+aPƕJ⺂H5uͰRh\SU-*uFKJORh\SU-*uFKJORh\SU-*uFKJORh\SU-*uFKJ#ι&8nʼn$g.2<P I_a^a_0-]0LK Si)|aZ` 0-]0}(gj4x76͛\y.PrLAsӄƬ|7!2%%W K8;-3f^9I]̈́bJW3V1LULz&*f 9Z<'JTS)E̐IXH$,Rv6k)MšE&a͑IXH$,Rv6k)MšE&a͑IXH$,Rv6k)MšE&a͑&)nNw3jR߾K$jx_eHHo/R7 鏔MBvKf&:W*W3Y_ 7  | R 5W# HOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/markup(/uJd0*АF'cl?"vo$IHҲ%9*d*V"a|^koN}uHϬ@DّtmDR b12P5&RK 5A/BjB HȠ Ez{UTMc#L iBRkgEE4j%\qT3PGi; *\*J9t8ғAc ͠(%6trhJ4#HAA<8x@A}0 kVb\I ƍ`[:Ab`gHti}*4JQ%@K!(J]FQmm۶m۶m۶m۶m۶m۶m۶m2>ؽe5v'#|{9sݫk^LF\ceswJwJNg_V(F31M242 4Z׊2ۻ[?/\~| {m_c-(e|0Btܠ(t5Z{sco.([4R.'z.!p '{s<{@HTJRN2咍G.SDhe|2¸pvF Z;/3aB@&0< G[(cGdr# Q2杤Ws"Fԅ;K)ן3(,˲,˲,˲,˲,˲,˲,˲,ݿً{ؓN:^kpؾbfm۶m۶m۶m۶m;lӓA3HƖо#p[njC\@it@ " Xұ=mŌT.cZGEHBд2aA ceTsQ.+hZI$ D09Μap @E]|=413Cw:EXtK2WQtb6Lf^FMV+BC`@q%H"= EEEf ;'JxGЎyEǚE"s LXKEgnA՜-qi4yL}#fcD$S@@H jJX p(a0 B  @ P]K~E`͉(@tôuVԶaChpx-#aj#ԧ _ X B4k祦A4;c\ 5W!zHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/files~~/src/Benchmarks/Record_Benchmark/Record_Benchmark.thy Tv4b?r)LלS5yOf^葀al9^!160 dH>؀]-s}@v{2bCĹbI2z%e8@b?DM & g&F>4xL.^yB!3l3dDW0Lhߪ#K/ F'Cyo|Z \C\FaV5L E~-8Iqm1 ºZH 2R>go3/fO#z:DD FVSB` J$^c@]$WOx3,xȮ[@i@UqPНT6XZ$1}Gw/e꽩@fGQ ,ē S´W#G Y-U*=\& +nl(p7+ /0H muXԳ7k9vaqAB(Z$5^<_%:`ĄR7⭭!a/-1M d*S\*;*N+鼿/L+eN)f#ڿZ#"q;f!;!R[( BȃfrǾ=+ ]ጔb[yz-|?"N}LڸdG-\@ "`Pbfo5 \/.ɈG>`_*n-X?Hf_?kQVuc3d8.O ,g Ȧ];Z cuEŦ.Eg^)DYK5cW[6b'S8*'q}1c,VDgAtE@&0A@J@` ,A' `KP+J a<̎Ԙ(0Hu5zAO5[ю8xfVbgT2KĀhC)@s!'yN4ׅJQcZC"Y%$ä׃)FQ5b `R̥]i9NMǒ @4C L$\! %pID@H@ A 0%PGH@Lp $\! %pID@H@ A 0%PGH@Lp $\! %pID@H@ A 0%PGH@Lp $\! %pID@H@ A 0%PGH@Lp $\! %pID@H@ A 0%PGH@Lp $\"X!xP"pI!`J`KD#M@L` : &8,!'P#I@< `K J@ GL@N  (8 @$0% }ykC;w[x&i(3\;h"'z(Ba^$r+ :Gx$v;I8H1mJӒa]Vi{\vK 3Pmk GJ\`7^hh&(dĸGȔ2]-*VId2\»#XObٟnB%ͽ9o;g0c |95eDB`Z*OFߋZ|@/nd7DX(fb`]%t绅m<#-GpGFv OՄT&xf浮f>WyW.|߱9 eA ^܆oN(deVUfDThhPp?<4x˃w!UlS\BwpsHbDpQBN NtU$W _jΒ.jm]ႵTMu./-AuNK,2uk)S®jAX\Pӈw n 5W' LHOL-Record_BenchmarkHOL-Record_Benchmark.Record_BenchmarkPIDE/messages(/2Wml'q3CUN"i~,K+7-NFsӆ@c4ICxH<0f4iLO2q@(*&=FJiEv(z2MhE"t Ó.( %6J(i¢"H($3TyTLf<2SUx0(&I sc,E@0 aҲ f(( (EP0,ɐ<( Fd"y$LcbcIaQ$h%-vh#!!YiQ"ݽq(,ä LE8aqL|v"$d@HBC4KZ8@RL(Y$&␀`R#4c*& D, ҄c8" !&4â#ML$4 hYE$aԎ]"Q&""&p` He⸐A`@ң"4 E !Dw6m5JR6;/3ff%5FԨKK,9A9й4T6sxWr|hWi&U0aި-˺S^ qTXHU2]̍ 9;K;Lb[CD'҄[Hꫪ~j=z֥5JfYgf'O֘emiYg]YAكAysAx;w;Au "RT=xpp wpѡ۽ۼ=wNNN!ӵ5USӴs3CeeP鮥*s EЮ*jf9X 8D8<4x RQUh$_e_e_e_e_e_e?C[)D젃 ";t  2hmwtu-7Ξ}\ܿ}[߯IE%"IJ* "D)DePAAA!@X@AAA !3}0zqf.VQbz1\a"^3b&;{dwe1ؑILcOL0f;2ɘ$c߱#~ǞL3{`we1߱ILcG&3=2f;2$c&c/~ǎL2f{2ewe1߱IL~^&3d;dʘc0H?LLJq"0H~Lbz1=\d_%hE0`Qo.;SƕCE0/L/^ `Y cEb~0c^L/cj1]^$c"sZD"z<Ea>.2Ebdy.""H&ǨEr1F.E0jxL/⏑ab{^"0]F"0H|L~#lE3VPSHF(bgC3(PD50şdNQkF(!?|3:ьNT>D gt"|'>4DD3:Q O|h%щft'J8D3]EuE,Ld+w/M%hoYᤀ!#0#C29bIgu|1RIq)8("jf`"\sȤSn!&"]+k& GvbҲFsp#}:0#Yk̞O)2_2U- ^t smG|LPہ{c0k$`}4df|uMI#pc4X`sx6*9sG=F3dY\ DldTqj N[ nmR'U%GΊJ`[Gwl,bƞ& a;*WFFdʪ2levP19tt"RFdurj ttQ>uM (bILr\.}}v t:Nt:}>|>r\./^z^W@C۶m&lcJhbLMd,[aF2#`DRBt.||q>aS$  B  B0``!P+UӓUld; 'c1dmd`;5e y2><cb1 Ob1OlG'c X̓1a,4dmc9#ܔ1ܺI"@+7,󋐚rlNXؼHmĸx)yˬ],ꎔ 6Jɝ33XU"x^UrLfpVܿTɀT?* q^x1[T0\LǴxaq:2&ń+Ѣq1b9bL~ǾW/B0]\{3]daXƼ؃";Fq,;0_1[cX8hcE;E1W0.1Z4cZl`diсE>1/1Y1[t`c؏ibb3b8fwL/ʘ-1[`\c茱"Ӣs}L+-1-60_cxǴ"lqb Sf ,-:0_1[ǴXt1hcE3PX)QORߦUfpZGsWSN~-"JE  UBCppPaʏ/OG8,q -jv";~|BH2 ȅi~7V(XU<M>ʹnZ3@XUЄ͆13Xc9`X&ro!v$<[ ۥ1oG)U6/6U '7i#9jT8]]{[ݽ %^Q촩,M֜䕅=K@TAsp7'ZvTNȅw upmT0ʫDcb;*C mu cIo>̂v+*`jlO'#FW6?窂LY RƑ4~)8oU$l4$UKI nr`LǜtI+.́2 ={VU7RNVk|M Zbu9b8 ~WOJEn֛[g\pޜSlԧݾ!X2:߱en>tlZ`J o`8ig^ȞKb_~Q ^Pjրv\y [Fk"p<&Bhp&m "ؽ, ˝&ML5q-;)}fH n[ߪ\捦5݄y8\<<`CJa "-}Yjי ʑ+#Q{&r\y<s*rc6m1댬=8%ުC۱ ߓIu6Q<W;vz㽿dV'.&vG'b="J恟pjOTcUL%Ax:6K M`1e]R;>)mQ&Y" D.Bs-]Q߄Z8e7 ,7U8Qk^NunMi~Q̂oqyJ( =2* 1f`kw7ЍEy8:;/b#Y3|/ UN7D+-rcb3O~OQxL+hp; BZDx YEѼƴ iP\[o-[ x()Ui}h#Bbr<zbiFC ܬm/[ \ӭ~`9Z-K0p(NX&Ho}^Ώ-> -E!΅,x?"nk/(fXٯ#eolb29~Uv#ٯՇ&!/ezeI:CFUs;o}ďp'ʿ療^hP5g))^q3 zy&ΎRdBp->A m",Nmox902Ry+@6vSH)P)Ckngf#gTx6"JH FX{dB'T*)Yy[8ya;6d^:Z;@G2l械=Y>!!{cL 갫?Decf ܻ ܠ"2wf+/l=e:T#iМ7,|M9̆luDg KRMVyeیa66OOacC1דhSn1IOgėz2R>9kagF #Dzm4_NLIV_Nd GA$Nlv%7t}xm|(-m!Ho\a·V7oZ9Lr22xe2)aܾѐ8^cau- r[[nh=oE%6CnL.IR]'G-1Q˱Z_jێkq׊1Hޔc ?~Q7i$pA;ܹ R31y1J'M%^iS#يPJcĒ6VHLڮ߆A-{ -2hmH*:A[S@c\Ġ7=(31"=<^dQ,`.-j&DpbcvKyF)ܨZçmOoy fQ>*<|>-׵!,v5^jLAbwsF5>܊&lqjI")6ܗmPmt8A*$AqMjs'JPjoP+gTs*a> qLFR- w\kq$FnsMMC}59;bj{W;bA[̪ q[Q54K!ˆS-gsYfAxlK(;2qF~n¬}p g@ʘC4SgWY ljde("dɛÊ7ɛ% ˾0a5)Ԑq`XD u d;g{Ze3'FY[adĘv<ΫuAǤ8 GnޤH߈\mIJOE+ {;cUcT8vZV_!LH⩠|aliٻ) ZR\b|u-Qkq^-mq7(!xKƃ^gk1uMv⚁ 9mSV];̚ '>ݵG xLfO$aVo|n. t/(7 7>ȡ F' =G[\ΞhKyä`1ZQ %JO;͊-iP'J/ {hslŒ@&d1it͋񺫢u"-mJڙj6+jdu,ylNӎtqipoY-ƸAd4oܩ#ɱ@;k0CI! Wd j/jQH# 16XK@dtd\ddz~Q+TXw/~Q3pĄhcVggHaaz*E'%U +E(Ꮟ= MB˷7>__7?ryv1[{*3Pau)ƺc9YsDXQw?k)+n|T2@Vb2F.Z ?2 G1/e0'nn9 (~H\ %XmyQJ.UQS?7P4)Tߚ~Ј?6@՟GإBS&,cHf6ܰbI Ω1%Ik&{ː[]٪wqh B(ʉ|S4$kP:σpw,FO ~xa5ʶ1{}$ZsbD2FjKKR~w{R%(uB,BN jayzb,g}/wHR7c FրfɄ?&%)4&XA AcA:Y$$Һ@ق6(peֈ>*PVCٜR!Dj Mԃ%X!! P+EI y5WĨT>Z s@.zB 2$%+"#ϠIG84&1e@n8V۠?Q;e(hf*Si`Vwr/ $4}G*\ :Ꮫ.#O)YL|e938OvQ8#+l[tme0R1nilR^6?ܚDI$]1#5Nqd kI)n`"w³ ns  Rf"Ap#p~{E?b=jĽXH˝e9[-l2(V4%M)!OMoZ[F<nBXX%&fQÔ2$ꀣMJ 6D*_:KWPh>}OJW,{991MvQYɁ%ĆX;W/rT[ZL**IL q9p-cW5)A#h`2Naan8j zG&+hh%.x0o `p 766rKX,98{$E6')H=/DB2%K4b_-S]s%–rH|>c244-9}da\嶐Q#7(Gl=…i,6(FfRa]c2=,z% { 9F+mT:W3$^RF,VB&~{l>y3g O LoW6~|/` pΐ4s` N䦕mórV?$Irj'6pMb7In`2r,>Vk&p 0~~rLL\I>}PdSʖ?PQx*$bwOjR'j [4g8ǚЇm] -8x] Xp񈷷,+DÕQޜ:&3~Gϖ K4D^BIbȽ[ktՈEp_NWLsė~;2cɲHsoKgdE0NNĉo@B֏ތ ΀-2?I>qVɦ X8N׾q6OqAEwt~ҁBl ,Kf(˖O%$u `{$n AT;Q83k9S8OђNp3Ep-zޫ' ˈDE}"g6>V8CB=yQ8 #[-wc=^]ybEuy@jt1oskKs=b 4άԉ~:d?NBn]VL'SulWx15RQcC]8c4 8H6I?aN2°Y֯YVX&';hay 7+"5oLFʬX43à a:*UZRgE5_Y?v8X2}(iz\tF}W~)D? Kd֚PbwT_qג)08KE}b{TWvA aC26c z9{,UZ3ILBҙj}&1Y+OJ9n oڛ%*[m>쬼ں$S!h2=\Sn6M')\ODXd\ "/G蠭2^=:y&R9J'zi_hKC6b| XW#]vVOo<L0`PIDl@LujoO,/8FR}4ù,BTNm^kANq vu;Zj%L|Tn]fElZ1q[-G*i,΍ U_bk>\W+ W]j"67XcʙquvTJ:?8߶_#f²)h^EA*I{ WkKzc83 iT' xJ2&jOSms5 [|Rp~ŋddq:u_Agnr;H~}hvQpA>w XX3a\K-oo\pK:Wxkhfd`/(ϫA w\\D\i# u,G kvZx;J]e{'B~o_np,_/Nn_VfL,2V p`Bb_TlclJk.