SQLite format 3@ .;  B --?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 1t\|$ ]/ HOL-TPTP:threads=4elapsed=12.561cpu=13.476gc=0.2367zXZִF! Te]ŗXiɟH)0!h]G\s5HaN, #cLœ#ALGkx6on/OHɂ/sᐔ<kU:Ϗ?v{{2LT(TG-57f?:>nܽi"'Jבt`0_Ȳ8HSYDW?vC=Ƌ=J<`?y萨Y}Ͷhʱ˥wk_1Kfvb2@Wm%r>&w%: 8v!":c@ %bϺz1-6c0V2kzI& 0/4?dYl Vզ;G0 [ b1W/eEA3 INvD~8?o߳}v݈gn*, $h.y M4A ɑen>θR$Fl3#犫Z++- ǁDzд [ˠM>CVZUu3)?#DڌFI> [,X!n#v6ؔ*_`սJ6;LqY E6\^#H$I{V.kMG,l(0zgi*h%U[^M5IqTdc7aO(K˷ ~GiZŦ}0Ʒ%fc/At[t=V-ɡjB }SZ}Ti 1}0@U@0-(~oo95^=P7c\#"BZrΰݸsͤ!HB0$جV}sG)ŭ@ǩ\R9S?Zɶ0t(]9tmD)ҫ4Hv @ԫ:bj4LT[P4}xvsGvDBD}0v U@JֲU0J;_c4 q3"V?;~yMrn h*FUb ogYZf57da2769a2aae1e1404c9a6b318cff1ce9b9838c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a   HOL-TPTP1% LHOL-TPTPHOL-TPTP.THF_Arithdocument.tex7zXZִF! 5^ ]A-MՋhvG"uIBm5]W>ϝ.gcѸi{mCk*?oKz kfAq钤`"Jhn#Ӝb42u.Kd(#co踨ŵd5FjU5Ikw2VI]}>l~it$jY,"lfQ&S"Lї9֭H:Ohpr'{8aeoJ0WIܗHj|`Ȩ:%@lZuZ"Jr⍯~Cy $N[0egu"! Ie`%ZI.ȴ$3 Ls+Ack3vL&)6!:B[<-dzkreDc88tF-^9k]kǕ"x#6~Dٰ^Ud CYյ+G2Wg84Ij~˳Ē~2=du$ U; 2fTcSv=}E25{OP*W@{Ph WVG־(6W Gg'0^+a<} q۵N^a Rfߜߗ;vO3'^)~\9EmwQ*,;o[7D*=4E/NΪ&H;QƗj=D2KuVb!yc:1I Ievgp)R9qbJ^J׉<dJtvîKUpV7!ǰG9cK PawFNTu yE)/?πբgXe+4\Dp9'i@r8Ip`g!v[[̲lRCcƽ1^2VT74*1nc K?O:]b$fI<3R[h8^Z!>b ;P? 4FLh*盡 dk׭ sn*])a͒F9{? ~DD[ﵑW6Bֹh^6d$=?|̖HJm/ac25ނhk}ԋ3Śͩ>WtT"arⶌ(~NFM7G{f7fr?~@WH8m-3U( ȼ!c jK߱gYZ\5% dHOL-TPTPHOL-TPTP.TPTP_Parserdocument.tex7zXZִF! <]A-MՋhvG"uIBm5aU?tP@A岸ˇ|ߝs_Úw߰{&Lc㷜mZ3w}͇dIdOgC-H:ړӁG0 Ǵ tB-#@hTϨvxY{N`Ԭ>(bHKO{YZAO[?grSxy*ff gmVYݡӼa.=#h8\n<<&=Mt K CsN{*7آH_sɀ!IBt%# 3156?,8rjGx! تYPvQt?k~9hGGq"Sac/Zܲ.:{iN;x_5ZavytKo2{SCΦ; |4[DiUcBɯөN*3"J}C.Be&h3 koܲM4&yO49KV햑kg U`|HPޡz<Aе*f5}SL h71sr_ͱC '*ʇE>ʡP18ib~/k.N}9k Yv2mtWD&a_JТ-NBS(W{ͷx#d w_Gc4ld^O|RD-H`IKP+t"$.bI@duoNc\lW ph-9 @'̀o@<NLo;ܭeϝOFp^sav򺬌OzΣU>Ny~??4*H1"/Ƌ l8&_v4䋛QN +l9~߂c[gW-s;zrͱ~swl*ol3kzLRhHn-t>L9U(aZ#OŠ4_S. >{m,wc{hpCS{zoqѿlS pk}ލx@& 4jC-=h0SzBxF}AAZ{>jg#CrYSQ=8 IRnœAmE\VQ/N!8\a̺m܇ŇFpRީ}.}2>@%ަ0k: nSgYZ^A% \HOL-TPTPHOL-TPTP.ATP_Theory_Exportdocument.tex7zXZִF! ]A-MՋhvG"uIBm5rpp}Q?x.'Et#u 1eРv'^!ƶsX1۬Qy֞A|z3?~24Q!y A(ʗT4hMʍ{]h7Ew& i]xǹۺT2(\o^]di:6asKhT(N HyClQRj$//fo'2c*2QXʲvS2%;MH+Eϝ.gcѸi{mCk*?oKz kfAq钤`"Jhn#Ӝb42u.Kd(#co踨ŵd5FjU5Ikw2VI]}>l~it$jY,"lfQ&S"Lї9֭H:Ohpr'{8aeoJ0WIܗHj|`Ȩ:%@lZuZ"Jr⍯~Cy $N[0egu"! Ie`%ZI.ȴ$3 Ls+Ack3vL&)6!:B[<-dzkreDc88tF-^9k]kǕ"x#6~Dٰ^Ud CYյ+G2Wg84Ij~˳Ē~2=du$ U; 2fTcSv=}E25{OP*W@{Ph WVG־(6W Gg'0^+a<} q۵N^a Rfߜߗ;vO3'^)~\9EmwQ*,;o[7D*=4E/NΪ&H;QƗj=D2KuVb!yc:1I Ievgp)R9qbJ^J׉<dJtvîKUpV7!ǰG9cK PawFNTu yE)/?πբgXe+4\Dp9'i@r8Ip`g!v[[̲lRCcƽ1^2VT74*1nc K?O:]b$fI<3R[h8^Z!>b ;P? 4FLh*盡 dk׭ sn*])a͒F9{? ~DD[ﵑW6Bֹh^6d$=?|̖HJm/ac25ނhk}ԋ3Śͩ>WtT"arⶌ(~NFM7G{f7fr?~@WH8m-3U( ȼ!c jK߱gYZ\5% dHOL-TPTPHOL-TPTP.TPTP_Parserdocument.tex7zXZִF! <]A-MՋhvG"uIBm5aU?tP@A岸ˇ|ߝs_Úw߰{&Lc㷜mZ3w}͇dIdOgC-H:ړӁG0 Ǵ tB-#@hTϨvxY{N`Ԭ>(bHKO{YZAO[?grSxy*ff gmVYݡӼa.=#h8\n<<&=Mt K CsN{*7آH_sɀ!IBt%# 3156?,8rjGx! تYPvQt?k~9hGGq"Sac/Zܲ.:{iN;x_5ZavytKo2{SCΦ; |4[DiUcBɯөN*3"J}C.Be&h3 koܲM4&yO49KV햑kg U`|HPޡz<Aе*f5}SL h71sr_ͱC '*ʇE>ʡP18ib~/k.N}9k Yv2mtWD&a_JТ-NBS(W{ͷx#d w_Gc4ld^O|RD-H`IKP+t"$.bI@duoNc\lW ph-9 @'̀o@<NLo;ܭeϝOFp^sav򺬌OzΣU>Ny~??4*H1"/Ƌ l8&_v4䋛QN +l9~߂c[gW-s;zrͱ~swl*ol3kzLRhHn-t>L9U(aZ#OŠ4_S. >{m,wc{hpCS{zoqѿlS pk}ލx@& 4jC-=h0SzBxF}AAZ{>jg#CrYSQ=8 IRnœAmE\VQ/N!8\a̺m܇ŇFpRީ}.}2>@%ަ0k: nSgYZ^A% \HOL-TPTPHOL-TPTP.ATP_Theory_Exportdocument.tex7zXZִF! ]A-MՋhvG"uIBm5rpp}Q?x.'Et#u 1eРv'^!ƶsX1۬Qy֞A|z3?~24Q!y A(ʗT4hMʍ{]h7Ew& i]xǹۺT2(\o^]di:6asKhT(N HyClQRj$//fo'2c*2QXʲvS2%;MH+Ed.fI}LSɼEHk tRXW;r!wEUmߗl³i3Goy2?3UBi4)K䗱>ő#\ 4uBtwNgR KZ[z/hHds"xZb3~24ӉigW#˘L0n \|Z$ mi/̉C1w1mN -tXq@o Pj2ۏmX;/X"fBC.^ r~,)gI Ȕp c9_ӧVҷ ӯ܍V9?/ euQ՛ivrY, f[z0+'A(e vcy+"cZu((f?^B'XHfdPe}R˖XnH|+/TQ <^#Z.J[ hʣ|$kRWQxX&IWIRʏ!g)A?ˑR[w0LqÂBhB u- X :D͝7qTOV򖤐 lǓHbTwTNRo~=#vr.NLHQ-Ǐ7;}6NqoE5sTIָͦ B+dnb Zӂ35ԇsn9<[ȏ)'.\2! RXr틂 jIH"M3"%~"8Hty ۦir?"RjmjR;/Л 5[=`dZf?W`l̓_\[VHrt o)4 ӡ5jIhWyˣ b84a?kZkoܤ3әi <5JK:~ ώb56{БKGgH4Sz|z+ugΊ)BzAuÉS|\Wm/8}mP0]0zrGHz9X0@F ~_%$$˱gYZ61% HOL-TPTPHOL-TPTP.MaSh_Evaldocument.tex7zXZִF! 3]A-MՋhvG"uIBm5Ĥ`eJ{<4LՍ1ɽj=,=S*@۰^59hE +'u ¾<'ά1b8t Y0d/V4ons%V?AOq]uO_UWZhqꨭˊ!$ğ+?J7l,@lcЦ ªCRpOV/{*[Rem)khyvSMĺz{p}h7iJي/3TcW2q?d)5?U;zZw Mq8PGIh`OK6hbS$a` RlJ\Vt٥qL4'FEϘ Y%a6R 1T0< X:XʳEG04KTRrRIybRB]p?!mvxICo%T TA[ )qaЮjR*&^3'uh%n&u#gYZ @Ձg#Up :$]q ;6ul]'XIdizJ>\;ճȼo8,mZ, p*aNV k S@y%cF%Da9UAaxmo1 35K`s jC2oj+YQSlm6FJ('̟8ڽdb\JCHuth)K[k/}V#/ ";-)yڋ{ =[JaIS;9Yk\* 7>.M1[#kݜB1,$ y,ȜLyaw#k vѽ7Ʊ*DU"u |E`R,|]b!@"p }I@gݡ|&M+meRX&gb8A>t^K%3rL֐DN ׌/z * 8+- 9ܕzhPʃzb`R)W}hvmNA63.O &*d$2sc5p\)3RΊ(ΕAʚWa[M ?f"r .ֆ#90Dv?z'.Go=wP4*nG_OB8d2Ig`_·o;58d8,.`[sbӟ[j윫˺-ʤz SQ&/<~>bT2(J\o޴ZYYթj8 Y+7a1/TBW i=x}En=XqƿF0?wS{>:U咅 zxgK¨T[Q8Fz6*~oewS 2q}%\i|w2}XNp[VQ0 wH~:9촟⒗-U@7b}"njuA) oR2xLt?EIɑ߇ "4pa5/F!<1#6'5Zv+ll qUN nC _|ĈcSmReSDCpHڙ~@mlQ]0K*Ҍ֒\ 8G// lcɷ=IFsB6<3ePQer -֘+b~:|p67/)hݮ˻Rubہ^b03Cb5)j$waQ.[9l ߍiU\=5,^yLe.OmI흡?_ @vb&sJnxT7DSBXxwE-m俍(Wgw%B2g#s@1⳩- @\PyHA>fe]=(UNI7WSh[VH@Iڥ,r7036b#IG$ "7y7Jjn1LdMk`'@"'Z;s(zS\>\WxmڷnNަ +yeKKe$Q롘O%79?uɎD80: *Dkn14JZD1V`2a2+IʩO9WH[y/h{k*X #zL623KOVΚ+6ȳ|w' Di#, a1& "DXxKcZf[jq</Z(iGM^YayhU-GX`6`YIoW'ې5?f<O,A.X -7zˈyj޾D\6Fס7 +FK\afl#+oug8y4"t1:%9a& @JU*d=“.9M}. u5q[Wys\h XIsL4:FBNC+? h3DnA8oG(ס}>KY6JbS}y~r'h5~+헉ӌ'oDJX˯RǩQ1וhϘ6 j J 16Uec?G...|GӖwߎ˿6w\ P-bk-QW9>#+<ʧ>"i r>W¨ـ^ GIcSc2cJy~:2;?|g264ɞ4}ՌX:UܧZ[58X işiZR\J~s; Wէ~p}W|Szj/Xr&f xZmOiR nIqBB0/&?))2b* vaqv"T]B0" e,Vzb(u|uPAS!H6ޜ5PhB>w=aۡ1=Z&ʙ݅qh I#v//Ŷ7te̕bDeo^(?BJPs[j*k>NX3kd~W#|yڢn\T"W9,]V|"{5|]-!Z`贂 4=Ҧ O29vwI N!ԝ͎w 7gBQ<7eL¢]f"{JG ImDz|Wܹu8ˆ`Ҁ|x1[iqdƈ.(1yt, t3}LY-|||bϷ#ބx*~wBz;xGjP`g=@g}~hh-na˗?@]@ 5s>$]Ԟ9xٟf/5¦M'Wfjm[o̧`mOq _c}7  jl(ú2WrDIӕ'ԣKt"Jfɩf?!L.C:K\4O  Ϳ& . ;Qhr*3'ഔsaK/FN_ˏ te] mj[>hބpFrwwjͧUL,pN2/1Yvvn[$gѬT X s{(~/eSE[ҹ" +U?BKN^ 8y+{~8/*Ip,r^?P&vGh|1;$&Р-՝c=Ui fRUR*]2"n*,`]o_p4gʂyj%r""z#%VXmɱegRHCFQ13WTA~%5}ۨE CU >!t|p皤%#$yԴrψX 5mujMUqBOM.HW\[؎'$Ndz'{O\+O!5Tqiutdx^C@.gmjRF 3$kgzj&T\ڷDŽ*)R6`dI'Q"#Cg a1DZ!iĭjA\`{8PPJ(1C3`srȘUN/=ƗgL8JtRB=2TsϘk*J9<+)6YL3GrQr1 \J8p ðQ4[ z7L};t@DS . Sf8  >nhY"pd9u"}mYT^75`O,]zqbGC6%l' o ʬWmnBvt[yMS%ɐ-j̓8AG+~X,Vl]tP*[lSle{< lr' N\T_0Sp7̽*K.$x\Źϳ $PxPw9[HC^~GB53DeӨ(I=! N%&`⏒34{iY^X@ 񲕐WܯXZ=,,,e=_. X6+Dw*t^M ҰI>vtI/|߰He@dE_6hy#/OKΗ'ǚ R1~kEl}[, y@R 9MmCNe W)*8O>AIhF_rT$uXͷҒhag+{rSb5:! φ›-=Ө@o!|QKmU{-ӳm^֎}< C);5E jT;jQF( ֯֨h[ntC ck)gt6"m5l~~ȍZAYXoXKdP;6[D1Y\${R=۞AsU}|Ȱ6Ȃ%7>Ӆ>5-F}є+j{b~K2 mІTNޮ{_UoeCRਢN9{Y c\X8%=H$t>מF4 ;)TVg;fQJWQ[յalÅ:^́:_#fǾhc/H? VʠMoǟƝp"j!od'v_Z|DLDn֫:nՎ5A':@կkG!=^;{Fpk퐭.sye!pN qް0{H]<*p;bD0;%> @L E7CfqTJ3 K^s?c`ߖq2]5Tri>RpeT#k5ʂ)=5sSMC4Zx-L;'W8Lc e&#:/ }"9~,z|tn#"-wJg"J}W`9ׯ \\S \YCby9٫hYHR96O4k&u/ܼ)#Om]~"Y9qղR2DNf9g?ͨ+;8%Sle*/!EE)JXsǩez'p6O=+øu#1ph 4o˜q|Lkn9"ZS8'8 ;:'W#:ItOՄ'rDvSuۼyު)$:=b[Sk)8 Foh[Ik:!zy0Y~&'($Clҳ̮Zގ[.͗G.v)jӟ̺%vPLx}KE-|<_vԩ.cͪ|` { >W~!_"6`&l M_ց"I8^wz{4}4;Hޜ޿m M* d|亦\r/Mڼ< DӉ3L\HfԚ8drN@GiAL-QV\f7=RYTι#+o#hHpfz4l=;?s.1\E'FM\xZ0,-L~Ͳٕ)flG{g,>HCaq<,g=TESF5xlyURAaIoUY}P=m~)&ZOD(oiW#x| ZpC1h. ʺe1} tU~w;'P/x+p.2䘝e^#lS2vDѤ%o7lEz#Jqn@u:2Qi,vH1"YjHR=W4Ԟpty Qx> ذyEFނAxs$jR8+QqVS1! @/aG+0PqJR9 .2hz PO9 or &2gfssc47 RuMq! Ÿh;9襑`>b$ 7ؾ➹M2 ~%9Hr4P\pJ _KQa'Qa8g3[DCD9G~Eˣ2;h# QUkJ'GT#)P&y),Xa,$Ί0 ,P=@H?]鑰_ޚX(MTb垗='=ӥX ޜg7Rr@ ^2HI}`5!8s"~)˱[klHd N08m`<ꑒG]vⵎSȊuzG-]Mh?f5x=4 @Ln>|0Byv$u< {Q/pEk⽎ӣxQA+w1Jh_ITF_sC^ X(S { ԙB*ᶚU1SzjuEUX`3{7.VhF17nAB_݉z?&0WP K9U~EKԒ50.{32ڇS\seOϣ5/?R|s UEfHdV][%`W|#+4KH:>'&6TGxWZ@Js6WПG f7]I:[)A3SA*nзz" b5`' ǩE>kmM&tE.93kc;n{~5h}&GբKDs %y9P}SSp:X~#Ί9崮dK&2 0.\c'a*D ,㑚<E}'q ֝ݼn_B HEϤ*cXW76u0*\@Jz-FWFuXiy-dݼ.a QY5"HAڡjs_0m[)q v"'tBy *Q3کM:)Aj C:<>򸃃\C@uk;v/  Y (=őU8J2hCGT \^Bq7 ,z2N 4(\NFYqӚn(@R F͸,J+K Zw 5_eR0__9eU[ $;=>jwNWbU:gD0s/A,sp&iBkwOT&_.2\n 8()4rB> uCq>\Ik̥gYH!$2ȃ755A"ogn:)ZjBt4uR}xp)Kf齷-Oyeφo`4?V%P3 :=0JP6-Үik`"o2zߧ( cI{5fS/Q(ۢ2GaBt+ Wzbq3UX6P>;v³u8vxѵ+F0=*ަ]R Y,>&clm2wQ(0i&(ʹH.X{aJ!AW֨ј*b'W .;@uo:׈d/PS*cBZiWL&#YT#9r|62ӌK/'1lj4xQZPN5rBT?^vWWƶO`sύ寳m!˨&ԬHS;Jig\U:bMZ#m&қD@ww@%B@^-ʁ.vYi/PĐOT*Lr(_~RG6  (%DHo67]Fzoae|R_ʼ&TXx;!7x:Tߊ J ;L,Y$%MoƧх+H5pSroN-9n`L3\Ύ`fb+F!߭;#:`:&˱?Pcwݾnyb^3|Q)\ƒʹ3qw3b&.܍(CiS1&npm3_)u L5 eŇ\RcgeQPk=Fd:(bdNՔrvQP֔ޔǫ29|̛N7ә /猵v&QeH.~4Kilˠ/繄yx@@Z(?[3gf 7Nh4ťw9'_ө2)ByErzjwyJܹ}fY?c_ o=RjJ1:s+99]rr?Ε}ii4H=ehNP3wkDEFVξ(*꾻1{' 8Ob{['OILFAa^ fQϢ4nډ eW=*c +$vʖ>ZK0!<9>,XhdGهQgwyzD&h++; f:+TEP0%(q27MBȷ(xn:zP`*3ip*p`(L'lZB=[]N,a@VxZ9,> n cEAb8C>;]&q ;^ D@=p2^\B]K$GOtɻVUI1viRJhᓊ \)?x63 [euz0va|(K+^h (u٩=C* _>V%gf )b$oG~* 8O%tG{Cq .#x:mY9ݿ `p&g6#oQ;.){&77yjAY$F!1rEL'* fMbk(`e `,1W1 5ЄĨ  k`:aL6<&äaI~ֿ 3V]gj/{ztQRsF%c$cEB"9O=Q߆؞ȁ[$7R1&tAgO(j{ݽu=cUS~PHW3IJ%T)fZ{X_ Urڎģ S2.$VcCj$^1/?P+*%FV~,qŇxɏ;>q?խ(o23cCNlۨF37kȖkbϳʟ%^<Uq::SGB1>W~i2V:*)S;_CRZ@601yNw^2Ʉr"mHq.)Ifqanˤ<D Z.6U+y‡tpiPs%Ѡ"EC@џ#00SUNS'sAz"Sa4d׮|:YP,[tDU)Q.*J@wjAR5hU Ƚ~GL=kѬ8Gʪ#~2߉EɝF?OJDy05Bo)iT&@Hw-ᆛfBw(dk%SF%:E#/ۇd0 JtGO` Y1nJ9ШƧC y&ղc䪏3湽UB@ 1Oz~s'Bօ14E\dpģƄj?d}*o5@A=Mî}/Ck5SŸ $)^ h0ITC&#(Tqc k8&:Z&M}=XOx.y`Tx`Ww  {{UsmXOuIԖuIAz09| \q;J{%$KcǺ}c!Rop~4[>*&G\:Q(@^4M8zlhѨNm]*}z䊚m]35,iq- rZҲO%pZ 46İu䛈9ֈĨGTQU) 5qھ ;ԏDm>MDӈYjk/,QETv4)VgfɟE6>/l&*pKtrWGywDJ5m} F ^HiY),B TQ۵'kD)jŤb~Wi1!j@#G,'oL=7Սn!|8㺲:9@MuʥK+ëYuLgY orβ QU[ * `ʁHI=QRyr+)񞽾h d{pU IƷ)7DGHYGExAw+*\ǗĐ2\۫  S I XMF>ߒh aiKuz" 9^u,N# RV{)Ƶ׏Gϗ˳3@J#Fݝ7S nyT$S#95bq+b7!EKɠA.|&*6NKZa淛b1g2zl8 _`8 w˵N舘ldyeb&m=:mڧoH$$;ҪZ-(/L -Eve8 ZJk->cQ2S}O{l5T8S|dX"_ &}vZb..;+NF r756K^هcm uO0ɌaAK``pba' U̡ES$4m$t9Z3MDvӪrtyu#2A8Wb(@^Xwؓhu }wgBoΛ#>1?MgI Tݍ;uo"3s4W"L;z`@ ȓRlN[,9*&OgtMj,5=A;e8ϰ 3! Xe9#Rma/c(w(o =0QaGm)"1B7w80y&V(u15d&DɶQ1p*~`_GN[~PV _f "R/Dj`qc1w#o!!+RVfZ1ԒmHhW0Z^]^`%NIK$Vwu_jiqBIv~/_)NDQV~YP]YPT؟N[U7ؓ"%A>Mab؏xF>s]/epUMPH;8ˑ  u_Žly-< &Zs9 Vy|@` %y2KC*UHT'<) H'6lOOk-:o #AV<#lu:" X}x&:S\#!XR3w>ô~i(2K<8\h͹MQ#]F]x͞RyeB>/$1ebvEjDbxpMA!Yk#gN.bI3TϷ!T7򎸅7σ(:3m{m#¿R׀Ӡq̲-.ms*8KvnoHru%!9)|+ j0ٹl Pzh02{xAn/]k~;+8=J!2vsO)V!+Kkpl<'J}4?C ?H:}_)*é:~ra#{Wc\gJDaL_;@Ji+7/0'|-P@Ǟ~#$Hл\'ېT&™>0պ)}(f0Dy3gnK l͊Y=ʝ7+alFZZxDC +1w>aF0Iv2,>)V?cRkIfl5ύo Ƙ 2e|w5fNHO Q6ҍzlԶ6ԏd, ù_*fuu }O*Ib,/bto ߔ5Ʈ%[6.p-cqX)on3V$|&A}e_=0+q(Mdr+.BT%?.wXzE@.0"5&w1zN`AoOSWԿ3 )K`߁r8PfjyȚ fx#(72,#+&q9`\GRqAHĻ VzFdC}fan_m].t4+wt-ƹdA^ƾȄeX.˿ *ecᬽv+Vo7,_ 0ٯf`Eaq"G0_";LT{n٦H.]K,GcԖ_]H-`NJYsg-$1gU_ J;)8G)˞1+I-[岿 ® eC&Zxq:K4P/B$2£Z;xv_|_? 2=1xvke2t~- D6Dˑ#&(i2u:2K ivMgȣrө{-gMsm&tqNA' f`agք2#[q]ɪ ޒL|X*j(!0,7K ;H ޘ`m{C}-t>(N1zbtX@é8 *="ṱ懒NtoY" 2m#&؞H yN?sP|W|-P0/L#c wl`lE^hHW~˛Ć >8.=vL+.G}},ǩ8- P#وOt|3Ӷz!Li#NU24֥Aprf=V0A*6=/ML*T5OU0F>U-E9rKNDN&r71ѷWq4EwCJ1AtoFGՏK ,8wa9m6e􌬭׫scO'.Ղ]y38l`!X}JwTsf( K ]ygneV*s/ ޟE».ttZлx w?Ed7 Q_.s5Q l=q#O{˄mw%7vn霁w׫ 3Wy;'@E\_8|3.qמ6A_;tC.DFyw J܇;88d@ꫦ6*tz@Oj =UlأFe>Xr* $Q#<2ҦԚe{`4V6vvzu;āQ[fD!vk9|RebciAsd{oyw'1e:ukw^~k+\VW/!<AVvk v<^,):1xrz !Y? f#C26s5'U`&xrZj,(N;=Ra-(!DA:MW%=^1`U+<7c,fW)npyEwҭJcAsםRyD1 elI |X>6͂̏"Z:#V7uh74i24[3%udVgpxfԃVNBWl?kaQbR=`?9v‘Bd7"׶'v.!pg}1oRhxˏ6kj_vt jEoIrnirr@&Cg ۞6eS %=BS3ח9A>qmAB}wz!zWeŘj }w3:ZR@ʋ#"w!h;)04t[4&)Hþ;n)7gx2!%C/ޙbll_PdY|[Ije#srJ`=WVlSL(b_?l'`xu1MKCf4UaYH?@yg?UG>if%tZnѱ1#\8+4-*k08>fԮ =M .ЎvzA96/b7͹ʉ(ŪNuTJI[AxzW籾G8&S'9/o8H_z][3cX UI=D{xɓ\Z:jnJ8Q~s eJ'ۭ~Gkђ!dž+Pz*&9_ƥFZ}/|W 8 RLz:`=t lKЫ0A C_hg!hL4&h1vTm LM]ԚPJ_T FWlH]e!kC#ضy `wr7])J2^O0 _o0m F5>G^|&fJ k5+O;NKi]$Q+vL̀B喦zd:ոUE+wi,@Bwuf[ %墷Jr:[Ic`( IpBU7rXIk#iLnaXܣh*ʵNTp[g~5\65KP6|e匽Zpf6+vC4Dk7.Y4-0Zb)@h~q >;/>D(ӊ+HPUwǫx\}P<ĸQ8tiF?S#@4$R6JY#WKS~}=y%HpĐ,aUu]\ 8{#mv1d2앍)!mbHV?hZ! -tb<Z3@ʰ%ATR^(S8<B{wDp ޱj;M] ]]QSeKaa [xIq07"{Bf jQ@ Ljov>k.9¸16_&||dp$jNJ5JSAMy1}{}{÷~b&8  ZU><hm MUl+;4:6):Z غE %20EyT: > 5h]G bW} Vm?%$cORJ9o,YnIi B];%6} fRUհwΙU)uM:};Dَ M58pمd{/g;­/o>5*'HYRP\͕_z spCxd*ץGz e]sSz̛m7OFOEuDpP0:yyȶ1BKdnbRw# ^|2^Qtuưs^ ֊].셋ϔˑ/$n䧃E{r1ơ^l K[meuyˈl.U@fpX7v^퉠 *w.$F>larM &b=&j]ACkkD,jO=d7և5=cqbfHiRSf c tؚ6bJ-љ8Գ+\XZ*DRM$&%n@+j̔eZf6.JBxVA${YlQ5=h!FUt:bԯA(Npr5niR >9 ֝2$6DN&$cER@F T$|Dgdw1Mb1ܱ:zol7sIsC\qr[QMaAԺp߸0A|73J5N dh .sXAS্۬ 1ުv!ߜYަ'-t8cfȔh{f k,_$,\&ȕG R#lX)v8ã_Yv=a<L\'#r;Ktz5noA$~Jk4"\|Oo&eiN6~୫θ7$!`h]0.6gU^i&2$b3 Y(a]dKѿ_F >kDa h7ꦝZw)%3.3 OU{Q ~РfҦk/XYsѾhӑrl&?bΛqzf,( #l+T%jLC_'IYSyzRAn |\ rC]@$<5=uWܤ?dgYZ   1% 4HOL-TPTPHOL-Library.Refutedocument.tex7zXZִF! $]A-MՋhvG"uIBm5踼ºG:PO%H#x16c5o WAjG’Z_3#L (luW(N͚ӡoF= 4zxy bU҈dgfu"\5(ko7 ?MY.ϜI|]/y窩>+IddZI}w+v=ROú{dtvY/T]7nuZ:4Ѡ TA4V `|h;q-]W-P:rA$$ŧ{x` G7%A:GŎŨ iۖ$¿F3l^WWUP!cQRPNQ+/ 5f]o7 O0#l[7qqRU4uUTQNivtOjzʽTa:4iV5m@NfQ_Fs^sThȹ J\t&Zң  ptAFpՕK|vRF"Sr~-+VB6w9X+N\.5$"܂\nRQӺ1E[6LX~[ڙ!f cA<\/y /^a8_ٱS`Z%6|4a(?HFX|B[51Oaa뼘 өKم'MP.҅Uȿ"ׯ3ԟ5͚)&WsBaiCx/a3;͊ldq,W cyܧ{|sNۥko.,)S}:C0"d9or)ktD1b;XdX|R[ʻjR昔zjk)BJer+w 2|muɪ`3;^V ln=͍g>iq/2?eaAWDw4J#)*Á9G^Ƨc>LѾeGSp koZ.F DY_xƄsEP3 Y0.6HmiN*"mt*joLӕ/byR}C_R%(jS3CoC躦$ñCT~0 WaBo!n ~!wXBq+[t=%oQoq+@m׏r%TP.κDv+Ȫl!hW_$yG7(-i^#w\8c- ( ;!RDA\Jg(gYZ