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   h=x $D ] Incredible_Proof_Machine:threads=4elapsed=60.390cpu=158.252gc=13.7607zXZִF! ]ŗXiɟ{;ZslK|':*'p:QU#` 萨+ʋ;j@^ⵤ0 K<%T dV*o,H$)brğuvb}$(lj0g$~4ś c,9&vqMidJ8wpP0ItDoK W GEN"Cj&d,HϞ>"|eP='p2qj X) y(/נ*d HY2ߏ^yB3hAGpMZ3Sl|\bYrLQCSʶb53?!Ŏ-K|yke࠱HYEsx"@q‚Tn82ozH]ǯssIl6;9d+@u0W *ʬa3F@6i"0=mЙXp'3 xrT-DɠnueD׎%_$& g lUY[lo|M^)+8P_"3!Bs"!pJ峇֬geSH>"';ڏeb>ҡW@0/}mWt9V[E?T_1W ւ'&h6h' = Incredible_Proof_Machine&TIncredible_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<S=c5 tIncredible_Proof_MachineAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs7zXZִF! (]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmݑ 6ɬ ءc~S<| po|^ uݹ].U}[!X8Qδzc6Z#/zÑ߲M%5(,ɟpq gp:U7i/TW԰J Pt\b XN!Vn)SjOvqPoAÿ; tuH{9̽& =IqSҐWp /RH$n@`9Uf#' FߞǮ4mZ?sy 9yF4AODWL\ ѰQ[/0t ;&Yӱ+NkNYt :[nB? F\ΌFKW KAáH2sϐah\ꎐ(/u/%gFd3484:;hkqg&S?6T*LP9,VCbDf)dcbkt{ju N[aA]3+b`Տ4C@ՁJ[ڜ ȃN#\b-E<FLݑ3wҚS`"AEYz}gKxnOT2:'nbUFyEjg}oyVW$2aDA @y囅eC7MKX_{LB4.Xnr#ޒ_wPh*3Oz;vjL$fԏYB8OtT 2L?beA ϼ>}}:heTx)P}L"/Qy,['FG[2EKRH=nv߲ a}WG/8Eo ]AFr1qB]o{F8!#鋂eSKӹ¯R$۝cZHP(l m%pI*mzDZY>kDRgHa3u}_i*2k#l}e(iZ4ÇuU7&>< lNбKɱq@{YxV}-푿dҽ88x%v55rEk ~ klD:f've$c;ɎUzaúcʩor}|4Kh5^CvV%IҸݏ{ |@n ҎAnvc`v@gN,EĶ]h&,^!T)F,>[m;I=]x!x-,.QЏlj2-7ҁ<$K]Q#Xˊ)^eo_J׉Ê]W1p\q%9q}Ne⤞34na~F#u~]s2I!3Rх2Xa!-4+]e?kA`Od )k 4$x1UW uWSjÔF'[ZZʤ샔0YVy٣r식"(j{iJT>^hx9z3MjLY9iO}*iK@T][k{&\cq<Lw0( $/ {,,\:n^( ą!LY%L볠v$9i5I?fEg*!I%j^Gft#00QcКjq\~QtO/'Dr0<)["nhf+Fw Fsʕ! z}_{fJ*nt!kγqb)8lT+ϯs81юpA)dNNb\9??KK,@RlCCS@׍aá]pπä8-GaXߛRB_rHBfsADg}p|oJI^8:i(CF+Ux_ch$[}]+пdk0sMMhrwH[ ['vs#%H[K8a=e!iV ֵUo?a2Nl4ީ:,TWP%yZeL8 #}ftUJ@;sֵs ]Mp S4t%^6\rx!s|#U< 9J^Ps{7NٿR@GTyZ \Thu[0og YwZLϲV~}OC5YFLt k_ix9 o[N0QٽބуRLm C !4o_,d1 ^ ` aR9=gә}/ P[}dIv,'x8HwRx0tQʻ$ɻf'{EUn"L.a=5H- Wj+~W׍˹b$v&xTYkfp/c9LeUF)/fAZ AR(O1DVZy-Bf[*[VR JrRyCTWLm$c%lD?ů ^_,9Sm<]z`MiZ,R|-p.24t#R E * v[5_,d-m*NluH"W"5@ew$4Bzם /#cb2iêP/ڿ'E벲@e/(j]rH$lP.O T%G9Š=JG.NB.R p+$VLuML˘5^Z?-wٵ3, GҼgh>?tu( @m9p+`ZNXaԞ $c!se_,uXPǎ T$1GR4@bu]cX{Qyܥ}M:va ^ r,#;/4AGNW_h?Oռn'9YYi{ SH  Aӌ|cSjQ_>$-j'9K:@#ۜki<0c[ ZMjtIȈ1Y1_# s~f'~lԔc0TI՘͋kB185: Z7jVr@K+iXg?@K]"FL0 nst7E k6%vg%m}xp0VefxuR'6c7kN0C-%tYDapș)Z#U$L!=u^}׍*%*LH`/=:6yPN|1]ӑVį@{ex{!xN>ε.ߩEWfNjIԅk{䫡A#z7Wx=Ƥ<(B(&T[ fuf3W5VW}wya+?o$^y,ӵR|><j'ng( ,M;~T_5GAm8H7L ( 'e0ݺ[k [\v|+Ѯ{,9;mڥll#1C; q{kzY͸}H8uՂI_7XoGlkJR0>Z@p$?(^WVc Uc&mG"aYAxnZÅp>qAb%St ÈaceFC:ೀ{[ݙ_04ʻGYv_Z_0Y6X {+e)W %n*肽`VYCqg*DnvZ;!IzH樠;Rp8;3B8MglpuU n+GccR^ar6. f 78 s A:9ɦʠYV=ʺALK}y1Mhxp>Ӣמ\5{-c$ax掷f{%%g1cOJn^BѧqJp#/ Yt]Pz2}DPƧ(kc\;zO.KV3`z=cԟIw2`{MayhMCgYv_ocnOr{|GODݲ Kl n OOu|F/$a!|j> vm2$X3Д[_@x͖Oxmi4z mlJu[W\IfNNQsC6[oz1 Ѭzb׾UΗ{:gE|AפkXU{SsSk2$h42U*~V4A]Kp؀1&B*Ys UOyn=Ǯ)k0D)K~>XG~m|  ԟ JlT`)tͣ V r;kS= .u >&%OH͓ވsil6ʄ)I&_{jcsO[ID-%-#N[ 1G#E؎5#GyOEj4ù*imSew- c$-]SA.{ v @4=<]F7k":'{岑 C _v]fpAhLڸy{U`)LPRTI#q}JC`asmxAbC\KQcqxtlHЍæ,̑[,)٬E"o Qq*A*Ha [vQ<4`Y^qk t%֠)zUimŸM瞺!H&M(!PYN<2s|שaXMD|Z>kיsNZ*XtF5x?P/'2n8qU>gc9 u92 pD)I+13WӿYI*9دeFGXnLʧiwu''ޅ++>+?^*p& ʶYN>C^]eklUgĵN;e];2ʴ&hx}r{ k^aEAxLUI2,9tV$[`&|Cj(K c`{H9̾%pȻYQMcrא^Xw}blv\-bx7VW)wpG(rgO]ۗFrN~k -e,5?TdaO$ n[}mwQgtd7!8_jԅTIM9&KR+3o)gr3ʾE.?Lp#IBaZG;Η[2o 'xWRAD =S &Q^rl 0gCE=fP&3#~*OBx.p%3U3,,.qU'pBkiV7 "&_hN=|"DUĨ䎤hZS:&ڑmxu{ƭ_'<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&]+LBI1R2[nG3GT/^§ҎAx=FpQ,n V=5 S6a" =пi`tI |O=wxa#\9K"h)^8Q5P74ueZe1ebDŽgTa>bk~*HYpBf\ǣ/p팜B`Q%+5}7tvUJHs^\™5Kb!=iewqbMdýG.b`\]r91O AI,DG0O6 {Gbޱs5y!/qFnOj5c+GWFzBJkԸ,J ali>_j_<+MvxA$ Q=`{<{kG81[>b W:-LZO%nXPgPLWP?}LOӆ/qvj3:#/ĩlfm<~ٞkϦE)@렯Q|vA嘦Ⱚ +Gɣ\D´?9f}߾_Ay.$N􂸹ƣ8*4Jրһ3fFqŃPq,`0!6/ϣ=ʞeK7ۗ{8Z..cX kT7R.sVR"ǴƒpG|3N"t"'~|IU6=\"A]OK_ד阱"@*7(rcBP&󀴺+h (h^~SXA>.I eikyRq)/E#R.^qTwZS!t;P2r6'EoS8X `@}Gdق$#%Sa='+ տwH.-6)IV&J/Rl=彈Mo<2ˢVOغ؄ɒkx+/籍-fZu|sJT/ W XoNju]G>)_?〷x}bF]{l{ep+lï/({q IV5YVz۽ !޷s$W󝿓 !z)~exSVbRV!4$T7 T.vFdswn2ЍzӄJ7l@NȀJ D8ŒogGC"@Frx}%I8xxnc>:^akw Z`^3z"s[ԑzxSZV[ap'=.^qI {ScC[f19K5R](piai+?$uhcLE>p?:K71I\cfjG~@b% R8p}H-S6Iq oFNk@YāڜKVVm<'IB?@0qd@faSiW5ɔ{ 05K8G t fFx&@q|8jLH]&`azO9GgX+2YȦ]Dhv}0jyꎧ.ܮ:kƋRkY4dC f5d w`7'ҏ@δs[YuܢD|"c>'GcCj0*Ozj5A N MJ3X* E!ݩFhnw<9̔Ӽ~܍}1H~0z[Vy*(lMQ.MTz܏Wue&s 9 ?рmQOeKz2:>=@<3aN,Skyvl]vʁiĻlt;a>8 s_Eǻyl$sb"]k_KsWRprD4cY#8%nq$`Fp;}$F IyV_'-+gm[Jk;ÛSemRVuG*8JGZ&61ē^ ?" By!J; ȴ*DS\˘HY;H9Tʺ3Yɗ+)0F ^Ha C"'%Qr8pMYZ씊 Q'/L\g_ML{gE{X_6\fVh^{L3pD Pyd$sy$A^UGh~ɒ<Ԃ̜خ Sy6vʌڲubX-or20BB蝜fEr4첂^cLMJ:xhZH ~miG.|&I{704{rJvGff'[12 Væ1Svĉ?+)Ei#5K 9-oso=4Y@ 2־ e?JIub20rszv/#(ә֕|J>?%S!z)}7[T:ޏf848f!4{{ˑ{(4r;h{My>PU8-47.KxR|dd=i*fXEn_\{`+gבɲnw}ab*P!P˼pqGZ!'a\&cmoc`P)8k^2*ߥ..| BMmIjkl"JK:|[? 3|2ƹ+ݳ2$fu.G1T6QO62]e2D,h @6kSl0 DĵK <3_|cdsC[8%%ODز7Kmm\Lwnڌ4pS\^vD=vGU@q#o@Y2cuɩeQ0,K]ߥ$AFPG\bN뢁[𥱰Mfa 1 BjRfa;bυ27 tC?L*Hش=U-̥J$HHӭԿ4ϢĸauEتRêN~LHLQqڃ4O,GDXؗ)r7I_t)dX.'kŻk+( 75.ʌۍ4粱v9bF7Lg˃'=Zb esxFS'vލ;)_uuf*İ杬߂h8[@j^yR$x89BxzW~r:3ŅJOIHR!*n^#b$o*TeɌRtml-j~'[ k }+NN8G("[<Z*Gg~0ڷ.$鳜ʗb6WYL̤g^@QZE{wJi wUxWz&B<'!5i>.avY: !KN@%E7t2j2)SB.˽ğgn\/gv%薍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<S=c5 tIncredible_Proof_MachineAbstract_Completeness.Abstract_Completenesscode/export1/Tree.hs7zXZִF! (]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmݑ 6ɬ ءc~S<| po|^ uݹ].U}[!X8Qδzc6Z#/zÑ߲M%5(,ɟpq gp:U7i/TW԰J Pt\b XN!Vn)SjOvqPoAÿ; tuH{9̽& =IqSҐWp /RH$n@`9Uf#' FߞǮ4mZ?sy 9yF4AODWL\ ѰQ[/0t ;&Yӱ+NkNYt :[nB? F\ΌFKW KAáH2sϐah\ꎐ(/u/%gFd3484:;hkqg&S?6T*LP9,VCbDf)dcbkt{ju N[aA]3+b`Տ4441xԌusS3JE{ʄ@ ۔$gYZ ] 3 C][=;% ,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?Xb37ͥU +yx%$(ѾTpzDްÜx|V @dT)8W e6uy3cG0'Pu1ȷo W]H1[S:Ū_MvtpFcb׬,.fL秭bn]z j2ӥփ E*Fe򻍥 ~7)e4o$by`;p\J]k@?*J_HE*/UF }ǽ2hRo?c3{ 'YrM dǷg mܲli=d|_8q4I*ogwְ>j[@Эǔ[MrnC;`jA'3'P?.3a%, [!²8]N2kZG?4ضu_oAw8)!NOebݔy)`00 ,2HJ**R0'?`16 a}~4Ҿc.ڄ}0wM˾S 99d$PN T[Y[d370\y%viҠ=dMDmF̘q2 ݩVn)#>079n }Ław}\\DUWBe =;#x:q0 'B7UV.t6w/#smz5; _pYޥ0),֨iVz2U 4;H3 _,.ӌ= C3C6~@&f$%* l?mY08o[l6Y"g =YUgZ'Y v5P@a͢lȚV*fe:<zgJ|%薍HqWҦ[f5Litɦ**ߖu_ Uu4ݦڙNqɿ˔?P>U`Jz9PVD]zRMd ~=NU$9B > =g% TIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Deductiondocument.tex7zXZִF! c$!]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=Ǭ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}2gEwqy9ҁ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> QA_US}tAUtI@E n[KZ/¢;̨'CÙRz:XA [~}L}KGy樳GAi Y\]д*IV5e2c h_$k8Wk`G# ~cd-TEt=]BrjuXz?6BQ}M=6JԓxUm5zc3ID_=>Lα? /-*Q@"d ZT#B>ӑVgq!=Atþ_g8Q L|w^ X=&q48 ':_봸"l1Y@zZ8X4g*1('jR2;>7-e~}wLXGmo;; UAFӄ[T^^Uc*|<L2BЌGPހ`-m$u ֫]VJ*r3ڴ_iv$)GW3?=5xu97c  ӑ, {6bNn+'>ba_,:OpeC>ӡg7['mjV*V.=yB3~$GL43<ɘ\e>,=de$2;;M/Xuzi)= k =O󒗠t@fwF,s3W?K^P ~*h_߷z: BL?4=˩&&Op9Gb,n1#L o"biN\r_(U XzNE~ѿ㮋 S$vG. 7SgC'#tHJ>BmÒ%m (6-@V/>pȵd\M`i/|&`}c`=26ؚ_ +:!GA{T(ib(c IK/ Zw*!(|ȝI|f9Mb]5" I~TT6+48ߺJ*ӱ[".#ճH`'ȄT9'r"HAS_*0-i`LOE /.tCBm k,Ht 67-B 6J9!B0CLY9d] ߛ!vQCYCWA[) Yz+i`IIZ2(clDle=-vLY5Ğ0ݔҔk-׋Q3KTZ\,2=M'ol2U #8q5pៅ# /8[/ afDKѾ2 J<x?:HC @ޢ?‚Y(2Iq[i#@4>.p7rZFik0N4xs)Ym~eSs`#\Z+ovxnYj`qeo` KUZO$[YZu^<Q0;ykca q6njrM@.H"`R$9(B .&D'lqL t`.]XM#(KRm=1'T)2`c:"k]r ydD3driR׽ԜXJꦺw'j< c$rJ qo%Nw@UtAl P'o9dFFm'ڷu8kfp^J)tKVwa޶Q Je}+,f:>bp9{Γ;Eتڏc<ʁlF'(ҳ_n3Os%PL jk6k^Yy.VqLDC&vm|+?KԸ]w,; d\B9UuC\@F땡~hEr'B镽 /Bd.`n'#Nm1'Ip^~ rx@ꄼEP&p_gpZ  wͫWu*hKc벹m&`/v4R( %"zAm) MZ.;kFj'ꤟՅ; :M!Lj~Eq . ɨ5jKԚk茜#]x]AG.cCCh@7%]}⯣w7|>L퓑Xtp0D6jj_2jjgvdՐd?8[+die ۔weɟ}T~JdI)%vC\rh6TH]tEzeZZCe38<χoH=ԫQ7Hzm[zc40`!:̚*U6M`Cd$7OϣڊJϐV4؈h\_*`fo"\E?͵ץ}-R[}9+LH7Ĵ|!2HDP7l}~y_I%fۂX rRQCFDf1pw!5a'-W% /c_g 0\0b7C }乎1Ya)$DS'0~7''٠h6[=2 D]ߤd6W,^@h^n'֕JHE'^@/I&g~;7CHk=39` |hP9QM@ <;^p=ZEQB<%_c{f'.A]ycX]& :Po茙d5tfKȦOz$UcԦ `0 _P6mLm>GfKs.Q4HUpN@E[Xf&TP28CPaw> `L@1](?*FlrJ<4t; v]oFTB6dOZ ^o`o> 蒾;k}@<"b.ڻ?%gj4H')%7wy1>7Il]ojgd;770JFE-y6K-If7W~H|-,#mہrOZaZc|#%kpsQns:7[hו>縉ѭS/C)a}8ַXkx=*]Fe{b e[?NׇxEUQyRPKqْCd)d&}BHP2kz\{ꇪ~_QeIF /IӄJ$Y_h<J|vz3p:h`0`hou2亄"M_l`}0TG_XNdfY[3P.id8/vR1s -n0G0Ҕcq.|TX_ '68w:5Ĭ͜z$i@FDg^ MV`%rl |h_*mFnW4iaF{tCA5tr{S h,^=zy0V˟li xw(MiV-=!EP}Vyo+af_\ E>& ,4Yv@_3A#=Բ R|%q 'ĎϤu~Ľn{q|64&ӂ0a S\zmR&;mH[</:ځ Eu ݠk=`%?=קH~V5aɾ{\DP}F)BM)X u\ޘ̳щʠTs.%KǝlPr@Mt Y:^PwҬh?=)~eyەu<ЪfI!1dtWEŃ: G"ZQ-/[Ldqw]cgHD1v֔&q`E>,znߵ{{.;Z|=tJb\-[ZWI-0㊠-wWYH,O%~pyxx21{XI1kK8B\;—R쾗ᢒۇtHQfk K/F-z-ipػ[Ыxp'XC׸Ҟݹٖi*!xm8Xʽ2ĺ% qRbY=mr'F F3X+v{78aoLCFb*=8d~۝RbŸϿJy -[Fe@|KSYy?-_z UCQˡ.pיkC&N-PvQ<Ԥ{0 Kҹ}ӞeȄb{*yt2N(0N9KOA aD5z"p1wܛSICLmVIZ q4 N@AC tg!j; +'gH#v^ [ ,D k;"֖[ ,IDI :e7섗~T-\[]Q`hFĿ%nm|1;wLٷ_E5b6NDBdh*gڜ'X{h,Y9UɜcsXˋW!Rr0LiʿBDY'D"Yn+?xxݖoH$0zv2kfs"nv,@Gi/}?"'=-ԬIRbX2^XUjŴ-;Hsl^J@C5E;R'cM,\ޝ*珥[>;IĶ2)')E/5{$ӌ`$b#@j+E`IoTah5Gqg h&2t+q71DXmKu([|oA^%wgوQ񆩱0[ȣQA(3r[. *'kHڋ- V櫀1 BcviW>[A3J+4V6q'L)l efaJUViR3qcv:gq&Fg ( ۈX˾̋1wg!غe Ho r:*M`.H& qpӍamqExUÔVn`/⍃B_6ԖHϟMJ%xUy[(1U2{!.|yn AuQq(_<#*fzX"qS",t;nAhwhRv]! ˸l;;ů^b}?Yk#(SxڄL)$M\V(I,a gYZ!O-t_pǨdo`鈖]vE D!y8ĹZQ}yIy1َvܟá&ff쏯CkQP_s$xHm0t# 0AcIVE,R p8 ?@pi5ui%SZq*/Pe(%TGTpt}D/[Y`ۼOzrJPS7:Lqt+5L8g,_Վ\&EdEY~WHb3{סݭ o!wE32uϦ@Ht)"ͽf+])cy'|%K iӏW'*Hy ';#ۏԉj?*uòRѹ m@b)ǥn?'(K \U)"2z׃M_ojKr3`avDLM(9:"PH2\`e9_O(I\%=Y8V14wkjIݎOY ?҂nP\z){sHߎU.mOdZo[\hQ>o.OWjCro%(l)a=nay hjt+Bj:4L+B}^KX)%H3G]Y %ދ, 5wSKF@@i|,"0eP73|Dԣbb+k~F[[U`^x, '$;Q6NNxV6(vehJ{EjdEgZ3iB 8hGo\2<~:p+(v88 VzܖI7 V]3u~V84\|ŗ `"u|zer2͡D&0S7`II;\ x:1c^9x~uTpWH7GU[>b4EHlr<}"ao<9s/߆ y7_}5!:z9'ɺAZQV"x0ߘPl90ɔk >~O-sU˸"}"d ~Eb%NqS-=@}z̢2٬A^y!*L(odep_@k/yl<[*MjW4=܀8w2se sݚt523ykg?bRU[:,8~WGAeĮ(C,!?vl xFʶfz03:bM9r@Cvfjy>Y-Uw; |^V5v~m*Vc8%zO>}ړ=]x)須=YŨWEi7NM56(wavmײCT%EqUUf#0|:Vk#`?Z#܃l%5-_0m͌1mύ |M,g,nԨYCi+{Ȗ)gmoT"euUFAS~ KuX_e-;_~A#[F<ʸeYgDx`7~Tb2/8Sukx;qUc3rSWa;엑6C밌X۶V~(zwcPl7RqY Re\_ѣY^B k$?jm,+Uk9-UȂMc6 mGƏE ~XɒѢcD  1&M}q3m~hcŎѰ1>B%jfAb'e)?sF&?_A_bHĻE}H5*ӿr^x6_{͎`hdu*5% dvJ׿Jo(].nYmX7dxHx5P52 8)U@X^=cN@pq}*}$!ar&0KEۿ7}o<]^kC݌RnUr1GyHK&1b|m#/z/ԗis9PL,@}[$p *OH)&o %$\^viaw WARYV](ۜ"цmRaϭ(yq#o K:S?2%8-M<zl'Z(lBvO~jLa@Rvv@En!O7 *M̶`sEuR!+k2^.:$,0c#Qf*O/GVhIpU[#ۧ~E$_.L>TARWyEv=Pa㣨oW ʂCqb,,=++^<  3S&nmyku-ٳ12X3GHN]!HeɷNl$aϪv uoڽnK}ߑn|N9b96{[K8*wvq C]׬ 9G~)*- ͣI5R;YO5fNzKY)Hc0fKdT]#*[(* w-FkFv 6uCy},*2lN-e~ I>/msRGkGU]X3FZ1|QU|ú!LYde6x?v=gq>16SuaAg>D14W>7<+liwJAebr8֯}5۞~,⦪%"3HTv`4Ҍ7ap&#*տ07 !F1G6/VI,lS["9y < ,S o*$>1[I„rRCַpΣ LBjZ,K*J= !йF *S^Zk*ZLf9Ht[O6?YAM9&;*$9| 5m&=y f]MiZ TZPɺ襊![JU_*KUA7bKLk6D` E&vr[Eӓsp%7~g6&Fv,Sd_},jtph.?z|I^{I2QRsI`5!:wlnJB:ZP/ŒXsHd 4fhzmE``};Q|P8fd>UYt ߘˏ7= s(cwZʪ[_U0fCtn3+9B'L<'jRx *W ^Cv$1nȗ/"/'23E/HDa` dae<:cITPuYF(|UVr%E%ipPιmozSk1Nz.0.M!߸'\,+5UZa njl@D|^Hv&.v0BCÍv7tW~/{[V:p%2eB'9v,a3jC KI%ٹgO6=ռ@%"~P*d\0<v BH0;z*貱+b1eB黙dfD@q2 Zj\j3ڌe!+uj,H07~j.x\Vt)IҼr: u#SޡGG2ќK\&^V0 -Fם{M@o{+se-h$N e^Alayn<­L!,_n!kퟮrm8jpk]n^iW uE_Bo֒vVvJ)ߌ~F])^5@kBe-%<Ͽm `iq~+nkmܕ<6ﭲF+ДѵSA^YPD$xI^A?!QC_Mx(zSmZ%R3P{Fg.&&ؒ;zW⼧ӄ3) .BL<.8FT6 ao85?k?c3>4רA fwUfvIqS>mx~?4[`A{Z64lI"~w?IE(U@jVv 4P>;ٖT!$58IyQHnz= 0pW5 cM3ԥ!NN@f^Ҕ%9M6 $]I;m2{+Wdvq< 6c nCBti?3zZ$! g oSn/Y9n'i0gYZ Q  Q{ ={% %薍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~ˇV'=c% ,Incredible_Proof_MachineIncredible_Proof_Machine.Predicate_Formulasdocument.tex7zXZִF! ]A-MՋhvG"uIBm5LvfNaUk#NyP8wbV슞?Cs &aBzU4:b3/WaH۸[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&J8 =k% DIncredible_Proof_MachineIncredible_Proof_Machine.Incredible_Correctnessdocument.tex7zXZִF! $]A-MՋhvG"uIBm5ɬ>%薍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%=7% TIncredible_Proof_MachineCollections.ICF_Toolsdocument.tex7zXZִF! ࡺ]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Ϲ+K)-ҡݪg%pRyN{#?7?lGi;+g!ߍ'3_$tHx 7"G״\|u=D(&BP:Wք)͸ K3 O8zls+UUdt7_-V{rm? I@+XLwUGZRǥ:`QsE$@X,G1 ת#-lE|WAuijژbqȰq2d@pt9kwB,8k_Pd C-p+fj=0^9 PmlM JʭLY,FI >H%i,ݏΩ…o)eTdڤKxtZ0-=+ow2--KGӺ߯,la9}ᯊo'IGi,}AVyy9d ]jb^ @|y;$D͡yg,hmiUcTE2(s"_o-Ks]/]mvi55ɸB: x0[ᷡ[M9ό6wz S)w%tj:K(rүL$8YүA ?"ID`O^G>{<,,!}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 ]8XM lj #F IO열%UOOUnnʻ=!݁At7sK fVb2um />{jP(4bJe^jhC&;ξc:Xz N K xK:rĨʮr/.DX}Gc{W9S3 {JH-@Iఉmow}uhvl ZL1oZ;gG*ٳCGЕP E,au+7bt?Nn0 4?qk'+za{"Lo2?}1zQV4z'WbƲ_2 M"!ϊ A[**_±;ЍP=X|Bay1qG.uk=r]Nt8lfH0# fT(w nmw]dlL?_:Jo*:Bu_V#_>MP1窱2z{<7T ԏQ:ѹ_凜g~xu*iTN>ﳰ_q^c2[kgsYBW˖5ye @2H6Mg,Vc-ü8na[Gb=NIOf@ecu`fn?[ Ga$Qyt%-T2hKD.:ؙ{  x );4e;3t ?zMvsZy_>4ɩh5DޠMXE(7ZpM&-R%]U_? );n&և znVǜSq'BD.HZ 6V[0O18_~r~Yj§ōn;쬮.0<Wb+#}D>€#Cb4Ll_:ߣ5Ub9^ [ؗ^y.H&彨OoG >Z^"n}T?$_yl_6?`6Q j6D}kIOWh\ KeLDLƺt 53W,q,ً**!42~Hj(ja$2 $ HP#&D+{Ϝev- D^6)+UVORM@DJoԩ:R5Ͱn_ײU nN/?M0F(L(• +z?"v$Z`g#G܂6/`afS@zt6>/AV;2Vs?8nb,&3րk?>>Z)9gZxV Hpj[ĬCɅ7g1ITݣE2'gș)\"]őa8c>FNhQ4zq/Ny C8R ]zrnڜ_U!y>.4@Z(yod]*]Vxn&|iQ$_RƭsK[B=R[S=mh*~R\U% e%xVҾCIulF262%u'fi,Aj6*͉~P!tZKw(cIKb$ؐf;(,p ͮ G7 ;}$K-hOk{''m`79[F N7AhU?H#Dq;q{G$ mXEBD@?+T+LރnfӼ=)a1\Rr}6cygM$ Ud[.\y9m{/WޏXy̮^qH6֛)*9hL,08HFȠ] 0wn5C# ^Fb␗)dN1/H6C CK9G4{_+6WQ) (D?\,7DŽeM}pw=zT`A.ex#:J:Gaʄ2&Cg3h6>yNg(!DI7uly$pY/p09[xƾ9>ƨHg1 *ݦ˪'j@؈~ >Z!$u$֯g1SAoKIj^SИ!T+W(wlyW0MT+Gwt<]Q\kzV:wQlFpsTpwGh_Gd%;͖4H78 kHAsk}uh2^+vhj,f]n@0{B'M|ɏƷJ|.O;Xؒc_f I]{}'U8ލt-U>IPL"~o}Ԧg, .ۇJ{4<+J:*,j`w[>!jAmO-a [3ݝ|;V>,~ᕇ @nusS3~:Qpx|R?;H#MV zz?aڗ9nǎ5WT%gvSB kމ|C8d:?2olד:%Ʋ ۰zda}uY)"=Ϧe~覩juMU[[ܚEd2:uCAc6H5y7zk]X2Rd_G)1/ܧrQuOX؞e|/-pC6aȝ|t?u4rr5A)?]r,%Ӫb4!lD ?0Ho޲|sdhBrO&ʟCDH: .Wh3N|z'#`/ղnirN䠥ԜF(E>3 `DO},ycC/蟱HybG5e=ĢRͯѺ9G$$t` t," FBFXCH_v#IV!c޽fqW,v6qNO!> q.3[YfpjhmCr J,h}fC;Cs>8ِ1*!RX2.I!?;E|<\JF3 ͏wVkUH M #M`@O *,/Zw.t5ϛ[6-7G$2Njd5 p5,J\p _Uhe\i;5.Z(Y+\0ؼch ąLG:_qy q#`\u%WK (IlڀȚy!kD<8pUذygoLYWV$m }藃h jOA"k w[.q:%H%J롥ThF%S>x^I8aGMOS9HûY~Ṕk S+ ;T\\,5CMHD}ªYaX$c@pz^>ioh#|\ &3Y<#4NpUZV&^")L!R}wʐ] ݠB=~֗45׿AxkwΖE†.gh0^N6O'Ŕ>`&j[SFóϤQ! v"OkU#M`e!Uzf(~ JR7ooXUfYȈ5sr+9|Z*W,hq/9]}7w :/ ?l` BLMT(b}ʍ&4ILHT8ݱ(; Buє?)niC'JN%/)_,Zo"~Fg*A?֑~&0X<7|&Yɐ?cK:a"ĄIqYѿ.`,8M7\^ł•G"L|Tp?piߢA ٛ FY!9̏F!1 1dZEJƞ#P}' bKN!}VV2'ԖJY^ Z I/>,^'6%<xwa3!fY+2TGE>AޅdvGwpFew'y"P7NPs#٩l7eROBW!uLlf 7&R *XԬ@Ɵ,F !ͶIBs))ܩ;n^9ä*7G4S3֩#zj7A!l.erD)vRSv% MS޳ΗTjCc;׷ h,xKj6m+/BB k`Ar9GJ>_-13 sOw둹ydkm,cF2J}vƿB 0w6@_Xb+WՆ8h/\LyF;@U`VO -g2F.Mxgvuuw}<>Jl?zJtK\ɓ0몠>71ސΒ  o_yҋS %Hgb=td9C#)0a"RJ%Wu4L\!.x$k~AdJĜcXO/F'iY>OM>B2y6ݚm#-7<6^Q<͘G6\BR>A,"˰-9t*أŭN?m"]NB^}4yby6>rrDj_nN3bR626zA6 &4:gu0]ϰ-FcINsE44rvxrWF.Orw.-/BA淧dZX.l/فjW|p)WN+S) he ܩJ 7bvGY7$FΆ=@N߬Ǽ[!?Ӆ\z\ٔ0@7\|WBj1?>%n 0M*Ҙ2 0hs^Z| N៍saw 7c MhB=/==e1 [yNE_**~ ᜈ|>A40bm$ݹH$=6Q]dt_LV)SvL L`Ϲ)᪄0_b mLHB50SuРҸ |D5`%WrXɌձi?:1?&Nu8s8J/# mPfIaR TmO7ȇ ^W5sɍEiߛ꽊"rT$+mX`N (vXAX,7gهNUNa /uHamgYZlJ_8 .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. "Ph5f]Rt ەF ,/ړEnNSY|$HfsUݾD3"Z橱7iWsL\lU6#B _g3mǃ38n5[{r.Q҉ށ2*n D$32[IP 7CO% T5֬T.4qلSYo6re'^K 8<*VL T fUgalpʼn%8͎R(Ijyr蒟9ČT^ [3f4%!=r. *z"P.3sٕSۍ['{zW5({1Qd1CfeC2|,^,PVVrtX Z^ɛKy/OtcC,+#w6Ǔ3YhN/rOqw1 N'\:.p遙.x[kia޴,+U-LcIubG '\@R:PÇe&w+اi1QKhD(8z 2T.P]_ЊD5Zc3)>RS{TM揿WL=[±H݅0Iy+J)86<+ mg J?5_DB8w%\Uy]?؜bZqi=ԯb13!|Kpi Rj|}mb ZQ߳q[۫MA ޒHdrzQp ,PC[>i>vt LH.k_ bPJ57s 9Z>b kjj%R%.\ 6jb>idd@"e5'fxێ5Vec0<4g0Kڎ"*^loɥv*w? + ؒ9PdWxSU:M53\qlW$L"~4  GIP~ :36jA2ސvRt<@(Rj|!ItfblIzw4 vOMqޚqaxͤW'n^Fߡ.;'4Q)D qxZqC@@ILCk9XA6}T~68c\x@g ݚ$ROPXбk`a95(Bp(c"ItF&hֽU*'+9y5d#v8B1]@ ߝR)dzйJ6X~~m3)`N)i[, h\:]I),;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:tsC!3i4uqM` y$k;fz;`"pZ RLx`3jbՖʗu$\2~#/W>ɎNt&Z XfXS60 hh(?92k@bE6bDTʣodg!W݄ 0[a{ᩎ5BΫ5A };qXڳI1#J?|o-Kiọlz?$QSR]V!On> v7D}\%r CΠʪxVwJ]gM+#jbEP? uGiGNj9asEz,o@" p!0Q6nmG=%9#o0' bsnvٚufD<&I| ?J2>'q,؏g|QCiVk wQ 4CO*`/ :]Zz 4ڹ)T͏21g`42T|ǡccK>ٽw+9xHtҾSk-%e&r7t }ew%={aoˆYHX^\qZCɞHp@C=,gaG3,s$)6HwZ*2z3+2V'{Io04xr< e*Cя= ,| lܝ] V݃GG)? lP@NN~M~ Uqb<d:qwħ$`fo`iQKWE#>gYZ$[K [[)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\QDPXE-?K@lvOw:^SM6{J'!tŲq'cw m9Y9ar`|]IGpFᄎSobI g@ή1KWSz`Vd9'tIyZdMĠΙW*G_QxqLnWV'o| ud%Mn&,i8bݛ^#p9P@UàwDkU h98C\N9(G/pc'Ȧ$1,,' O5vms[EpX MKN2 ۞P 6Z>OoJ$ۿxD_ $v#ol"M$^yS-j]BW=r窱^gOď-9Zs4HY!x4#x >2zU_4#P l2i Vg\vSN(Q˓=#I/qVy{ˇIaLvފiA5"a4Dr2<75dq~7(Dg|j_dZɟ g1l9/V-^f4SVOMks2.ds<Pi+ X5}2C?#ǨRA?`Um,TUxG7~Wks|I1n8+:ZHFWܑs ?FN"E֐ޑKh b?XfhhCXɧvCԨ]N#qvhdkˑ_[g7>CB jRj^cp Ծ]9? H~om%,A]Zb%H=1%|8I==]G9B ~CB7r Tfw0BHKm=ߡgr;  '\c&WM{zg0я)M0dFK"op'II f(ji&HA!TFvnA5P!"TU9 WA@;I;d&ƭN㍛E!2>2f42;Qt9ۉ:qI51I E^م)bpA*«K~va(^y9 pXY} (P},XO% B]囚Wڨ8 5 m(:F![!|ڶjϦ~Qh%؟͹R[ 9з}i\M◭Kk,~tJNAL0"a䚣j3 wK~F$i)aTksvnArq?%eӘ#nx\& P0Il:Ͷ1|Q79SbS\]tMGc M) !6dM.ꐐMȅJ{Jʷzww)o cq޴r??)BpB.%` F9גݙV'nvq๸W3hjjQvμD 5&$-ǵؔBRuZ~⤦ܗU.cdp TgUo[~|Ch\ԀDQ[Ŵru+Q2wn#_=#1iq_b~ k{J.#`C= %Ig4YEJr #J縉]M#ݥ݆mTm\Н]5#H,hq=3]2&Y%|df$ܱ煠Җ&$tah\6停SKvdo.qq>⤎HYdT>ϾBA|RB#\&%< &eN:A^%azP%oѾm`[,$AEzTpKYט["P,`$ԆcZ c52P%^ ,cwmW!HW 6І$SLJi!m AD3{:p@s4e."W)' ѻyH ,t7?wvBH kMOSer A yÞH)̟˲o 7օ8Tή?" xmI:o_ %xz JŭC4o3l6az# ae s}|I{NPe$K%VX~ hNZIˁ4#=t+h+ )fek S8_DGhA|㒩lZM%‚pMF<ް}IYԌHɺ\:ICU{ПXd(K(6ട޷̩2m[Wت >SΙMFۭ"-kiT +VJ'Yjm_eKqv!DB;jA7k\ ot{ϳ%&C^{SXbsό79alNjV NM9L$mx쇱#4NU+܏q LM7 @B;lT:R*䝊'#XT^>mq󁌊I/qs^-ڢdWzD9e RI7^).v;2XIA"Xz5QKp%?YɌ\XNUN8u֪177Hr^E&^Y13{Zblp/]d>أP Uh4f]Aԑ 3KBA`[! y}zV+m7f)Z6 gQ Y;lG'U;[/"V;R(V3;Szs 1' ZF.&U6YڀqB_܅~yҹ%_FB^+qVbͰsHH LVy;+ hsNU33"Ax)cQ!C"tl L=5C1~˱P,8Wx2k'-1D2v2)n:yhoЈ>\^QH|DT W?2u*Ǥ8i%pI~;qgk3t($ajIk& ŝsL],DC"ץnfi%̴BQ "\m:{l|ش'1h#o8 Zgv1 e'm(59h 3%xB%$rR4P<b!+qҋ_LMit#<1:a(ڢ,=I`l C)t=k{R nؓZߔszEp@4܈9>H]6fw܈8vI 6 Wof\duGXnL"zAÀ'G<>x$"M:S!Lcr#m @T4ݷ [(XjcQ )徫%3qtX0kJ1 \Y58OZf-ͼcV0!d`bm,~tz3ѩVJhѸh a[ՎQ+wei|[?9"ʸS薺D+C)sϔX]c4̐zXW"& }G"wp, ӚFН(hM>PbݞYuv}L~Qe7.XμvSڃhܼfiv\H/ݦ'6)F 2(:%$fsHBc_ BD h{o7[{:fࡅ\T¾̏kuXbH`NDOI+c'gbΪ‹p;txZtw_)"-};2E B;*T*'#P;7{~7V9W[P,u>J*SL+;-#U3%Xixhx>'z_v 2vScEk^=`+-BZS- 0&tO1CB˧_!*}z>/ϲ"ÃOa y|ݧII={p|N)Q} Xuequl8o4l|O J5-j `QeO^3=jh9Ǣsi6km~`;$wV 6slR+S\IEō0IH_2Lju;?; zû44Q$4%uheeܦ5q\"NvUPh}!7Φ%н.&~X`K@e#&.!;mȈo+!N 0y~H\9T xO'"L;KDiN-)0閚đTB Q1j$|$؊S_zJf=rLp9<&:u\w+.2H| O.PG ˍ3&*r#6i+y ԏ&pC~w我Rz1NNa3/D1.%yM\^B`Sww~e 0RW&?Q$WU)AyvWmqI<(zVJãt0uy mCYgYZ   =c% lIncredible_Proof_MachineAbstract_Completeness.Abstract_Completenessdocument.tex7zXZִF! \!n]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; KK2 =i% 7H N!p@ 9l'ooH,4f6@.uŮ?zMaf  w}PTyȲU>.W(UPxCvL/Xf؈N:E̼jH9i0'8JZ!^2j0^ހ0H7Ni+g3"Xr-GzY2%=eO#dCau_k+=a?3_p=@#Q Sw}c"`Uo:sԿcI%:œ Y;w[$Z.=67K:1rW{w-Qا8.C~#SJ=D/"\ -%*LMmσ 9U:* lt_gLRVEs+.3hCK⡞$:`@J dSx/+(>GS؈@d{oETЁ`yP76Kv]#n%-J\(ͅCM҃]]E`'e^|{F~{#7EvD6.F{lӒY?9)$7suF0srC?;Fqʈw" 6%EQ+"ʚI:柦.P3=jx^}#g[ `FJxR̆ut 2Cu^wh .ڬpc?(!92 u:[-,\eIŹ Kt"K!Jp.;Sd\+Wq S"P}9o:KL*\5ޏ!ղ2/m"LQ敥y /uh28 :R\ %3u/ZO42`!qntnNS8>z|O7522*yÅ_L,"Ő{)^W28ue'[s="~`$s9Rky:YabouEE(jG1~,wrW> Pi| ısQ CS|Pзbzcoz&]9oo^>ĩ_ieYɞy6lIQN`T6*59]'OrҢƑ{?R}e wXp#<ǏO\CKm»IDWHTL 2D?wm3n_6Dfe0$%vh3~%" EM2:<T|/|6*miFYCdR_"m_4xk9UEWq[NO0}X T&X+cL5P)%$,ufM=PU`72b%xƛigYZ _ =[% $Incredible_Proof_MachineIncredible_Proof_Machine.Abstract_Rulesdocument.tex7zXZִF! Q; J]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}{XZE6.KJEs;n1kPwL^!.i~#vLXf_i::q2s=Z^I zµωn?Bx 4ڧ֟z{g Kͱ3[UՂ4Z@%Ѹ1g&Ynk=v%薍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/ &\",'Ə -PU =w% tIncredible_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 = L.+&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'Ht,a3MqljiA>>=V^\->dS_)EnzGׄX5[WK S$[V_ goxtT1W;\"'Q?SjUh4'Yq82%,zE%\鷗i)€ӽ +:+ 8{k9UNlg,#Ђr9em<# {]{[@"_#>u4N y/ZIy&ZeL6=@D\{=#IƏCW SlNm_s 80T3ci6Hr LZ-b<]ĉRH)!Mu~,FL0, Hjh$"WHrB |/9zť5ð;Sa'Ţ ڔ =Դ~_@3<`FLz(pjFEwzGQ=Oa@iՃ溥N;W1M!-%3 зO族X'YA'c]?swx9-Uuqƕ_:w8 >^u+)D[J5@J7 A4jB:pW7J1] )cgpsn{DV3'e,sD Adc/(RhjOfpJq;*krjm)UV=e$,ذ3eSw}FJLV6Yx\NH2{{KG:Vɪ_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+Zw]A-MՋhvG"uIBm5af12U)ei4|zhN"\{TS 5ydt#CN,iW}|E8-1t+sm=6è @! ߵN)ټuL7`; еTO^ړc6CW:Xm jy&2u9p%a0)7&)%;ӡJgo&9 ˃H2 $pD9QM4-q$F<=lK+X:3_:c -=dz~xlE}[_ bpJu%05n)5_R >|0b奒u"£/-t2׀MKk޹|QIaSd_GN2NHka))sHu22'-9=y2J9}MPcODB! LݏU}Lj =rP {nWC%$ [;0t!A=KN~Qz<7*Ykg͑8>4 vB\`Y:| R PfWp؋R6*Wi0Jnf*겑a{O^(*$(g"Hp'Eк"b m~x >L8-Nskb:F7rA>1vD/y|91cxp[JĎ0:RIY`4eZ^+d:Ս.<4yR',iZh_L͏]U;Q#~YnHE\-]Cۇ5,#µw&cqkָR̅}9<+ܵԜ-ݣbg 9?jZ8ބWZl{WTf= (<1Rt祶ba5hOt Ug ϊe|ۄMeHvQ]VM¹qD:*8iy ۘO!Pzjs(8쁇­Q.-)f``yԦZEÂ*R1uYR;s?%)x'۝PLA߁M8և9F+U&*ēQljC*Ojqyk`uqPI$3]-.pT}kۊ5s n9)7EFTXGJ1iU"jZ!Q0zp$M4C%#g!ϧkjtީ]ÐZ?ybl1%@?W6%]sAûb}S=#un9{i*ؙeֳ- E%6.,-qLvk?M5Jhx#,P8PUXWzgȒg} ןg2"3{Gmwe ^$7|~2HNؒ\Ff̫w$1!'10 `vHIUSc b:ϸ GO@4a|ngYZ BB;=k% LIncredible_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ƌOw 9e[ܭawr+bJ,InBH@pZ'`q )qzlߴs4>eSd;" ۱O::m +vճƱc_';Ʃ/ieS7/u;:VjӝĮψi2^"+)O 'Ki321Wv4y Kn sg d )ݥ[ t x_sA y3=GMZȌWQ O P c-}iD3Sv=ۏ#EIlJh "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\jHbqH4=Hr_=Y.|lUF `޸0+P𪪅: /3``9E3=W*q9͜!LB3:?JPUU+L;x[`pӓfðJY|]A=lUcuu1Ղ^:RnyrՉ7R"kYV;d%Ae :43t=ɐ:sf`TsoYZrV2DLjz"@'phFӺ@HˏhQ*BoDxK gi%<0fg,>=[y_Aǚm$k6CRHrV_n" ex#cZ,6c&C.$HR\t] 5_(1Am=O# ?JN80OL` R{ZQreCM = Nrȴ`JW!R9cr_$yҋȝ[L`6rmQ&T̖kX2ǺFtc[D;>!Hb-f1 ,簮Fl]Wظ;!DLcZFZ9ū2? ;p!% 2>,i;;x=\S8?=a#S0R푷{qiknTu52yL;ܕu۴F֙Fz(d0CIǿGyM=NIk.Y 8|ɠ CEQԚMƳp^|"H#TS@U#B|?6C'42ٓb,{[ =4˨5 _jN)'ѐ4S4S$9g+Y]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;ܡČXпՍ1X`ÚՉy(3?Μu,/y=vi:jq3 L$ԥpHw~Dx!cTۿ̼wS.I'ᐓg3ZY`2LǞ.w>=N.7?D,/#[:cՂi0&9 ]X+>aD/go$b92;[S\!tO]0D0OB}5 D6&5}Ҷ,!vXDa0:ARkWۼɞĽ*3W 9ó80>YK,50VB _nlh4eW U#*Y`-!m`UbGF8y|2E͠V"]lc\EJcAQqZDƘMf= &v mI+2_m[b)n5 S)66CDp/+rfWvd.P,.l1 #k۬ xB+S n:b-JMRu‘ wf \ {WNPtW!1vLφ'i՟I}zXnq+Bd#B[|.ßG\xNWVu0$E/x^ 1f~p:7^Vb s4 [; f-<%|F}zqiФ[$vV{T Sݧ׶Q~ZeZ80W8S˂`m0 {N(>Kȹ'Ϟnm4hrk MZ ӓ[5m]%5RG,ߤOi2Z+ ^\31UT)u/1aafj7Rf[iE7~rF.j9{y$|uHCdH:Bpo: @"vw{Y.zG~AфHML1co/s ⤀\Ұa#=,tgf; #Tٱ/$,.Y-fs/yaڶF {i$׽Yv˪Osø*ޘvw{\ܣU>*HQ)__zum!Dp J -xTM vhb ۴Xz᳿!ov?urX9A|H#ZJ-WAD01c瑱_sөbbiZ%%)"Fr1wPr'erG1Y)*4J0$ffF]X;Vxtd lO=; 3iG"*rU^^Y#v6K5ӆL">ڒf<1ߗ0FV o| >n 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<ݗ=)?{@8|}A=ڪ l|PK$ڼzh2ah m(߯J+)k%_ŐkqJK{X9"X7mߢFV@#5+Tn+]"PK2W. tRkWXT!J4^ PpF5+j0:ͱgYZ [["=Q% 4Incredible_Proof_MachineIncredible_Proof_Machine.Rose_Treedocument.tex7zXZִF! IV ]A-MՋhvG"uIBm5*. [t{/IOP0sX)ޝ~>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'A2ZVV ]@t'O^J z?/*q+MȈі -^ebNAuUE @ G FzpNIp6;L(Nx+u9P՘+ `5SM\Rh :'KmR ܛk骏;1w/ϳ+'I⮁.덚8-az"T+mxQ #ZuTJ?wMI2#!ͯ-$JR+w<V?g-:-q-w54~ 2$>Ϩ]NH [v~Oʼn[1T0B+:B#$Z.VXBdCoHhoIk)ג gYZ =S% |Incredible_Proof_MachineIncredible_Proof_Machine.Entailmentdocument.tex7zXZִF! u]A-MՋhvG"uIBm5,!C҃(жu0aA#]B-! 47$)TǒXi{PuHvvqW>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%}?ȖU<1VY`.dp /B,2BW7Yo7ɤ[Hg8U R菓2%oJUNUXny֗Q.EJӧ2yhO 宩gYZN=i% tIncredible_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 R3^5A>'^Wt')4ZC bM1RC3#Vtݎ؂v8CjDցAdUC'O3tGTlLFl)hEttZƃXQn#(ot%薍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̔3,t&%|>^3o[ly鴽6#]}hsέ W &-hT'074$ _X#DYJb^HJʪM.YΥ 7.58`u>Pw$>"Uʐx'ca:AQEtWibNw"ߴ0HK_5!ⱳ &rTF0хd+R}B}J}ʭHlKnwE ^ѬS(~[/7Z%薍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-NOvQ'̃fpOs׼{ޔf3˄Xbf>)A9 YAȬ{YSgQ/P%,wc1y *'_] Q#30xroD" r8Y쨢Pjl<^gsr_qnz{8pQ-9j`54F>ɟ)Ims9弆@7w?!_j?!5AWR*5x_ FkWh'*JX.=v:/e\xBy]DgYZ B=i% \Incredible_Proof_MachineIncredible_Proof_Machine.Incredible_Everythingdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5ɬ>%薍HqWҦ[flaT2ΛIY^LͻFCvS_!6 e~cX;۴L-#=&6F4)=t^3Ph r$_2B`g5gYZ(WmrW>z.=h56}{'ߊ8f z!-l9(TsIR%UGzw~ ['9#0mQ2"oBY iURQ,g ?y<%a!bX.dE0*:2\9 9VQhl+Y?p}jEJ53oXCO܈=7 9Vg܄"e;&`6j@qM&4QH Ʒ;{ Of*Ѹ1/2o4 9d'Nck\Qv/^{bDiy=/>tXvkPV7rȑwCqT.Kq,ۉNh?Mp%aㅮ;,>b1RCCngYZ7zXZִF! 8L]ŗXiɟT|1Ik:!Jvk L#~o IWH } BUַ"<$Ω/[>a`nU@Q%潱o ᗡOT].K֣n3Cϣ34#֋ӝIf#xk)/y VAqrZfP"ʵq\zOIװd8\ѕHCj<̈́'>q^Ixɏo?d`"5WC1)?ߌjR'X/<'[e2N:>YYuK>( "ٿKV3a(⦕0_2NG[!n3C aj} I?9SCC$o~1c X9.YYENz`^ <ڑ!e'>GfuG H6}8/46 I!|zQ8: ODgC>:VvkVzSrW()r."%>*@/vf>^;j&Hy* i"Z)Mh Rl[LxC!䟯I/+s' )u#2Pj*X3"@9ca1I SG(_D%TVD!a 'Mw֟F![ U4Ԟ:ĄgRbX :VFhuHӦOh~E"k*(Fɡ01zk ?<…weΒyebر˴,3 m2Ir~(왉^n0H#&$\d#$zҗ9I Ga:1(} M#$D3WCvu* 7HVFH:`TDz{--v"$l^ĭxB%@ vzg^г.-F+Ў%0?FYv 4C`ת ՗Vb% llQ7M.pI&= 0 n+eA˵Q߇lQ_\bJ*lٚbކ)s, կlm~vDv#R0;  ,4}br4!zy>臙Pg!,|xO6tꆉT%8yJiZrb#eT(fd^T#DS~hps WKF5,mmJBZWyP?.x}  `{:hxuwx%:B1t&`ZK\!0.E .&ˁ|CDI@3%Cj7~&y rc4x6mdF*@c pޢB ᢩ*t)GqVsbnX_`Qތ) ;vxԻ&@u٧ ?_)fs 7!~0&d@o’CY;w C[,:B'; bov$Uo5sn[VLtɲH|ZښL-ASl49I656o;A-|w guK ȯH{,jkk+F L bii?Pe[ 5hd`=qK4&k &m|6 \?UKXU5e~'!.#nj2_)|Q^k֐exSe)9&1khī.a֢OGzp"=7/++h/ıPk3o=~{ΜcoC0 #gOPlLͱ}VdE4꫶Mˮan_gː'?q[lfܘQZOOR[#?C&LD ?=,҇ srs>ո9fGnoDS@4B$odG ~iqk Qφe8'] Sz< s?:'?踳k uY?x˲`9aeG ʵRY?iuJԀ-Q#0x BM/Eżlt%-‡#Q@f융j7[g`gh k˭vD#p]:|1}֜Ez6|]*cO$@^ P#vQ|mtѓK~9j>NJU%2ϯD"7[b'@FH.rNFCܞ (- yN#?(٣@XTXJbD4Q Oy&~r+@۶!:-ɯ׈B\N((mNfk'j==[fG q Wʲzyv9V;q7;b.y!I^czA XJە~@fDXfѹÙ5܉e斖r~YB&,9"57xibI1P+p0FR۞K>L~j>T׊];}hÈ)N瘘_V4Xs~R=mz|qi۝1>X8mClLÚ ^cEt0)]Sg|{2Ҁ9[bIzI,`E\ȧhl2uqZTdQ]2XwHp{̻)DF'|H6׈E5s!<`[B^l@D᝾P.1RX$|r:=i!ABy )0ys#U`dt0!? ڗMB8|lV@4 Vn֒蒖y–J4S[s7MXyZE ϫ#Z3Tg<Ï 5kLw߶."obJ-~u4}Ӎxdf3_Z'>*GosEF3gVPO)k"v0wZZ7x,Sa%<.mjDsu}].E6FMQ.] SUS=5Mv)L)8)K2}?1p{ T.X ~ =@k/wY ԳAmHҲ {z$k̩Ln,oC2#4Tq)Y.=ABlN@HV8 Q=#JPڴ*RDZȽ4!8<Ѯd?CK7Syr,n'Ďh T(FNݯ9UcʵʆÆrWX]-YR5 ȐϝrWhx+E[ j Pf&G[5d"{؎ȍ\7o*{@iJUo49L @;ksm"qчkn@Rbˏw|-VΊ]C:WEH:Y@Rۈ{}*txuQ0OjA -Z#!+w2h*П0ۛ~f-_Ad*שׂ<0χJPT @ƭ;##g 6lF8+U"]8ϓc,HTݚH趁Dw,|dHf{j:MVBxU:UylO: (Hd5kSAy.w_ϺwH>rQ|yqT,IDy^]2ǷPh5F8z_26=A8)50^89m\OR;]g i)2XkpBЯЂmC#2YuiL :@D UX +L`-  x,퍑 =ͣE t㡤k3=VAnް#RXX݋BP"ݐJBZ8":`콛v>WKB+vcdǑ:X6Ub^8rAOr%K}*$@~aߋA maXrie3)$MCJm9)3IUJ^l!#qB. uH!:jGLR~u$ ++t *HsK$e~K0e +B}Qg{1.F䭽=b3IO|xֺED ȒǛݺYl>/`@ 7r*?߫/A1zb_o".>j?vpMN[&j 3IZY6 r!9e‘'Lbo܆YlVz+:~m\|yZP$[rW7;^HfC? fFj5LxI恲m5I$UYeU!mo'K3nb)\ !"a7#/{jWM[&1 ͰSSdAd(%wf-tF' xʰ9-5~H'&(ٶd2$0|y1̨/ыEsL_+ڠ!\Q]~)n;kU+G~hm£@tKcHi?qUN1:G 6Ȣrt<YfNAf0v)!:. @A|˘iSI uP%2<47qhiT2)߁ 00#ĈMې9jk Qwf0pY_|.$eC'HY Qr>tyY'p.[>MhSi\U/'J{~6joKn= yxڒfs:ksi;WE uXtbn^O*AkDjK7Áxluڪ!_54[:dlO3~((@!rnb{ cfJ,BDky]ulg8ԣ2LVs*<5c;(JzOD; `[%Xʜ?ɕOP,vƐYWJPz r$B4$_[j;dIi% so|6SؾCe6Iol56r߶<֣$ og0'Yl@ VWK'zsM7DA9zzGq8 qXWx}3)VGSER+)o oLmm9c<CIPa 4D{~F9uPRjK汅Hgp&)T{C575 sxҧ($Oܱ 2pꌂ̇nj#yUZ70A5ֲ=?z5@K ٷ~\:::ڊ#ZjLD9kZɦT.8<<=#OחT8ZV:G( 8 f<6*`n]peLF"Ŧ)a68'FknϬSg|8&1e=0W=BOe Uo Hqȉ+39T-iOېﴹCp6q-솽o&׫6uuiwL|=VUPh j5Ii'IsĹ6W& hF8c9*ä46ُ( IBYd?|!r'bjX_u/.P߰-BWLJL:p3 J}j?m6MGoHxcC} fҠT(\FO$漨n"lhohwᗫtE}5BMN-i}5q‰iju}Gc™`L\)[#ҍ|V|;0 :q{#uviG4;j' Xg>#b؆) I85mOgYZb6377737e52d55af79e3ce6cd57b5b981c9f5130c3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 37037b5b0c8dbdd2fea6d221128f51f89c206171