From 459af9ed550b20af8220e74fa9ee41fc3cc20aca Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Sun, 24 Apr 2022 15:38:45 +0100 Subject: [PATCH] Last Sync: 2022-04-24 15:38:45 --- Logic/Conditional_Introduction.md | 3 ++- pdf/Algorithmic_complexity.pdf | Bin 549310 -> 549310 bytes pdf/Arrays.pdf | Bin 83599 -> 83599 bytes pdf/Assembly_programs.pdf | Bin 58049 -> 58049 bytes pdf/Atomic_and_molecular_sentences.pdf | Bin 97737 -> 97737 bytes pdf/Axioms_of_set_theory.pdf | Bin 66749 -> 66749 bytes pdf/Basic_database_concepts.pdf | Bin 99218 -> 99218 bytes pdf/Basic_properties_of_sets.pdf | Bin 128524 -> 128524 bytes pdf/Biconditional_Elimination.pdf | Bin 39042 -> 39042 bytes pdf/Biconditional_Introduction.pdf | Bin 35537 -> 35537 bytes pdf/Binary_arithmetic.pdf | Bin 149838 -> 149838 bytes pdf/Binary_arithmetic_with_circuits.pdf | Bin 357156 -> 357156 bytes pdf/Bits,_bytes,_nibbles.pdf | Bin 51186 -> 51186 bytes pdf/Compile_from_source.pdf | Bin 49795 -> 49795 bytes pdf/Conditional_Elimination.pdf | Bin 43232 -> 43232 bytes pdf/Conditional_Introduction.pdf | Bin 50465 -> 74250 bytes pdf/Conjunction_Elimination.pdf | Bin 47565 -> 47565 bytes pdf/Conjunction_Introduction.pdf | Bin 45840 -> 45840 bytes pdf/Defining_a_computer.pdf | Bin 731550 -> 731550 bytes pdf/Design_features_of_language.pdf | Bin 60132 -> 60132 bytes pdf/Disjunction_Elimination.pdf | Bin 91007 -> 91007 bytes pdf/Disjunction_Introduction.pdf | Bin 54596 -> 54596 bytes pdf/HTTP_request_types.pdf | Bin 46765 -> 46765 bytes pdf/Indeterminacy.pdf | Bin 112534 -> 112534 bytes pdf/Law_of_the_Excluded_Middle.pdf | Bin 35622 -> 35622 bytes pdf/Logic_circuits.pdf | Bin 157687 -> 157687 bytes pdf/Logic_gates.pdf | Bin 407144 -> 407144 bytes pdf/Logical_possibility_and_necessity.pdf | Bin 122811 -> 122811 bytes pdf/Lovelace_quote.pdf | Bin 31770 -> 31770 bytes pdf/Morphology.pdf | Bin 77311 -> 77311 bytes pdf/Negation_Elimination.pdf | Bin 44476 -> 44476 bytes pdf/Negation_Introduction.pdf | Bin 44871 -> 44871 bytes pdf/Object_language_and_meta-language.pdf | Bin 131464 -> 131464 bytes pdf/Package_management_in_Arch.pdf | Bin 71061 -> 71061 bytes pdf/Primary_key.pdf | Bin 80548 -> 80548 bytes pdf/Queue.pdf | Bin 154496 -> 154497 bytes pdf/RESTful_APIs.pdf | Bin 105744 -> 105744 bytes pdf/Recursion.pdf | Bin 176160 -> 176160 bytes pdf/Reiteration.pdf | Bin 53262 -> 53262 bytes pdf/SQL_syntax.pdf | Bin 559941 -> 559941 bytes pdf/Semantic_versioning.pdf | Bin 118251 -> 118251 bytes pdf/Soundness.pdf | Bin 98882 -> 98882 bytes pdf/Stacks.pdf | Bin 151941 -> 151942 bytes pdf/Syllogism.pdf | Bin 79914 -> 79914 bytes pdf/The_Pragmatic_Programmer_1999.pdf | Bin 169339 -> 169339 bytes pdf/The_binary_number_system.pdf | Bin 146858 -> 146858 bytes pdf/Theorems_and_empty_sets.pdf | Bin 75643 -> 75643 bytes pdf/Turing_machines.pdf | Bin 102880 -> 102880 bytes pdf/User_management.pdf | Bin 74126 -> 74126 bytes pdf/Von_Neumann_architecture.pdf | Bin 239665 -> 239665 bytes pdf/Why_computers_use_binary.pdf | Bin 144674 -> 144674 bytes 51 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Logic/Conditional_Introduction.md b/Logic/Conditional_Introduction.md index 626a663..5fdb7b2 100644 --- a/Logic/Conditional_Introduction.md +++ b/Logic/Conditional_Introduction.md @@ -1,10 +1,11 @@ --- +title: Conditional introduction tags: - Logic - propositional-logic - derivation-rules --- -If we can show that $Q$ follows from $P$ (typically via a subproof) than we can assert that P implies Q. This is also sometimes known as *Conditional Proof* +If we can show that $Q$ follows from $P$ (typically via a subproof) than we can assert that P implies Q. This is also sometimes known as _Conditional Proof_ ![cond-intro.png](../img/cond-intro.png) diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf index 80f584f37ba408fb6ddc623d78d85e716f62417c..6b34d3304401871cd341fb848e30f9e8072704a8 100644 GIT binary patch delta 220 zcmdmYSaIKB#fBEfElhWu`IC&23@pry3=9oZjV;p5w!d~}nxuy=+TK&d1jNkSdx}^% z`7vadG_p)z(#U$2WyRc6lG{t0Sb11jSOjD*PgnG06KS8>#tOu2+h?}1|2)BBYHV&g zeVRXqJeak8r$2`rzq6B>vx|$XshOj(p^<@+k&~IZiKU~PxrM2@v5~Qbp{bpM4Iw4l KrQ$i3FaZD`pFoNL delta 220 zcmdmYSaIKB#fBEfElhWu`7I0$5{->aj4e&fEYi{vx4(8~nxuy=+TK&d1jNkSdx}^% z`7vadG_p)z(#U$2B`RZz$@bDFRvs1><8QLZrz?80iL}pbV+CTi?K9ihf1Y45F*P-s zKFyy)9?aUl)1O0*-`T{`&DGq^+|bR!&B(&p(An73)Y!$)(apll*wxL{$jwf{hLDo& JQt=#1m;h<-LB#+7 diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf index a9941d8f09401b2e681b14e7583df925000eeb9c..17be2aa6f3bc43517981196fc2f3e2775c13db5f 100644 GIT binary patch delta 105 zcmeD0W$o`}ZP>zSX3Jt~Y;HQ;%9c?c%-SAn%P7v_>}q0eV(IGYXl7<^VBl!sW@6!D bY-(<3?&e}?;cRJXYNudBNXhi=u8cPTUkVxz delta 105 zcmeD0W$o`}ZP>zSX3Jt?YHBpy%9c?c%-SAn%P7v_Y~*ZY=4xu-WNPeYZfWRbVQJ~; bW@%z+W^QO<=IUZ;X{TUANXhi=u8cPTRvH=W diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf index be626730258d197a3ad05afd134bacaebc720ed2..486b57563dbd90c3927f722fa652630d78b4ab36 100644 GIT binary patch delta 100 zcmX?jl=n(G5`Po diff --git a/pdf/Atomic_and_molecular_sentences.pdf b/pdf/Atomic_and_molecular_sentences.pdf index 5394ac5a9230e1db1e5ba75e8961e8bc5f688890..164de135ba4091876322af96008572799c00eeb6 100644 GIT binary patch delta 107 zcmX^4oAu;x)`l&N%B8HP#uf&a(=|#Nz#;&eLE+!U^CeC&WHiVQ+e_g|P4**^O9W?*| diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf index f7b6579cd6d79a49b27de160ab7628ccc4c32a8a..029005aec51a37f420789c7e86f5d58aafb98cc7 100644 GIT binary patch delta 101 zcmdnn$+EYTWrN8t7E@yjqsbP(bjLlsvES!yvEnF>JO&kqe4NTk& YoZVcFO-w8;OzaeF2q~FV{;1^BLf#xb2C>H d14BmxXJZ!^OEXtzXFCNOLQ1yhG%>0%0sz%V8kGP5 delta 106 zcmbQ#&Niu?tziqJX*r9Dsj2aF%W_6}Fl&2EIpbL_XA2W&M+*yALkmY|GZ%9cBWGh* dS4T5fb4z0*CqrjPM>_=@LQ1yhG%>0%0s!%#8zBGy diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf index 53d980545100c3ac0b431323902b82bd0299f52c..e23f20c7ce7ecf8e82205aa910d9364980e54b8c 100644 GIT binary patch delta 106 zcmeBq!`}0TyV+-Tyu1^`|!L02WPZ?kFIUBpU8af(VxR{$8nV2}57&#i4 dxS1MQxS1Qe8JfE}Ti7Ys5K^*z>KDdxMgX=g9o_%{ delta 106 zcmeBq!`}0TyF9dxmcJP dIGGumySZ4JyBfF|xY{Y$5K^*z>KDdxMgXiI9lihn diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf index b6ac13a56b3072f9a5d43d89ab5242f725228993..781eba4bbf8ac9c78b39c6cfcb6143521d8a5e8b 100644 GIT binary patch delta 102 zcmZqL$keovX~VRMtfs~m29}d&Pn3hOHt(Cboz>ag)Y;I{(Adz@%+<`y&D_z_&D_b- Z)WXQp!o0ss@f9Nqu` delta 102 zcmZqL$keovX~VRMtR|+W#uk%jPn3hOHt(Cboz>aW$kN5k!pX(Z&B)Tk#L2?Q#KpqJ X2*`Idbu)0XbhcBlA*5vTj_IcWA9Wox diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf index 78c2bdd5c6f3e0349084d93ae56d6e09a0d7a69e..eabd7e09d573385947b7c86342132d23774a473c 100644 GIT binary patch delta 101 zcmcaOmFePCrVS}Atfs~mh6a-}TjU_D%{?vNtWJ(@PL>v~=FY}0j?ShQCdQ72hK81o YPEKw{#%^XVjs|uLHUyMRmh9RA0M!#4tN;K2 delta 101 zcmcaOmFePCrVS}AtR|+W#+H*aTjU_D%{?vNtWKtGM#jcw=Eg>DuC4|qPUcQ7rUuTg Y&gPEJCI-gF<_2~OHUyMRmh9RA0L6hDIsgCw diff --git a/pdf/Binary_arithmetic.pdf b/pdf/Binary_arithmetic.pdf index 6fe0ba77d3554f2392cb20f6e62b74501fbade32..518f5b5e2ab1b9526c389f9915cd2e564e0ff37d 100644 GIT binary patch delta 110 zcmX>%iSyhf&W0AoElf=|tfs~m#>UgzZJ6XB%%iSyhf&W0AoElf=|tR|*r21e7{ZJ6XB%=bMWDcSzrohh6V0C*%ElmGw# diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf index 01baf7b87f9fdcc6a15293bd969e011d463388f3..080926095df216db99aceb4e10bdddb223308d78 100644 GIT binary patch delta 114 zcmZ4TOmxXJ(S{br7N!>F7M3ln5os)@#umoYW71gV!L04|X{>78&W;w2rlzLG&L*w~ lmL?XCE{4vg=4MU?Cg!e|E|!K)=5`7;gp_Q5QOIh;2mmS^9q<4E delta 114 zcmZ4TOmxXJ(S{br7N!>F7M3ln5os(Yre+4yW71gV!L04|X{>78&c=?;=1%5D&TdAo lX2vEi=9bQ`j!ur|=FS!dh8Cu7#&!xegp_Q5QOIh;2mm*>9zXy9 diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf index 4d07d373546fc1b305b54b5a7a92247a11d941f0..e3e61a896aecc4e917ec71907d24cd92a765e1b2 100644 GIT binary patch delta 125 zcmey=&-|&MdBH&qQ)3HbQ*8r7bpr!+O)h=k{1lhOl2io^7b_zJBO?P7BNIcglFb?i x_p>^=IvE%l8W|W`7+SbG8M>Mpo4Fa7I2k&*7@4>lS(;neDcBHDGFkKZNdRM^Ak_c> delta 125 zcmey=&-|&MdBH&q6H_w-6Kw-Sbpr!+O)h=k{1lhOl2io^7b_zJBO?P7BNIcglFb?i x_p>^=I5|2wI$O9p8@sw$7#lmg8o9X|yEvP>7&#l5I~!QoDcBHDGFkKZNdS}$A^iXV diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf index 45fe61ce1c35b1eda3e080f5f001cb1e17eea2d1..c042c671a7ce8823fc7555e5065e908c7b9ec119 100644 GIT binary patch delta 100 zcmZo}Wo~X|-VnHl#njlsU~=dlc`##h#U3$MXBQJgBR4}cS0i&vVgvYHxO7#dFgwNMVi+AO>1IIFX{fr*);g_(()i;gvYMEhnix#}wNMVi+AO>1IIFXztGTPQqZWX%W(w8uQ0+MMhvZb=RV zgRKf62XMCb?;|0{39gj))YORS?&*;PITArWCE^WyS0$>74Kdtk)PW7SK(Bu!2oR8x z=ei(D=3EzEtM|mut>?=OePNi>CVUsPu7+5gPA-&RVtGDQb5zhPg)2Rx;tF6*zkh5A zrRGN7^|Y?*qV5!h+tKxpgiXe^)N7L6V__+jFRxp^3MJ;C`+Bx@)pf5?{g`zJYspW*Gj~UR^8-cWpaHp+x}0>kHH7(O%2!orkG9v|D=Nod1i9&@INbATc*MISMaK zWo~D5Xfhx&F)}hV3NK7$ZfA68GaxVuFHB`_XLM*FGBPtXHIsY-Cx5iMWmH_NJRN|{04k$@3?+MK z7kXnO=g%`VbN z4Dt*B1$*~TrzL>O-VR_4v@o(U1K67Z)PPz5byaZ{Re+?5qJO%QDmBCB!m6$g4)#v} zg+)|VOASSG!CJq2<&;caXRn`7}ssZgj@te~D6x2TBfBSqU{wh?U^RIM(GZ6T{+E^Gl|5Gccq$CHhHL|pG0oobanS3U?7`eDQ z0}TK1eZGOFl>Y(<1cb-p<+5*~R%^D*^##mNvk@=$-%WnWf!7K6zmUX$f&vHF~*E;n~s4+kdiS$Kc}O z@=x~P^@PRbcmP~X>;PtNb^z0-NX6|;MeS{EKT$iw{iRRL@{=bQdnZrE|6ADBcJ}Ue z-v5t)nSZ67so7udO>U7RMmEksUrRIK=LOE&*~kqDaB*@4`g;F+;D1|i%$xvIOB0t*seg_O z+&`;J+nLz|xc}w;MDpLE{}KV!KcharVvUD-A_!qVR z@=LoIed=G>&fEt0xh?;=)c=l@&8K!h&mYUb#}|N}g`MR;VxO`!v9<#`I|DfWRR;Vd z;(tF7f3p7{+r1KV6^!klle2*?%zyi0Dq(XznN?RMyG!>IRK0<|7L!oaQ(;p-;^l* zJr@4aJJbJg^k3)YKenoilf5-i)6(?wS@CZv@HmEF_cy)&)qwne z=Ir09MMUg9yy@9K@1CB8ivz&S%F6W#k%is&f7P1&>*)GtP(C;FzwN*01^@{30Dqdm ztt{G`@P=5WHiwn@i5E_nLy~hdoK<29XvxGwtYl1g;$e&B?T`Qke+0G$WK#UFmy_br z^Ggo2E7l?p`C{|F(Uw#-b!)0Dv}@!i?}vvZELwC zdyG-P@CwbGVL=$?xD1p-Uk{3&26~!$$>t=*yrRe+|AZ`TXMJy-;ICUfGbee)%$aIF zy~;w8g)1ludF(ocqGUF~sq1YtR+jtu#4q?A!kg3TI}_5jBn-EB;>^WUNq>tS7Ucaz z71H)3Z@iLq#}sX~y6p!d3>}kw(ys^(_m5V{fe5Q`Z{tc2suq=6)nuaNr#6LlyCChs z%g{g1(e!ySHFA7$^TXKe6^)mBJk*F*He&2kaLrXcv`KHTiGlVzYFZ0$X)s1Sgu_V; znW=T(kw{e|Tx>UMWmMRz%71fdwF??!5MUKcfz`LBe-5zLyb?Qf88t_oDGI3@S&BP& zc9K>odRzp=&HO7dtM3N~T{%xPK9E)mu}dFzhiP4rhZ zs&RJK3A`Id5%iGvfH(6|PMJsZ^ysRtz4!~rJV4$kfA{7H${T`L1b?&TS;js)ML9c( zGnkRlLxgQMWZ;?w% zp(){mQS{;Oi&uT2z<=>D(Q?~-W?Hmjna(V62*^KyBwGlvxI$k%(8GRZ zxgCh(;LqKo6d=>eSPS2Ul_YPpcXIAA%i~V#Ld4j%!t+RxRQM>-q|atRYDffQ6bKf6 zOaBcXG?L1IVwhnXj{o_eJ>vZ?|iGR0s&$1VTt-!J?p?uti zY-o&+12WyE!~p*{Th=RvekXdU&q2ogm0}NjH4^!5ezUgZ67qYiZh|WGS3L+Yoh>$n z2aBX;tz!8)>SWmb!~1(o?OUiJS~2q6wz`3O2_Q(E@YI2DlKq$<8q_W_t?dx;_zDK9 zQhAQ?D2J$$?tku*qI2mCZz7U$T-G@f+Z98VEQRed9C!A%#>BAnG{-7ew&dL_ysaj< z5W^dt5^X%n0+Si0Llry~Au&zT*zOHkH{M|N^lvu{lzjJ$)r4$nLZ#;GTM_`GVwatE!wf^pWhkP2B0cwewCY;9bC&8@(k=Wr4RZZ4?POC8hUjK zbOGzWjK>V9l5vDs5~s-2ck2Yd>~bvk&#>r&3)qy@;#E!sF#Vi0L3zf1u)HlOUI*v5 zLbRsbY=7CmQ2jE1$)gX9ITD+{TyL52?|V>>k5l^{2NgQ$T)N;KLpxCPv&y7kbAN;Q zfC)`!i>IUHE1!zfLdSwRZH1!@2mQ~p8Y*4EZx`@OL2G$OVGAL9Th>z#FwMWIx3;#} zjC!3V&qFkkFUJ1YR!|F)`V=&K-{IUFdlAl8AR| zzLTLH#+1_5`4Bds#Hj8kt+1YKP?(%e1ja1+CiIpdYZa#W?${@u`k>&n=6@4rFTYz| z(tqyaCjKJSOYPs+mD@Jk6cxWN@I}P9!F$H)N(1dYV=($2;Un}^*1MYKgc$YGgkvD7 z*ssw+Pe1)f4ar7*tW)>BBWrFP5+=POM#J(x99jeqk`r?FEye~ukrka;%Wm)17-<>r2bxuDb7 zGwL8#HYyk**jtJ=)xm{vvEp@F9Azw68;KcApMh2x3PgbPLY_U_1}VF-Vaf@`f_G9G z)nUy*qw~-o{j!WQlIJ4+Z15pTsHQXZ=och}TPvs&%TVzFH$wrowzL#|@*W*YqJLM3 zuiu28P1;o_94n*rXV5bTjvpXGvt5!`wyVexbO{B(X!fnG>OM3l*RAn37mlmYV!hD5 zop&gRHef?J%ha(yB`__Pk+#I6QTF=EJK#N+^d@&BwE$VSgT=J8mCR_p*;GoXBltyPY8m*%H7Qn^?Eoc$p{gomr#3`HD9yNOYHu zBLgAb|Em)oYLe%6$Z%8otJZ>m^IT7E`o+!3wL5u)g(RSj6-O#m4fUZ^nEj3M zH;v?L_|WbYwnR?hf|6Nzf`151e;(=m_}*?vvu+d0?M@(<#e;t%seh#X%DehPyv3L7 z6+Ys@pZQ4U&!+}cApSdCPrW=U`Vzj6E;8VuK1z<<;$%Um4aVUbg=NiTod~7=bt|xN zvZ7`Rmvz3wyZ{|d(eEPKc6vb_Igs3l7bBL#+~yC7+B5aZ>}oFxIe$5FyAp;a&AlNh zUP>?es@Fn~$pS?WTp;aKFL22XIH6+=R<7f1>}lMLD6CKq%++=@7lmdiTUZ;|@WV{m zb9+8l&tiYtOEhX3f-{UDLAp17AfM$+TDj+?QYHf4QS0-qHl+kgOd1oU_>|{S+B zS0WbCHhR2TWA{q;tbYTVOCa+4T~;!`Pi8)O0auw4qg&~DY@)oB%u9w$dq^Hy!=W%R z%aD1aLS_A)kn=VRVD<*RE~o(WI^69|A0vBgl!hsdVXR*YBf`%$;WV-Rrh3os`byb7 z*x+_5At%a0naa|-1I=(M)i_mCGKQLj&bjxAwCo}$x}pt{Uw@{G`r_c%P|6=ZC#yOn)bh3 zdCYXiXm7yjf`7gv83>GA*a3wW3JhuJ&XsKzS?)cLXdcb(nfbe8Mds^3@lCz+*bTQ# z;=7LX$T8M3F(ibGYOhD)q84d_XT6eC6glmz;nOAP^MiXR$JT0|RF2z+!SJ?(nZE@0 zDTehR)O~}91igMdypa}f&J}5#F4cN0Y%y^|TEZ+41AhsQLZj_K@e*jj%dndRfTcxv z#u2k62cW6=xbJWG^?{HqY)U9Q~pP^cy^q*NmS15t_oYvY6f~GN0?W1UZ zg|g(|G*$%sOMwbnGpgdlUyRsBY5TkF(QP5PKfaQO7V-Ji&ON*cXeumCes3@Tqo0i? zfVl>--hcljt0KGxbe_&n4tAN^!AG4RIOa?_NH9Qezlr57&oc>ur#QVYn&$w+z)(ZP zDDpdUFM`1n%+4gGSwzS`jgs02t2c7O7O!ICQY6g?LIQ*-lnSF$;$5e8MmPH#zfOVQ zce&V~e9&A<+hE#isqP9iWeV;UG86_Nj8>&CYk$#EZUOTkLMoGOthK_K^}&+q6oY!a z|D?tJ$wf%wGI}q!V>n9o*Sc5BlF;H0L`DJ=GktU|e9pxTxlDd+JVrv%fIZ=Y#JCqd zu0YfbWm~5cRb+NR>Kw!rL)W;m?tF@gT$SdrB4acu-$358t_;yAyI1&-$w5}&poxEZ z34gTJKw4ie10{h=-R)XV7fZAG(tWdUF^qy6*UxSqpZtR3nZijVcP$plLbAEn$s#9e z0={Da%1`9TNA~Rfme&5=OOxJ^T94SCyYd!<;f~n3NFg!rOu=&Hl#WUpc>DVr`o3ES zpHJpgd;i&aJ1>(?eGMug`bXFbipPFp(SIWj-%<)nqd3rL$pp z{4lWYlZ#Vu7V2G7>r@Cj2=Hes^;|8;Y@wY%1gl2*H^cfaO?uE8XMK5dNec<*&Qp9) zYafa1#MWO|eDZ<}4*U^vMS4TBwB)tvHgwwXT^pQ{y|`VjvP{@js`oy$r4@Q|?|%x! zj^KrbGFOHD>h1cfXo~*BW&!xvG*8(wQT!)6?Ye#@s7qPr?a>$SbPLqCjjBO62M5J< zvczLIixCV0aoGV|Zgg5_gFB*QqRkQWtL=lGk+*SiWVRs#2wI|qcpA$gmp13qC{# z$37M?L`V^Wle7P4sh~`Tc9TKfX>YoS!c>3&IdIvgRa+0XuGGaN<3c0HIe!<38VQkS zKUc+*0GaQ-AiEV8M!~}lGOQ8g%`07W`@rs>715}~)-{?{Zlvgd*Kz`Sl=|Hx`lsbQ zN!&f%%i9aG9N}8iCVb`c7?%zZIoy;gLF-?j13iJW(c=Xs?T0EoTFU8`(2*QMX8U0*jo1Yvec1b@LG#utAghANW>?Egmuv9xXW|No>a5 zMH0AcG+(3^@RV7OG`yFa3Wp;0*{SoWri=(~gC zr<+VbM++SVDs$5zB!9QbSH9sDyNGT8kN-~a_=l&0iRY&<@$ncySu;rNi-De)^%OBt zppXprTfK9$!eVF#BjkZ9ZD*+X6m$1;LfPgwx53*i-Nzo(=!^~arq*oZ8zJopoQ-{m zFJM&!3dF}69zWkMc?Hl``Sg#HX;-8+VD1=N8@~>Op|G&m^?ycZ)jRCN!s6!=Vs;)b zi#bgHth>JyVy6lB5C6K4%F8!25VHO8m~NpZG$JoK})6)n|vxiYQV3H;hCx&afKw=!rOT6u($<(%1%{g}|7?5i9Vq)7bn=Y3p? z3DqBM%EEF39@RbhNnqUFN3UASBL3g2#b;{if3}m({C_O(G8xP<)6dBy5sqesC(Bb| zW<-4@z1g^iI7)84x4CrDtq`&p-@9Q5JLVPMkEZeNzSLO{NHNdxGZzq&QOLX}@#`IY z)GZP5P{_vf4;m_Hy%%W`t(VCiUordWYNq4oCD=GiO`7Oi^+7Xryzww3SPo(Rz9-i& zgi0(|Z+}M+3?uO8#~pt+t46nIs6_9J3p)57Jo6uLA@I}*X#J-NVHmpcdx4NFsbGB+ zjq-QjKC8ZC?!X_m_%`T&9%{f!Naoh2_wE-At}wLh@9cwI?fm?#d8e@QO+cIH>9SZ7zxRh1OYD>8=o=Zc zh${#K2_ct7#ZupRn$H5(*+Ndn{C~QR_T%s z3#xseXuk)Bq=F4;$b)FNHEzL4-d;sUi{_VgWx}jiZ9x!IdGpL%tdDcCTj2y1J)Ba4 zX{jYM?)ZeJV+(M7-~BCiI1qg~9SkA`7k`;e858~ta(C6CuO#~=Gpjv*nQ`gKk_a@b zzQY!p)#DokymO9lgl$MziULbdce=!Rinz9qnBNPiY-9Yo5)<9ZMATQ z(+CisEeHhL^=8G<`|IqqVGw+o&pH=11nR25t5`okJriI1kzHwA*M|D8qC0b^X@5g3 z^4uKZtyZl^+4EoxD$%J#U+21pmon?Q=^at|M7PW9QKbeC6ar7_iIJd}4Llq3`y@Lg zg7Au|?|A#^WBZT>m&Qu)ZRSoVaqy6_Q*ZUnZRs(OrFrNqUj&7}R9HI+`gkwXBd zZs=vV!?0g?gUOOr0~dWt_dK>~3l4V>0RepxwKn{6S}(ce)KH9Eq3E)Z@2EZcg|bbV zPH26MPAX#;Z>%i10noeZ28nS4Ym0Vv4eQhti&Cok-Ft2KMwGStmN>6kTz{ZX!`sG# znXmh-9eNr6x-s2v zd6wd;{9Fl|kyw&%8uCQwaoTC4QMxDfg)6xbUM8qUTjFI1cg)W?cltbAI=pY-Dzk3W z^(pie$2^`1Ss;q9LHc_`2K`UMM=$KqnR~gi2UM?Fo8LM+p-5Lqdn%0?)h~>p7hf*J zTkInbsFrkF*{Bw^%1N52Q@CuFfUNFPzc38{tu959H*#-~2P! zWn$P9np*}^HL<&LU2GK$%?aJ~dE9aiyb5^fthgGxa4|f`V8u;55&G$*aiEv5CM#5j z5%({62x0kuqm&694=5`BL)%~0FK@sn5j17%5Xj?Ps47OM|#~yJIpWQ>D5a*@M9yvKIr;fI@ zq`Biq$Na3-`x2o%Pdis%i$lw%=Lca7$e|h@eaqOsDFzj*b!$uooz@S}#sUoK`fHUI z1O+PwE4JUs#eWOkwwyK+qSOX%S+XiB8IX$B=KK&HU-^2i^F*XKSrma-)^6~Y3|uLl z#kC{G^<7xuKj;_;$To(6Irq07mp(nq2M4X z8^twVv$6CG6pMD3@C~_*@GbQ){H}v26uq1S2e=(>O~UJ-QWZipVU9FpV#F-3`9@qcdaxWr6zL@f_1F&OgU45lo z=_fe*iywjWh9oVoF2$<-ma&jqTh7YZ0Yd}?&zDgasM*69!hCI7h53x)8R+`x2?E8hvEIUvMgv_Lviqqx2p^>8N%zru6<~p+_qU0ej7ZL<_!PC-<-~FY2 z4v2VDSf~gf7oEYj3pU5dL1K8lomzBetV=I>Cw#|nIB_5&-L;gGkrtnn_7bW?pZnox z%Q*V;a`nZev_Ft(TN{@UvhS3sEJ&zmt$pUXLjo5h`=Q^=LRssv7bb`-Z#F`Gj*)yK zOMfIToS4CxD62|@?8p3Q_m?ky?_vonTudf?QL?iPODuMSOI$M98L;UhL2b!Wx<~x8 zt#Vc-kFDRh6F0%dJ8*iiN+@KuPq_iT=W3U7md{+Y(Sl5Sr93k|>s$Xfl z%{ANVGxTTv7>gdJsJ)m?6Cd1k{@NvDWq-Y-ZMJKnBp1xo7q*3%4zt05;Le)}w);rT ztz(>~*vbe5mnWb)D~BpCXr*fs1yu2jUO zW25Z+A}RUprI^0Z#~F6fIxaQ}RJ1x#_fQWEJRU1|C3znVxxUF->Kmf@oy3{Wk$>`A zicF6VdAkCXV}NiA?*l4KOvs$IElWmcRZZ3@^;U)_11pZ4m?@G%b)-6bi`#us47~}! z@cj{-V=UOOBVGt2*6ZpI*7h&euZU8K59gE|;-p1h29T>Hy878fF5qy@gMuAYs zWI&7Aut5w_&i#l>R!!<@e7FJg1UnKX`Sw|18*+ zUFHmtX{a+~nms#iq4zW6Wq$^l%@fK|;Ayw&cu*8IiMHJ&D}8^8Wkabd_61k15idS4 zSm#myQb{}rtI9zpcY>IIGN;5+vxehIVW}_}Q_FXCGBrnZ!RPhyfuIk&;?hKZUUT-C zr+#vT?@RkFL{Bi`jSLle^)P`xwFiE3^|Y(F+uii%P|(EVIq@5$LVu)6x`)9%4$^(( z`nYjmV}f7vz`3z zZ&`_m<@X`6JWiX_*zF-=)Lpz@@MOdY0=xkS;7IOw-Zp1SJUx&(D3^7yEyk(>|e} zi~Yc*CxX-1_JtXNnPJzygF34Z6s3!kVl9tCJ`ZkjqTbgXUUPJ%pWdjf#<6Qi@DzFB zUz-#%w2-|d#D6muJ(cd12>KfQqajit(;#qi4jS#dzY4Q-y_jJ@j+bzj7)<}pkX_N} zBgs&_Fsj(3)0VXm;o*`QfY^LfzAjcP-fuXBOnLV~3{U=izHxPUlqWP8+JVR3v(j$b zpnS+ffuC{JxTc->mqZ5(w7GSPrCvNyTV^-x-di;^+J7l&RQTHj3Mr=-(;d>z%IF}`l!a<6q^v-(w3U>_m*Ou70VYke)4c*Oqzin9wsfi|F;tx@ zoA;E5OTyri?u#f#3!4aEKiD4&l{&&DG=dkpc{dOfOB(PE_s&-^B;#4WksQ~M@cQMM zZvHw}>3;&1(N8hY=$HcJ-#>DdZlDiv#z7cAsho8DW~h62J%G9SNcoX~jx;{?aI^ny zw{y~?J7tn9^~b>+Y?8!tFF4~o1nSWZ6I@gzTM=U2n1Jw__Zvv#Z{1yX9i^)AF5w%= zJi5S>vj(pgGYw1zCF~^>*3R&`3o>c)KsXMa?0;C|l{exf`RJK#IF-vJO5NlbNUqe1 zq7F}`x3R4-pW9x>k4*~1^kBZi`-k;PE-C>DfwDfvxScMw=|`FYm|QyLnkL-#1F}C# zhu6G3Vi;eQNB@jW7DF5CSwWMReX9vW^ka23 zaewYAFJW{0MN!Ded5F`SNYv`|gZSz;r}H)Adx2S>W^dzd@dQ30LG^wt_mzmEJGed4 z03UHiA{?6d9qa9K-)($_GkC(dO~en=C|n^@jmU&Vs1rz(d}hCSnr~g3Y%1vES_^5p zAG8QRj~JObqeE5J!q*Wack5xyKc9_ zpG0@BZ;66E^*Ae#sU%_MmkhARJgWIBY~8ddt?Go3HoYeDh!&~FDVT~K?pvary?<46 zU(p2U_mN48JteoAE| zl#eekE+8*TZNQMG!m)Yt^4_jLrhj#%D*D-SXV1MmwZq4TKIm`&Wj;|7MT|&-nV~XW zkDW#SY*HeC4DrLI;6d$uW~J)f5C)>f!-mwK$_1RZ$@hk!yu)|H(OZ4{!PX)pHI zGq<5?T$Yuy`;7q%1Gih7-T}ZR{V=Yg#7TNlgTB6wL+k<-cL09#7*Op~ zZWz#Vv4VGhE_7NyY;VPI-QV;uC;;nj9adNjME=rvW&iU#=WCu>Qmg9kOo}Z$NXG0Q zQU_K=!#*1#UPOfar58g@Jb%9h%aW+IKfu8nNOVU-r(PqVO>{+!#ky_;xM89pIxndy z9(-`QtLjs`^w`&SUg^!jR9!`fcXNU$-f4g|BR{uFJ>Q)wVahsbTRa59Z}d}DmTYsp zP|h?_1=!vUA}=$^AHrB4XDv^oA6`h@N3wm(HM({N-&pZam1t(eLVtZ1eIvg|2XzpK zfB{Ez3w5GOMsgDg2v;?Pu1@TG`YW91|X~qsVc`U0;w|j}IIUejBX_YJt|4O270( zHC$ewm)lJ78Jh*Z0DnNf&OV=l3%R*ruI4pK!>nQfKAl%IhI1`3A_b`2DtpB?dn1vT zeR|ZvmQy1#7MZ{XbGn{8DIeFo-2x@sykya)^Q**hnS-#{jIALQm44&Lt26!|iJOpL z75xg1K;&5|9}*O0=oVQ1tliTXOc@b#8#z~=m+f9iJS*LpU4JZ+uNSkSizCQw{uE?7 zlZhds-gT0bt*Pv$e%soj3Ox5(-z7g%0kfJweCP1>gR6?PLsDdGU$FRjg#aHeAl4iD z{HqG!$VNY7bJ0vxYNWKPT^F4h&y;Y(8@eCYe|9o}2k=#j7W}Da8D-7f1ffi~%OYBH zL5{K(!OFqB)qk65>(03J9nx64XM~B)o3lV%EQu#M9{JKBo)22# zclED?8GrXl^Rl7T+7{DeEvtFHNO$pt zt6^BpIw^;q>zRaXF6aXFFRkDfSsdv?j}2!hWq-3?D2tzluim*XWuOTy-yKDlbQ}r!Vi+AVo6X8yG_7&?~vu$(m}hNW&T!5u^564yKvb=uYFKs zM)y`$iCxII;r?e#Eg*~}V|6fD;Nl@reWtv|3UBl6PN;o0m09H=n@Q_APuA}7YK=gIn)Pysj7VjRbv=dMf@VR<RHwG1jeHJoW&c4Ezh2y>K>?SKIrjJly%J~MUG zb5csAhq~_8zP^k`Ba=^B*1I^Pp1o~O+H--Y*bc1t@KLrm5H0;98F|GH3mJjCD1Yon ztd9OzN+OSR{TpGy`M6Uyx4|UM6)YCYAU(A*!lXnYddEFY(~7EqaM|qHb%MLf#f#`{ zsgSTehhH9Me9RVez0!?8t{ocZ!Wmm!zEu7iHVst7u!zO-WjD;}Rl7%Yn$aSpe9;xR zaLC~uNfC^D>+Ah-OqOP{a%6w@<9{v6a92P4sOqlfqKl(nm*kBaar1@<58*W}JzVf$ zkjZ2C8*6=;MDo^IzeIkSmHFZMQC}-jQAz9}6+3*-AzJ45QEyE=MxTdj*?ft!WkoR8 zOw_6CMdUz86kY~-FhOR6mIDWG)H}z7LEVM4`xz+leZE11W(80 z_>gMPsx-S()^dXhDJaTsUkD{|XQPrZ-{>`kznp?SjThr%reqDrC>*FMT;Lg`SV!Pf zyFY@b3@a7k)-?w34SkU$P=9PiyyT~?(T~bY0U+d~agv((l(Shn=iNcs6K$uWdmfT; z#h@(sF6=D4i>p=@x#%2S5JgR-oVT@nxm%XFCPD5A!ym!4?uoB<)>Chdk+&^s`S#L*e447$*fEV59rE0sP78_*!GQYrtgMgJ-MuXETG$nm&c|A9S)jaM^x*4)oIT;xXyzwusa5(%|U*- z5$5^d6Rr}XQ!jaw_kW!4){23Tp{RVbJKW8BNNHa^*yAd&(VS6}9>(Z{E%i5=v@hpN zA2`OoXtV-X`~?X%)z{`Q>X8$^)P~;fw2y6DG<86RD{cCD8dZWRBY(BqQV?%4`qQj< zqhRkZ$`abdqF%sIuxE_T(Hq1`3g;hCqaTw9mBB+h)lC8Ypnt$O!rv^2a)arp^hwu(84s}_@LaEfy%J14lvx^csDF)Q_DAmGTQj@u7 z{J}G^-k)@^trtc`6lWfQmmw?dSk;);qWC@RLXUWDPL^tJ1sk(eRtL$bvCO{Og?mZ9 zKc~A~Pv?njoZ`5O^DdQ);Q7SUb2A4^Z7t*pB8-7)*nftGh*k{}Nl@3%URNl4$u^jC zpffowA5%_k)T5S)`(?8Mifwihes(=qWry?)Hq5X=ti{TI_cgdFHo&_j#A#DFj^w^^ zscr{_i@uhH0A}iLyz|yesD%bx%-A=dG(9h@89*Jb43fr=X!<00W0?>mgqhh%wBGuA zeKG+}Mt=j+=HeL#T)b^8 z2^}uJD2eDUAE`XbU}r+{KsyZi1pme3K9^Ar&A3c4mY-%Ej*I6yXktF2o$_+b_M=Bf zc$8rj@>SGOWkfTfq|-wo4OokG)R-9`8(}DYb$^?fW{sK5TfOb+>8p-43+1sw=ToP@ zR7_Q!p6iY!V9*uH^gC-q>~|vWmNE0>IpQsL26?d3M4N-glg}>^*q`};O<{T60|nWY zcVS6lj|^9x+vbUWOnqtld%Q)3b2jxcWCD&I0+j-k_n!tz#`a{-c^&n#LSo>O@hwXr z?0>0)E^sMjlra-__+E}+?r}j6*lo?2Ti$xFar@U|C=}-aCOkp*BN$v`&@gW}XOvXS>7@tdEmLe8e{} zk%+1ys;FS7x?wjyyf@`2L+WJ9y)QVFxqo5RHZj(`dNPeum8Rf6k-A6NJa{0SE^Y^9 z%l;{$=hDkodPA~>j2_@^01(lg4C8VWqiP-QK3Vj(s>MqVBgZUr6~B7ji9{+YzFasg z?8K{pgE(i9jm4rB35!Zu{iRurujEsaZc`Q3QKLz78#>TpxSq*W617!1h}iUh{C`S) z&bHmQenP`QEhslmu2|Wn@DPDj*R5S^8Dl`+enFz=S`WCH1tYaKS0T4U6=-)alN%9- zZk4iNMfT0cyS<|>d@1VrD!Ak&6dh=+=t35Zkr&PBHM2Wk!yTOxll>CS8r+kHb)!Di zRxt!j_peVYvn?o_e>_y*RiB4t*MAKqf%84e*Hn}Ib<<&G$eD+H6?-x?&i*qPfhIEM zhPH+bdn^ChPHjg#=bnnEySmBua0aPlQF#`Xo};fuks*PAT;(}DjN#G$XB=jGG;oDl zj9EL@P>1LUQ`SAcdW7+rFH8{(Ml&*9-DHW_4BSD?Uelw7RVE{CUvl|SI{Z0tl;#TkPpZL8G|Xv1(j)B<`9cf z%ENk|Fk=kjo!Si^4uf>5{4b=rtrp7VTH3aRGrNJ|3~!t2gtY7s@J>M_nN`i|K#yo= z2Nf67Ax+~m2__4W7L^`sR56yVuIHY`1e@PPagMdUTNkyoUQZKl$A5oZm#xHvI<$r4 zu-%hpByl;X%S(DL)?z7=U?0!Se8&VPRLys zvOjp?6>=is+s>x#4z#UONrhL?LR`nTnImrIkzRX>)AMbmoPgp!_E{tqy6tg?f-7uW zwH?2Av91QG@)aoWbbohrao`F!hyEd3YFr|FFQ4Pkj2bY+QIgG%l9~$EV|9Ht=JI->}slpLIr@&nF4T>mD^MS;RPs zAn7??JzCzRio+lXd8g#nS5~hoJ8o+0F+sJTEIU3RrA3f3E*pW6$8|fFZpY`u;LD;UV?~X6EO*@LpH!ZKa;q}ik3(d+c z)aq)2#`?vT8h@A&DcfL!&*2wAo>})uHzKIBp1E_m5k~Y6Y6$q*p}sjUvyoNsJ#w+4 zc)%^f=N#oKG;H0VXZSA4U+HV9qDE0VLA3A_wSpVP9S`X!T3pU&T{~%2ISM^UMx#7< zL{gPMF+9;@W8QLqL3x@gm*ffww_ne7i@y5BY|G_dntugLml4`MV1!Gn_LJe{9>N>3 zAc><|QeOtup?rH~388bZE?Crix|b$n_t1fonJ0={^sDq+i&V)VrG4|yC~zD9nAHGg zU{n$_+h7Z3;qr{!(qozT7iALdJNI%+@P#feBQglu@n<4ai^|uTDl3FSJO%1CuMsv# z(%?Ucy$2K93=$V~~Doel80 zNC2W@c-&rz@_)9g*c}*{az8!WQ$Cm&XKGYw-CwZlYj;?zlj7#nv1ntB{d%01$$Twy zbIa>C8~ANj4s7-|PP%;@Ou$hqRqQS6XTxN#+~!B?g20B-kat2s(+629zo(~h+nyw5 zf`1S;!l$`TdM`hm9W$f<-t42X3)|Mmdwip}kgP1y2@L7R7%%qlRVX zoCh9Cut#26WBtPojyCUha^_L8;>)Gq9)BS^zB8hA1ZCbdNZP*K?t|9OXvktPJjnJ7 zkqck3)~q24)Z^J0)5h5dWgwJcXdllV1KatJxKP{JTE{5}HE3z-SwmmB7XkCeej(bv z%eb|Qr-m(O3BoY;GL_RHx-a+0KfIM%8?(#6fd-l1MC|DNhJ>CaXKr&Aob;&$jDO!~ ze6eGfC`p30pRnI1gG5YRLJ7{)vCS{tlesfUs{+y`IVNL1ph`GNQ1u%2w~)Pc>HF{{ zu)iCCJpO4hrrBGW9?glF&aRnO%QG))kUl~%Z)YEVetAp7?k7wMa%IEP&P&S?Z7$^< zjJQL4gmQG1w8R2s>;W6(RBNK9_J31|I?Z8A34YbbXJO%ZK<7sydOK9pSK z>`k64vgT(6wOM*7Qddv~FJX1Yt0tPPwCx?p9Yn<)kxT$4RpsDdT>1kOg2P6;XR{+RrBDQWQwKD_wy1mlT%LHoNHXGM|> zRMW)(n?NnM3zt*x6#%sFGHK)2I##-cf$imweqQ;j`Q*TB&{awsNe4#}w&{FNuKFP2 z@qpBcWh&}Fc`PW}ap!J}4S($|ntZO|wRNQIGisGV(X*%es=10mE{;)LZ2+T+RxXczrfX?7U>cX=)LdhfwG!lr{JQbZ+xi z^$U4XzX`ari_Im%LvhpjBxWCal9b6C#=a8d;7267&06p3k6;;D2(Vl<)na+9#IVNM zJb7g=^W1a*TSsfYa(|yN@vS+1dkH?<$)SF%RPyvV z1BdDmXg3e?XU=)nq};gDz*^Z;kE2W>a=>bY+zwd9^ATIf}?^-U)H-ymu?q8`2jvvvKgQHh&M@CbQ4#M<5mVA1v|S zm7@~*=GAH!ig&2?ndzaiEJ&RI`wz1-!d6EG;r+|0xcMUgx3Lg=TGc<^H*E;ore32V z9L)&!Y8Hi?NjZB`s`w&A_{1Z{W-e%+Er78t(BZZdvt zUt5xZf&C4KRyCG-Hlss|&ugFqf^3AmdD`Syvls+`=GM{k7)~4Eu)!A>T>52~G$6l; zQkKWa(Q98)Z_G8N&IV7`(MWceDI=5$k0hZIA?V?ReShz^h`gWy?-%y^{N{oQKC`tQ z>NvM*tnLNw)_;fz$bo(1Bh-Qh@To>V8TM1qQ1GMP^!1*H?&hU`5z=lPn6qF2poA}w z3!4|<)T7Wyw3^+HXj}7hnUC)`3uQ}#Pcf03H9K(Vubk72JX@!#P7zQg)WrlH5TJLzn6)>W=TwI0%4-S#kX`ZgYj!Uz$xX7HAjef*K9rTgKcdsmK2S z+;HZ$Fc*ggO))t>3%W(Uf9MB93%ViJBFJAo6lia`%H#W?5=HOlzC~=6H(6!gls9B^ z1Tv9$^rEA^cujdm5%|oGUBZU$O0a$i8LUzuaDV*16To4_b)(vjJ}HbIk1;Z|L>>I< z_En7y6(~}a(!F?t$E^WqrDYM-C|Fp|UsXel>6eNC>za&b(yvvKF1kLVcA4%1hZ0`R zBno)){)&jJ&dGS-kf~iM+@(Nn1Zvvxa${2j6ym<=Sq(0pFlP`v4tSvUg?(jET|v`k za1R2A+ty4e{NK_e(2b6UFXOd%>lQ%I+n^X=BVXIasF_kK|JU}d)9?6ozm!acvB zHwB$z0bQ@B31b(VsYYxNO)swk;*baWhXPTe8eHVK2TdNvYX)iq#*yE?u-#Ij& zCs*h_)nfMIUakWv3_jkJg}KN4I<(B@gt*rZRspd~sBTQZzwns>Jw&5fPRIVJ#&}g9 zo+ri0$C`YsJ=M`9LY8|t9*NmKTqd-c2re7xXGpP@8a{Z+h;hH$#CI$HxHX*EL)7o< zG>6|Rc6b1vjZpgkfH{*~43N12lbWO@RHdp-R<`0-=$XC!BgWage0=?0FOA4-U^K)= zj@;)|?Q(_>_q{FK3=G~+dhzN+ak75mC)*B?mif;^=CFQ4aLv)t{0c1hpu~k>}3~f6v7gJUUr-LxAFl#g*a-8(cCWJ z+qukM;YFGsFvz!STkjrhEDZIb$JyH6%sgEUYtn5I4m|(HbijW z)tGl$T!B!(=xj^(R%95&fM>=xX{Gq>jNNMj6BgI1Oy+M5>n)L4*vF+NK%A*3E%|#c z@0vo%RiCaL;|HtI)YTFS`;NcC1;=WuUA^GOcGs;~fQd}q+Lt`kOUUEt8sqo!64ZfJ z#kY7SqbcPfZanTHvM#qN^}edL2WeIf3FG~l znCY;404MqTi+bNJa>Qbvh>IQ-zaCfCWN0EP_L33~i4=v!_jGa$VtnXe<eotITIYq`E#b*#U;X8FNd`it%{ zF>BnbvY3r5wa@exy`_HnH;sB^zR=ha_3rrEJ3y`N)1Mb1b%jyJV+oS;7H8EqZH9$O z2En@16g{Y$LaDUbW_io{s7igL*T=DRh}@Do6iFmoes@j0&s5B-KB4)-2e@v!jzZ05 z!*7M!u{ff!Cnv#$Et<{J!n~pi8oULB`zKhjCvqt#9;Ydf$M<;7W}|7j3}&N^+WQdE zMnIHh9luR5EvJ2!BPe+bp{Vce;J2T`y8dKIyrOnToiZHkg1Ck^-2(pFS1(jGUUgom zHu+QWxk?91eat$%fodTFA%}<5p)f|ScQ|mFsGQJHw&~`aOHf8u6|-j8;{@(nSwx?R zW6|W^cns73Sg{9#4$mS2t&7d z25Qz;m)&>Zgg=5VaT-EBNACsv4i>>q(4^Y_HapBNk>>v4KH^=UDcJ?OG%-OM3qjuB zb!>yT@dVqUO5a~1b~Uw1OYWV6n^sV%*VU6F5w2{?HRE6AE)YZ(M_WN{+$G*Dz}dx# z54qSAdWV*PYk05LM1SljF47g}mRq6`s?h5pk(Pol+t5+d+TuF;&$DZ`i7|{Jww8_I zJOvmLY)v5|Iq$a5$GAT00|GXS)gxuUF{5-koHETkGqB^`@y5%g5YOil6l3T%+Mk9k zSGf^xaa!{v&}OvsLPKuXEu=ZP8&U}P?^i;z#_yNih6!Y}-PE~Y zB(jwJ*{)p&##Kb=P8l?-McRha1%XFw8Jw>;xp!|IgockF6L+%dWm;!ZKiJg_7a>4?W$-S1K_EMm;;QYDBPmSWo+t``(? zYtFz{V>EaXW(N`^iqj7VM`+IS-}t($f2y_Hx`0DL2Glp@{HP^W_U>IG2(BS=<5BRr zxZiFPR&fvLVgj3~201u;fQdy(0T7khghga;;99rnYJ0SNjZev>pNMS>xoPPy!?pgu zsU{~~dNY02cO~{5!Rj;nQ0zBBlMeFm=AhV}lNoR{-St9&E$Qbgz$4IaihY zHqsDGP-5lJ?)z>(1N~yvO5bc@_UXf2O40+=}C{O&Il`lXS{7+2w0#f6a zr$Tum6GBDlvoSNJ8FEps_nx6L<;~62l*v;55)$7{N?opr-Zmlw6!g>e0aXPXD+pc1~}lIQPZ_M=T_ed98%o{hby*!}O zom2o?`4%m%ciG-4!%ACUe5+b}eK=m;Z=@ z*-2xs`wD1<$@@~f9*UhoyEi}Li7U}2kY92Dc5f3zf{{$iFWq440Y@r<+ z-*;ru(yeJnw5ieH&$#rw@f>@P3cBxZm`0eFpLR+_a-!s*ZcG5$Yv|HB$-m7!rvbLp8D~G_Qpph&^MZBRWVt5tzq5>{ zz8bq2ueH>pQiCgI2OsxsdXDy!z=<)iL7I8fiRmHqU0-{K-G^k1ue@Lcj_gZKr!57n z2pN&9a1l2vuiFiEu&-SuiTHhYWb0J4mcnm?P_S>wV>J>i0&kw8MwpipKZo5tefNMK z)GoQwSnD0S6w7;4dA^SQo;Wzq_L<<$kqLn9g%xSCRpMCmt|?Q|HQsY=;ER<@ebM`A zoS)gzza{~F@(>fdZHN9VZDbG=*4N_>CC;IbRP=Vcs9GfG!1kJ{O9FIVq^LAsH2AlI z`hj}$2O_@hb*rpY^%vQbtcI0KgO8U;_$Pve zzgW2Em0xpNKiTj!gj*OHa%2ATstwwxNZ?3c*V;1S1bZ{nno^ZhbD>2*4pU4i?Kax2 z1^H?Cx$GfJX*jOxV6=$fe zTlEk6ra8$KXS#xsRNSdc^XY48seAE9Gy(Qe>D!nF4(diW#XoxdL@G+m7Qq1V`%Y@! zT}{0K+xqZwTm`i<@y_|}=@CQYVIf{vsd$MW@9Zfc1+C_0M1w4RR!-*Ant~} z8yaHG$;g*Q2mKM5+6m;fb+ZH#`=I>7M>G^f%eqL|@~R1`^MPZQOSR1|G~qg&&O|)- zWGw7o#81^sE+OOO9+yz*p5(ofcM$`F@iDuf$}UU^Z&yhbIJ6`Fe#!COOyN3c`g3MW znjrOJ4ZVlGvxJUZ+$kE;=;^n@5n{w<3uK&1xR*X+Yke;_qtYO&PRRl+T0Ak+;y0S^ z=|u}!(z+Ua!@iO7?CnNqEh41HY9O=+ks|VN{B1;7kk*mxg0cztfI3REq{nvUy|R~N zz=HU7Lq^YJo+*kVpi-~52&{bo%x^FCGc=+;JV)m&$4SI%WJr*~(a<2Aj#yPHybrL0 zno^ty&8b-F?Y%`>^HTu2(DwjD3NmbNGIo!E{Ra3Kt-;WriDKiEQYw8m!c5iY@&WKC zVy#X5Q7Cn3=S?@$$$D+0mENBvvr5YKLaHdhvQzIPR3Fg!V)QD7u`DrZVW+e*{JN=ANy@zj`N3*IYoeK4VNW!F7|z6oQ%K= zh`0dg^x!`u17hcJj!eKo!sVHKz@;C zRCr28QiE9xSwl2$;~B?WN-*qNB6#sA7UDngJ?I3y3Mxoy$1f6VKLp@}G*P^1>*yxC z;`+Z)xOsbO1`PmPd5HPBUwJdDL+4?z*`C_UB)iesz$C@7?GA_}JA1oIDK}!$5|paE zjfs!6RLT;OZKO6klTz;T`np2d+t!Et<1lE6NOpIA_)=g2FYWKu%dZEUw&g5EBM1i_ zW8y7OmV}fREFZwkQ-lWiqq?m{$Mnf2-N;SbQ+TZx1a*Kye&|g*-eysa?vDnQvXG{; z2p_9vAb1(+tS0)TCe|%KQqc%pLW*&RsLR?XV>jr!`~!e)`gryhlUhlrGRPr{1o;8TxIH>FMKI-* z+Q@fw*{XU%vMgAKZ?_^Mxno9o&7SO^g=LfS(PFL)*nRr4E(AA7N17jvh~Rrxmhl^@nV=_L{okqzP!(6eLev#of#$@E4ph2cHg(5N-5j^4lh0Mq{NU%WuWtEJ2aTiMNci!Y z)jNufSrE0c!6L!h&Ygi*b*ecz7hcczy|-#edt#yAP_M(Skw_>pbOPx*Bd#MLY&5ai z8&;%g%S^d0ij=#-+p8qi)Lew^iSjsj)dB?hUtbZOe%Gs}@TyfqTvM4ZOG(xpCIO2> z#2L79SD~=#z*=s7SSL(O)W9JuwGB&jby|6*62#^uL4Smc>Q_C%k@&E|mDN^}2wp{( zXa0^nM$DK5-M}BY?AQov44WiJf&wjc%TD-81Z*MVMGMGyB5I2I9Hop?57X_my51gI_X^5DOGj);BOEp& zgOt5_%BVum1eqB8fW@~{{3AfbGCttoGRu@)EJM1`J*@e7kE;ogCAL zPSsF#>lt=GP&T7!yq1g_s%c6w=wd$_ei2+}k?U2FATYga%7bX`q!jXCuHvjNq&pQ5 zb&kcw?V^Z{ug4^=mRcds3t})b^Sn3sfc-d^R?5iExTMun@ZPc_zPkT29jQ7U4Pg{) zU(@$xPs?@ME7+|)B%n4YXq#!C5nlGa(#zWHaDUkiu~9426JNjzFA+)d*$Fbk9HNt$ zU2CdKSNCqas~}s$Jo(VWM3gwgbHDBSG?h8OeO$8(rh_6;Rn=@EVJ2-#QI2L6@#uE6 z|KkDl2a3G7%gGT6uCK0zX#2fZozdfs*>P4QOQk5@h7fa} zvsU*|XEXVL_~D$tzcS)r@74liUSrvJ4ydRbDFD6ZXTZ_+TSOCA`?XwCYE|sDVRPqZ z!U?unxniVEb7qQ2feBIe-D3`p>$jSTlY-2o-acIo|Ab%AZHuYidYc^SNA9kA=>j6lnwev zvCHf_&jF{-5}mY#0am%(SC^!80XhSL!1Ya1M>kcPMMhAzppXb!;|KN+N*(d$7bVAX z{PdEG1pZ-XGmMQZWxvr_#hOZezLp)r9}x_izzq&@VBixB4-547F_de51Th!$+8ZX| z;VIiTs+4lYfx}iy`}uTIYHeIPxcnWT*{h5%N`Pm;bV z0N^9c0$jLc_;>;$aZX!W1*n~A$NxlbCf84d)(xiEXf~eX!LHbq(Zf(dQ_6I}e@D+5 z+a9)`ALV&1a%)~zi6lbi!J?HYRRX!Xx2UTd zK(SYv>urwBr>|;Khzp=&5PZt7I#9TV2Ft*}xLx8~FA*966YA>yhqgg}wuGHiV~Sr< zX=zMTr4SD_1A}lnpm$ zL#tAhB)lAZ%i+g57mwQ_La{$&2^R(J*>-<@gJ|_iKNfpjeo8;xOKJX14M4o^))ypW znRLH3P=-11X@K0zJJ1ui8O%iuA9$;<%!F$$apjVEK@oGY;?1=4LyGhy@9mdk@#yd9 z_)olF{m$Ji0>5{EU<_efgx3!@V;m%qyX%d61PiI~KFV$5c8^>Ne}-JTFz1nPFYR$t zr5*tfgBDWArgkRIE>5O~30gSF2?EVnwNZXP?9gCPElO<)3^bT60i|{jNO<6@hQBZ5 zJLTVB^4$(NuvSogVlX^>Q2ukY=Xb<|~s|pdDHT&t^q0^+hecjKE1(s9R~ym33Sn1K#3F zdhXcn$4$*Q4GI$X3>qJ)GGd{NM9IX-*1v4QvB zUpmATnh3L!HBS$tKd&m9M-PfNlG)*J6TL&95^Y^IWLy2*NM!)#AuI4A5Dd%#5ITiC~bYNpz-*_$P?2}I5Re@#* z6xT!~NS+$Yg?QtJ#BpT?@C#!Rl!{5W!>^`JnkXm78D;9WBj6 z$afH>)}KYQ6F`wP4Ty2#L=IYGm z7~EuD7x$PyBb{rSBaiSL%A7|!&k`tpI*g=CasBvUGY^(s~!9cU+~f%u#> zQ#IVX_bhkAgJ`{Lg33G4v+Cz|U>-IS0?3b$)ZE9JKmvH0Y7dfg&D_;J74Q@6Uk`or zP_%PA)75yD1hl7j&T{_GYi|2bvNy6q27_x0>eFBnTD#F|rJ6ILp|}%vTR8w7Fc;@r z=h9(iWfl1c_W!`{ADH|D%YWeVKhpmhHT-9@`3E|z>~H_P_O2K`S4ZxH)iZg=up zIv`1XRe6aU!*5K#CgynAK(oCtP0pN5hkIvjQFv{U?Q^3L>?$0eF<;xo>T0D476Ni& z2>0R4$-$#Qg=w0|dn_shG#v(qjw~2-;hl~Th>V?UB|=TdMk0i|6^QAkb0mqRp*PA7T1Ez|0%nt*Uu6Be+H(5h8>?8!?1g#FZ-HU^FkJT$LPax54iC=8qqd zTlh`?)9ouyEuX=ray{vvlv)R;YJ?+uS!sj9^lLxOeSiB>AYXVbdt8Mn$Ja3O%cqiR7}>1w$Cg zzDto13YsMQr9t2bEVn(|l7xnc+h6(m57|zU9Rq&BI0RKI%2~PnKWL^M6U#22Rwgrs zSGqleVP#2xj28Ch^TNj{b&HL)Mlm}i)o{XT>`WtPVH(H#nuSl1dG$l!fO;3ekxCCK zw@yX6rz|m0V1fOnOb}FJNUEC@bwC}{M}V0jYMMVMsf83Wf1*B2KS{h<@O7Au!jw>l zZ%kHj<hFIa#y2J7obee{t1Ma5rB~rLz zva#wAe|=^>JW);b=GLXJn|*#Dey{VdO;ma|-8LE@k(fTQ{H%pr*%fU}?{GBbldzq|mOfUO#}9`Vqo?sSkig@BI&J4n`zsEz1o<~KcX9O5>cI852Fy=1T1i) zShRb03;dF|pSnuGN(cm&TPgI+8UR1e>`cm*gopYPJ&K~UtY*s3ZCU3Pf19ddtVZpX zFUJ&z=6aqIdT5Sf2WsdU=eanIYrPcJkHX>HMs|*ZAZu@UL%K zAqn($>BN_o>39!-$iR5nX#rNB#befqr;eGsw`k3FwKb!j*-^hbAX_(2#%eyr<8J-v z zZC`n6>}(dp$M4PBvyU^~#HQMUGzeF8QZ7}o*8|C+1(;x7c>b4%A3VBF$>X$6plxmv2H_MPhZhB z*oFiCAKxUNgg@P6z*`zQWEN#hFHFi-?0kY&_iJ-0T8m|9{HcD#-u4 zXapGu%=(|2A;hCYXx|kug4UfY>Ciu5c=q-L2C|il<6d|I%arTFDhbQ&U>vu}S}sNVn!=Y$ zEXFV?M03j}X_Mm?iKB2N&iS72e1Cuc{oeO^pXdGWed#avmeM71w1G%0vs4xUr^UJP zA}5e?OMfcqB_zrnLdY8x;~|{9z%dvc%*sbMpACiIZK%{3BkT;P`=|;1QjXu^RqFFY z?14j?Ml1U5Yo)BtjjcDqVd55=ps~fx)9cRSy0_N0FmKQ$Caz_TD&wriBFtGvp{u&r|E5Vu+92a=8pP2(9ecAqNM6qU9P<1z-E` z?25kQc3y*S%StbE$bm{b9KJ_tc3qJ9`$}yS_1GfGGfzx?JFZB*28B z0Sshx?~ekY>a3()WEePU#kvQI62XiNMa8prtI zG0*=>D2K4~W8$te=~TkH#;2|d3PBXFUj>6oN;;mDIu&#cT9l;Dc3e2Z_VB+ta;N$s ztZ&voWiKo7Zj26WKXHGRbdgL>rjruVnqb}ugm>AozfrneO6WAt!+ZPOwnl#^MLq0f z-zDKOY;9dTEa$^~pIRGSOth*191@>8Jnr6hX53dW!Nph!#wU9u;`Nl{lc$?L$G)rg zhnNZ6MI(!W%icYjV3%!=UzSEiVl7ybriCe!sU1n_%3jzzMs$Bh(AnRbOcoq(fpD-P z^ryZx!fn}WG+d{|Zhg^@p^msV?fLulU%SKLwC!&!oxF4t+0gs2CkeqVK9{mePCmVZ zd38+drqG650xO^n{a!ZXGAu0(H28%7RSW<9xfu8|;&G!M?wHE<=FS^YyoPU9ID9^E z*4ACf;U~!qZutYTYa)wRIm?&#FZy20g-L}LB-9uU(EN>AuC<;u9txJOMoz|E0aE!s zc}cmZx#CF1m)l?H+hMW*0s_bm4$u|E|q^Tg#QQ(iaF8KP|{+TmMo76 z+6)tYS{hLnaXncPvMv{U3~T8xY;bUJp)uMH#yNO{h@sSDP#906-eg_$^McFWD;MbF zuTeDN&-rt*q_NZI!jfVJ@&@QH&*s*)2P+Z;hq*uK=6y{HF06YH?J{oZ`x(KvwHCw8 z^?|#@?D89#LhM%hh42F5=2FCbSlLfKi@*ifME@bLHB)e=N6)ljnF`Wt##2^B=eK)? z7Fy+3A|lr05Xu2aHHEb4m1cFSy0zCnelg8#=4nM?^ze>ec+l+H)WYi05_6itDC3!b zrjyN87Ct`lt7J+_Fgwd6k65kSqTfG?=jtXoSUBJf7kn+}3IZZeWo5jh@O?h?SGW)F zi7lE?z(EMn1jB+7gMfQCcGlIM9bY$Y3_7~z6qZdXY=cgSA3U4>gOOLn9y4uX*3m4n zC)Ccph4Y5C8p>%s68;1walKy0*pIu2~bU>6hCFiiu znAcMX^Q)>V(Me`EE7bgm>APZiN{v8uv1b}&i}2f8G|Ezy&C(a;e^)XcBc+CH(|12j zN=yz5=S_=?X!q3*QZu@(G`(kIXyf^41MhVjS#2q;7YF}vFF@a+JY+BsLJg|EofEQ- z9rdfY73bk8`Xh7dBiTSeQl%rpsuWCED8+&7Z@)_yoy$t8@G_k{y-S6^^y%;Y%Cb$*2nt zKE_%)_ZhigPIXQhM=Gt8A1}|b_`|rHn?1h#@bbzDkQ1~2NYnD+$!(M`pU@CnCs5Jvm?eo5I{6yP6w-Bq~p*mr>XOcS3-7@Z+aZsMC~E2!0#dK#@fFd+NQMD0Wb ze_t3PmJiExJUXPN!gg%|+m#gl2nk@5{0>Fw=0i*BcYZc`7btPQ#m`jST>CdWiMz17 z3m98dT4x@X2PiOGl>i5rg;0PJ4Q=8JLbwOTkfCT35P|^pMnR3CsJ}fo3WW+q8$*#$ zHxS}XcpwFeM*k!5P;Z>AG2YC?6oWCtE)T5CoN7#dApzex_lT6}2}o3o3#sj-`zp_8MjtDB*#v!kV}nYp34 YnW3A3rHiS7i@BYG4Iw3yMR)E10D|KkssI20 delta 101 zcmX^6nd$6jrVXn$v6`5gnix)Azex_lT6}2}o3n+ZtFyVYqm!kvk)^Y#tCORtv6Gpr YnT5HbrJ0+#i=~}{4Iw3yMR)E10ET=W$N&HU diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf index c02cf34a64fb4f197cbd5ba6d0246daa59b9d466..c65174394b03c0602e41dbf16165d7112d47f494 100644 GIT binary patch delta 102 zcmbR6jA_C%rVY+(SWS&B42>sytdWDTHfOI{#p-Nq;b!D)?&|Dp>S$(S?Br@}>}X+P Y;_7N_Xku*XWNK=sU_(gB01}}bcmMzZ delta 102 zcmbR6jA_C%rVY+(SWQe#O^hactdWDTHfOI{#p>*0;bP$IVrt>+1g5TYH4VvU_(gB03<>j>Hq)$ diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf index dde9bedd291433bd55a6ff3e27fe092c01b52f65..07bed7e842a05993438838cc424c45573dde2f4d 100644 GIT binary patch delta 128 zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaA~LL|#umnA(F7M2#)7Pc1l7LFFq7OpMaA~LKdre+4F(E^4Ghg)Ok9i&&72KQ%#G|6YzQgYUZTOR#RveS_8+nU diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf index 63ea18e4fdd789a617ae1fe570c77948fc3094b8..4fe85b4970d90d238a357f81c4f1babbee8095e8 100644 GIT binary patch delta 125 zcmaEImHEk4<_!)H)J=^o3{15R4Al(`)HS*Eee+XX5=&AQG+eBV42+BnOpHtnK}t5K yKZxdZGB9v8b~dndc6Kr~aWyk@HgYyFadI&yb dGjMWsbF*}FGck8_b~dn6upy*mdS4RbM*#E{9@zi@ delta 107 zcmex=jP?I9)`l&Nd!kuQOifKpryq=Fl!Gw0KZ#~cXLEKlHFt9~GPN{wF>`TrHZXEE c0E(C!xVab_7#KPlI@u}M5K=O|FNyIZ0NREg2LJ#7 diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf index d75a900aca364f957417e90dba0e25de2a69a916..ef8faefa3ff81eeb879306237b55afb1a126241a 100644 GIT binary patch delta 100 zcmX@IiuuSY<_$;Au$UTK7*0NMMjp)A{Q8U?yR)ICfrWvIv$2b@v6H#Eql=TFnX|Ez YiG{1NfwQHno2i|G4Iw3ybFSO~093^t!T5F@0|Pq+8$wDZU)p*b0DS5mO8@`> diff --git a/pdf/Indeterminacy.pdf b/pdf/Indeterminacy.pdf index ed82511cdb2c819a41ff8c8a2e73cf3c95164f43..aa210d68afbeac07bc6bb6e2ade70dc9f886b27d 100644 GIT binary patch delta 107 zcmbRCo^9HDwuUW?7He2djV%l$>m1zx delta 107 zcmbRCo^9HDwuUW?7He2dOifM9r`xV!l!Gw0C#+$7!|7yhX=q?(W?*SxWNB>X;_Bq) eX5?gS?CfOVVrlGTXke#cV?;p7_P%Y59E<>m1sr_< diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf index d1a6c72cedd7192cca36896cea7dd665a2ef95dd..61ea48dd42bfff87aea0e83e23f61144c74ed212 100644 GIT binary patch delta 100 zcmZ2BjcM65rVXYoET+a5hLbH@ diff --git a/pdf/Logic_circuits.pdf b/pdf/Logic_circuits.pdf index 7a8f8181cbe0cd3605644b7a30e0737816cf1308..b70070826c33394caa3116947a147fd012f0907f 100644 GIT binary patch delta 153 zcmex=bMWDv9ON_esr5 WFUe3aGB%vf=*FbE{bd>xA0q(sY$)Xb diff --git a/pdf/Logic_gates.pdf b/pdf/Logic_gates.pdf index 68ab64f37938ae712586d204e9f9cf0b45f54456..9f7352c7dcf20113515c9f5e5f6e15b0f523f4d7 100644 GIT binary patch delta 118 zcmaFyM&iXAiG~)&7N!>F7M2#)Eo{Xatfs~m#un2nG}z=I%_+>8tz oot<2b4U7!k%*`ELU5zZv4J|CqOq~o|?G$VXDcP=Q!sgBd0NoNEjsO4v delta 118 zcmaFyM&iXAiG~)&7N!>F7M2#)Eo{XatR|*r2IkW%G}z=I%=bMWDcP=Q!sgBd0M&*bf&c&j diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf index 75c45a3d6f8859521cb5074c0fd4f9815e3f5541..a325e11b72000186404327da56c9de8638ae8f11 100644 GIT binary patch delta 105 zcmdnJpMCd!_J%Etfmc{ejV+9(hhAZn2eY166^W@zkYVeIDW=w@l*V(M&W dV(jYT=Hg`GXy9bzVy9qZMnK8-)%O?$7y-4Z9r*wN delta 105 zcmdnJpMCd!_J%Etfmc{eOifLvhhAZn2eY11x|W@=<^>}KNX=4R$>=HhH- dYUyZT>16KaYGmkYW~X3dMnK8-)%O?$7y+#A9kl=e diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf index d02e79f39c1370ef9a8ca455d5993f7bef161a45..bd01d4fd65dd5074692fe76fdbfbfd84ac8a5cd6 100644 GIT binary patch delta 102 zcmbRBgK^dm#tlYgtfs~m#+H-K%j6)e%~54{Se#9bOw0^ST`Y~=Ms XLgwa%W{&0-rgjQ8gp^FKtX>EJ?}8iU diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf index 81f02482c3a1e1ec314d4a7333bbb039fb850c59..8c91cfd874b590d0b5766090120de1cb22585118 100644 GIT binary patch delta 104 zcmex=o8|v)mWC~ivsGD4jV%nO&sSxX2eY;xQf1U+cXBpxGjVk^HE?t?HFR~gFf}!F cv@o?WG;ua`adI>R%` cZq6pg&Spl2&X%T*ZgvVbgp_QpVd7x~08khk>;M1& diff --git a/pdf/Package_management_in_Arch.pdf b/pdf/Package_management_in_Arch.pdf index 5578772cc4f9e57355230e9c0c19b217a3636497..556aec9fb0097331eba459aed5a676bf9c4b747d 100644 GIT binary patch delta 131 zcmbQbnq}&0mWC~ieY_f`#uf(V+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HECWc@o z+qdyDo@H}3F?4k^GdHy`H!^lLGIcYvaCUJrayGDVb8#`Ta58eTQ?MbVWco1?#`6He C?;&&m delta 131 zcmbQbnq}&0mWC~ieY_ebrl!Vb+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HECWc@o z+qdyDo@H~kFg3O`H#Raiw=gzvHZ*WDGITR_adrX{mX>Db24;2&HiVQ+KPJL>9ssLA BAld)` diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf index 283800064ad06919d5584c52b6a723c0a8b3ff5d..66dd6bd3a6b64496544ec2c357523778e8793004 100644 GIT binary patch delta 105 zcmZ4Tm1W6SmWC~itBqJpjV%nOuQy_p2eY1b+X cVd&yyU~X(|W?}4NYGS8gLrBT=tCo!C0aNQ7nE(I) diff --git a/pdf/Queue.pdf b/pdf/Queue.pdf index 0d886a5cd01c9d96122620025eb798afcee9dfcd..aaaf40e4d751276be8891263f4264757d2b62685 100644 GIT binary patch delta 2651 zcmV-h3Z(Ubw+Vr_39xAf5HK@iGh#F`W;r!wGBPtZID>fxhj|78w|NEvc}N8{GdM6X zm-kKr9tAZsI504m8czbv0Wp`sJOU_x?O986+c*-w>sR2m_D)H75Cp)fsj0H#ILYMU zB+fhWfstsLi7YxKl}YB;&({D+k+S8-9(E5q)LT~Lhat(oU}S@nVPGsVLu49danM9OB!cGhl^cGqpXYsrptBohLEC#HH2q>c@I7H?o zP4N9%X!_cxXw%n}kJN`We|PlxOEwMCkIrFrH-bn`kF%P6MA{r20_E&S%}z$w<&%<| z2_=)eWYpSoC2k$1A!|TMyJ#Zf_;$P|nIt;C1)>8K9j)$7MA1)wXq8`%0Co~(Z-wn( zDeqJW4%WrLCvul0cRoed;NN}{LhMoVNoYaOZ`7=)$%eg_A*ZJ5Q_}uR)d_59T2fPY z8obb=FFEVT_0?KEx$Lw~JKCxn$S&En>{Pepb83pA*1Fm! zZ|v9I?Qv0;H_j)8%YOh zgNLUYVVn05i$<>FrEzV^Zyo#AN5+pK-cFOGO%ifJl4Il^Y7~ra{Gn)o6^nMlYcjWpquNYjirG%wp|4=bu!ZC*d|#dK;_-SjaP!lZibXwwUV zvFJnKXsCdnNNDh0IHS` zvT9m?<`;EQhU)oQdQJy~~ zj!lA3pRl;AJ*nEz)v}-;tms5cG2n`K@|>i@w)l?X%c_ z;;`xa8_A)+_xK@y#Q)$&{5gNgkNGPg@P@zT?}5W-{uyV%tOg*{Vo@ynnZi#`*Xi=5 z2UW4m_yxZ}t`xKDGN@Xl)fphI|19{5ua>i{tfobo@$dXk{)7MIe+{s!FZl?RY%gX5zs%qm;UPqTS~&D51)9 z8j`{HLNZYIYgTt;^us`#b!)(~AJav8PPlo*+N49e(a$GdgYO0TUJhmz9a2Mo-eu=` z&48;qaPi!ihWcz>a&XO5j<;a zC|wA6!mHx-5+Rx)ceZ>bud{Pofv{nx*|gKd+w7D#+iC7@=QZE-4O87ENNwL#THmdy z>Sj~z-ANgNs)i%XcwEtp2`W<%ZG4c-0?+ptt^S{g+INaMAo$<3A~ceixw&c9*k zrRAiDv6pK@?Tv;S@n21UQ*1STTj{N}HQuyUU$XUz4=LT0RCHCcf@R41$N8*kFL=VO z#KxX>w5k{Rl4QJ9bSLPiA*1M`(7&|mTFD$+I9-PN!9BVj^}Xhn#WYgS%j|orZzw5R zN#(ATd`9;a&E$H>f-fizy?b7A3 zfA8O$$SB~;pJ0Z1!`MFO$);2NU-?zI;@MeM*?5W^t9I#%dP8wvpvT!M4q-PT?nYl{ z*A>!8S-Q2o;>&U_511~B`6%RBcSGAI(K>+MF=N{3&a~y@ zzX9XX5{H+nSpsZBF)%qYHa9~tMK?t`LpL=sFfcSWHbh27GdMRxLO4P>J|H|XFgY?d zH$yQ+H$^!^H#IRZFf=wcL`Ft4I5$H=I6^s>Sy}>L0^F71JxCfmseW?AqX`J JB_%~qMhdz*9_;`C delta 2650 zcmV-g3Z?adw+Vo^39xAf5HdDpHD)m}VmD$iIb}0tFoSsphj|78w|NEvc}N8`H8nCh zm-kKr9tAWtH8MGu8czbv0Wg=rJOU_x?O9oK+c*+_*RR0a+B+rTJ~%ZsRdyUFo;Y!Q z&_>=;pKp)H?QNMC9 z#0^+Qly+>OVaUPUS`iJ32>79u1tEBMXbd>uEKH_|VW1=dN1zYR80o+!LyQJl0mD|P zfw0851Z=j%GH~CZ$G|V~X$7EvMXUg|M#9rMViZ8ZI4FT<0(3*H0hXgAm4zV_%dG>V_!lX z0^y~fWa)1HgPb!U7>Jck#Ki!_3y?#z1KYDAUtVL3@vWZcb&*e&V_%Set#O(aIpHI2 zM~Zyfx~i({@>fa&d0M2`SJ}86<;C>V_BNPQ__WIM#a>!@vbFcCU_vk@6jxe{7u+w+r~c!^ng^w61{|xJ^wu$`;%w8jpz!T_a8n&?ud~!4uYUZ z%#g)$HoMrwDFdf5cEl5ZcNeQn5N&`Ck zse>QZLfuy(MeDx8e8fIT)AvW8zxZ*KKA3~m?FdA2eCjK54r#Nu4=DQ|6}cGPl~01N zClpT}lTjZKI{V-mWj1r|EfM^dzhpT%XQRpXsxXN!v0Co~#AB1gh zDQ}e!99S3s9`S9I-1;P~fq(mnF}8!vC#D!azhSe)#`k*-LxxS+rKH`LvK3gnxA=>Pu%t$%Xje}p;|ZKH(5 zHqmY*>sDJ0B_`B_j*oPQ7JDvHQ0YjXz?f2YBio2<;8Jj(Qlj6pc#-*Dl66mmCOQrjbu z5?i!F;MWYwR0-{h8hhbO*KmX!i7j&U#sYWj!Tu_91I zQX7YB1x{AT5fU2tq`^!?WRqGNaZ0$U$7@=Ut+mG$Rj;<7ANe$%T17j(#zGiXuN;2c$C^9fVA?W*qe3Ue&KSA&w1s0*Vf*be4^G7Sow03{HiWpT7kq zF!H_@0;@sCRa#)-y+upcUv&TU0_%Q!@;(qZ2-e|z;LPu2EIN743=yJV~4&$ zKmr&U{R%kDYb0)ST0h3=k7v8bA3t_7;KWatv$WXYw`76#z2MXZfO=DfIGkl`da8 zP~{6xujw`9Nlilb|8=qI@R@eTj$En0J1Eo<+R? zHKrN;%NKbUbIl)v`HQ3d(-+TIm`7wbK%Uf)yO3-DIpjm!(C-EPD6HWwjO)ndfZey= za$Gj+uZPGj+xyeSIG<#TDVUjEUV8k|(U;_0*tj!5?NWyeKB(Qbe_N~+W8-42cm z^aE5f-CTsCu$PWdPVa-mnZl}?k?Bw^`X&!Iq9pCgdQ{4?nZP!#>-;Jr_ zepBt^P2KoO>>H}t4NUn4Or^WuQ1^I4H-E#{EEVgPO4)-{uPjaOw={XYr5kttHA8PK zC)JNVUm0reHPo>GYMR1-R@1c=-x^!>x~=Mlt+#wg@usB2tCA&H23h|io0QE3PrQ{_ z+tZGg)ht_}Ot1>?1j96F6kZgDmquM9nZXv0m!V;B2d_s%ufAn5wbbjve{b~lC0QdW z+^v$Y@SdWcyq3gj06f{+%g4jhDlMvQ5@g9%I)snX(hsw8m<~&S_*{XeES(J}X$9|9 zu^d;+!VlBMWH`^uYFK9T45Blva^$bz6SR%j#6j0(HU(b11mQeVt^rVdx1Cq9jhDya zy?bxMWyF^r!VJ}#v0cuKb*H+&@{4%Iv$ZV!a11$CZsQg8n&PfNhqF~2!){{Sjk?RO zTcjan@z(a1FUu1xz;u>R2Qkmu8`>s`Rsjr-8Ph~}>R&>}(l@1F<=fGM IB}Gq03fn&N<^TWy diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf index 6188ff8481adcb24be69396d4d7c88c223536b64..7658a6f6df71c2e0e3dc4f9c4108a187228a87bf 100644 GIT binary patch delta 106 zcmbQRi*3R#wuUW?k0!918e15cOn*LsQ4Ye~&NY#79hakto2j9Zk-3|hqlKxNvw?|) fvy+8|vx%#LiJ7UPqlK%Tf(?Ep+kehx6lVkgbABAA delta 106 zcmbQRi*3R#wuUW?k0!91n3@_JPk%mvQ4Ye~&NY#79hakltD}>vv73>plev?rk+GYB fv74*0iGi`PrIERriG{13f(?Ep+kehx6lVkgdchp5 diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf index d95a6489e8aa2ee8b59b7be188f2dc6999fc8265..220fdb253a80732a699bfffd7a3ba3df27b18e82 100644 GIT binary patch delta 107 zcmZ4RfNQ}6u7(!IEld>)Sxk*B45rsCWReH7w$ES4bcV;t!qMExz{$nX&D_-4($Ubx g(8$r*z{uIi$->;&(#h1qPQiwNlI?5PF%>fc0MK0>@c;k- delta 107 zcmZ4RfNQ}6u7(!IEld>)Sxih#ji=WvWReH7w$ES4bcV;t(!j;S*won3&DhA$&A`OS e%-Gr3#MRKv%+&-aVqjsXU_(I3_Om5%3 diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf index 855e46eb5590f6208cc97a98aa7ed141250d64cf..6a8832854e957cf2e84fcd1bbcd4c8a548aa9a32 100644 GIT binary patch delta 100 zcmeBMz}&Zhc?0K37E@yjqshD{<-v^21}C4eIvbi>8XKD%nj1TsJG!{ISUQ_JTUeNx XI67N6o4c61INB-L5K=NZ{QPzRpkf=p delta 100 zcmeBMz}&Zhc?0K3786rb)5*Li<-v^21}C4eIy)K}8#$Sqo0uC|nj4tAI=MJIS{S*R XT3VX9n!1_0n%gPZ5K=NZ{QPzRo46Z~ diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf index bb7fc86702bbfbcae5664736d1ae53888d6f69c0..ecc25a0ab393e795121933c8cc9d328fd8f71a5a 100644 GIT binary patch delta 120 zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgVHnET+a52Gh%$IOM^s?K7J=Ca^lY7`nQ+ rxw;v;nwlG0S{OT-SQ?p`x*9qenL3)78o9XIDcBHFvOTAR<0caTH;W+0 delta 120 zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgVHnEGDL=#?#B1IOM^s?K7J=Ca^jixjH&J ro4S}9nLD|exR@I|nHd=y7`wT;ni&~6Sy-6aDcBHFvOTAR<0caTHBunE diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf index 6f2dcdbf0dba3de8be39eef923443550b6831b36..a815d01423ad65b3f924bb3ff2f4af9eafbeeb59 100644 GIT binary patch delta 106 zcmaDooBj1{_J%Et4-c}K8e14oe|nHn9?aU#afq>!%h}l3*uc`+)zsL~$;{B%&Dqh> e+|!%h}P~&BVpP%+b`ew e(A><>*x1O`*x20E#Mw^4hLDo&N6s*+GXem{@*PItziq}+6oO*V+$i=Z39Df0|RwUE`8tp6qm%3R0RzeDLFbK delta 131 zcmX@q!gi>Itziq}+6oO5Q&UqDZ39Df0|RwUE`8tp6qm%3R0RzeD)d3>+<;%nTh3olT8QU0r}G9UaX~9Zl>MYzQft9@fbC1_1K^ BA$I@( diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf index c5ddd3a00d967f65d3e2eb597851ff7dcd91b78f..07e421a9bdda0ddac14811dd4547308c2e963eda 100644 GIT binary patch delta 2469 zcmV;W30n4rqX~wi39y<15H@6HV`XMBGcjc}IX5^lH?yh&{sIs-WM*S!W-&7{Wi&ZA zI59VaxCMu}1p&9X1p-JtCp9xTFfl7IF()uECn*XqO>bmGVRU66C`39kFfuYQG%_?X zH8VIcmnTC4&H*)-kvIYvp$ubVI;viWq`4A)OL9#p= zN{Et&$O<8c5Rwm*yYE=`r3)5O=j!9ArOU0rTy zXb|`=%Nj;m7xP;6s*`Vf=xSZHWtiO6s*_s7m%7-o=K_;+OwKTQ-QUfo*kto&1KX&E zHE&nn)#ju%apRr5J~}V=wOQWY*@mY1MonISC%*V?kD+qY(9_z`Sv~4}%LFzPk~VUC zhEkhDUDZ_0w@-Rwx0jmuhCO5G%`q;!fJa@_%^XfQXk66Ebc_7D<({E_?}HZl)~Dp} z|0n-UgpA}*#aGQ2GCad~ww&PDR*qrNYcieRp&Cip9)rO-fjj@t7gmiy_DsBu6 z6MBVoHGooTsH;>)2pG;G~&`-usu^Iqy|Kd*e(N=Td9kPBWVT0R+4l<2gz zJ^w(TZ^jO(-AI*1AFgWPByX8ROy0A9t&xDkI0hCOEl|QKa66Qf#ycIC^?EYEM8r+i zUe)=&m3C>chv%o#k8&DUfvAVqtF_P=x?1eMqh@Uid|mMMc0R10Mxr7x)QX0VYASSB zI!MTfgDEod`oe^?T7v;0?^AF9ry`KGQ3U-Q7ejnZ;?0x}4&|0v$U7iV;A0Yh#0sZE z?eKXB!?kSn5Fbz(TMIZa2G}(YRr$P=5wsfrq(*>JXOx%2fjKv#%7)ay4LxA@NVKhU z!9l%5Rig|}GdeOxBD`|sMJkD*%%BX`2I;Cc!Zg%G(pD0UY-m?H^0CP08!6uw7z%lx z0)rMLkty#~Jj^%rvB+QLfUtyrpw`Ptr-xwyB1LF{r!Mj?7&L__>HCMg6^KZOc?lx~ zNuNfM-yT{uCNRNF71XPoZhBTV-e;9z{=X@O)}}6$n_8jK2FJZ0c~n8JrB9$AD&_-& z^b&H_+ZZ3~{W4X~`#;LvwoayafICf!QJyZ!EDr~|SMdy5UcSHi*UR^RKU}=L%4YGL zi@`}Y9fQC$o)km{$rFE69VlzaKsY?PSqqLPVY29PF~TFOaUlCFUi^}zlZUE^17h2N zM^HL1<7qlNo=>I;VLf_XCbPHT=uwZpt2)7|1sxA@jz_^GdQ4C089k>L^fkStSM-L) z^p1|`m?rd|PUr(o=^u1|N@sLVGrFKTEoe!X^b3UpfX987!dOPP57Up)@#^IIm-iPn z9c*xwOqSC)-@yo+g$E*H_@o#a5iLeon-A8o!FEt#+Du5^W#WWB_gq}jYx;)%4ot*( zo_)z#(0Ac>=;xxH`FGDUUTO@g!jp=9l zd6|`oZ}qv*8aOT=@+6_<*UYp1mHxTLxP1!a$8TQUTwb>r5A5t9T)T>J=?oIC+b$S& zT`=0`f&;Er%xklU`MC19mA4^%El;C=bu5pbV)^@9G_ z_fLiIF`|~;tmA5bzF6BWxZUAzPVTfCZBA(Nc^OaX1fLQoxwjv!U)lb(ZMWr5vHRKO zFE?*rRCYhQ#54!PImB6fQ^dGw4A)U-!hNwZT!^PHwCAwAAjstLD0sflRf`O=eb z@~-qntOR#EiHpQPvfg=j(^)h4O4UD>KTGqXL|+AemV5Lft_oa$&YN^xJ`}`MPw-ck z;OkXi@h1Ci4s$jJPuj8l?Zdg}wqp&dTZby#E~w&hsP5@dckkC-q?SEGs%Vg^$B{-) zN4j%=T>~mMfbup_9@Ri~^e9lro(^>PhPZ}Qts_;eL#b{k<&PufPe;0QOIZWDv7qqQ zeyf*%YWFx$@qHIm$4#YaIA!Zl^#)Y=9XXXz3#e>)sd*fy+Qf-(FAIEqxdc>jbNFjI zE>>^dt5>h#h2dHZe!VQG=^VRyX!ya09}S_wDK!*=R$cc@VI#s%VtnH)Zv{T%+k?mHX2-)abEUGc=dV|4~i1D_(56>;sH)joDarviPiaXR4(&m zP(H-vAiFD){7X`R%zf6!Z>@ayaWc#1AnHF6>EkC=zIp*pg702kt0?;T8CFx4eIiYN za1?rx&eC!X;7aOt-G~L;HZyXfPmSzdd-oCD@OTTUMO_*s{)Y`+oa za;*-bskJ(QC+u3C>f`reYmj%rX?NSOq5W!3R#Wjc8I0oj;BJ{t$Ai_p+~?VB0JU)E z6MyUD7i??8w>2H2qJ|O{t_w5ff~n3t?VFINXorvl{oR)R_!)TDG@JB7B&olsTE&OP zjXhOS?cry-oca%9kZJmxxaSY(qmiL^UxmGcYqjL^Lok zH9|B&L@_ZiIYCA?K`=x@Mm9bmJVQA|H8C(VFf&0!G%zqVLNq}{F)=VXK}I$~FhoK| jHkUV00$T#y0+*Cf0>uN!7|54gQ34?dF$yImMNdWwn}@M8 delta 2468 zcmajVc{~$}0|4-6a^G_0re;xIwuYsR*hp@2JZHj?`^;HuXkKzgCL-4(8`*O%bLP3T zIdbQWusJd%N9_H6fB*jY{rmlVab-MD%Xmon0AUy!28C&RqG4K4O%I62jd}v$?0+?p z%#lpyU~49G0E`hJsHWz1@D&X(NJ9gp%6rW`*b8+(0tuakD|d_fO_g<>E0g}Mv9c+XHf_~4 zo!qbHlT6)lu@O*p6}=yo{gCgO+?X>e3csWqc9YU+&2~lHV^S}IS{?J)Czss$a^_G9W`_IiTj_+J*_iY9SXy7juV3h7m5L)P5&oLN~qp~A2I(U=US z?bAQnTNjYQ>7g?maC&Lb*N_(dFQpb0&Z|@EKly*eDKv~U>jE(>y(1Ru`3+KT;#6l0 z*MZbD|C-gx!YXU8vQb{zW{udQIQOaH1P7Nj!nIEBPwSnPha)lY?Pzmd+QF}CVI+30 zp&RTt5nL~aN$L9Pa*y)mU77FWBC%>MS@Q>}FRPWxPxx#@J>Bz0u9Oqma%_;Ue?bg7 zLk@@}R+|e8KQv=$W?cBw#^EGpjbd*w`w8drO>LApkXeeVtl2)|I*z~o(0JR3aP>IE zjvW*;BS<_&eh=A+8e4H~* z=0zb|-D;lpj!by`l+*OTyTnMSZQj5C11c(xEwP72*xoInjOiN~$(m(lO-ZVhPe}7~ z$Gk~khlyjW)08*X$x~T28r>{(5d3_?ss?=U$gHTYVpY_gMZMLUTPU56rcz4A$Iz5t2O|V9mdBe=?6wv$ zUQgK5CGzjH%vBq-B1=Ah;!V?n?VR?P@rJ2C0-Rcb6{O1XnZ$+O!#{TMRbdM(>z$@Z zNDuqx2R5n92y5>c*hpK7&j^!wI^5yb&cZCOtl4QjUw7fRsN0k}SFu;FsAgPrSVq6) zh~)gRJTUAO0_Djz%y=#$@0i9upP<_ynpAiNMz9y{VyBM9a z@cdDZ;RpJrE#>zv%l-!6sTb>ov^>gtoSNHpIg{9!hpgcE2=Z%5wOKro_H?o{^e7X=qu$|N zv|an1rrEoFS4!{kKK(1Rr6=0mhiiG(F3Hpj9<%DmzK{jnD+5~i%0~=^N^*tRts12m3V^Zd6zhmCVoRrp`i~=ieNKuujD+S8E z=APtqo%1`-)0Pe3k4g~9YaIG28MnLkAH8$($~?WO%JAz?#!1-uD{b!C;k+aUt_ln_ zQAnMQ8~5%MMMmdZE+0+#&@j}+_Q2=`3aK>3d;OGXzK_LLHx?h@>iCX%{}Ako7pf}A z3K(PdBnLlF_G*6`s6b2+6A>6n;KEgg?va22kqNo;b>{Fl8FkQlr*zq(@D!xP<53qmmG8 zE(t~5t^#dO;`H4mnoL$u)1alZtcA`(;ZwPt{yCTKHmBqu(O355#m{KH$b%VL&EdMI z9?Y-Ji#us`vhF=1)oOm0>gQ45nB*HwKj#xmK+W%R zAe{aE%Q0UPc&tXkd@hp=wOay2ER=s?mMB)lCUn%DyH|UhqCFEFo>vc!9!uX2R-hu9 z<@~MYb!?X(>WgO}BQ29#;yQMe8@EJk3=?e;>Cjl6vBDFEwAJ5iIn7w+TTVjRZLH2g zL@`DCAI)+clL^|z zgS-7zsZO`hL#D%DU=u19@o|nzj3HogLP7Vv@zB3x8E$Q{0@wJbJial|H_X?kCy?Dj zy1#t61uUvcgd6BBKD;s_k43-8Wb9qM@P_F2q=okzx+uO&$aMA(q-8t3s&pPr{oXA7?**XtPKuxCnR^>HY|1z3U_e0g-0`1PnKCBSj{qCNdZc#tF)RMYi zXZe9RRTgcPL+TM4^AHvaNmz;3NH?vf;>*HbffAWYzjMvFX06_P0r1+X*M022M#;!_ z)Z(&cJu_C&t71;@g^0%gq&pdo_R&cBbzA2jBw)%$o=4>7`v2x&)66isy3}4`c6%>E z_?iTX^VhVYg5EH5c7IJ)V|^x!InqaKiASHLY2f`Mxy@@P*x>i4=(Y+SLe7b;d=`{B zoWQn2cwK%LPx&(>zXdjoBi$6n{N)C6*}CVW!h^tg~c^hN##4Ih7)SK(4eiV6hDPGm#!(Pj4q~>^8jll2YyY@ zS<(aPi(>vj82*_hAOHykqx7{QNR*)w1Pr+jHH2uuAYdd?6R82#K!J@6bQR(Mui#-; g0B687C;p`spohIzst@mK4N&6N-~|E=Esc2p1)yKMQ2+n{ diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf index c5f55b6a3166010167eed9b8a2f39c9d4e52ef7c..ddc359f56a667cea78c4edb5ebc5cec3af7cc2a3 100644 GIT binary patch delta 105 zcmZ4Wfo0VPmWC~iC-hlNjV+9(pV4QO2eY=n*Jo5?cXl;2v@|xhG`BD^GBz+bc64-d cGIVk=bar(yb8>Suu(VUKA*5t_ggN6S07AkXA^-pY delta 105 zcmZ4Wfo0VPmWC~iC-hlNOifLvpV4QO2eY=n*Jo5?cXqQhax*qDbTV@>Gk112uyAxS cFf})GHZXT}aWXb>b+uElA*5t_ggN6S08+3VXaE2J diff --git a/pdf/The_Pragmatic_Programmer_1999.pdf b/pdf/The_Pragmatic_Programmer_1999.pdf index 6042ea3a0f450cbdf5ec3e9c115e7f9561759ae6..072bc778c699cb446392dfac773abbdf77335c72 100644 GIT binary patch delta 108 zcmeypitG0(u7(!IEli7>SWJyAjHfSeVv+~5wx4QZ`p55VZ0u^}WNc#M=H}*N=xk=_ fWMJuLU}S1;Y+!6*W@2Pur(i=!$#(9^Oa)8;7D^qC delta 108 zcmeypitG0(u7(!IEli7>SWHaK45lw{Vv+~5wx4QZ`p56=Y~XC{WajGZ;^<^-Z0u}q fZ0=;_WZ`IFZeihQVqxxPr(i=!$#(9^Oa)8;E9D+I diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf index 5b6963cadb6abdf750c0f05d716a02862dd1dffd..fd59a1ec7e786821bdeb8c6ea78b1466e5a24c29 100644 GIT binary patch delta 134 zcmZ4Wn`6~)j)oS-ElhR#8m7h;CI;FDhUx|e>Y7~ozWFIGi6yBD8ZK5w21Z5(CPpTP zU?tm^=`+RhI9pg+ni?5enz)!bn>w1gxS6>*Ihndxm^&FcJDV6AnAj=U5K^+;&4ww3 F5deZ@A;tgz delta 134 zcmZ4Wn`6~)j)oS-ElhR#8YZS@2A0|ehUx|e>Y7~ozWFIGi6yBD8ZK5w21Z5(CPpTP zU?tm^=`+RhI2*Ycn;Mxp8M~S~nweWV8=IKASQuEC8d@5;nOV9SxY#M!5K^+;&4ww3 F5de0MA#wl! diff --git a/pdf/Theorems_and_empty_sets.pdf b/pdf/Theorems_and_empty_sets.pdf index 628c45381232e849cd79a56ee50d1110c320dfa4..41c5c8ef434d84c59e134afb046709bbdc9cd692 100644 GIT binary patch delta 105 zcmex;j^+0`mWC~iS#m6<#ui4?^W+%i!L02Q DlXfE2 delta 132 zcmaE`nC-!0wuUW?3)(eIOw9}|wG9l_4Gh#Zx%7SWQ(O{DQWZ2@tc(ndj0{YSObo$F zwx4Kcyu#sZ>||kJ;c8;$>||l-=3?pQW^Q3&>}X_S>1gWe?C9ibr(i=!$@cpb7#SG> Dt4AYa diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf index a13b797b1664f9545f3c670ab00c3ed9eddd5c47..02cd1a4d30d1eca97f07092fa58b0ed3a10d092b 100644 GIT binary patch delta 131 zcmeA>%+hz5rC|$WpQMJVv4w$!wt=C#fq}Xvm%eX)ic4Zis)B}#m63swk%5Vki6L0Y z_HB}k``Mfwoy=S%+hz5rC|$WpQMI~sj0EKwt=C#fq}Xvm%eX)ic4Zis)B}#m63swk%5Vki6L0Y z_HB}k``Mh$42?`ooXw5hTrEvZ&CDE~EREbuObji|3@t1TEFGQg6l@47nZ84T@frZd CO(78g diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf index 091705f0835f2fd4744ff420a43a3234db4c2041..822fcc8e8a5d5b3b88515fffee2c68341363fb11 100644 GIT binary patch delta 112 zcmdmZfp6mlzJ?aY7N#xCE;Cq7jV(+Jr+dy|mV+?2=geT1;Bz)|F)}fBHg|Gyw6t(C ia&fb?Fn4n`F?Dk^bFy$XGj_C7upy*m`|)MWS&RVxWgb5O delta 112 zcmdmZfp6mlzJ?aY7N#xCE;Cq7Ow9}prhCp{mV+?2=geT1;B$6zvNSfgbg?utF)=f6 iaxr%?Ff}%?uyk^^FfeyEF)_ANupy*m`|)MWS&RVR`WIPNtTYb_zCxlx+WR%%sc+0AFYv8UO$Q delta 110 zcmZ4Vieu3$j)oS-Elk!LtR|*rhKAD}G??Td%Ire;p2E{2X~b_zCxlx+WR%%sc+06az;egFUf