SQLite format 3@ &.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ^^=  ] Incredible_Proof_Machine:threads=2elapsed=49.002cpu=94.340gc=9.316factor=1.937zXZִF! LD]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I>N:=6|h4p,ʻE5k .Mnnn_q培Ge4,Eb1H{rG 'GmH8}ز-?(K7Oyo{X%l>GwF{va!m%ll_V_ЮϓVAP@ O(p޼1b 2?sm/NdO1W~o13uo?kЬ{ k˹d*ARRq݁HvVEdD0b;e+ #*"24){bB28qTzS+|Tv|sYгs<Lj0 4tDױ["pȝ6@N3rCL_o2 獰"4摎uiA]*B›?oӱ{)\%n)`hd.",@ex{`eC€x`lS;L(ahHq$!I>C phQX992AjW~YpaQ {yv[ۅ)utߦD!1Mta1S-VssGf`X}}|ɳ,.xc')P& HCG)!+]_!F$" wRa+C4~ky'[G ͍ U2y:r!+'/?;z cpYi>bbms%)YE3wÒ[q)I*AnY,g8Y_?nԝ5!w/ jxlUonkb*6{i¬Umz(cQO'A>qK>SyT8c6/ʄNjMs*kB˖ |Rn` $ n7U+w.H,&濙vIJsVX/W%{96m*dXC8}zk~9NaA}Q|t:#W4Umo@:IMK)T[%+lCKi9`ϿJ3͔mEhMGO2$HI\V^[` ŘgYZ7zXZִF! -:]ŗXiɟlAC,YflӅn] 6X, U%H3d9, hi(H8& = Incredible_Proof_Machine%|=m% LIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Completenessdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[f5Litɦ**ߖu_ Uu4ݦڙNqɿ˔?P>U`Jz9PVD]zRMd ~=NU$9B=_% dIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Treesdocument.tex7zXZִF! @+]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fRBʯtV3+ZeE=;dT ?zi'ЅbZSP"N@<T!{F}{GO2S*R-b5oۤ;]tr!>o fsPB{CN*, WTD޿ٚ5g@ԓgi}m$(h@@P-;=cP^ڟw/XNGʉUGBܭm~)w@$S#+SJLY536ħA-ZsXl*:zedbs6/QqxΖuL<Ȏy.iE1ғ>vO[b!9 *G&JeBP -.[]v+?P[^UrjNLuh!f)l]TqjfF=%JenϷd6ǡm8g 5e ȩylhRمބ?#kr19_q03](?%pʅq[*ڶase/R.<2qѫOpV2MsT-jE\ }ކE%7f1-2yV;7CK'`Ʌ#aIJ42o_2#jِ{|Y >IrP! 1]MP)xv:~6̃8=bV"^Hk>],; L4"4$DԜ<5F_1?G*- + H nlwETURrMAd[ͻR wdM\x O.4 [- }8}M4:rCƠt14ʈ1w^w#+CWP,D tPj jy,6tCq1NY, 踮6,rWA.V_mQ;HRHOkwL"%%$oUW"ylR/,j֤"PsGH@,ǟj(IGo~im?sCTKw \8+fFֽlG$Q$d\:Iysc$!JYu  5UVexaħM/>9 v'ɭ3d09.>]gM'cf|SN͛򪉨76_tcNA htud܀xdufLl@B܌_#e C_MjiA RVr Ζ<;=zS}ܙ ~|;0_Ru@k]13H BC2B`f? zz{H Ai (J]UĤ>k mV陡&TA=8%$WfrG5VW3PhfV]tr;\T \X@KᷪtvG+^-k&088r2iگ~A>q1 5R lxhJ\܍`"#16)Ϫɍ!ŕ+YhYL4P6x`VY?yWRlF8md˲M\8=8һ+>J1,fɿ{`m'IhZ oBx[Ҝ?~PAI?,LRrZOg^J_%MI䉒]RxFN. Jl#P (''I4Rl7|бV ˫>MjC]}/²Iyw ' $>r^\xPNz-F@kcwXI/ln;W⃂̺2CiFBG c΄&2ϛX~.?_:%OS =\r c-s>^E \H/V18uYu.:*ٿ>trL\wMMKcFZ]>5V.nՉ'xWW-G-}x|TTy8]DȔtkK^~i|1tMz_5)Ogp,(JXwTy콭JZޓh|bҋSNMf (۷2i=hAP$* L6|8 kdc.  5C)G 0-+c'Oqc3=Rc6ACbR"_/Qy) zH~}N՟/bʞJ/ QPm0W|#%&PQX?szQ4wdcph@ozb!rG`6gj3`KiZVzG`B)UxHIY,JOc5HO|ˮf犭c]"RBДAxv&v#[ŲyA^.#倠? wc[fסXi "XC%O z5+trH&{ 9LȞ(!PLTI ("qPʦ ӊr8$dTc拠dϘX|R0AHXF z |)mYVb-,'*@ e]FJl>ΈԈH{zߠ:xC_^9UrfeQ$ ب?jt?-;er(Aj^C$#"!        ^  S R* Y f ) T  [=o%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositionaldocument.texX=i%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Everythingdocument.texM=S%Incredible_Proof_MachineIncredible_Proof_Machine.Entailmentdocument.texW=g%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Predicatedocument.texX=i%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Signaturesdocument.texF=E%Incredible_Proof_MachineCollections.Ord_Code_Preprocdocument.texL=Q%Incredible_Proof_MachineIncredible_Proof_Machine.Rose_Treedocument.tex==3%Incredible_Proof_MachineHOL-Eisbach.Eisbachdocument.texO=W%Incredible_Proof_MachineIncredible_Proof_Machine.Indexed_FSetdocument.texT=a%Incredible_Proof_MachineIncredible_Proof_Machine.Natural_Deductiondocument.texY=k%Incredible_Proof_MachineIncredible_Proof_Machine.Propositional_Formulasdocument.texS=_%Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Formuladocument.texQ=[%Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rulesdocument.tex _=w%Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rules_To_Incredibledocument.tex ]=s%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Predicate_Tasksdocument.tex X=i%Incredible_Proof_MachineIncredible_Proof_Machine.Build_Incredible_Treedocument.tex U=c%Incredible_Proof_MachineIncredible_Proof_Machine.Predicate_Formulasdocument.tex a={%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositional_Tasksdocument.tex?=7%Incredible_Proof_MachineCollections.ICF_Toolsdocument.texU=c%Incredible_Proof_MachineAbstract_Completeness.Abstract_Completenessdocument.texA=;%Incredible_Proof_MachineCollections.Locale_Codedocument.texY=k%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Correctnessdocument.texW=g%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Deductiondocument.texZ=m%Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Completenessdocument.texR=_% Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Treesdocument.tex 6dJ}E׺8$Hd)ݞ.?ٟ1nyI9 Ez0aȸuQe?pDhKNY@{ʬhA5TD0>C@ՁJ[ڜ ȃN#\b-E<FLݑ3wҚS`">`b]s"@7>pGE$j۵laƗ1O3Q߰d[FK8T.-)Ū@S')NjO|Gq" ^(ڿJs* ; Q}[5â')Y5Oߒ+pfEܭv\ 7`24ZNaT}\x7s tlnJyHjzf,˚SL36:/Wl1 /J=!x`P?#0MWtH!EY!vj{:5\jq%A }2unrhR{)*C[Yx\BH^&Wq}0p]Fh4t;#TFq +rfT7&.ZbI8܎9ab1vfLzx }$%w1z}칂Z;p̚Z$x)c)_8>a豖wkQ٣ϧH!>yvgNХ;YJh;ڨ f %5F+k gciܥΑXeIZmTemU|Bs0V'm?񿖙vSNU(s^ğ[h!]-R]붫Fāt#$TYg*#K>2Rcy&QcDyWkp9!XF 3n/7AWx`܇Փ3vId),4#-dfTqW$7JUo9 'Ũ[OW1`dHr|U:TmwDwI9ƾOB}dŹqΣ/X/ò$,k* xWJFdoy0-9JSSz ?еbsÚޢDb)p DX5Xzy,a_\p~C~y6%\ݹѤ4Wu%Q q),2Z˜Im8JĞKv+; -VpMn dP:TLIJ ݹE$Sf0؁/,v;X>SRǻvs֤lT075%"3bHi;krRXqpIj F=5fGt9 j]o8oP"Fd13=JQmt{9 j؞Skݏޒ+um;!+y8n+,BMdJ] SYJ LXkbFq {fTYESn/2Rj!*IԆ4C:HPLZG$&n $Ei?Cv?5p.E։۶é8<\Q9URD Je@Ef.'sT{)Y 6 `xOCHd/DULZY%=mlFF0.R3q3ۣOLÆG;ͤxKG !bڼ2ҵ&v\ lm-U0|j7! \%jU4bR}mF G+= ݼ=Sqm+l/5plXrɪ]I ڕ16q)|_Ǜq]/o.qizl^a)Vsgʂ_L44p["2)ΩY㔏Ux,w=8h=(8oooЏwuY(yY&G%,fvl k`ӛ3*KVO!ii?_|2Dk855uPh֠o [0s-X)_X}u0 ad&|  =sؤqMeQ]%&3Me9@'嬫%D)yV:_x)&,Ȇbj`Z=88"#F%ǭ{ GOCh|Ĩp՝NH+uz0NٚImb1 @Ff]r3X_sK8 +3G[Е [}ty{ fz\5Lx8y- n|QTՐ4-y~.RI@bAD [$RiQsx^` :\+R넇m,{J+s[=5s2b%uF~nq Jy4(xx g1؞nФ -I]9=,OF .@A(p\hf<>zPU^Ô.BDi=ۭ@zw] ;!r/$dl!X@# mU]ǹ =9?*ZOia(gj9Le+mKY\>K  wZWHZe#|TD^B@.qF6p.f̖*1^̀Gx+}r狩X[>^xΐoܧM!)L j/Q@&rUP.@C۵lmDT_l$jQt $ Љzo6td9ڑ4p$QxYfW ??ڢ`#x'.3(PB)՜ =`?[qZo i"4_eHifπBSjbg:m.`:|M+՞pFNa4]+ބ';gҮ&'%^"54V>* niR^{ V2T:VMe&:=-- 7 n4t*l?_F YI8T }+c FƦ!^fyӭcrCۥpy. +cS ٫-6ĀY\ m `\oN{D'OjcK ww.4hb{7K'A^$k%^qbRϊE=?;{,XY+`r5뚌dw/ 8ظޝ ;&4_Pg -|]VH|D`d Uؙ){Iޱ\H:8-Բ1RޱԭYTX9CG"T{j~r6phqfU׌ܠ?(-鄂u#}Djsb}k'OXmiڮV$pC2,Q[9%U"0XKs˕pKZ=qŢyrnޝfx"bfa:)s #HO y{@ y}ޤphUPݪyݏ\F!>g,<:i[hD[;ȿt8H{9V]v$[T#򂄊$ eArjL@n$([t'a{l$Aioq(̂O"byhWNKr a\!eb1 h8_#gqrr0N(_q-y'.p&Nv}vcuP@d̋}yR"sbTou[<`?_$۔JLZFdp=v55vk?9qGѝ'59f"3 )sF1ދa;L?UkàǙ('8NBF ->ɳ>t[fKJKWG&qMa߀S;`.}ƣtNzQ@"C7\Qԟ3 ql}z"/`͑d-D]n̟@OIq=D.e5,EETϊT&T'UuwpsQ6O{[r4CMysUy ^Ʈ|WGt]) 㯯8#K5 B|ru6;b,sE:Ǚ##8qh A c0FV9Mg/*3caJ$w.g*r<L)2qIQYTe\tØ=4T3=JNq=qcYQsW_0&ȉۄI3=RNf"`_'#AtQ)ψt*V03%SzJ {YG;֊aSلmL9 D^(ɿ*'{?!lza^BY2i˝)#5A$bgeS}mUZ:Od@(&n=q$Lgomr{%z%7|x-w? 㥗}fq(tw3=; )Z}SQ{p6MYr,~t5}E-өpvoo]I"O#}>T d%\fo5(F(~Mz~1FWJT<7g'a=X2m_5tt֛dvgjLτKPYF7f=4Sq7zW(Be*ͣS̠FTYTmAU:XX Qi4Wy`noi*%>3echpsƙ)fsG ͍jm, h$mo1#֨HFAڃJOao85ly<aB}MMNݩ"7j`Q^[5տ]Ģ^q4V( Wk]'"fÚ%Sǫ޶%^kqށ7_?Ք :G=; % o&I$y ~;MO$\~;_Iÿ&llΟB-5dHӂV F^Jqar]k`Ro cɾSmzĆ㫈ސΞ@+oh;,Wu&)L:BZo4㇮04')]& [e[7˵!nٵ[sui6AۺbpșPw7q "@GBF#?/u׺Oy[e(vZMlN$/D\ȍZ9olw%!h~qND-4ӳc Maܴɏ+ bpf6pL%y~ф,PeUjX IgYZ pIX#ߘmQPƬɘEF'Oii>Ǭ2VMpur4hYl:\s`HSj" ;x3d6mN݂b-ДO x2ASt:txR̺& L{ԣb;fa5s]-taqJ%voe1H1tPmAcA*k} կ$7)AbE ѐ%'d/AUsBqr.q}^ $ Ha4Qfo?bl_KM9i;-8ǠF.GzG5X L$=u"\yV8p/$/C㺟G|€%r S sփG4)u8eU f\I 9Q[:lӎ(Zs!ò6=r>5%"M1<*rOiU,=*&t}Ie Z6.8D\Q^Z,rt2wfD/ל=2˩=wg_ẑ6$,gbjTT9EyD2li۬MUařstut,wͶdzpˠBV#={Tz8!SPjrZ/nو|^~H߅dsD69 8"Q`;/lI%}Ʉiނk"0=8?s7Uq37$44Cb+/#(ȨR <- Oy1a| ;@D|||NTӦا%Elta},ƽT'T`xigڂq_D,(ykO%B8% |>N|C%zk̩Xv `porOE(%.Z>̣a55I3BIjI.%{Q ]u%?-Eؑkq6k&-,&Y]6-f;5BǨ\$%BŃyqr:M>_v^~Rz-N rԩcXmgOyĽFAAjoC3L:LkCzV+' \`'GPёN3-rU#NhmC9bt[Ьe2)ձ95hZ%HI)goC(UơϞ'Z2i"7һϭ(o'>tŏ[E;a-Y}5L~Is$ݴ_Ν|CO@UjOuדC54JV]#ʇzJxa>E\g{D/3S޲{x6_&he}ZׇiA2 W2Nh<)'c-e[WTnhAm}& vȭ>_fX* ['u/n޾ %Xd٬lw4)Gx[cB}i>S۪9M ٣m'jf@gpjgCc.ұa2h+B a L.] {e7nY%i AYe&pkn!-KвUɚdM-ʾfa;^&xfmq?+äP]lsiL[Cf,G-sI~W)ZhOe;g0h [B0ey(P#Zd¤:JS*3@8b#/q0=.?n !'|l"t`%3kuuM꛰mq &sw8Mٌ*U͊e8nsJ\ Dy~/=i /9?,=B@"\U Zd De%n3ں,bH.7*?p @Ӡ/ՊJqcAg$wơ~V_SY`T~v UBՐ6 =p,BOuR_*'927[uh70q(ńAňh>C>fi t UF"p)=dG =pdEP ϴ6xGKV 'Fg<~LpyR^#hA鞬w~Xtce>s&;c| j0籕88 ݏtUte0O#kd.ʬ]zzД)}2d\ .$L<,8y`QGڈb-ٳ\&dq\U,&O^Ymq: R'+WldҵSJdjU] N*N_%T2{KfNWW 2 gPLhyzt]9TP&Ԗ,h ,7+MQJd/eZxsL6CJo  E2bWZr aQ >z)YPn UV'+D'^= 9s셞mXb0ae=:c۴Q;_kaݳDw{Ȟ*'"M@jXL0=2k}2g Ewqy9ҁNTNl.3@lu{Cch&[ih@@D U\.@F~}`îˡfk)8b^7![PQu͂+{0uZ$AMlq6Io`. ݒ=X@0{GT N`$ML09=Ƙv7)R&n6ZM%q{o6bLc& Ib5fԃ*uUj <Q$];Nz"c[]$iG\VjE>ǁÖ'mvcj2W!C948>jÛ.3K';빂ޭuFzc1%[wk>E.`ƟC_h¸k*!H\.e,6; )κt\+۷;r>@2AD8)HӭI?9iEG{D%c_)B8?u(hq9pM':e!4qAu&#5m*ue1>vGI.JXmM>9k*9ZhJsll|R*7v59I=&s`ٷlrNIXA>wbMB_i\ȹc)GhZ 3 ( OXV-O  ƾ`n/}0BG 13$^@AL})lyYONK%Ɣi`ݔD?L"~ūp T au+,;NIP\7/b!yHh(OzVd즴4d:CeD4:W@NjE>vw-Fznj:1{~fri)~Yd"#K^mzi)S8%SFߴ^a3kncZ z& .,MnJ($3VJ!f5S;\/ŻL#ҜZwאָ>vk5J<2I2D0rþSLGc=TXN#faqpķ??mFfT2 xGڰ3%ux}z Ci/"z3tֳ?irg4soH5&뼊lC\%45 `Q%Sbis\X4QFxR_+/UC QַI;w /\egl9jFb_Chfx⇅Re4~l#GgX9*-F , +#6җ:~sNK3:]!:YN}ζ_-|7V!:b7FcCtjK`TMʙ*Uf  |0"R}%O#qS݌&nYaRYõZ ZS?I0aߍN*nOMf|鱸vjQK]Fv&ʝiI1:EA-lg,7Vƕ6 N#\VP}nbXˮC*yhe߀|rJy|cy_+0}3T:[ד&*. {kdm}O<μꦲ KXK2ZS8]~:XRhtM*aq@hg(pDYjNZ޻п0wY!ѧ(Pj/+21XV,XMeNjMpcj6S( (DEOlH9Cf?"uvyP2mW3aɅWTc!M>K)')Yw\GA]۩h@؄C%'#g``m}T_YlG\mƃ?[2G6Vs0R's/g|5.,aݟ{xK6nѤNu+c3-;YPֺz`Xr΄3b+ʯaԠpX0QdR&@B d,?d3(+` <sAMop(5*$$9zht }` Q"H߹u/g.([ ?/O9 {.R-^)#ռuGpHx&iCTpq wĕHY]2M|]:{}^̝ܷ~"Vj9:S˚GInOWvud`-邛@V* :pٰC{j4iz3 ࣢l-yd*b>tv}u9̚{v\reޣzߔǁ}Di xۻ>%%>0oT^ #HС\y`Pm :۩ǣۭ<=gdCK6J plu;,EHg/58?aC%r{q_Oɓ(E7NZhl5p9qq*|gҸo6 Xy Su=2ȷ8Sň%mN$-Ei(!SgjWJ:NR^.|\Y^SiK -BXVï8/ta&9J֜#mp6iWEYr_|Нaj/#)aک aqhc_ʻ8g-}}!A8Eatʄ:֓Ctd!J7Ǎ9j5|yy-$Nr1]|mW3i fmz̟^d4"ߢ Nڋa!=/d|hc6Do;|G]s2Ayt$xDw-6=6,;Vi!7/~w:n"98U&W5 O0h3):6?XFgڷLR JݩcXPͿR+ =m aJCGׂqҸdOa-SHɫR5^4o37ড়}嶎=3,U,.U3u| 5+a{w4AʘRk R񜫴9Tv+[>QV-ւ^'XRooy[p3 a ՍI.Q@TjxiLrK#)]Ē G9O"{-x/NY_qۢJ ~ltHx8:OtkK(泀FK&{AiE`aS#Ŕ#IKÑ|cCkHkzD),¯R%;}ӖI+&34LhR4]2 g{-A2 >+ُ^l]xȇqfI6) Mj1I-j.yV-vW1Nd>r`ӱ"(4dۗ2N0qBAhe%\?e ، Λ}p@,e9/`}=0Azs%N }݈ 'G/;(tU'q(Ѽ@ hQ)3P,{׏O`hke SARLVQ qk>\!In*Kg7=+ lL ÐJbb^"QGKSml$J $??>ͳߎ[7\RE0sUH;EhϳnCB`y5SWO}慷Gɒ/j͔Zs?QFV<$-};S[C+~.* 7)!ZK,ᯥ5Z'S~znlkx ߁%+Lrɘri+Kuīڏ~e[kZ:Lj}z uv,~dn(Ԗ'a~L WΚIXSL)pƮcS2/ƹ} Ԓ2o]U(M/\5ckwfzHqkpTk^ʾ!XU#X2X#9ޥUMl b])\Z:fvSE똦~#$N,Mw?F9ѰM4\iw$*ܷdUf7`7d݀$DZs9i SX #H),oІqwm{F*mJ :YTDn-MY/|~HBh]艤*0fi![V2Zi#ČL%&}L3? R= 0XE12̚k!*lVD뾲¬|{&(e%~Vj"\LTo|%k])z 7Tއ=ȓV@q7IKoF#U-qS ;ظ@H貕ϱm)w=)1=` L~Y&WxXٕo>A?G_Ǜy< J{ 3Ƹd9v;AЍ2T^7J1aržohS8.rFfI֡uw1DU |?c/B.qT߱@v {IӀ1b Fu9_ _IG'3>m8:!b[=V;r֕1jg y7l FDiii?W߷fo)*N\˷5%|l+"*JGy|M%m8t sM{.&1 {C}"@9z~r8H?w2 6OF 7EB&c1#o]$KtHyvKBDJOYѫ!Q[Gխ碋o]d?uJ^OiPٴO5쩳}+t-г yh@Tz/%OzE0Ijkf'ϚGjq$5FA-UGW6L7{ړ^YUPYm.@o$4X9txZ-]I'[ʇp9A$=@!mYQTqAFW=2ڃ'׵0'U֫daNc}`0Z»a '1gYZ oO/#J.㉵Ddv|%Am2*j{7Bh+1/k3<!օe` gr_tqqn·5><W9fѫG/|]'>;]bH)lcd>\bc%&|F^>]z1b;ij9j?rT>&6(xP/ؤ̷FW+8xfγ boӓ1l1#$~c si.81w!f YrJW!17ȓ[&{,}k)d %TS0`/n_eȇ.lOJk$~1K51M4KzŭOQcڱIwy˶ŭ,lk;?xO"l5*L#cKZ&]+LBI1U!qiMzG™;M/p8ڇs945.G23NBYz1B-E>#=N3w} vmj:}+$/F!(Aߵæs_MJާ:N$Y9mWG`#MgD, $pǹhb1RNNzDTU؝)V p$TUʓ ]OgkK-6_47Ҥ-4}!۬@iT`jD:/)c|+1ڽ_f֞I/n|cL昻6- RA|Ut3*cw)#2REb> Ugy,;e%Ma_aQ1^]K믰FOۨDM(wn\uDiC%O6D/9ӆ*ϴ"x(ʱDSS# 1]ccS[f!jl [g)וku/%64BHʳNf 4J BO@^ȀJQ6Jx(WAtGW{I#? xM&*k joeM`ws#ҏW5SEgQ%*_2|m >0e;/25v;J';PAF+똭[#*F=FsoFM%pQ/6|[TJ/?r»E{ ?HZ2 #[Yݾ3m Yc9n}} `_;ޝkOHUN{≒L%/ɀCjM_LiJQ.9  o@U6:$of|ÒA&Dg7.uJN'6Ia_rpvRї.Y FN5̽S^r?r>a! Dqj5=9u{I{W&"}\6d(%i˝w>Y6 \O+?J05 ?D] /$wߛyU$Z ?(f2m6S!|BRko䓳4[H!:Au@@Z0i~x3c)ٻK`\X81;-jO_Pln8a*q[&@k!32xSJ9-}z#͛&ߒOd1kg􀹃77碾*Z&V#c}rhPڳdOO1jS In ||>|b hW.WZ sִUxQ=/O>jv}?~wW eJElN:V jxQwyqL'R٧f_eX}qf Hm*5wƖe  !{IB6 K6R2p̲f,]{)Tt/dB%q"ըe^X[{0BPO6^Ix`v:Uof+G^ Z?|݇l LY ]u[NH`auW)X!e(>t߳o}c]4AL=cӻguAyVc |J6d.NPF+QmZϋRo3RsI24g&wSm}NAKC`/ , _%K| DFO[`6яmb(pSJ3tYοʛ{F"rO6P swIemp:1%ٺkSǑDaH'dxlb9B뾰MBW4q K9~ 6ĉsjh„OtĐ!uk(UdtɓC޼SvP' iC'WX+τLңyo\+Bm+wa׌dk5rÇj\]I`:59g>Avq8r}gV$5~JTW٠nqP FWi,T MH$bA =gHPHm_'|>cȋ-c#h[5u.HWyQ ),ד}YZR}?w ,vzoojSiBuՇH ɱLe@.vF|l3Pp(\: '2[HbUT Ew@1?-M«^{[(qD@ec{—P!Lo }K {%XgYs-.@zzuy\8?;O]+5D1}WoEFSc]M?c+bB#+<<;mp A|&ף *( ih/y1qs1BTgO[y?hsS2VZڴwLՁ1G4)EqthZuإ ko8z/LLM*Xߐ^bNWFQ{&Xy_|Uu~kFn%4mHx3 JI U , 7+V7yأ/HL!~vV'iS4ՇQU8CR։qHŲD<ѝ2Uw/&G8q1Wyč Ƅl ێP+J`e?UjE+W['a$c!,PL_<•X9GW1wumrG _L樣9MyZ܉߻Q֬ v zs)M*T*~P8i(H ȷDnUA ~jխ ''fQ$\bKHby~,kzEh"m?ʼ(zeW?@ L]F}uޟs"tm^ [\asiOAs@pHSjv w }7 XHQ`Dgi+tƳ'ڵnڣf_C 67%''O2ie"&Չ #nڙ#H FLͯ D _ {N뼅RXql>#g~h-N޼󤿚$YVSJ"\ $Yٱ8SQu#^nBR3&c.X)LZ. ]힗,+FZgJbbW$z"'#A9]Mor1ٮ;>!328&;nwk}Ha}V,˵o-@%nq_x! }!.y',m|(߷['Yl2o;V¤dyvNx,$.WT1$eFHʃ2gafN7._'mhV۞9 )Az'd$w$t#xhub  eCצj%/?~\/޽;__-*s6Ι4%1gAcUH{Gc &2s'vzQok;&!ɏAF䈛cWs$?/y櫌yNͧ!_03ȮKFˊ0o}2'B-PƛզL>W]"QOzhrE踱"s &Vق녨>&S@ Iv*n̖K;rQ\[{vm(K'{*jT) .7/݊I{ ǹLJuNVs/Ȟn4MH;[hVY޶nj5|O9iA"n: o/iR D`u"#d6$%.Eh:9[ ֓bb/l#Ho_+Lll-"+c`z)Q4rQ~;敯,@8>,}"e2\Sj椑jI<-h3B]ЄgHT؅,{^|dy Fc؟v#Tb&׋>A7|-(hގ}Y~JUOAx_]=عMҁ]ڷ2#pT5˜ԥޗVdrݞR"d[S*5yNet¯{ z7;;2yp7vlz563gFd&L Љ AQ?/2<˸PWеu}0{}l1R`AJ&d"M\>U+4<8t@>yeBw#= woia1L7rsŠ!͋I y֛PKUMe[1܄0 ^F^~:}Cg:WnvE|_pJw f R38a[\f 3;S~LQlzj:T+Mkd]XfS^bQ[twe-}M[2;>F؜vv,%_;*C+ Rj2Q#9'2uWBUͽ { ,\oz_9311 w7_.fCa~I~+ݞETj3ƞ r6݅}YTl }g|XdP[=ZnR]tl~ HgYZ p|=m% LIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Completenessdocument.tex7zXZִF! 0]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[f5Litɦ**ߖu_ Uu4ݦڙNqɿ˔?P>U`Jz9PVD]zRMd ~=NU$9B=_% dIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Treesdocument.tex7zXZִF! @+]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fRBʯtV3+ZeE=;dT ?zi'ЅbZSP"N@<T!{F}{GO2S*R-b5oۤ;]tr!>o fsPB{CN*, WTD޿ٚ5g@ԓgi}m$(h@@P-;=cP^ڟw/XNGʉUGBܭm~)w@$S#+SJLY536ħA-ZsXl*:zedbs6/QqxΖuL<Ȏy.iE1ғ>vO[b!9 *G&JeBP -.[]v+?P[^UrjNLuh!f)l]TqjfF=%JenϷd6ǡm8g 5e ȩylhRمބ?#kr19_q03](?%pʅq[*ڶase/R.<2qѫOpV2MsT-jE\ }ކE%7f1-2yV;7CK'`Ʌ#aIJ42o_2#jِ{|Y >IrP! 1]MP)xv:~6̃8=bV"^Hk>],; L4"4$DԜ<5F_1?G*- + H nlwETURrMAd[ͻR wdM\x O.4 [- }8}M4:rCƠt14ʈ1w^w#+CWP,D tPj jy,6tCq1NY, 踮6,rWA.V_mQ;HRHOkwL"%%$oUW"ylR/,j֤"PsGH@,ǟj(IGo~im?sCTKw \8+fFֽlG$Q$d\:Iysc$!JYu  5UVexaħM/>9 v'ɭ3d09.>]gM'cf|SN͛򪉨76_tcNA htud܀xdufLl@B܌_#e C_MjiA RVr Ζ<;=zS}ܙ ~|;0_Ru@k]13H BC2B`f? zz{H Ai (J]UĤ>k mV陡&TA=8%$WfrG5VW3PhfV]tr;\T \X@KᷪtvG+^-k&088r2iگ~A>q1 5R lxhJ\܍`"#16)Ϫɍ!ŕ+YhYL4P6x`VY?yWRlF8md˲M\8=8һ+>J1,fɿ{`m'IhZ oBx[Ҝ?~PAI?,LRrZOg^J_%MI䉒]RxFN. Jl#P (''I4Rl7|бV ˫>MjC]}/²Iyw ' $>r^\xPNz-F@kcwXI/ln;W⃂̺2CiFBG c΄&2ϛX~.?_:%OS =\r c-s>^E \H/V18uYu.:*ٿ>trL\wMMKcFZ]>5V.nՉ'xWW-G-}x|TTy8]DȔtkK^~i|1tMz_5)Ogp,(JXwTy콭JZޓh|bҋSNMf (۷2i=hAP$* L6|8 kdc.  5C)G 0-+c'Oqc3=Rc6ACbR"_/Qy) zH~}N՟/bʞJ/ QPm0W|#%&PQX?szQ4wdcph@ozb!rG`6gj3`KiZVzG`B)UxHIY,JOc5HO|ˮf犭c]"RBДAxv&v#[ŲyA^.#倠? wc[fסXi "XC%O z5+trH&{ 9LȞ(!PLTI ("qPʦ ӊr8$dTc拠dϘX|R0AHXF z |)mYVb-,'*@ e]FJl>ΈԈH{zߠ:xC_^9UrfeQ$ ب?jt?-;er(Aj^C pz ~ՑrbqMpw[yCH:, q"176PIqb=!9%薍HqWҦ[fxm?-f*YӔcPd$lsK2} 4?a7r:e7i6X,E.~7+e\2֤}#r0kXQ>Q ;@md !8IXUb"j7_^Y˜OE%Qp,H`G8Yuxq6Rr9! u~P.ޫHcRS`Hamfشc+wSZt;,Ur/7spoNNs$=niNv@ʝo願qB݁u?eB5ymt{ DOGcx5 n۪`zPԩ3X/9 TTT6Apq%AeКɊ~c|d?SЬ7m׷%Κ):-Ww쮡,z>l .r#btw]`4:&\1C]{](^(ޛu-V2"6M2 gfaHK-3KnDT$6Ue&^xCŴt˵ɀZ bZjdfu qJȁ̕X8ߢf A0!i`A.0UooJNoC`HJM|hJ+_mE 1x%>] !Fל0d{iA$>a[kNvv%7c/ /On 1} X"_U{i~t+} n#D)iK3Imwl>`j!xYWG y#w6ЪD]ns3 G IZr|@Z#ow-\˛i{ǫc-% -@GfruF@ӡ<D(a>YISC @I=g% lIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Deductiondocument.tex7zXZִF! *$-]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fj ]e{i%i " g*m"Y= +ѹlwtbn`[bYGbaKy6KCﵿށnWj{?e#b𣃐A:|BTe=e\W,Ͼ*zsY wO't]AÕـȱ~OgxhBK'ʵ&! 5DN9( ˚heY/pXZTb`>U֫Pب _>kmq̦=wEe##?,y1-)`UnVHR'[LŕF;YQJʖڂk({:Mø{mCsMQlh"̵wQOQ}j'ܟdQ#/H-8LxdJnxNPsR6 BN׵3GBЉ]u@8lI9+a!N ?#/K8ÒCKSW:Y5RP ޑ+1VV 0={<,,!}p& K/dGpV~H;w!J^ ^:"؊0 G9j%_= Yq|R5VsdH4Q_(NC9i'T2hlR[ά Y jȭڌ'kۺ?S:A}[zXP=A`fM/y|h qaW$&[:6vB Ukkis>8:4\j͙4>ST 9&ybzJfyjY&HX-Z Xߜ|ߛ}W]lA|1&(рιqp!F]V.zq@trS0H"Ӣב3]\8=wc:hV(\׀CYjg)Oʲջg0̫nx+(^L*@[QPw+{F]0X޾q,OMJe}0B_uLλw&*`Μ cS?)Yb 2IrZ(vem.{''*[Ki]{njY8]qe=h*򅖩9OR^ #8|_autĬ<&zS9坭 L5^X!eki=[hލu= U_S"(z=ήP +`}:V/-MϸzuAo.Q SqQyV 7l1/uy\0X5X6ཤw;&%`7"|E%9,,^Eoy8} ,N 0VC{=^cok1j~YS@-!&N!/;O T,ix%P!|Ĕ0T3aCX%QM[h >fB:PW+V1paIx ӽq%KU:1|ˌ4)0kK\:C8\Qlُ \M!fG `?Cp*^~WB:ϋ$ H.e4h Ml/ f'C:ޯ+%Ё632B2'+{Qz%ЙMk} v":s%wǝpP-*P~#6Xv21pOxz8vSD\b=wD X S GLo^TI aLO^ eG.lxqKtPtW:䠡KE]4`5_~MblZ--I11AR=:5ǃ)y^&NWHJ'%ƀu}wG&v=KLWЬf_}櫤sYfLwo'KRn)q ]8X^Aek.%a]}jV!Xˣف[aIY(8AW$ͷM&F2dtu}~fr+8Tc:̑NWt6սHR35?Pq]kuҪk%cM2f4)bʨ `E6^h,%j1+V*L+SSPKb%o Vzn$3R9j"߸wƬ?wJKڦbRJ)i]^ 1 oJ`Lt/w[ y4S>QhGF{;R%ބ([b8I g vXaϟdAE$KnN|[Kkts g"3_zxpO~'+3E:Ȃ:츗ܮz^GA'"ԮDN$jC Kc.*#cu*?Nt Rywe_T@#7v:JKᐌxis|lQ)O Um#p71(䚑3̻կifk(9y\5z>AT]0`' N8"t0ڭҵbU9 Jnnb.6U,ָ<$[P U|l_6A81PÍ] )ڔ?oήjxrʭ*s%&{,791%Ն{EM?7`p|fMc,(bg`+}q28^;W_KsYBpfMӒ0UxJgUiC̊P8o-$/JIGr_x- 3<:"1` X6/?gDh1IĄ>3;T$l50@k"S^\ ~8L GݙO!fkBV9nJV>ja{wy GR qJ'$3[ίrM8X9k5t%6UV/>rAĵQI_JXŁ*MЯb{ }!,j%E}5M=Qc P+ۗ_]ߗbW&TXyWQMYV`}юm.-W?2Ul<'Em] wrT^NbҺMRPx2RHÛmPfMےkft :&$m &6ȋ spyTu._fOk /iL*hN~ѺGW^V0xh' ͇al##&vt̜9h$@Uz[eWgnj T{M>G#uRS,,VqTmˆ>>8Tc$[m3Z(B> #=@z'V|}Wylv%UZDc8ƇVG9.hshă]rv^jGδU :'"ocH¥_DyV$Nq Io]8^Tu*<$:a; - ^VhkHIP8}STR<61 4HeT< t-RKmW2vd U mM,ƒysdKj}RHВn t͇x4Vݵv*oP,!z91^.%Wg@cҢ2%*%DDֆhFIO~ ?o&L߳b2nj !}*m*"EŨa G豎cʼn=_㛗bKKRzrڻ[,r1g ܎, zgzkd d#{ٞ ZO6lLlZ&UR'o9"}КZv$4CF \" #LԢ!KGtkL'Qe87ښl lRq_?oЃDc> dg$/ 8Kǫ0~^LpB/*8^I KyC- p]K%a'I`9յ~  &{tM=2E{C 5 y@W!u)Zo%, 6KVD;Zգ{e!vݝC^EB$8-i5͹KB9GedjzE_dx=/+,C!eNxA#_S)73q%C>en)7(֚o诽2 ED;'R],Yﱍ}/TSMQ,Cm@§+E;ܩ[IJ5{+^S^Ii/$L#H] VUJ =zOgz}z 7u~D ES 4~gF;shygE0lЎuqokab^T[*»sJ5ZM u~C<ueg؟`vL78QӪN]<ŕd٠lH37p›. _Wyxy/Iih9j~@;Ui6%|9R`/6sX hOUWc ݱ=)մ+tzPf#apI* >Tw+aGS Wc;qu篶XRT٨TTOThbCj(_ΏO_ $ԙyӶ=[a5@>:53D}KF$\v_tS?}(2:HD@|( 41ʬ.dRCR*Äv;} AbKVit/%y nLi^xs Rf'YCϱRÛfuMĨA6>QcHyꐹ,uyJ5}\]GZpIVZ%H"s$uW#O3N<[;F%YM9  2}ňzk*][iCʗ|7/bEk4VMD[K݃ ^oR\7 A5$'B1S>)u- 6 )* 9_%.vbAcL}]yCDq}Ѓd蛮,2+k Qg=-JR`$7=|We+ԡ?( ion-jT:؞\h~ⲯ >Tlٜ)fNkuzNGCqJX}юX+$?3\:42WQDx6%5J@.,H+ʑsZnDo{n j:ܻ679 m٨9n՝Vk焿h:3.QE`V<%H`u9HÜ;&/*/XbBBnmn>F/,sڮg^ݓtPNaXlti ]#̈1bϯo[+SA婓m=ۏ%V1ɐhra^2䮉;Yr3 ɻ Kb>As2PHr[h {i0HݱgYZE30 )|Iru XB[Ыe*"IZsXM68EsT;_plP S6pH&N!RIzE[B#ba2f6  Q9T 1Z2}ͥTl(BŁrNCXC#2X# ]uf&9|h&G8k5r{r;̐SE7iZ9RY$bfSI9j!D@c_PԸL&$ʌNĜe:ElbIә(׫PK䕣'\43h=]ji^jc3.nXo$ӡ£KTj8ʁrnuK;+h$Tfl.r:\YM*ɎݫVOن3(4aTwA(|; U4jwg10- Ыwo3 ύctӿz, 1O`2*Nܝi0?PJC܎G:SVƤržx#i.'B^;ǔZ3LyPIy`̓yl1_IͱZ-؞xӍM)"j߶Y|e[o–CnGwz$4eeW"< #!;Fsn=0,c!86ɓ/{>yw/OR,HkU t53 GP=Ղ<9. {rxWj%Υh=ymd+D>ekhv$fH[.Dq) ؞K.3*,3zĝGI1H7M%0^!/5F7:.KKJnڿ*Wi'6Yl>V)MHK3)+mj_A"~h`1WgG+jCmkֆg$z!^Mw ,ZqML'j Ȕk9DW>K,8eI[wlg<èo-Q0OMoL6&^qdP K!Ʈh|:ȣLESaL9y1Gb~ԺmH;-'$ K1zcFN#ѥ(N\RjM)5oH6J }RD%NP0׹lMx©&^#5sqh=KۖԔ K-$$KO͇w2J%L̘t*%,&voW#im?$14Kaߢ&Wy1G޵7ݪFY[Xdd^tMpcgU2 j%+꿦Lwtpw.A 1ٙ [k-Zu=Cc@ƒLקi- rq VByPMV|sheS1.ܨq\UӱE+ZpR9};O&zWuE>|n۵{DrRٯjL\RعU"vSQfoK(&2)!7{ o]t[عsߔH:)ބmdנaC6a!Sck(1uԄp.ʛiNF?jم(4F)K⫅\5C/5G*k]n1iP,[W-&9"}&M<=nfiBu]SRl'ɸٚY$1>auHk[0q+r_k^rdG@gU}O,*/ d~i m^-e9tT+Nod ó)H#`N]rc"Eᘇմr p7y;bnb;gx} 0Bk$pc<B{PcX:3tl%H8lҲ^{KIDŬSp WwfX> ae?" YUiMZ(koi't>Agg=}*+S* ?. Ra"':&rg'[N D"I@YB*0p":+*Fy|g }3'sN_/|BO€mG tPmOvkLL 0-rMၯ0'-ӇW!q.WsFtrO^n9U)}TQ/&Bk=cl oxf-bO*;--rkɟ+wCC$ 9Pu9ރsP׃ccH:6qTtUsm7e`em,jH8t$v‘pb4肮r;DU,6#% 8 ]̭9N[ɔH +yL3l23{lBy *WAwէ{a>QxF(m("}M'rI)hN`ڞYzIvRDC{vجgX^F KR'wqnG߄$t*A洿R,5mk]H,VGL9 |VOXE]&%û6ILk +MQnNF`)76 E%mGPgf 9k58lf<C!7YC ,1=T'}Ζ=+ d]i|*Iv sXfXbWƆ1uoTkLa׷nDĖˣRK]1/SZ .mC ݽJJ2s(djʏ6Ǣ^-T7t}FEEQ|ĿQ+v,N,gZݺ|1cڦ֙uv@0 N`?.$Qg[Kꍩ+{79Ks)F |]*XԢJ@W&IM.Qt׾~T\`=݉JZ?w*ܨl(DzuImӱ$[FX#)Z ?1vb?\8&drϾqX|+j>4!˱7}?GAVaL1IvEPlowč )Z!X$x9M~9Hթ<c1phE%XOj1#3s'A#[96] HDNp@ؔ >QE(,҂JîeY2O3v2H\Jag6tɋɜ=24.0U9nX?X?nf{y2 Vq8$k s9k}"1|uAbB 3a$^r ׌I3 mgb3HҎs_BMi%x!D5lnegC TFK5RIruS…ESķړid)33u9_[Թ⽰Z3ź) 1bPzK]lebr{$JB\p _l,*VCyp1MgYZ  =c% tIncredible_Proof_MachineAbstract_Completeness.Abstract_Completenessdocument.tex7zXZִF! \!t]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ PEi/.B_ _ȸ}TÒT a)y= w`t+FGEc]I9ʔI ?/=\rkJL˶^m#IBщ0.2 _ 6W &*Emgwq ˔KUHImn^tȋ KkY9a_P/H5QϱK^&@q 0ws`v6vNb\yPB9̭R;7A g\ p-/G/yAAb83," }BGΪe ˼. #S]aDW;$[KJ=;% Incredible_Proof_MachineCollections.Locale_Codedocument.tex7zXZִF! ]A-MՋhvG"uIBm5&r:Wq_Tb>,i#_n !sI|n9>wB9g"n'G8MH~Ը襳E`sJ[&JGբ7Kݫi@~B1+\WtEv_(j k{_4:Na5h^z8F(݇ЗM_:wuI$6{E7aeݑ3i#w]] 4< Oq;:$pcKL,Q Еڀ^6%;/'}n4K(JT<0rMaN覇`2apw%+@$i"O5ʇPo=֡M8Qx`|1fHx@K*kfob0qN͆v :q*6ߝ~۾9q[3$P,8Es@6 iC,Z*BsymA{ 7 &b9:4):gU÷GDZCK'@M *?r mXA8\e&fԫqdk{O_[sZiIYn_|Ì54Nc?X}J4{[}GsM$ ]-tz @*/g .[/#:47Cߚ f ͱe) p?ʪx*J'گuX;p */Y/|Ы *=-k&9+3mTٚ#^#%f7U7*@WhMl3N.ZdM&z@I>rk{I<ʱB  ;]) z, WκK-9/0~WV][tal7;{ά5. Tb;p\ Zx`:9=R)vLG_!$%MP)?:9d}[v&9r GtSF__x[9T0TNo-eSN5~}o(_*J%8D @ߌ FwpLԭ~4Za ٱOm %n%+Rzqf_HwSoUʩTiZ0c`l#mD/TZ?RXz7xNlQ?!pmZ~xVbOMYs$.acٲVņM>`K ߰&r _(3jAAAt ^[8D6-~!$엂}WN/N% ^$jX%wS.ɶ$=S.!9 ҨhO#LZO^۱U>iOg0D+X:Q˶Jx3~69~FnM;Ξ,W#Q. E%ϬkW&/.Emv7/㚄`5vt>Cyf+&#17%%Q,V6Z!a/}a&﫤pn5JI[fm?u3 ܦ=EZDrgv6 ʛ֥P9ƦN-":" 9?G#Uٳ;oqnF0v#?"seR3*#yhDrR1I0pb14 s l*n]}6r/'Q1:?sl \ߧGϑjfPꐯwhT撒 [[M< (H+7dU6J}DC8OCq}dോ [[)7Hb}R ^EpD6[p8p:Qyod<̈́/ 18.hϨI}N)wāvKb_@=Z* o<1^Av1y+8W.X+n' NdXc&R山Щؙ_:o}kLtnβv $DHz*뤚q=iBTrA}IBz@Fh~dvmg(a+@ QX] Z%K=WR; ʞL? ?z &g z.-𙡫<@+wۍ#w)6wrQ(HR>qF?ڎnhtK4v/S M67(2*ڨ< UK8]V*…{&b8t H@[CԴDP6!uLhF!e$j*FFqă&ׅt辞؟Acd γ|*YC F\yg}?]Y Ñ:_qUFG~#I!uvB )A ؊YؙSȅ| s\ބ{7CXwfRyԁ#jf& j9Y~LtDL_5oJ|hJz+JP99όPjT%XS< V_oVZjAYkܷ6j|juLٝs.oQjocoy[ !m<)H._!UdVGVӣ7Tb 89c^TuW/#\Qҽ-:o\ YU_Bqeڗx ~sOϝ_Uz\5!V85B#zFB < zwESoGI[W*-J~S $B1_køԏmt *XbRX!<_5_ʁEKjbXsh5]m3d?k[LDۃ1SHtRSR ٫<ڂw nչWV!/}I \v³ .a/F !aFu& % zŒK&; 6x!?>aǝgvNjdj׿(uyd5R%nU~Of(/[V5!~Ԅ kl :{IO@ Uf?Λ-~Su|V6kZCYʠARd;jeJ؏@mJ:)r`ƿ s{rMɇlm\QUE2q<`/@0: -YH@=ߕjY#Mo{cO|Q >?mm' S 6.`0!{1vwSX6 -R" 痩0rt~a6i%dwwڌ5|cH nOSɝZpVxO֭[p:47-ɒ3;k$X-dm ^"`h ?=`x\osW-gPlκx#H9_!GB` Uކw5&bb+!qY1/>^o3q݃Xv>2DKe r0M%7)<4F>609ul5m딟޹XSpDhoZuq]gv3N]b e_;k9'vyV2zxtdf"Mt!C&jTN6i~dUvuP -6:ir=[*/Njt04PYp #tZ<Æ|mnA땳xnS͢&b`K3Vk'Ѻ|nu(S30Dsd~̠͢(PQywS8=¾= #*g"Yd!phϕ2O%=њ뤍jn.j5/(鳫"AhT-0B1U!0Դ ڛ1IoIFCr{&'P1#&~N]΄CRJ<}zéXzͺ([pu)xc398>. z-S"n .4H7r4Rmy^%uRGS7לF6f`Kuot&F"yU<֐GB@i;^ؚ>B>23 %fh!gn&5b{D,"#6\U-,O^,;$e&o:ߩj#oY :-8)[Xps$m%=Ƣ6@! m !_s@RcƄW T4O:K [})GDС Xt5 ݟ0?SrFiL9_V:kRVX6s\".zߌ{^FV'F*0㍳N0[rCIan+U/!Y[{Qp'!ʥч*LH;U{\Y:r"}C$XPH Cg-~*4ㄣvFBc ) 0pC+(f|nњyFy,:v Su*hF8?Wq>1raM'b‚ Zۨnj m{fu G4Sw3kcLrE˩*YCe-ٌD,KJSaRҭO[a¯HbZrp"NF C_[Ѯ.d@*P-2KwUf _6_@@ JBю;o#,׸n[T[}DL(>M~O^X ՙvt;^H6Hc)H{ў g9>o=3M)TC7e4LJƯTFg줱w*XmA}H!jԙ|X2n'yUbk}@̉Ge 1D1e@[a TE}"ZO?>+!ۢ,͝m7Cֲ/*% ֍С/fGɃ=,opʫ jxL\t3YO'#޺g}c'EJEtyV=.r,|?l'T'fjEvW&M HE,ܷO Sa'?84› ^9)myI`9GGgz3'hJAw KWQ8e"Ꮷ u8Fs#4zgl^Akce$/NDb|I/)n'6Yb<7a6M|{,d s.w+\nd1`Oťoxӯ/C*~:gj[B(3}+ӝ:W:W#+}G7:gxoH[tډ*ZŃǭ [FL?<yh/ҾbȩZ(Th7%[k\`9fKL,F9NDde;IN.Gp Eb4)nMUbIT&IsS<Ӛ@ S񨞼 >QAN:U,8u va6(nK30 f@b:uDB >8]swm.\k/h5\*s0ߣCg/)nf86㖸o@ Oj@ Ҽ/aY4 `~m!+gWUG 2P8˿qi#A+&_i\' eRkz=$jV@"l%?p j mx7SlY*XBN#! ir긚o\kr-;ATSeȐ6<;h+RLT7TS`U Z>R|KҢNIv5h{X`蟚W;&zgȏ(gv!٧7񈔎-/G8=(iE5"7[#SUbFv#@TʻO[J9D@#AHUvz\9k6Kuܖg(KIY@Z>f\qhiU&湆"a< #iMr p귷W(9b3 |ʫhaQ=K;n|w7;0:i-aziWTmIe\-ut廠a& ם} OX!T䌸Y\bgV{-o`i$K9W6>T'0 ~.:Lb#-3hFf)ԹJ1a8t2~vuz4IA/?SR%/W]6!2K:K3v!ը6(,Ƶ0tpDW cpL0m,&:sv[Jx[+z=p29Pks倓> Hs6%6,Z I4 ({rz#q~]0=vW8uHS;n4-*WTpZV ;=x#KI]/Zۜ(R<q\5, W` (M'^aabm;o0CߙŌȃ/zD2! :v\ZN? t(.wPQu VJIUt1|Eӕ߹|jOls.d8n?+ۣ[uCbsMeav4 3!.ђ%؇HfIavG,[ilaj4x˓ZZ>.[/`,Ս,Q-G1i6x/t#/DI 4jq#% P]f(eq)׀n9I->x^ewP$U+ Pak 纊U;Z[Uq?R2*ٜXNY'%|O6\<=`JYj궜6T=Yd6]fV1Q#1Uq` 7q*hzy8'@Ļ\(tuu9e"` 6z_nr̒vJ.[(} )yߦD @sթ;{**`o-EfC) lh:dR'cFOc&}UĮ  ܟgFatAח=Rvs;!##2oh$1Q9my!-yTK vJkmWR#E;r("pjR~Y9ٜZڂT_R|-gzW'*WBuRe0)&~8U b |ʎGXN7^WTJa">:s]8G)[8BK'k-ٖ3 z'Zt`1ֱUlS3w/+/Lu{`_'zhedDnztoa۠x9ȫ9-otj󼐸l,Nִ.CZ%8 s lґ>74)2>sܛlE2ܞO#%E{2eeV_ _q6)MKgadG^ %RaL#(x p.Xk6'g+ ЯU$j3HEpg8mۚj\9 vP(mI %9t 6(AԚQlzU9_ ͏[wmȡu=ȥNdĠ4c&=RwݩW]H?ᔖ jYfE×jρ ZJEU 8מ}$^J܅kx?Øiv'f:ϙmA,ҊhQp<+Se⦤7iW[f+6rqNF٧,dFȐu~!foro~`[wr|w0ʌ^Jݯ.@ d10hR6>5fu  fb#$IO2T$i9I}¼vbdtJu{-Y.NY.dx˶3@5A="ku&xZO:,Mc\ޖbtIa)c{E@b^:%4:-rGL7ۯwk6=eQ)'*XbQf, Wmp|`2Dxձ^[u-||Tʲ%JoBRkwu6VQy^A\ɸpEݦ&4eeBXW4?XdVJM%? 4}V ૝pp %m"/ku=^m7 [?xHc暈̷`_ʡLv@` 6~gḡE4,ޅG%J3sLdԅ&IK8Ud /GSŗRrJT){gÈ _\Px$ԋ6+BX[g$wjS! 8eM6N25zUMm5&&O.@ 0sbu1&8@2:q s"{Tz# LO[̌683e sqRG}%ˬKI ?;6\);zB]G/GC砱gYZf`]5DUYW7il!iJ7F"ѓ7HFӇ^vԑE2vn)2F2Nt A ԰'ɘRgfg9$t lV"9JmX79$WpPi^sp9?@V;(Q13 YD%L7BgťٓJ@Fc)?HoikP9CgL?`Zy>FK?I$mzg-8 Z<ժDZ9B|W\ҍ!=ĸvUVPK[!txUl4qBTTH9v5w*LmT13QCr6#} [WM;xjlW C1o} 2b{BB{s0t~gK\wKRzpUFifEn܄v7qgyVXօg{&4% L㤮ƨ. -O5=`>nOL+{IPRT"wCh>g<ޖB NBڛ2[ XBoWXG1Xu2ydv饛n)5= |d4}~-%!A8H }|ѫ}['؈lt3D,#e6RRVJ4zN& &vj]Ǩk m $΄!&KlZw MH3-9󶽞e=*x֚fOҕ{FJRi{,ʍW*!1|C4_{J%0KtIXF?9|p]vqSTpBf9q+o~-U#R #wvUɊ-[LAŒ',m` ͱŕ_d 4Wz@0HߌD--{<| xP/Z6/N-UI53K\X:Hnq*sU{LntNESfTX3QyS?{:1MS,.u] ulFA2hNIJb6sw?6+7i.1|'-,QɏP6xuGSq,B!A{qlqixk`&46[ƞe+ր5bR7J%(YބFURSa?P(!Գ'{ڬ [EqU_OVA(Y>0m@:⚂*B<]f{4lkVuE]T-ʬ9 >INܐ9JfNzzZG!%(CtQ  l _*am?\` ioxfC*-& R6(9'X:Xj?2%^x*gMd1yHkdQ2ϭr0?$4!vJ4 s,U|D >E\GUpq@HjQhلJSNzi+.`j[2Q!7'uqy-jTtVBS4V١|\$#)ɳ=e8Y[,9TK`rhYOQ g&m==jLpRͪuM3@Qq_,[>p<(=i1ٗ[.O:77z*Pu9 =j>Ge9_']suI p);:)45WY:&biFO jv[OH=#2T7}:J,M}ܲůԨ.pQe|w0~9 24 @ ges W; j3QdRuF쨎1榶;X:MX:1缸'}DP+m2P3-G{@P>ob"x,3V&"b|A(9 }C{;Aɍ9n._ױHxV'\~( N 6g v7."7X?$Y롯!@Xe\f m}_OE4Z׹e v6 Km3[e\ɚlJ׽\rvepN.|X0, yy 0*/.X& mCkn|O/mG*C x^>uV{n{B0RĔW,K4Wm4t@~V2iU MB{TaX཯$22j@j"-GPMǭ-1[;6hiǜ]>gs7E*QARY羇Ur?6һﯛܽ{?%$nPJp6ՠD7#3zBƆjf7|''DJHG|);D 0YXh@`2cG[M9AY l(]5%&]u>3*.*n^ւa=*iY~F,^zR|5R֭2BRȴvm~hTdC YB-jF2) UȨޙ%:6]} ܀ SU pz$d)@f$8QbUqgCKoW cqR |=@לrm}t!Kj>A`@=mb3X:>Z#. =H]+Ŋd\mk㎈Z}jL\N&wm'pc"_KrW`7t)`r k%P颕I=Gd. 4}j|ojAS-!T hX-4XD#{q8z9+xDf+L&nV8m-~!W@'zHlbUEF]Zav;\_ū9h" d5^rF+5dMc^qq|Tl ;]1Po&XMmuX+?G˱gYZ  . =c% H۸[aJSZ($ U(͠dE]uVǦ"W l 1FNERwJٙ k1gQRHBfY5a=QmƖzC¥AJwPkj9DPVqxޭx3v:YDl bq HyV 6iKK}lp>au]fA;g '.@ fdϮ2(Vߙ:dDG%NOd<M9C40r2{;A 2NI>KQ׫>.7%H#4FscQQRdhC ǁW@/"䖣;kB)ZZF!;4gZL/6Ȋqp;(_ĺȋ^UQogS5eׯJwcPJn1[҂C%zjg)IRp,wEIKU@tǒarhMY^C&JlJ_8={% dIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositional_Tasksdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fi]`h=xO~#g#\HCvg75"'sHjV[1+~_?%D&O%Ӱ ^'^++>=A Ca_F~⑱\9tSH ŞWgōhlEWt=nܿw Y&;}:^}8t6nw}(S.NX+d@m*Ų"Xh4݅_5bG^wHQG?2Sњ\ipɠ)$& ԰khI}S[qg4rU6{L w%r԰`vS0vN*XƆdd×T4#^:i*{: 93u< NiWCYmaƙ!ӋS%]a}BFY2RCmΆudV%ʱ4~ˇVF7GcQri1۴3m\=7% DIncredible_Proof_MachineCollections.ICF_Toolsdocument.tex7zXZִF! 4]A-MՋhvG"uIBm5B&@'LgcѸң, ?@nAf gak2zwg%G)몇eT42:0|mCجw7ΐWDb[ȴsCE=Rl%>ړDQHSӟb_{jL94033m@Ӧ cL 9="Zvn&f l?%#Ax*lscCFvH:t]Wzm6p^/'+ b M4VAh7=<+ÇJI2Uk' g{vMK݌20Q7@Ц0;Vݖ54B 8zZRuʊxsǞoV!%IQ~"1yьWPoQma:wjlCI'~ 3FȝfxГ-Zi.kz.siHFv$accQRq:˗]9h5`o/sVqW’o뜤QOO © cyu.q궒Y %0i!ǧk! p\I7hZ$N0ZB%ٮTJ41hTt?vr *V"fn3=̷?٦=8f#O` $bgKwgtާ+?]`֚%ӭjoD si 8jU3Vj =/goq]{9xW]? ?0/|]-o q}9 X+xu-Senm0#('13 5l'ٯZo>p4HqKl؝ܛZ(4(ҴjKʿ6V E|~uL-P[ҏzVHMJփy|ֱ̽ykd.FּxO8;,7~ nN}0stPL a=n CQ\}iDqw+jH RQQmn'xp{FWzJL z2?XITeiS!m?'/|dw'UH|Kyk#6kۙ&kd |e}y3kpI]>cNQDŽf˵EN"Up2{凑xDŹsBuu0G'h#?_-`y;ĩE_zhw M >֯wFi^yM@y.azd賽r 26TM?t!X:x8=7̔ǃdQ^*-y,WXGک619J@Wkԧ*h1TF)32PJ11BUDV$~ƽP,NiN3.Am~wkF~M!6;BCMQ* %$;'ZfَZ 0Q^oΘ8̔H U7Ә1 }_@È>,;1-$WAh0w%"ih`; N d%.C%~'V}9Nb~IRV$[%j+OUEEZf?*`"qfmh QN`ӈBl Q_E(#n΂Kk".;ӰХ'og^ _~O}l/ a:`̐bD)ӺGn}Cq7'Yubp 4 9 y̭'v ^oE۴^,;!_g\-kFIH6HFc7ZD}#$u2e 29BsL{"p̗ROs)- m0q*~7JˈyxyQ܋A$Όˮ [*n@<aӬE˜aYV3ʩ. =aiHN5p$,S* ^T"u(k@=u°na; kJ{5 [}L\Z Hx{E/~Nm]~5CZkh=(qm2gƟf;xV7q|OͤqaUhevy)1ϙ7taN%YDYdZq6ӶzAf|׬mE-&dpW!+%pGT: 'EGDO|^Z]!(|&fds&U U_{^uorG(g!oz6wAbDB} ΀bCMA*Pe绺{YkEPO;{O/!X] ~5vDpm]ݮuȃ4ks9ʜAg$N&z#di55ts@ X 9{kй sg7z~BlAZ%ZW:U/8Wn6BwT/R^оRѣt\dX>9}uAٓڏXɸ=F:yU`/U& ů&%FL5r]z!nrH"HCz)% Vn-))O>9jYb$H\JS3Z@AhVͳoXDʠ=b34i8(R^D=el² PH(tQ߹S0jTbz/JTƻ3)Td"UZr.nvWI=H1+3 ]Q&'*sz .-R7XyQm6Rw)%k'=7yVr$(igYZ .Rp+d@V '"(VS_f aĔ8\t\0eb1߅i-[cɊ#qm:C6,41[, l;Ljx}ojUL_ɛMyN2=$9KK\XvSFOХw[gm:laN7`8.+ }r'*ZFgl[ ^!) e3fZ5U|?׵FkJH){3"u_|AK@Qgeu^6}qj֣l##wSP\hi%#)?;[7 p%Ȋi~_),3e w9hEdR@}d2/Ԏ7Nݵ,E%$Ǟw>7'i͜%]ϯuHnMQh uCq`nFb]*P,2~zI[,snkBݭDZv)n-Vay)<55߉HnYxUySb[ް3Xoݮ=;wf0]O 6pTA#$oMsfN'#D9DW@n)t2`ج`ZW]g9Y72_Wt,K)rD}'O҆#;C4XƾlW:S }k+/n$I8`U`";i{]T5r,.TsX6."Tdka!*pqʫsU~> xH;A\ ۗ'lM_w_%h]2Lk A.ˮi^:;s뚱hUL3WIj?%VtT8aA͌6(lKp!f}Wx*Ƽ&ENL]FؿQF: f 9$8!U(q/1H6;C!Fe_cOŮq/0yxoqNG~!6%Bb۾F2wCyeR2IG0S^0zۇ7zF規 k(A[2TEW#q5\'ՂuB|/g ˟MHsX5'1&05δf0%OM(1[+lh1!˻J6.LP1tYz1+ O53225F[ң{ޏŤ$}~Vڮks%{\aJS8flFr4.&gC[#zDei0{fH!Sd_d@Fٲq+781cjlX)%tivlm'(T2[j[7CYucM?~&Ew /Tf&4*uDž|~ҴQON؏e+a>+e>x;p>[ztL5 FWT' 'Ũu". fy!LaCWYeIq-zea;C²MK8o݋M"Y>Gq{<˕'QFdl'+ Aj양D. "Pg=bW *bR{-/{g r 뼖<32~١t4;R6>Ylc9e5̛3Y!05}P V\Lt73u:-ӊ3]+3 WWfw"t͇NIPW5tXh= g{s^ % s`x𔈢{H, ^BASK1<'U!S)H0/jfӦ%Suz,tFgpi(A93%06cGہ\?IbġBמ4d@Vj+W bOQ3vK>1HP1y.J\ +:3{59q\ƔUBIE M,S̛Mz=ZHI+uqxېXf'e ڪ% g/+޹^χXȯ^!Iʿv޲݁~syϺ@TN}{3~qVBO}<^||Ax|·"wF5pu-KѤ^|󫛜MGlwX|.x!x^˺^_[i=J.9oN+MxU 쌯XTDȸ&ͥMj`rYivPN'k`;rmR'cxz;u`=#;史fg2+A +kS[?#\+BʒQaDF]V%^s _,-TS:b?MC$ֲω^AEĮ?C)O]Z9TdA .hF8Ũrm6=4xNc-C%XŦh&N p 9 {Kcúe>y. FΒs\SB XlUm/Y;5 1!񯦠~7>=O)!L~%3pJ@kdmDgG3ʳ*Ĵ1Gfz{&LɞymNf_!B6%°az`H66fjPR'Q"mႯ&]wFnA^8緿\s^oV=5ٔht [eZ$ߖS: ͵%$L8del;hDH4 ph}I+,|65û2+TPѿanFK+On8eŪt!ǔE߻;]jDzUkHӠ ?wNqПC'K0/&͹y_S}jhǿ垈7:Ģik;ae7S>Eik`_"UOΦp_1OyDyVꤱ1U=EPK̟6Et6=P8 t.ÓL (ʾtw?0X)vS<"wix&Iނ6~Ck,Pm]QI74u,U~i AXPa'u6zM4K/'1& AqDU =v~(v,ZgiT|H4W4_J}"7H N!p@ 9l'ooH,4f6@.uŮ?zMaf  w}PTyȲU>.W(UPxCvL/Xf؈N:E̼jH9i0'8JZ!^2j0^ހ0H7tʯKňuxS-.^Z_r2=*Q=?RL_2hߎB(h0}:%nK1 'xt(걠Yd"4 bZֽXܠ/>E ByF!ʐ" x*H`D@iTA irU q.BF^xAP 2j :E6ä'Xfly_es]gxvjaΊGĮ0-X"܇>TV6mG5=LxJo*LsTJR;5IܝPM?]P2FPWs} x0N u\4j 8j%%a3 Y8)*uּ2z l 6iyA@6d;3'5Xٽɪڼ䛱Tԣ@:!\>=ɢɶajuOpU!y(<l+R[sf@>!CG*3znZ %r sz#:iD=E:@oWQ["dE0#]iɷƄ%V\a^&S(haK . X ܝzCpX$fxR3pIAMPw;Ji;nv ͭ _dqDIi;cpUH#e~Bd؝J"rye>y}ŹM_*FZDw'jp_GBT-LBw6Ct0b&%3E eTZtZM^bnvӫ %m#-_iӷ`,cXˏu]pdCMSI(;5]nBh+%=ٖQsNռg*ə:yPwęI4junr=,h|*@Ώ`eng\Q:ই[t͚Pzg rI\tk?27}RQ9vs%bP]m^2z^Ug|M2ig}edAj8o[ZQ6fi`Q嚊__;XgXpzIN,_%$sElFztݡX>oUlDX::PT/rq`]rK!Mo(*J0p] x-U@ ʝ*Ï,gw . :β;go(YC8;PBWL-?w=H i"ҽ2&`KToƄKI|H\zhAӡ$vi3FaƜ," n,Q9+Ãj楌<h#0IQ{n+򿌰0yS E;p²H,in} ɩE$\NEe5ÀQ<+ fǶbDWs,SMg 'I==޺6T2B#坳9wr 94NzS0?u=H+J\!{K φ//P81S:/5ܧU)U&gYE}B=kFK6{]eLvw˦)^c ^)'T@?*S3'|tTmW$ʷh׊"x(wPO~3 E ?۸-@ ŻEǬĤjJc c.i5xɥ-KbBGxfϵ)Gn1ԃ=:#+B`_¾v0?&~Xq0b9~c ^C#YlքRsI= Ma01e@yE6&q]jM2~'=zl7=1 ^(EdPGk[9y>nЙL'l McӶ_z,6rc2Zz<>w>,&ʖLH %'ل/fU~\9LZRB$W~;/g~[L @+:~rl3++ű/w ppuHłMc9`c˿˗`NgQ2G`d bgbtdzvsD.u 3Ac*Y'hӯ)6D [ĤhZMWcib~:*Ľ,3ccP襌N)m {<~ӟlo}ܸ2EwŎ _]!gBs;W%+3gYZݿjpm,uGMp'"~ b;IǨI[mV?ی a‚Q$7aK aE4g2Mq /z6ЎRna<#s 7a(KڋVv?3%ֺc55wfnt Un%gNF$ܓk੘YMm@{<-+$)Ցp[n%q,9uڹ۝z\\*;KY>+&am||󔢪Vf Hy"\{ԯ>Rjeʚ=3u/] +*$MH ڻ>ldx^NQϚ;C$@ATRR܏ȌJ 툄rQf2dQEJ $aAHs YVh2\1굱ZR@ۤJ+#6%1n-fݞ'^԰rGa& u;,Pԋe#w&',S#vp Rx8W.jZ roX2Dz*Żo~0%j$UJ/q|ҡF(ϲld"B5u"pC]H%8*-wou3P~rĜRU *dQ#!!ٞc@{B<Х1;-C'fUbݣ"pRLYt$qЭoپ^-:xro7L®!l.`ԍ =H}jr'؍u}Qt䐆ӅV~gPomj֭i:;>+0I 38{It$jK4dQL#4ppI1ͪ 7I݌NtbD}qMY_VCr8̻; aim#'ㄨՇ8:k5*RB0C+lͥG?.0ݹR?A3$SWYi 0ga=Z}9E^3]ʙ]⯥KUaY t3z#D&Kե#3)W! 2bx$;ޮ*s%^ͫE>}nc D¬f~PYb*l 'K?{8y^)Ck]76m_?t@rOg\N.Wk~[&Pl<#RYQu-l]p^l!9OG͗=`~sO7~:;B̭6Sl wm5`G#뮵"ɎiTb{wd" x^E8 bi+nr(JU#I ɱ)m3Tu 5pmʷMdgeu+FX+BwRvzM$4l+<>pJ:/jy2*Gd,́&";_뻜J~K'άas]aJa'71(-|Mh=RR;[cҘЇm\Si< ,dAO}b\n5 $=;6G6lk-bKu-"5$U='TZ)m| 9zDMJg4;FA=P~_fa ,bI"_4X^`.Q{.pV齡/[ŽBRN9u0K. Kxp#;1]>1HiV6&`._$ 2eiWg[^~`jЅd} BTM {LGG. bfЛd5`ʍ7ۃ$ֻES q;qDC`z{YI@BeJ?Rd2|zQ)N}tze E6U a?OSY`L5إJ\V{!Jnk Y86cĉ Jcl b1^E7yd!'ĄG0L'JcC+egݻss7A%v=-# rGhY6?|*pscPDokh>23rrJj?alt/2kMvH5rQIh_y_*EMJV>Q Bnr.|OJ6zN'& ^VKGk*7}q6FDvZuJwdK$VvӁ)zov"T{2ɘMNxt5QVEe %T0X'T 3"dkʼ]YnU4Y{P6wĭV5= 2hc?|{EJr,Ͱ`]R9K+#a>OL zE dPݵ B<߮ۊfxir;Vt·'GjWDVq\m@1P4yt'["!DžL;)7#hWKOb¢FX << X~N hUB”sje.ғfuڎ o#/4*9&$3HaMqD7a`a =lJ=(]t'O90mRiफn^Kةk#- Qy2YM!~Ju%Cѧ&cPo+Oq6ٱ%ۇueNr]_) Ƀq{ zLi we~B.u솘{Lȍ0\| ]s "ḱσ;%( 9.۟ۂL}IRMk]]E5)(e|{~3.z]<5wD.h+?l !*>7E^Z>?хe֌SɆHSSbca 6)ƪM&)# +'ʋ {IZ5Czn@nŒrH tsirq.֟BePzrar;1}RCӟn Hl?wylqxڻ]gzaYBSLL(q Y4IЂ SiݰU @'|/f-ul%ŕIi&99^mR5WMg 4tklWѫGpV0塚hNi:] [Ht @%gYZ p p\ =w% Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rules_To_Incredibledocument.tex7zXZִF! h ]A-MՋhvG"uIBm5y6C]mĹ潀Ɔz}W1ՓciB ֝IJv:<3b?&ï"x/DoJv* B/} 1eh&Q{r}L´V5՝/LK&Iq2S '$cƶUJbljcӿ U :if:E`?\qBz+WD5 Y)"ֽCTbc.4! {Qe[~irAYo?KMIxU/[f`ɪIIrcZt̆3Np$Vԧ=!K֕OeԿ c8EReV /qf_bp@ <[/Ze;]dG5*q\jp|iS[xc#hi})j.jcBSy".Rbh '#a֖ w3}tD/ %Mr3[khcrUZFв.R9 J \m/! &n_;w( Γ+B`L$ n3C2l3PW/-[~ gVt%RBp&w> T,dm!hy͖4a 8xE#NZ;"OqPIa4JH; / ܋3+_v0ToWfqGjSr2^kO>^쐣RZ~`c֚Ĺ: X:Hb(2Z!E\RGmTUr!˪1suۮ\*6M?1yCuBɧh.e 5&m$7p Q1CZ !1yxZjc($|}0(2{ĢV36!0˼@OH*6TBLO0)BjDIvhDD^Fա4#E\mr3!µj>p#k{Ɋ]!f]LRwQn[fԅչۻO- ub=fr7Ym%|'(=t/7TSeQ6WK0x[yk1)ދ818-V88)ίuc&Lrg(/ !ū>y5g|Wөwꍇy <$;Y0rcY?`[0o>A;Ĭį|ZN4ק)\d=1`Do#$Dn&`C b:ƭe TF$DbR_(/ڹn0YҽӨXngv]J!PҜH[v ˒֮d5*a{Vf\= Fc gKm#gQLDW~o.1/qR 3wtZp5fER5*7vIT)?fcD[(BD#SR9;4hIJ^02doQ *_O]H+\]0Qa>$b%x:T͋%i_Oٲvpx* cΰ떄IE&Z-qG2§F = LpgF23 3[4hxSBQprK6ė^k?B@.)ݐ "=}exJjUN\nD,<daNC`Cx,`Q0 KunAkйyB^I!Jύ7W#r)e;+K%薍HqWҦ[frVmuH/{]uё_P Ww{}.E9?' {IMptzЩ&(ot/ 941@ 옵),W{tqcVdBԣ-R]mBQ+3!jf ;=&vhSZ∎@ eBO>ǫ]sl`]=?>l3p5ѿjרo?I )|X-t\AN$(5){ᱩp ^zR_Z?c _;Ee? ;HQk3q\.V3C 0qCݒZ]jPWLaJ=GxBur7k9Ve 6rkh.OZyiTSIӰѸFfP!k~g]eT܍P7u>J"P %54r[sl7@+Ezcq Z_33i=o_ӤFW ܅9kf㵼% EĖ 6r{ :>Oͅع x>ƾ8/ &\",'Ə -Pj˒ f =[% 4Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rulesdocument.tex7zXZִF! QB Q]A-MՋhvG"uIBm5y6C]mĹ潀Ɔz}V?O>fPF',fBCQ&h~T^8J"ُ!q#eE*iT8?SUŐîO3eM">o(yJ4YR1ļX#cnL40 QsCfwa{;P>B90gVA/BsHUUkmL>D>zmFfz3ovF3|qo{.#8WC96-ෛb"˫"wAOr|+fu&pqSn,Z>Мǭ~߫ZtGqV~g*Z&PHصDʦwؓy5`mǼBl;o0b_!j` fg?? Ɗt1L*XW7S 6J S#gR7hr@(Z\錾TF9'чـVpK. œ?nra|zEP?CNq3clcE &xao=!jpp46iHIQ7<gcR'yڐ88@l{v[I"Gnsr=QJNI ĸ"Q *4:|!ADR1FWo$Q'3^m1(].aKl p1( ;\H0-_1])l3#󗮴r`GICPN>Wy*C?MvMB-\ru\4F{m bG\nTAzQP} f8]ŭ&d'PhyD B! 4ZiJNws U>r<,r"[] @bbݴ &rtmEI$tϾEGb5V&>YZﷱn`]v,!^{S/RErYuQKC"eF%;n2O.#j76)sδtL+=1tpJ\~l5lXў4?E#xVb)zjH*9E'H@<_Q4xp⿪Eq_:BpohMМ 蓐H]@XlhD&qmES|~Yh piBYQ&E2jpa4tY@vqKUd\W仟gm#3kD iuK-CK 9 h˗Ei&$q&9"/˦EݥjW׽І ~UhQ@EO7,Mj C[!?;ρWW {gnlwS1*q]뾴*&v2m41e &TByj~V3k40j8^BT&RW/ pmV!75~ 9|7;Ή^ht 3ÊItNuq #TrKZ=IKz$O}S>N 6zmNFAdA8L'mLY:VRK4n[N*.x C;T^hPC*堽~aUK2oL͎VIyWKvuఏZ*iOќS^N.Q xv$Z3{^hMKtM̆aY-u-;hK/WW=$v{B24x_fk`JKiprϒ}8He +(كG A/cG3%#`yoꫠ# : -|ja뤪.W>c*JǗx-dOFC4xժʑy+/YuIyXx_c ao6`pD}uarqEl}ABU!:y7 4q\sɇef{K4dת31%AEv@MK8W 2A)C]VJoQoo67Yi15L$uE7vtl`5` TB;0U,uOT+0paτ_<٨G4˿5ɻ>'g{j* zgi2r_QϹB `͗lQ- eɓԥl)_cNռW@v(ꖡ'Ԫ^=a 5[ Иm!nwAaeȦYPײ2MgXwtƒD!o1e:UeYsa ><_}&;âd[gYZ $=_% ,Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Formuladocument.tex7zXZִF! W ]A-MՋhvG"uIBm5y6C]mĹ潀Ɔ.9`itRiwkvEE_SDeQ|}*Ds}HI6ho5qS+mMAnd$TEd(NN ۭgcɡOP(URB$=r\s˖IE(pB)MX/ezuOQC%p;ᛷ(s] nF s5h K*jD(g6Sb՞7 BۧX/MF6U;=}*-yZ2/?Mu,[bAEI~ LT8sNV}rd$-J [ӺEުӻkmR}1 yfy7Ϛn8t{x?NCNxrt+ҝym#{^Wy`H|A5өau1jQԢw߼ g"_xFԴǟs4 o]ޞG<6{wr,Jס)w{lvȢ]~m|FP\LX?S('iեPĬB)5'7#Z%O.&U_(_fnD20r߻w! (+ n(%-=Т26fxHT>ɪ_q _6׋}-A߇}C,M.;ibrR^A=-D'B}EH>f/*._`Y۫fY|%;ݞ~Di$<ނ=6upw_)K67:[ 䄄J{APL?> |FAo7+H9}VIƮʋ"m^eQ=6[,nDѵ1Cۦcs4S%(գ[H7Iv#iOMVV7dLRcjI?%*d D:vx!n<٩>]|Ss%B9$?ͧΐ {be# x jy{ѳzhJx 'G,E"d]!s&.x'Ie Gl%%GpF 6ڲQ,=2$2j~}H?tazo`'+c`XemgRXz"azk%TWgKĶCw#LQ|땦SQ|5~W!EЯ%t3xL% +H ìg,n&YZ'%nM]S4(5ʀ TJ.$p|/Sw%.,; uLEӴV쭧3;!6@mx^fiPV R .q~  W'?3:џUFYl/6}GV{⢑q̟AF4&Q ?E8w 5Sމd cC,nQʉjntm LUPP7(52Y/ã^~[A{~4Gz3gh|hCR  6.}MMX" Q 4|GvjTܲ'rn3p<#{RVv~Xdκa$}U0^ o8"}ۺxe q0"q+s5`/P]cf+Z(@ i$H&ʍVs`<6gd?U%x';T˫ےY,Pd拣CIA|ݨj/h ϳr'pJ4y5 [IH.jAV+!֨ J_X~d~?a q,PxW Ek(= otC ʣDtzE_"/sK Hn%r*FJV1wK5]$\%lRr> Ql+/Hϵ)+@ oT1D1tv*>NˇdiP{d{stUPҧC &Vo`=k% TIncredible_Proof_MachineIncredible_Proof_Machine.Propositional_Formulasdocument.tex7zXZִF! e #]A-MՋhvG"uIBm5LDj1F>[|$P!g֕CT%UܿQ-u#(oXS=*~ܬL~AQDZ &^Ha*U9&͋XvqƂ,W7-挒-9e1}@J!>/*G~ z BA]F٦ ak5Ul`h?G !9N7 r)vc?|[S5i\򬴹n+w5&]*Bd|jS)]&EA' <Q؅KݲAebKknmrsNQeLo!֣ƿ`w*'-\4w_k9Q5vVT{0k{/U QC vLCJfg EUvBH!k]ՕR5Q5%#(ʲS|_Zi^Ygn#;ϸn&V$_:Z&E 65aVcgg-!5Jv 3OK/0B c$k#{DG-.#?0">bA&1&_Ux#'bٷ#Ga;|h'I/k{!23OY'LhP~ mv\r !}[.ģ=_j}54?8oҫAL4R(F-j%̹g;sts!0∉4CbBn8 l5fZ?dJuDz$xvP#HS!pgt`E b hEB)$Mp *m Қ1\HKE(X!M??(ԥM,xP v['ZD6ݼM51gwUcV_kywAcIn-U|]K#1`WBot3(Iѹځi6t+$tx^>vըb QY]|7}qhEf.K)׺'ne•Ģ|PV(P={vslг\X;aV\{0dɱ,覘C)7>Vs6?jOM*$ bm}ﲝl,8N2*ec/T;Gbu%ܶ$0a 9ٍ]g3 f^$z7q n;V`H #LzƌOwmx0MM4ً(&:nqLU+`OS_"({b5)&#+yU7A(<-VOfbEπ[=,Yʱ +s(~XΫ*xw+(hSi(H}p#yoyN`KTe8nCƔNa/ak$@!hzKJCסP[PVEɥ4Uq3slvt8G(+4 *5u^dͶE!j)We̥tPL0ryKf$xhw! pe7ewS$;u.Olzqx&Xf>!vN4%Xy0@h=;0BTbkVN5J_z!%^٣ K7|XgYZ u=a% LIncredible_Proof_MachineIncredible_Proof_Machine.Natural_Deductiondocument.tex7zXZִF! 5I ]A-MՋhvG"uIBm5ı\;>8mJMdUM>@\/R3֮cS}rp)tۏ0EPeXRH#S?Τ+Qn,M&#R%_1\cU#Zv׫W/^i^YȣV5`ǽ}|/>}2Q Ag3d+  ь)~Yj6ٓ4"] nxpoj^P㥚a,8IX 79zX$KeuCjn3oO<gz ]_36 4qvXh=CDJRkA}xOG-8dc>GVn ls*4h+mt}KlCƬ:ffK2VA:/ 9D I55BkaƱp/Cv TluYUjla 2lQ1*R -e(c20: i n)5mkۑ.vق Őj9 pXhZ,sN8_ B?v1)h2]AM)28$%{ 0AjN-GGVO0'GJ^8h'VQ%_I6y bWKP:0z3nTjrXT!.AAG -oG,P?KE*%p5r od@X?4-Ș^ zYȩۑ7V Yg~lQwQVɔ<Mb\D,䛑^8]0\a MPQv]}Jbӊ)Nꖙ?WB<^Q۫ ŖTweˬLaev#H @Ҧ?:Ҡ+{"Nt .b*P HezSmVY?I ۺdH$mH IpiNt NwHC2NqiE˳ڝ7$;B6It]C3k$ #/m% H4rBc- _*fiH c8.)J`JtQ~ 6Pyl7 rtǥSd{D+k?f9P$Ne/a_p2b&m-:ӋipBY7/)inZĮ\g._Jt7lr,Rᲈ6e=H>;)|PDNB7E,<. oޕZǴ;Bq])sOqO=DFRjGX$ giemE@Uxb>v?ݟˏQkו}Lj`|R9?R\u@6'1Msw3 `ELd㽔 1QEsyb/QI=`[C vjƐ'@u3Zv^κ-ȆsuoY ~q _bue1R}8 ,W3zn&re[97!-X+^;r{k5$.O0!@gVf,sJ){/+$R[;e k{F '9%aX#"mYJC؀Eh0qt&MV#.eܼ.Ne)/^m=8F-#%{Pu[4TX,hJ&luɭE5Rwq ϏE+g1m2RUFF.2L-Fw<ݗ=)ok,kc$j7 )yq9p&cmՏd,8Q4&4K|X,7^ Ts= FYa0$**&AD٫ OezuUlãLuDוi ڮtZP_ hXjDZgYZ UU(=W% IȠ=/pVx1WοhPD\}dNk3=j(u 󅣞:;b4Mٹ5,rnP5YTxtjo^do PฉQU*̾^}}J-&3sŧf3Ck!qcm`:CQ*)M=a`.;[{\DS%Ў/Zތ<-,Vqp?GtL :! a<"8t8'.-DS^c;zIfF|>L.S/=~h+1~l%ąD,8KhC- EV߰. 'a*1VֿZ ud+"ֵe=[2(RڵZofvwA/~D@=4g|$JΧY[[&ęaeg[0:iR; +A>Ĉ`Eo{1}z-FW]v HlU0MLʀM U&8Pen5ۯ;UticY̐oi|czsT.XKyRϏ *ջz(V:Kot;F|A3E29Wb"[n8KyX/9ffb.^V=;IO\jH]y/|ADi;^k4Coz 2p樻V_/<K# i$WL~(4*0-(W;J`)Hϴ+΄Ȧ1lxO*qސY*;'MVu^2ۛȓe,~U6O~σ3PjJ~UK0nm>7t*OloLkR@W!Hcj-NW&OUG~WիvX[cvwn9S)Z%Nh)RNCat&NAoNk $H38I6 ޱzTkVڠt~@G@B/pS1|]ȴebbO}ܭn aēV{4LnSP\F8O3P^^M&S+Un,QCM1Ip{5\#k op:-& t7ANj|(H"aaQ0 wz}4~[7fa:mjD6g^[EU=o)wr9^9#"(ҚAwǎ!+ רX\Vh!xe:T)7wJ:!\V;雿S7au gc7_BUɵq;NLOGU 4w99Ҧ. Xv#BQ2QD[!_֎Y0(XD~Y:I>r9loR*~ Rg>ڬ!t詀4׳4qGB'c.~40v*6; |!SgYZ __=3% LIncredible_Proof_MachineHOL-Eisbach.Eisbachdocument.tex7zXZִF! > ]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+smtz:rj?3NIcv3"ws%ֈ[zwc VQ[oWr#zߒi-bfnvr^W,o~1 ?ozf'Rh&{)JhGsXmM9eFT窵\G5cm%H-*ϬSM5|xXn-@DoMtKÍ\5POUZ85S>Ş 9/kTޏ?@(47ͱX+'M=+v{aE-GvEy)fwťM_:a@"eH< !E5Lm1G%q~}\c{I8|X;iS*Hd ު@JdYpi9:Yjv@l Gt҉OQKOè<./t#A:J^S@[nG"/3F%87T#*D k&im9Edh!~mrH8c0Ta@7[?6Դ[ tOr%o|u`lyD#mSGvm6Oe-i{<{ae{Dtf_XH^Ȕ]:IDGcX6et8lM$V~})(HUlpDrr}ۘvA>f=ЛEu||X!}(A"$B NaJճע)ޝ~>q5s) E2XPyG  EeFD~2pNfنng~c08xlgQ%E18kY "ofNůԥ ;f|Xf^?MmH:cS͢_Re_X0J7l+`Y,wE6l+&B$htSIoXH0Fs>ER9CTJtͨ5H7<ӝ_ %6p A{qrQYc2:NKeEZ%%HiGrȄ%aq[ hB Pd DϟZ-@HrykR꯼ >4&4acqt XRML6@XDws=ԯhrb{DWQcȺ߶@%4n١jz׳+HE摪~w.vvE{OUvԶG]m{9Ko)+Tn;&vxM}fܬu<9o5NLt LrGs!Ga0*DZ@vbu߁qןs݌ZCD.?[%-II#e,a>:uAKJԧ?[*\]ˍ(QVDyu$[{ȂA:)ҩ*[PҞG!lbM5 !t-VFoJѾ|syJ2xXzލV+TmM$'".J8K0f4/YZP_Zg-l%Yp2'' qM{Ε]3> H(vGXZ/ uL^ ]RB bgHލylxumI͵u1:~ gMHc\|5@x:/Mvcc`-8H d*OrOG "VI'*JUl!|1ʈ>Ojy,D^*)AJ:4J2는[lynXc*Nyo[mWQ,bg`bhl-y3`%<]\Fu֕KYyI"++[q ѯ˽~3@0A/ 'U!=Oމ8rڄ}!WۆLgӳ>1}bsG5hBG4eJB% ,Ny:9:L j+s.cM}1䊐˼]>tl%Hx'ʈŋG ϽF3R˜љyݙrF (u'n1=RNKunsXvӔUB8fd3,e$|;w7L;wzʝjxݰΰ. 7n)ϵ6ڦ9D(X;f̮'^Rupϕ^F?u3Rg7y|ȸ"gys)³^TJȱ`wނ^7h@ nfx :w0U*<&pA3&6Dp7LE3 v۱'LnʼΕ2,pٲ m̻LĴI4 \XKQwv0,dtj/{.}t'A2]1IMFj)/A"f{fX#1NMa+uc.c3ɍǜul~jaYR-yMl: 9zYߌ`MC/& 樨1d,-oniͷݷ!-1XɽBjՈN{S8߲B*~386\ڞ:X*ӝ' ڝې>[D*"? f(3HSM`#:Iر3D=謈 J8oڹ"W3QzRH?̺y/˯wy6u;.iAg#v*u%}rPS0jQ;rr$UO)Fnw;Y/xlܺb{% Kp5hޒ,dgYZ 22K=E% Incredible_Proof_MachineCollections.Ord_Code_Preprocdocument.tex7zXZִF! 64C]A-MՋhvG"uIBm5Ń]Im]\7V` 3y}:[:Վ?7g{5p.;:lIHwNGHB /sLu7>AqXh>Daڢ= mVcc[Qp)x=W|F*40G6l{70g͹*{:C8thg)21Jv_T Ѽ DrW!F$t@]:#TJ?k5QUD;ܡČX23hɪvrD7!,>*4BV;6f& ~N@.=.O2cZ_|ӘU)eV$ӴZWZ<36  ^(uTd"6 kI'=YG!͖ {)Dw`dk^Upl.츍7~X_FG}rʲژ`c=,ψ wύ6IɻjRǭ.c%xT x!$:<'[ Y`$K+Ndc4d2!T?VL}n=9>B|H~ - Z[)3&cm΢x M,ː,pSTJ޳C _a@:GP "PתNvWILŪ7J_;.zyhƏW @a5&E4-uaVgd&Ø3 5l"RlP|D(%3cWk o#^C`t'ö +Fd`/wJjkQjl.5!:_+5ZBI5yFa͆ԛnqF,nĴo+J~UVDۉy-Q#M&>t=(}9 5q]6Ó4I|\`c?!(|2i'{pHj{}oW[* ߵCCЭJJFbNfR4:MbꂥP3'wnEL a>F3-z)ΏH$l>OpWΌg Fş eMQv-F67d /(|{t­[ݷ:Q|F\os#b mG 佣fM X&-cxWܧےca[˧`ѨbRVZL hj,&smE 'Wҙ'KCa#1͌x]F_IFs-T2;LչUBN& ]r g@0DV=*nas1!ن|+QD$|nb1<2x _نř[2BCw;+x?M=1g3EEElܢ~]^@8if{/9m\"m/9{pAݚXHJJ#\-}ϱSaηM#|]Ŗ:lIa+gYZ }},=g% 4Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Predicatedocument.tex7zXZִF! 6]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[frj1dH nM,1 J@eI4B;Y̭ż| xRޣb<^ mb?%b̓Q̰iԖcqv Wr r*x=[˘,BʦŲ]RkeC%̘D5m>Q h!9rKv/0GVJ.3!t r H'vgeD-.U϶fE˅^fdFЦm{oDթ@9cg{z yZ-L8z[9'i uHQ؄bSVy=m%orhV[& cd†~4R#>6h.~EԵ/V k\yKOSaSArp0U0u`{1=:? 8*@qQ1X?Pz5O\dЌkzD wBUP(F{9\ĺuڧ@Q%SݽhI O(kIBmZ.F\҃Rx=h1AI%{Ӡ1O]ͺo MuJ^%GE "7G;U@1А' A1Y7HQ`D3O= > 9M~&,>h"`dM1W$m} &MEρ'M&n֥WWYIZu+ P'\hO+n |JT6L,ۆ=`қxaw}ԒW;/q4Y T2ewLTJ.|>#g>eXYȝqFCI5pEx=`K+Ul@]c%zyN[_k!r؄,#+K'QBlwH زz*ҨgBv)B}8+\GOLukIyJkwGUTՂ&xx\|9A{?/P"Pl_v7Ke{:P"eX;'$(lz y/AO̔3z|亊pcA[Xf~ʯPs4"'bohm|Ħ=/lI|wT{$:eNzқK|u<ҬgE ZDZ^7tTlXU7-I79[X7 ˭;~YWfͫn`>v_@ryI|u=@~9jC E$v0ΝbEUY S!/;(*RV^}#LoWXq0EVi耄vk7  K؍`umJǪP(mf^sg芨zkmDZNgYZQ=i% |Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Signaturesdocument.tex7zXZִF! 2]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[f m‘xOjr1HU1UVB'G4"gV ?E"~gwS'&W1Ҝ3?"\?ݏFt2G=7##'FѨI?\\xI̴\JB;bO)bsyyy8ࡤ.V죃D,L*Zƍ]ʵ,&' ݨV<^^&#E:³#wlcNEvD!zPDPMlNSMutV ?p;+ʪ%hgM[pԜq>P5_4]_;f|̳.3i~"M{}ၭ f!1k([ &cz •9|04Msx?dYoQvXw>0Iίܩ`nD_wGKK='F"t}@~(qa֣ALzo^;yi(ũ2^<$>4sdN`-Hߖeψ \xL eofKaYC.%UZƵvZ _I>ÍZLɛBZ1I7f24,Ji87.ƥXD.?0WW e9-gYZ  (=o% $Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Propositionaldocument.tex7zXZִF! / ]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[fi]`t~y<=j B,vgڼ3q_9Gɥd(T.]΄?cߙ4FM)tvRy6 Zciad =HFEZÉjRYO@[GKoݵ1 $r/ Wu}!oQ2FjRB=%F:=[J}W!v66BnA<)Y#ƌRMm)'9{|]'H 7#`^ wFpgiU0Zh| /N[%>x4r)rxr:^&(Ld›؆HZu #˟(Y`χS:[tfq'UzxE|O*,k;z;lvZҁ1-<`O-NOvQhp @[~qޜ1xE%T0@d>3\G1uU9Է p|9DA6J3@*9+et KqxI*咶5Y-&7;W^VU?dOwxW^2/j2L>$@m`fnbW%o]eBd啴v%|p+y)_%薍HqWҦ[flaT2ΛIY^LͻFCvS_!6 e~cX;۷JkH׆7dɷz>VEctCp[R?GT@ߤy+0AS.4B36&YvCא,֨s 4a#!N=FթW, E&B~=3q&n&%]RRv0|>K.ҹ<(/=.1kҵM }8? 6"ƨpEfZd0ț#dLhSB@!$ QΠa"m1˒]Vn͇ aR/2,Gʁ,T t'éu9B 1;A`d@063ӟ1OE/tV$ $ 7pD~ ;<Ѕ^ZJ 8|ξd9m5GdVs#ŧkxbNY%WϜF41n/DJu!p<1Apv:;dmC3\vs;#DP{ݨ?bZ9Z0ZŲTb9gYZ25䣠GN{LHk[2zEmOwE+$l?K/wneU*rm_GLWCp؊X˞[1Kce7<P%7iKzfI?0)9h gzNhp "Jmm ]7qkK \eiRW+ gô:K }<#6˒X6Qe(BbMrN \LDdgMUz9Kyv7knW`@Z] Kh q;xѮ\846gZQT+1x0-'BX??u9) i{+C/A+/ -((Ú+uPj٪XO̽9 MctN-#˳dTл(W]He)%E@gYZ7zXZִF! | ]ŗXi%;՗D)]c,&863-)~4E Oت&K Pk67/ϗఽnvҭ&l};j(,\u^<:U[+r@)1,:DEgs*Wd4I9uXwa'`OM)1Vy}Wϓ4ѡQ/i;b|g{!F fao6Wߙ6?ejYFw=(X Gl#h~@ P'#[MnF=X{ޠ]32tUyۍr?g0҃"no/Үc7QGЂؕ` Iu.p&h*0EAqk|e.p4TbMWcvƍ&'5^;ԁ[vO$!ۀ6H!'"n8=&. Ua N#pSmx ]Fg`kMZdT|̫A#M2Z#v>#l5XsT)L߈m$7=4qoSj2 7qEtdݾ DqoŲUop8I᱉U=CW$Sh|"a]Yl DJzYTʝ][v \p^颵>GlFh6,rUzqq&q͊9ܳeؽC=) 1?k+Hlfr2 rb6JLÚ }Bm>ą%Zʫ" Κ s"A ׏B3" ԇÕ`K'ZtvU&u X6$߀8ojYh*[c\#zTݻA'#T,prP_AC\Y H_[|> P>\H3?n[~G\Iޣkclg+TƍaVw}npte<[OQ2{1V?_lV=4% Bwu"A3wCͤvCc @"1:#\r(/ŋ觔>P[XHǺ"le@Xa7{ϊj=N) }#Ac[QcK8/xӢ^A|qGo2KS69H>1:K'+_oH i?&Rԯ~ O&n1҃$)`y+z/ )r$+#圪߄>/fAi\G=wk]Pz>*]  h3󵂈kAt]O ?uA:jPo+^#=@=# mG =ӯ4oڑߣzJfCAi ʍßoM,Hy#k\~}4akK`ZFԯnD]af\ G <0w_ sƩ0ܘN7~>~t5Y$]_޼ B:ƍ:0py'\-PIէe&5P5ab'f:bW^PдUd?8׷~;wҽ%$>;!MF\mŶ)M&Q)0}z_oxap|ʱgYZ8d240363645b61a834b1bbd2ce637e3867f75a421478cd8cbae6c2903ff8b7580a1b47a0f1487a38 aa8d72250be55f6a4c5e37b817be58eab22b8e4e 35bafc4e8c24229f386bf1fae8a2671fa735bd0f