From f8c13c15664c0f1f98d808308de2ae56dd51e4d8 Mon Sep 17 00:00:00 2001
From: thomasabishop <tactonbishop@gmail.com>
Date: Tue, 26 Apr 2022 21:30:43 +0100
Subject: [PATCH] Last Sync: 2022-04-26 21:30:43

---
 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 74250 -> 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 151942 -> 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
 50 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/pdf/Algorithmic_complexity.pdf b/pdf/Algorithmic_complexity.pdf
index 0be554ee208db553097553aa664be44e98cbbecb..a2be89dc8d7244a7323a744df48456685c01793d 100644
GIT binary patch
delta 2202
zcmai$S2!CA1BQ)IHG?jtBrPYDN~DPqN(C`$hA77|Yqdt~5hFG&9(y!a5NZ^y#%T1Q
z)OKn#YOC35?Y%kuug}GQ@!ovjd;L9Mb33@X9UK<LNM)K-1KP{NW#r+oCr@B7Iiw@Z
zu3<%uDMk7}acqJY({Gp?61)IxJpZX1DB%FbGol54;VW<GkDBa;3CnDygGWHXrr1oQ
zUK-s`cJlQ>xa9p>CUdxWMchS5OQF~cs`R5i3$hkCPD#n>dw;*2w<9K9RFy;(eS{Tc
z7gZx`>2Rc`rjLqV&Ag@kXadvL&8E?KGe=zYD*+oIJ1etTblaiFWl(dQF^GeGDB1K%
zB=Jt-TGR`GHr58uRgOId7-Lb|6Kc6%#)KvswOChTHpZYfJejv&gC!4z$?WUo(d;b4
z_J<BXUG2y*e8~$Q4J4_2UqgVYgVLc4z64@AgO;wx>YGJ`ztHm>8`aROj%kHtZm72D
zVvPd4W|Me*fcHTC9G&9Hv0Bk*;~xJI{bes>SU|wHfedj&Kcn=LbZc(t8Gw*XIRPB}
zq6=|~=@HO`YY{~ZqJvPKDJ~&^awLZd!n8>=U<!<wUuRS>xz8A&ekdUyCf?f3RKmtE
z!0dSWTMvO@r^-%~0TQp3>`}L;FItO<8+Vvx%oPpGJ6L@HjGf2>aeqki2;(8b=gc^T
z2G|&$Z>GfYL*@kiQj90;oNQi&WtuRUw_`7J<#H=6bdM8&VfW3%irSA*qO*(}3fQ*>
zWlmwZGAE#K+o3v>8&pY_9`?9)n~e_|4se;h$}gA*ysGqs;elif!w&0AGVAKsZNB;I
zG2r!&>vj6g=cHQ6-WmOxSLwvOp-YKr-rD0wWyf0If+Lqin?i%d#ZM$eu4((B@=Q7?
zq!cHbXp@xVmp}z^M|s7)Pbx1ajY8pPk;-g#!9We85ZzX*h@{1c4L5~6m06!{wR@$R
zwb`GmYgga}{leK!n_A;Paek(!K?rf_Z~2CPsyGGcwcaX|(2E*tfi@!D8^E5!^t>ln
z={(!Dkd7?zR?d*w1#6U*@`6VrO*HdZquh9~jnauUk@7Dfq~)-8K-5_L4^pwuobo?~
zwKu$P!uM`Sjh~39oLO<^n@O*GhLJJ~dVkJVlr1yohWP1^`)+A=AUsYbklV7D$kc&$
zM$I{vtv7Is=QA^_sYGcI9K3X8DBiRQ@o?atN3~7gXU`%!-)A@2sJWklW6L_LpB$OM
zWmpFx(^SX=X06VbCf)f|(~?|)pdmDi$gb?>V+OzQ>0jxcyeCY;`OMV^J<b^FT&!@z
zj;hh{N03N{accQ)d0|duQw1SAB*S5E_f5aZIwsN_buU(q7#nL?A+`Msk(axKQ@!M5
zEfHRePdDbn88`E8L(xKhRkn+%tIy8MD@1BiK!M;M{cUrjcGB6}@!^IF@#OpK!v{pU
z7Bqonrr66gZ)QpCS5Rt50aVyfqafJRw4Zfpxsa4ORY`XYRTR+0Yo>u6S`z-~N*i}p
zNU@o(r{xeCeYRdEF;knGo8*`5C`IN85s{j@W?1?TH-s)nJyX$l3D_qb@7Mz>*{QeO
z{Hw`Uj5`22&r!%*0b8m39|y%-cZAFb_@S*mKNf=JD?Ob^X{gp^wh#*W4s#kMX{zKI
zcU}BlktEixw7Eu5<M-b)&>eqwHsGoOkLFaEJ@M61yMKpsz~hlzwz!H$Vr=u;(_PC4
z6}X#;90&{Br?&=m2P>j8U-~LRrUa=jp0#Do!03!p@dlozjRO2>Os|CQFX}Ii$|9XS
zLLd`f%+1|suah!em9|W6cNvZ!8Tb;PakAu%I1AZYOO^Ka(Y-_Ku%dRBpbv^iu#~A6
z#Qj2?3}vc&zbJzdwfl}sh4irU_><b?#&T)Z*<YUckz$<GngHkLYUBW+#m1x58uoz`
z;2wYWx%v;qq*MMSB<Qe?yK8U7BiQ-+Uo{sL7P;<=t_VST!TVX(Gi&k2W@6-q9CE&w
zVs${t7_(YYeqWNOH2J<GXxm*af6gC947J!BS){vo>BS9r>um-t-aL^yi5V0;k}V%D
zl+MtJrVG@i`91%TaGMLYU%Yq7^}4|{?AowpmYcV6ldccZ$@g#jWP#>SeNm13#!|Gb
z0GDX}-5QCc0%(YfZIh<!ZN{p<6?yHFmhExp5FK!Jt>q<R;KBZA`~g1n#x#*c9FP|f
zvAouPBoDPV;VGe?Tvtz|bbMQvYT>;aMEt;0Gh1EauTzkoc;N~J?^lF1y>Y{}z1njZ
zLrkN~3_m8BEH=#f@~^IaMJ?l8M^&MUzQEk374mnYMrP?VTeTuxEehu`hl$#`0U3{7
zAFOaT{-p2}Vr;wSK0hL8o`oSg5%?@}{(MR($v35q9~(Pp-mSl~R+%~+bDaiX&x&&R
z_L!DaxSU>jzJXJ`cqY`(z?C{-Z5-I0dr59WG59PIIG+H$)7*cEMJDk#a~{DrQm3|-
zFgHFP<U$u>e0sBL3u|s3pTvap99gKL+}JW*c&6)Ycd~2tQB&@vf65Ve4#fyxy(8<<
z8pT_9%Lt=)sHfkB{mV*6aVO0jfkR{F^++>?Qq#9%;P%&jjn4How80r!ZeiEW;I6*9
z17SffVbXM|<r%6~j|K?LqFQCI!aAyRyoNpeO-{EsbbME^29Fb_-=+GeOt)KxT246d
zvn^B|*J$U|J9S#4$`Ea|%nMgL2p(NNMc%M6Nb&45H(!c6jqW;pzqvn=_(pQE)Mcx#
zb+Y#s`y(TlQxVA9TcoU%C6+6(*)c4?VQt8cxpdGC`TYs*!(ebpm<$94gGjJL_3-xU
zwmuFZadi|N28Y8C@c$_d^#*Jp9yK+zy1WbqDTkKDz>qLFQU)y}k3q=GAkZ=j7#Lbk
Q8Km_8lm-E7wi2d)0ee3qF8}}l

delta 2202
zcmaiqX&@5}1At@0C{aR7V?=Y?W|=X2F<~-St`3G=S-f@_^;WBBuBajOhL}6?x@wdh
zi3%y@X0GHc*JAd$zP{h@kMGCx=XsvSR@KH<)mt$lwW1?<*#HE>&mR>Si1hOdKp=fl
z+(o=7TmN4=_8wLAHvsNEDi9>|ugopD4K&?hhW`1j{m^bVscJk#;6oiJ-GSaBO(l+?
z2%)pok3!svzjYuqQT(+0YSXeIIbN+iBmcXOQ-Q3Neq<0MFy~P=*!d2nDD!X^JP*aU
zkNPB<nqa7!Nl%cB59o~X?EtdaGbxi#iE0?bc0_!TwDQL*5A2W49GL^ql>eg5L<chM
zswec$4kmXtLkZzO%Aszc3?Dm?P9{}0NZu&c$OxVkL5%z{TO~o5v^H#=U&@nO%Js-p
zbi(5Ue2JVq*7So*6m$X@t78E6EM!c)YdDn5UK6KQJ**vtAJzPDB=JV5Q<pX9qTk$-
zSeHLC{GIM5ejmh&2BKxb*SahUm~VIe>o}&5fcaQi(BLTGt&f{!kpw3rrsxv1@AzY5
zfE;i#&NS_gLG4tQ*g@M|l58E>7<B!ZVo6C-b$nzUKDe1DLM<sWTLG=4a`&;L*+8i!
zksLsmXrmluA3sUmW*;otRyO=OB^{=wX7%IE*L@CC&E1$a<+vMkSezO2XRF>sw7szc
z;EdsMbG7Thskc&_tc(7I$U*QRAy-4)+`ZD(98iY+=ov^n9yM{m{q|g?J`0GQIDT4t
zW0fNADKw5Q`8KQ}8f>~$nJ3zCC(Y)8v52}Y02c456QfxSmYyRZfSF%cSf72+taRBX
z_yLLxqu6zAeL(k>-w<<T;icaYcq=!Ys(+5*ZKN`U9{0g~s8CUnO5aJlpQvtHUPMHM
z26i3tO7T*t3Gu$40Pc3k+O(lun1S`F`~U>S$Z#~@-<KRDuOO->{<`47m&kIs7U#!F
zYojwBdJPEa8|K)2oAhk&fS|UfPG^d6BPKxcS?O$>W&OjBW#-<xjzy+Pf_az=6p`(C
zQYBR{P21)CqRXLeS(liQW3p6$t(#M+&EP@k-Ni4tEcSUZ7aq(k*5>Hd)r-z)`lH2~
zt_qjz@FvMEDX;fdzb?1U#ebhtmMHNOmR4AMoNmQ64+YKYzS7?fjuTJ*BcQw?sR!D|
z4{vskvcNv;N@rfLL~j-BkE?amI(>lSX0-m9wm(Z}u$q>oSsz1F>OyqtzndQ5H7|*~
zmWyZ$fUeRKuA%z~7qY2{2mSBUkl&!^OC}nI#doEeag`UcznJ)uns;c;eK;_YufP5I
z8v~~u!hm;lzVuU**YEo=Gf{C_Igk`^E=zep*y@G(n_1{))`-EzxJ0ng0jJD5AK!sw
z-O#{vG^UGtbhjz#@4gZGjvuqs|4=dW<nPU>Bp_iwfsyhl0Yu*5E`Dp;+y42uW=gQl
z+m@P_kIGnohI!pd?iHwS;Yirr1e|c{S!UA0T3%_$f*a@2xPwh!C<apVBZGPkoBgme
z9w^6Ue&ij<<$t=ao6B40wP`7w0RQrv*28jkQq;OHWH}9dIk@LpI5D)iFnd|DOsW>*
z6<Lw%Ey4%($_Q^%fqivzW(D7;4<+B@-&2^F<`Zx^r$^&w)WwgQTB>{)VzUTu#1>rS
z?+%|%b?oR_rDL^@UZi1_oTtU+DGdq5u_r>9=G9-fCtq=nkDp@8iS!&1EPv*jB{e4I
zm$+cGK3@?QMwlB~l+Bn1wnsUXpy&Fh{GD&8O6i0;FDWz7*zr2)hpCIb+L$<Z@ki%{
zYrrwWa4+X+65$mI)^mAlpg=J{r&#gCM(1qse`2RbU|utG55(z-(ZSD&^~bEsfR3e1
zd5EP>v|}k7Vx@zn9}QHxiMs86Fg~_oyoad7ub&z#wJGx)Haz<5966`&W{b~yrB4(X
z)T{6++l$Cho`ZFe&BMu%WJv#{@wi@{!wzA8h2q|Qv4PG%Xf5jtO-|vw74h-Vkhg^n
z*~e^kDqp+csb|nv8MH)N*O2s8))=#;F0{`Bp+ia~UysTmH;kMZ$P5}9*lKwnNhn;a
za<!X3TlU>ySYu6XrMC=zuYVF<IecEk#8%+-;v<oV?Agoi6Qo!NZXPy}do%1<<wKe(
zmp5s7U4*^a_^bTxPvxq3VC}|I4Bw2C>MDGqdABYh46^;5H$pNPYZB%)>@iVKoRPSf
zy6t>|cT<V7RNjU`oD?Ckap&B%6CHwG<5^M*q)=e@M7DhI-Yo9G(_619f4aUYUcaf)
zyJM;8+;ZPPmpfS{$p|Dv=t%lvuH0)AP&Y5asi#Tp%vpIfjy(*sj9M3as=5P%qqGFU
z0r1lHs~+wJqnW(7W$0=nrnI|^y3xr~mNIr`+4P$A;*Mn3E1vLw?Cg}h=MpMOhZXRo
z`7jp8qk`4s@pGq)0tcXMLzu)iRf_VcX3%N`+BPJJt~HO$Kl2smFpn(iY;dI7WGGc&
zc(j-H=f5QAN1Pe2{Uy-bO5t<UYeOW{$uc|7DO;KUY?zFO6<uVa`I{Qo+UuP?@;H5)
zT%5&Fg~LewJIK@0h`z>Uymu|5-%Hv(IbK`A)PF7ltoU<-s4_g#-;yt#vwRhEZMmv%
zB9B+Tus8q+8-~5#DxmnjY&}vF)<Njxon3urpxIY(#>@+`@yTw?h9MJKA8|P&6l(us
zq3LA#LbrV*-3cX((AyhocNk;2ytWwc$x&-fuc_{k6z;#jN}J?8R|<1~??zsI-aHZq
zk=n0(YF8#P2Exu@e-}Fvo5>RUjW{=xB_VhZJB38T;c%o5907yFVOmlK#6SJ5eCYvD
zO)C>5{C7kl|F>{oID()ucnd2890RvRS)M}U@fOyWzbnQFWrfFBAuWxKFen@p`~Ma$
Jm;@>m{VxSp91Z{g

diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf
index 95a427d00202f755bd872b51e37ef1330b985119..c835700a9fc6dc5bd299d9e1a51cacd4b0af0d7a 100644
GIT binary patch
delta 105
zcmeD0W$o`}ZP>zSV#{J?WN19y!j@4U%-SAp%P7g=Y+zt$X>MZX;_7H==mf;hhQ^jA
ajz%VqF0KY{hHl1o3O0n4OyBOxcmn`UeHqaJ

delta 105
zcmeD0W$o`}ZP>zSV#{J`WMnYi!j@4U%-SAp%P7g=>}X(M?qcR@Ze--<=4fbaVr1ZI
bXld%^Y+_($;b>;=Y^PvDNXhi=u8cPTOko+j

diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf
index 9c3b11f171a63d734fe2748505ffb4e16ce74fce..be8167c6a50294fbf9338ad78c3078663973dbd0 100644
GIT binary patch
delta 106
zcmX?jl=<LM<_$}3vzr+i8XFiJO<sLl2FBie?)FbsXE!%fX9H(bOG{@L7ZXzh3rh=A
b14mOQ6H7+}Q%4tP13Lv9LP{ocJ=zWcDUBam

delta 106
zcmX?jl=<LM<_$}3vzr<j85o$DPF{Um2FBie?)FbsXJ<!4V-rIQHzP+=OG{@rS4TG|
aGe=9Hatl`@LrXUkI|Um;N+xqX+719IY9D3*

diff --git a/pdf/Atomic_and_molecular_sentences.pdf b/pdf/Atomic_and_molecular_sentences.pdf
index 9352dd89a9260e1172e332ba69493c979bf90ec3..c5e87a6fc45847dd299f7eaa7a4d9e67df1ca2b0 100644
GIT binary patch
delta 111
zcmX^4oAu;x)`l&NilyvkMux@)hDOshN*QHfobBGFjIr#_j+Ul|25u(CCKk@lW=5_C
fZWiVSCZ;Z?h8C8l7UnMIb_zCxluUnJ!*~w>ofsWC

delta 111
zcmX^4oAu;x)`l&NilywPMn(n(hGx?>N*QHfobBGFjIr#_CMJ%iP6p=A&L&0%PDaiq
f#+FV_E(Rv1#;%qYW=@t)b_zCxluUnJ!*~w>rS=_x

diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf
index b8fbccab6554949b8330638cb9d2b075100b1c41..110d5b4f4f07af08fb042b2f7210d7ea41de275e 100644
GIT binary patch
delta 107
zcmdnn$+EYTWrNW#b~7VGV*?}0$(FxlVC>B?zjQdAUENGg933r9oK4JK%w1hA9F3fv
bEZr<D%uHOI4P9Ja?G$VXDVctnneh_<oT44<

delta 107
zcmdnn$+EYTWrNW#c2grG0|OJI$(FxlVC>B?zjQdAoh@A5OpHv8oZQS^oXw1#-JC6e
aObcftLo)+6GcyxA1sg(2rk`eJ`~(1uU>$G(

diff --git a/pdf/Basic_database_concepts.pdf b/pdf/Basic_database_concepts.pdf
index ababdd17e6d12ef28fcbdbcde731023d2494ffd1..bfe4a57957324966fa19649011c2ca675be2cbcd 100644
GIT binary patch
delta 112
zcmbQ#&Niu?tziqJaXGu0k)g4Hf!TDcaz+^#XM1cp;~6ez7jp|kQztVEGfPtwQ%g$|
gS0hJ9GgD_X11D!UM`sf^I|Um;O19@TF{&{F0Bk`V1poj5

delta 112
zcmbQ#&Niu?tziqJaXGuGk&%Icf%$Z+az+^#XM1cp;~6ezLjz+MCpT9&GYca}Gc!k1
gXE!5b6C*P>Crfh|Q#TU}I|Um;O19@TF{&{F0CP$l6951J

diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf
index 76444635bc56dda4cbed6163e5fed61ec3ae7dae..405a58ca2a50ac7c5a19cb7ed1bf1f0a24afa0d7 100644
GIT binary patch
delta 134
zcmeBq!`}0Ty<rQZ{ZlP7BST{YV*_miLv;fKbxkgP-~1Gp#FA764HqjT10y2?6C<dS
z?U_#*U-CJdnmIW;n;DrH8alc<xtTj!nm8L9xHwxl8oHP}o0=NhDcBHFvVH0o#&Sjg
D%ugfN

delta 134
zcmeBq!`}0Ty<rQZ{ZlPdBO?O?6Ju=yLv;fKbxkgP-~1Gp#FA764HqjT1E8dd5md?c
z%%_Ym`J5e%j0{aJjGQf8%^gjRom?zkO`Xgv4GmqKfntV+rgjQ8gp_Qb`h~Ha5dgo=
BBZ&Y2

diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf
index 4818c0c122894857b841481ee1dd180287aea42d..a9ee19bf08fd7dfe325f2cd8f319ccc0bb706efc 100644
GIT binary patch
delta 106
zcmZqL$keovX~UF>>}E!W#s-E)lV?wqfw4F5o4B3T+0@zC!o<wc$i&FZ$js5wz`)Vj
b+04Y%!r0v0*u=%y%}&9Fkdnzerk?@;U0)qg

delta 106
zcmZqL$keovX~UF>?50LW1_p-alV?wqfw4F5o4B3T+0oq1$j!vk&A`pb(%Hq$*vQSo
b(%8Vn$->Os($&er#ZJM7kdnzerk?@;eRCcR

diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf
index 9d660be11d69960beaa39f35341a952fd2e6569b..9c1bf41db726e2749ce9f0208df45c4bd5c01e24 100644
GIT binary patch
delta 106
zcmcaOmFePCrVU9g>}E!W#s-GQlQUanVC>C3E#9oo=8mRjZf2GSjxH9?Zq7~?uBJxj
a&Tb|KmgW{FPOhd-b_zCxluVZD+719luN;{G

delta 106
zcmcaOmFePCrVU9g?50LW1_p-alQUanVC>C3E#9ooMsB8tMrMX?hGu5w7KX;gmM(6t
a7N!P<j%F@SMn-Oyb_zCxluVZD+719F<{RAr

diff --git a/pdf/Binary_arithmetic.pdf b/pdf/Binary_arithmetic.pdf
index ffe1dc107841c4c31ee878c74f676d3a1aac8b8c..a87dbac36172d0202c9dcac5aa873bec6ad31468 100644
GIT binary patch
delta 136
zcmX>%iSyhf&W0AoEldqIT4qLu#s<bl+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HE
zP$k<}*)VZ&JDVAqn;W^gx>>ro8atbrnORzzIXjt~8d|!zxEeVb8rUh=5K^-JyE{`j
FBLHo#A|e0)

delta 136
zcmX>%iSyhf&W0AoEldqITBb%u1_mZ(+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTe
zlI^Q(n7Fu|EuCDQTwUBuO$|)V+$_vZ3|x$jogK}MEuAebES*i=>=bMWDcSzrohh6V
E0CtNaOaK4?

diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf
index bcf494daa5a62edad702627a7362cf5d6fa2647a..02b679183c132ebf82c7a9fa6c449136b285e8bd 100644
GIT binary patch
delta 119
zcmZ4TOmxXJ(S{br7N!>F7M3lnVQK7UMux@)#wOEa(^zF-ob3&1tg75j28PbYCeAKq
o&PHw~&W5IzPA*O+22KV}hA!rAh6ZMib_zBGlx%-q$ZE?70IE_R;s5{u

delta 119
zcmZ4TOmxXJ(S{br7N!>F7M3lnVQK89Mn(n(CKl6U(^zF-ob3&1tg75j7N(XaPOb*7
oCXP-<21Z7XW+s+Sj%Lp0F2;^-&W7fWb_zBGlx%-q$ZE?70Ink+2mk;8

diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf
index 167be7d882e4a097452bd35949b58d82fb9e8097..47e8b90667d17048aff34156b8327329d376adf1 100644
GIT binary patch
delta 129
zcmey=&-|&MdBeX0T4qLu#s<bF+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HEP$io+
y4(?}lHnub~w6Jh=bu%+CHFtJ(Gj%n$a5FZrG;nk?bu+efv{SGlq-3(z@e=?|gChO_

delta 129
zcmey=&-|&MdBeX0TBb%u1_maU+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTelFb?i
x_p>@X8#tOfS(sXyxmvnd7+P3Zx;k1~nmQZ1y15y+xSF}xDcBHFGFj{R2>@FEBU%6e

diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf
index 88d42cd654c318d314bdb497222b807e103163a4..1a75e5a868d7896ec14f2d25a1ed9cb4e6cddffb 100644
GIT binary patch
delta 129
zcmZo}Wo~X|-r&DS%go5o*uc<0+rUuWz(8G-OW!v?#U-&MRYAkW%E-XT$iT!1s$_HJ
y9#K|j6H^yQCucWvLvtr%BMTQN3s)yMM@IuACnF0BQx`KcI|Um;N+w@CxCsDl(;=n+

delta 129
zcmZo}Wo~X|-r&DS%hbroz`)R0+rUuWz(8G-OW!v?#U-&MRYAkW%E$mHX<`Ibvbl1P
xD66x%p_!$tp@ET^rGc@dsj-QRn}vyyqqBvDk%@t^g@ucqf(;=hlP@0J1OP>6AhrMi

diff --git a/pdf/Conditional_Elimination.pdf b/pdf/Conditional_Elimination.pdf
index c6ea29f6608347f1d3ba1b2d79c57a64d857b16e..f41bdd36b6ea0db9f52fdfb177212204fd2ea5c2 100644
GIT binary patch
delta 105
zcmaEGk?FxjrVXDLvYQzh8XFiIPyV$~2FBhjyXZKpldGAflaq_3v5}#Xg}JFSkTN$g
ZbaXbbG%zqTuy8W8Q?MbRWU|_dT>#Fm9i;#O

delta 105
zcmaEGk?FxjrVXDLvYQ$i85kH^O#Zb{2FBhjyXZKplbMr?o13|zrGbl)rJIY1rLlp9
bo2jLVv5BRlsfoFXp`C&a0VR{wR_p=*;nyA;

diff --git a/pdf/Conditional_Introduction.pdf b/pdf/Conditional_Introduction.pdf
index b54a497879092ccd474231f3094d5e5fb19a92f5..7c9569d583aab43e591c6624a75c06bb98091c41 100644
GIT binary patch
delta 111
zcmeA=!qRnwrC|%>c1d<KBST{YLzC(IBpGF3ob3-K8QIyL%?(Tp%#4kk4IRxa%$*Ee
fos68!os0~OEewnt4GhfO>=bMWDVeUV$ao(BPDvX{

delta 111
zcmeA=!qRnwrC|%>c1d<qBO?O?L(A#=BpGF3ob3-K8QIyL-3*LOjU3G!4NT1~Tn)_4
fO^pp)j9kr(E!<39%uEeU?G$VXDVeUV$ao(BRlgf;

diff --git a/pdf/Conjunction_Elimination.pdf b/pdf/Conjunction_Elimination.pdf
index 99e558082029d1019da421a0a9ddb1ec013add86..0b99806ad49ba59c909ba83a5d96f9afc2888440 100644
GIT binary patch
delta 105
zcmX^6nd$6jrVT4Lv6~qg8XFjzOkTf92FBieX%i!xlZmUFo2#Xxv!k<_rHPxXo1>AV
bn~RBwfw{4{o2jXboq~-S0VR_~ckTcH=MWyO

delta 105
zcmX^6nd$6jrVT4Lv6~th85kHDOkTf92FBieX%i!xlasNNo2$8ni@B?@i?O4biIKCh
biLtATk+YMtv!#Wloq~-S0VR_~ckTcH)4v{8

diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf
index 62c78181e55fffc86c2970244ef8fff4142ad71f..c879a2bf28f9ca5cd1441215248d901a8f2cf75d 100644
GIT binary patch
delta 106
zcmbR6jA_C%rVWm3*v*U#jSUP<Cwr`sfw4DduUW<F?BZ-@=3-**=w@u_Y-sFa;^JiK
a=xT0gYUtu-;_PH;WT#+5NXg`gO*;T~5gmvC

delta 106
zcmbR6jA_C%rVWm3*iDU$3=E76Cwr`sfw4DduUW<FZ0_c2;pS-IYG~}_Wb9_?Xl`s^
a;_PH<<Ys2<VrFb&Vy9q3NXg`gO*;T>!yP~X

diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf
index a8fbc02b4fa81550c2b404974c0b166431ab80c3..dba202f4bf0a1fbcfbc5b953bef4cbe176a9c517 100644
GIT binary patch
delta 132
zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaLNe@TMux@)#-`IHWw_y-?KU#p
zU%8!4T}+)#3@j|noJ=hYUEB=K4J|BO%`BY^Ok7P(EnO|`6l@47*<PZ-t;Glc9mXK6

delta 132
zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaLNe^8Mn(n(rUug`Ww_y-?KU#p
zU%8!KEu9TaEL|<lEsfj^oGdNP4UC*D4Gf*l-P{b#%`9E)6l@47*<PZ-t;GlcANU}^

diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf
index 4de06b4f66e10d7d64fe5eea1e9058eae50b8f96..ca04ab602e8359ed4b3785479fb64403e24d415e 100644
GIT binary patch
delta 129
zcmaEImHEk4<_&faw9JeQjSUPewG9l_4Gh#Zx%7SWQ(O{DQWZ2@tc(ndj0{YSph`Ap
yJc#6Uwlp_2a&~qza&j>=G%zqRb8#{@GB<Q`bagbgaCEaUvQw}jq+~M7s|NrwmLjkK

delta 129
zcmaEImHEk4<_&fav`meR3=9m7v<(c^4Gh#Zx%7SWQ(O{DQWZ2@tc(nRk|st_C7UxI
xL~=SCo0%K9nK`<cnix8p7`Pf5S{j*JIyxFSI-0tfJ32bsDcBHFGMVMo0{|y&BANgI

diff --git a/pdf/Disjunction_Elimination.pdf b/pdf/Disjunction_Elimination.pdf
index 2a9809e5412486c0f7bdd09e5e0be4d24451e911..fcf393236e0ebf1465f866814fceda889c1ab447 100644
GIT binary patch
delta 111
zcmex=jP?I9)`l&NyQ106j0}wp49%w>jAoR9akf8+W=v;uHnKEvva~RBbu@J}H?}l(
eb~JOeG;lFDa0aTkFtaqVQ?MbVWO`o`<3|85LLPkp

delta 111
zcmex=jP?I9)`l&NyQ0}mjf@Noj7+8<jAoR9akf8+W=v;uHZ-y@aB(qqHghyEbaHYt
fGca&+wsdqgbagSaG%_?buv4%hq-1(u65~ezFt8q>

diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf
index 3ff989a2eaa46ce1376707dbace86a5d4431acf4..a1bfda85909716ea4733faea32c3b6e7085de815 100644
GIT binary patch
delta 106
zcmX@IiuuSY<_(9=u$vhf8XFi|Og?!=2FBj}=8P@7v$2VRg`tVLtC6|6qot*#k*lM#
bnTd;mtEq{xxv{H(vz>wsAtjS@uG|0s+qfR2

delta 106
zcmX@IiuuSY<_(9=u$vkg85kIuPCj`?2FBj}=8P@7vx%vxi@CY6p^=fZv8$PxIgqk+
Zay50eFm*C<v~)GFQ?MbVWOB}x8vxwq9=-qo

diff --git a/pdf/HTTP_request_types.pdf b/pdf/HTTP_request_types.pdf
index 05c66a3e08bedbfd887c0b5684846b46457cebaf..dc6fc148c5859b346720a0d24db9ce0d08aaa2e3 100644
GIT binary patch
delta 106
zcmZ4cmTB!<rVYo}v6~qg8XFjxO+L3y2FBj}aos#NXIC=|6K5bcbT%?GHga?^GqG?s
Za&|E_a&>lfbTl=xQ?MbVWb&o0w*e3EAH4to

delta 106
zcmZ4cmTB!<rVYo}v6~th85kH?Og^_x2FBj}aos#NXGe2qS7$RPQ)5>{GdD*kV*^Vk
bBXeUHQ)4qzLq}&5b2|kaLP{oI+IkxR7Caxb

diff --git a/pdf/Indeterminacy.pdf b/pdf/Indeterminacy.pdf
index 975f792da962585b25a5debc567b3da3cfed92a7..6b2de0e783211245b055bd07965c6ccac41eb4cd 100644
GIT binary patch
delta 112
zcmbRCo^9HDwuUW?W^35Zj0}wp3@xYIu3?mcakeL{VSLT$Y~gI-W@7AUVeV*dWaQ@P
gVq#)wYUyHNWZ-7%XzFI<Xs2L9NXhoTZHyd@01*@&y8r+H

delta 112
zcmbRCo^9HDwuUW?W^33@jf@NojLfFnu3?mcakeL{VSLT$Y-nh1Z0cfUY3b_f>S$)<
gXyRtzVrFRK=H_bP;^gFNX{TUANXhoTZHyd@02Y@X82|tP

diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf
index c262ca645c80066a487e9f8d0460b095653581b5..671b1cae3c6dadefa8b328e08b5295b885fc1dc4 100644
GIT binary patch
delta 106
zcmZ2BjcM65rVYj|>}E!W#s)?PldW20VC>DYEhkx>&7GYc4Ghdooh(fZ9SvO!jV;~W
aj13(vT-;179Gy)J>=bMWDVdzvwHE*gI~*eb

delta 106
zcmZ2BjcM65rVYj|?50LW1_nkJldW20VC>DYEhkx>jg1Ul3|!4EEgVfOjNMGlES=2_
aoy;xWObuL2ESy}N?G$VXDVdzvwHE*fFdQoY

diff --git a/pdf/Logic_circuits.pdf b/pdf/Logic_circuits.pdf
index 4a3a62fd130b38e789f43a2300ca3598a100c364..7cda6ba3b8488593c8a98e022548d24eecd1ae91 100644
GIT binary patch
delta 154
zcmex<p7Z;8&W0AoElj7QwaknRjSY;=v<(c^4Gh#Zx%7SWQ(O{DQWZ2@tc(ndj0{YS
zph~uXjb^Im3NSKpbak?@bT)8ta<g<YG<7p@bg^`Cb2c(?GBbBEwo|ZiBcvpjOW!9o
XFTEr~!N}NfI-?tt=JuCqOni(08&)YQ

delta 154
zcmex<p7Z;8&W0AoElj7QwM>nS3=B*SwG9l_4Gh#Zx%7SWQ(O{DQWZ2@tc(nRk|st_
zCELG7GgWg1m^nH-yBIk;nLC-g7+IPa8@igi7#bS67?~M4np+s!DcHCXQWDFh?~|IB
WUXr0;WNbK{(Tz!S`^z*YK1KlhKPZv_

diff --git a/pdf/Logic_gates.pdf b/pdf/Logic_gates.pdf
index 0df4e791438655c4ede7bce9fc7b2902860b6102..d2b6f6e516cc35081ba87f10c8caf390bfe33d65 100644
GIT binary patch
delta 122
zcmaFyM&iXAiG~)&7N!>F7M2#)Eo_Av>}E!W#s<db(<?OCWMG`_vo+Y9xt)y+oXkvJ
p+}sRZj9p9(OkJGZj7$s+ot&H;olG2oB6bQkgp_PoG+}dR0suh)A4UKG

delta 122
zcmaFyM&iXAiG~)&7N!>F7M2#)Eo_Av?50LW1_q|a(<?OCWMG`_vo+Y9xt-li%pFY}
qEu38}%pA?l3|uTNjf`E54J}>VES*hEj9l#$YzQgYu4uyM&IABFTOTF>

diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf
index 3b5a9d1276ec093339a1c2fb668b3ab85547db88..14da5ba9e27137bef9f98ee5dd386d081b4d576e 100644
GIT binary patch
delta 134
zcmdnJpMCd!_J%Et{#Ufjj0}wpj10964Al(`)HS*Eee+XX5=&AQG+eBV42+BnOpKsP
zwpU(Ze9!4@VQJ*z>TF?bWa(&RZ0P3bWMppQ<Ya2$Xyj^SYHsFgr(i=!$@bOv7zG#s
D$I>HH

delta 134
zcmdnJpMCd!_J%Et{#Ue2jf@Noj4ZVc4Al(`)HS*Eee+XX5=&AQG+eBV41kg*Mo=Z&
zE3YuV=X5r8b2K+_cCv6Zc6BjzG%z!BGIVrvwRARfbaiwzaW$}0upy*m`|5j)0*nCS
Cb|d!y

diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf
index 89fd02d5e22dc2ed6b02504dd19c4f3d7a452ce2..6f9a6456253ddec9c36f8523b225e91ab2d43d93 100644
GIT binary patch
delta 129
zcmbRBgK^dm#tjB#T4qLu#s<a~+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HEP$iqA
y%I>f@TNt?*n3`HRJ32a=85vtTnwvU0nVUG7n7bG{S(utz+9}u&QZl)+dLaPPN+G2H

delta 129
zcmbRBgK^dm#tjB#TBb%u1_q`k+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTelFd<N
xcUYW_om^dvU0jTvoGqO!&D_k~jGT>JTr5q@EX<88&0O5<6l@47nOs@D5CG~nB0&HE

diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf
index cda833e36f2d3d5b742d5dd795378057399f4777..2447149c03be267c5901b4fad98ebff6c8c88526 100644
GIT binary patch
delta 111
zcmex=o8|v)mWC~iGgaBmj0}wp3@oQFP-T>Xakd{;WmIQ(b~G}ybaJz_u(Wh@GjcVu
fG`DawHZXT}aWXe`Ha4_$u~V=iq-46TF5@Kt;xrvF

delta 111
zcmex=o8|v)mWC~iGgaA5jf@No42`BQP-T>Xakd{;WmIQ(HgdEyGd6W`GI2I?F>^Dq
e00I{yH&+7-Lqj(+M^h6!1sg(2rt9i5UIGBpAspHO

diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf
index b08fa6c268819b4ca39ae6a74916e287226f75c2..2217313cb9f4d24a84a61ec91d9cddfd0f00825e 100644
GIT binary patch
delta 106
zcmdmUn`zH&rVXE$v6~qg8XFiHP5!k^2FBhjyL>IHv$?aerL&WpnX#LRiLrsJo13$f
bshP8}v9qg@p{tptk)47KAtjS}*RBTu^Y9*L

delta 106
zcmdmUn`zH&rVXE$v6~th85kHFPX4t_2FBhjyL>IHv$2!8si~offuoy|iKUB~lZlh1
bxrL#Ni-EC`rMa1jshxriAtjS}*RBTu)Sw-u

diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf
index 9c5ccb67a9f2d9fd6dbdc1d0d2d766908a34fd96..19cac7f8f592b109918e11dba784cad3254faa71 100644
GIT binary patch
delta 129
zcmX?pkLmb5rVZRHwaknRjSY;9v<(c^4Gh#Zx%7SWQ(O{DQWZ2@tc-vX1|~*OC7VrG
ws<1knIXODJ7+9Jb89AG{m^zy{o12(9TN=5U8ao5kx|-T4*bq`OdCt1k0K7vXkN^Mx

delta 129
zcmX?pkLmb5rVZRHwM>nS3=E77wG9l_4Gh#Zx%7SWQ(O{DQWZ2@tc(nRk|st_C7VrG
xs<1j+7@L_IJ3E<}xtbf8yIEQ~IvKkeSQtAQ7&x1{I-5G%DcBHFGI`Fr)d04HA({XH

diff --git a/pdf/Object_language_and_meta-language.pdf b/pdf/Object_language_and_meta-language.pdf
index 483fc8143b2bca47a13d591258f63773f9045f1f..292dad98dcaaa1f103c85714fbd8f3385abee5c6 100644
GIT binary patch
delta 133
zcmeBZ=IChVXxPGN{Y}fv$k5op$XMIJP~E^lU6V`SH$TNCu_RSN!^O(Tz{tqJ#0aWn
zd+ImFE1b?wrj8bdZkFcePUcQVMi#Ed2F{Ka7Ou{Q1};uUE`}y{3O0n4Y^`D9VFUm;
C3?X;`

delta 133
zcmeBZ=IChVXxPGN{Y}f%$jHFJ*ht&JP~E^lU6V`SH$TNCu_RSN!^O(T04Ql<1XZ#<
z^&8_APG@5i14naXS2Ig9V+$8Y6E_nJGb1xcCnIMAa~D@9OD8)88$wF9)-drf0st*z
BA!Yyo

diff --git a/pdf/Package_management_in_Arch.pdf b/pdf/Package_management_in_Arch.pdf
index 2194288289370984363bbecae9956462c70d2561..8e7184db1e0ec159d7e89af2b5c9f2b9e929ec7b 100644
GIT binary patch
delta 133
zcmbQbnq}&0mWC~iJ-k|GMux@)h6dUOhUx|e>Y7~ozWFIGi6yBD8ZK5w21Z5(CPq*t
z+qdyDo@H}(Gjnt_GPiIuHZgHBFmSdsGjnvdw6t_Fb8&TYH8OIxQ?MbVWco1?#`6I6
CvLV+1

delta 133
zcmbQbnq}&0mWC~iJ-k|`Mn(n(h9=quhUx|e>Y7~ozWFIGi6yBD8ZK5w20%#@BdC(?
z+jtqzvN@X@JG!_S8aX-{7@IqqnV4Hz8n`%Gf;bk&&IU%tb_zCxluSP+!gwA4;Z`9l

diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf
index 23ce084e7d35be24b6eb3e78ed827984978ecf7e..05ac169295c34b77fa6feaff4cab31b236ddb0f0 100644
GIT binary patch
delta 111
zcmZ4Tm1W6SmWC~iD~;IAj0}wp49ur*Fk+N}akgJJV%*Q>Y-H~0WNF~!W@+GNY;J5~
fY+-8d?B?QZ<l=1VY+&kWY^PvDNXhi8mW<~C@oF9|

delta 111
zcmZ4Tm1W6SmWC~iD~;Gqjf@No3@oQ_Fk+N}akgJJV%*Q>>}=?2=xSl+Wa;E=Vr=PR
f<mBw?=xktVX>MuY>SSi=WT#+5NXhi8mW<~C{wN-O

diff --git a/pdf/Queue.pdf b/pdf/Queue.pdf
index 643ce77465d7e9ba1e853f1be39e848f5a139202..ff783139d6f5d6545b413d77b345fbf0823a4673 100644
GIT binary patch
delta 2674
zcmV-&3XS!Ew+Vr_39xAf5H>ksFfuVUW@TkCVr6D!W`lVKhj|78w|NEvcSt8TGBGnS
zFf=PLF()uECn*XqO>bmGVRU66C`39kFfuYQG%_|aF*BDJPXf>ZF_*zS0w{m&SzB}4
zwi15VufW@}Pe;O)0NCkt#*XVWO;RUuE^QJ&FcK}Zl|_f7(zL(6-vT5>$(AqY;hcxl
z@fZXbyNlg#7vMsWOfb!~WYROK6D9>ycsQm~!#va4GAWsMDU*sBrNG3DO&I=!A1T4C
z(hOuL6Q&@Sc&04#0*op1#xj59S?ZucKsBf|6KT_$NrTB~N@LTJc6d6+G|X@`o-!pw
z$_&}#F{gwk&<&{opD{2B`Y?kg{l;TRT3E$Q;>9SzkjLDKVF?s5_>mX~A-sDs1`c?K
z$qcgsN>Vt2KAf@I!zRmY0$GJ&r_4w>W_=2q9diQiTk;tEnx0MpE#`j|)LM<F_skkV
zAtaRGnSySav#`lR9tua_eaHAI<B!YNCF4izgGLx$F@9V$XYBj$F+Ae0|Gdf>f051e
z5r0%Jn|#^S%o5*-zsl=!RZa66aR`Lx`K-te%dhN%0Kp<wE>&kEh*yv!vjf}Xs$5-B
zjOneN=S5Y{R@1y<d((fcs7fX$(oGEexOdSsSM|4?2lBkit}cpcJt?dC$NhbnROMMy
zl*^;6$=Tk~w@N4_i~@>U2>p$a{}N(<wBbvbeMEl0uCir)MYc`<9PuZtsaE7AMvn3?
z#Wa8Q_^=aQgY(O;?~yxd;;csyl8LZvxmqmFc5&*!X|0>c)Zc%`s)e0s$|2z<772O}
zt=c<0@5kzr2`!5a)?);eQ4$;@bJ8~WVJ)<M6H>J88_GxOLz@3`^69sH8l|6H!s>nm
zk({394f}w!IXVW)`PYV>jc&^)CASkwrVq)ewdYFQJ4&0Z5hdgGL?p@mcx^gKO>z%J
zH&FDny0;NUKc#<Femw%%NtC-6wi`=%uSRgNF8)1{`y{#dQ9Fx&_fZIOK+Q*C1U)}f
zv!W*7>~#zUHT95^4PWYBU`x}Inx@wfgcd`|Sx;_m)*8rFuXWnfR{cPJ&8}syx+7mw
zQ*LVAn5XEuir&bqpQ2-JdNsRoSUVDo{e6FTT-5cryxD)mv(r57m9EF?{m}>K+{B-a
zJ|y_!{qujX|NjrP{>h2|5$Y(~CMk<;n)r!s+r%X(F;NqGIY|bz*z>7DrK4qvF=O0B
zwJmWB$54Pyblaz~`~J7mp^f^6ZDRC9b`*Tl&`M7fEhZ?TVKIuzBtajgCE8RN*p{N0
zHQItNfh2!C5fYL%l@nCZB0Px2TTSAg7-QdC1@;J$Ck}7G8z+|12XeF`v?#78e&BQ4
z3-&~gj?&?tNR*CUU!m#(@?;xHM{0{lpjzSD_ZW*-uIHt3<H&E5gf>Jbj3M6Mkfcjf
zazT<~<Q{4ijFaueOAexSDM_QONj#wN0umM_84iCm!n&Tp8$)<mPpU%S>y##>LycDf
z78CerVkvO|h~3y))PsbP>d{hbv`o4lGnRa#ycHroWyme$f@4Vxk?OcxYD#USq}sI{
zYu-3+l9<Jz-*M4?6mmCO(%Pem5?iuD(bo)Rsz$q}#$Nc+bsQl_VoMwwV}U#NY3#oL
zYM_6^U2BaCF^v?gVkan5oC?&C)Yj8l!O4m^LP8Utwv>s4Y}!f_PN}r*cuNbit@gO0
z+SL~H6JJ87R@G0RP$5jJ*N(QmD42*L1c7FZ=@TLLwFsf;Ia&ZCRjuJ@Ly>H9M-Cm<
zxegmZ8<4?hbRhO)8)iNm90RCYKFaH9Ra}2HWfiOEpR-FkAe^3@zWw=|XU|`im)TN^
z@nN}`fnkx&Yi1(nVK^6zjkj#9QaUYTu}YNZI3FC;Q#v2mG{rF^yZSLN<`?ZNO-N&7
znL^Q%CR-HKgXMgYGl5fKlV84t5{&%P3c+gVxX3Chy!Uv<r{(2k#%Da|=LMhh3toTl
z1z+-#f99W8Ws@)R^CtExQot)-^M<eXqt(X+W-@wsZn+DLA0NMad3@M|p>6}i5f~oZ
zO5y?-ZUBZi8(`4ueZUauPB0Gm8v-PNQSje^!)1%aO-?5dar*u1!<X;h4>I6YK3^@e
zYKPxiP!b6GIfwjK1HZ-4Yq9oO>~MeB4*k_~)89w@m_Ok^@e}@nzv8F-H4u2q-|=68
z!zca;XTiJyAk%VDE{B=I&(GKC^4kEaa+&iheuZ2qXSZcgy~yedK-&CK@)ch#XL(gm
z%PQwz_#gZ$|C9f<fwg-G)-QiLeDUNduzp@H%V*8)%Plc%tOadW_+ks44ibM%Y(O1e
z`vg<c?ZDgXop^V-m49Ak3xGJMpL_DEUvt-UEPaUIC(m9UKl`Ee`_2?gBpk<q-O;ay
zLfW<C$>uhbY-}@1sfQ=p5Bw!1RFzF*GK5}C2I~HvH$55sIM8L?8nFE9bdg;WZUM0_
z>5y*p^GVPUdQpCmgLzGd)R=#F`DGFH0%}S#{#Ra=L(CKT5X_&R9G^b@agBLIW(VYH
z3%L)u_MbyOrVag0&`-h|9>TbdTnX$xZ!E`ExBfN|xnX<%VL2^l#c~cai}UlGess)h
z_CdM0GoW^9!-Ws(aP8j|Ds01XZ(+uEVT%S)Y{Hg;Z33lc>q;L(6b^rFYIG~9i#4hj
zet?pcKLSEXzhk61ZFHz^!(R7txZB~lz<)(0Gt5O4g&XOJf_k`1t@pKv@etkLZoqed
zEK;st2u!MEuo%wng|XDO-I>p>XDRYx^{EN3L_|UyW_2EZ$J<$jY$P{b0)*cxkBh2q
zD4Uq_BmOLFUnFgO?}~p}b5YYhLSXF-r3-;TcwN3(B1ALf&W^9-ZFcS|5Vq{J+jiPy
zm!0x%JMF{myycs|WvaghsT-O~>$@{m-EFFSxT!loiJOKd;u@xM2d3KJZK!{^p}W6f
zTb8PAOSRsBG+A4k-fe06a7%aY{9A@zTTW&(_Hu2gyVFoB{;Pj!imhg7E4_8LCfl}}
zYqs9-A*Gv=nyyM#unbxMw3yZ11y8({*xJ)hR?VVVl1#9Q?gYa$WE5Q#hL=uVCs|+%
zr_0bVctF>qq1WEB*jDOAm4E5<ZAywxQu!Mtf2MnicJfw|ssVVicT`Ttr%hHh`z*+^
zy=;t+(kdSp^*DbU*Z5pPQ;{vkv#h~;Q>~`Ws>;XNayGs!>t<XRmj$9TZc5^B@Cn+d
zYvQ2myqJTRE<vP>lq&#A?{4s__UZCCybte9q>lLVXPBYcGIq#$w(ZpLSAG?*c=lFx
zKAs}S>V3MR-cmdi7;yHAW7utsyEV7jb%QigmTqlt__8iM0;Y>{K8ktP-_UkRv<_f!
z%-Sxx^ZYq7mcOa<b-tZk<;#QM2I~{~Z?fnTbeF1G0&GJyF-0&#GB`CbGek5nGc!do
zH#IRgG&e9oGeI;sLqS45AUriOMKD7$I5jXcL^LonGet2sH8D3dH!wjnK{Pl+K|+^V
gS^{4Jvdx#eS^}B_)fJGJS6c!h2sH{NB}Gq03O^_pPXGV_

delta 2673
zcmV-%3Xb)Gw+Vo^39xAf5MnemV>V(nW;9_lIA%6DH-mWwhj|78w|NEvcSt8SGBPkQ
zFf=PLF()uECn*XqO>bmGVRU66C`39kFfuYQG%__ZGBB4HPXf>ZFqgqR0w{m&Sxa-<
zI1;|=SKzkxPDywW1i-1Osj}lZ$>iZA&O7mek!YETEIK5WN#@tj*8oY8vgOAfb`Lw{
zG6*)h8{J<wz=j~1U=fQXla9$KW>PSPhh-|!%&{mkOiC8ngh|D;Qea}*#0-DJjg(+U
zMGRysW2PV%JEjbC0*ncB+Ax3RSYn|;KsBf|6KRVgCN(CbDYZ#Pk;T(m7QqZl;|Wtj
zButY%4s%Lq0$q~|@M#UBpbs-dq+dG>Ndv2xj-43A7;>09)+~l120vnLA%u5F#=rq*
zF_~sYKuH2e(1$Z7a<IuT6GK*E*eX3zmKm48X3MOA`-VIQe?(8KfEItV3TjP+r*q6`
zKp`ZQ;F*AKm^HA;KpqN5zx~GeG2;)4R|Vq->|=y5ykz_^uTR+TzhijBU;Vtu7=ND5
zvk|{nEbDApSIiLKh`-FLVpUGF3UTm+r`aq|_lqCwqX5AmRyI*5BZ!xfBeOl*gR)p%
zP>kuVndf;~%vRH^WIKP;G%pJ#C(=$d`?Pab*B8~VoO|-TOfSyzX*DUz`KR4om{ewI
zofpf4w9eSh!LLdvCA5ms3ZZ`y@?S#ijt0K?*+=B}t1?|y7i8P?=ZHUIb-5xhF>;W7
z&!^eT2m7t)8k~3UKOlG1#2SYn#1moIa<y2TY~zePr!jUS6L)_dYb4Ahq8t)-VvwM>
z&>A_5=j~W+JfUSVU_C@Y8709XGAC(*@7F@p*FHs?zNUPnKBW1(qt9QmX^?(&4y(Hn
zL~?qZ)$AkE=HL)0XFqCoGP*9Gl-x`xncO9#)}AYI>nIIb14`OO6A{O^<2A`7(eW)1
z9iZrFb#EeyenNk%{Bi`alPG&DYzIqur$TVBF8)1{yCk{uDY6Ft_7m2{9yOnY7WDi^
z&5D|A*lQVbYN|dZ?Y~r=z=ozJHFc-K3oZJRvyNO}t<{suPV2Ozt-68il3mMAbxS^{
zrWk4+%#(Lqd1qwWP0_N}oto`9tR3;je%;+37j-!<uZMqlwwkA%()C!iJNjs?ow$?H
z#~5F{fBtXv|Nnv3KRNL~LLEihBw?XVVmFDJHnuTJOw@!<PU0Rd^jxA*=|nQYnAUcp
znwB{FV<<o;QPZcf+x|Dwz76{NZLFh-Y$^Dpp_Ps(k(i)_hQ%l<;~0IEmS_{9VOxS?
zR!0VWF(iNCiI9*qiJYK<7XCpj&O{{ch%xk?QD6@cIpS~{ykTM~ohJt?e2e0G;(9(e
zJ#SCoXell3u|(<E_7$owAWycDbf7kPc&ZV$c@ME@<T_p&*OvU&v2T53{21cxG)dYd
zAr~Y$M(&|T!8qAYyyPHSn~*fhn%DsfCm>-^lHq?qBaH1BoYsVwaiq%kU6jy-bf|I4
z!=gPOO)Mo20HGUNgL;rKQXN`qjh0T<W7?2!l(#~Jr}VjnT(B$-AyO@OLrtg+lq9kZ
z$C@{c>o{bw@3&mEANkx3mNfQ6L<ucfq3COdGBrZGriPyX(zP5uM?y;+gE7w?`ZRXi
zf7O4}VK24X`j`d^R<RY7DOP!^Pio_6t>9!u96q6mFEW&ggly7C6HbXV&3HrevW@nz
zqMFs_^%GxAr&iTXA5$Srs@IM-y&xEiJ_MeoweAuj^dsRz(Qz~Y2C7=a(S#x%atDsc
zuk*-n08K!8qrrjD53Qg1q<0LUYWX0mre%MAQ5R*Xo}Z=XbU-*hI)3x)mnTnO7U$_w
zit&E2n1NxD&MT$^=e|D|jI}dttP(mcW3ft<=QtniRZ}`2m?Xh5BfWT-<@2-Vl_sRI
zu}q-oQJpUG>E3d_$e6&Xu+GlkKnX_PHA1i&I?mFP3hy1B@@a8?p7I&b_-W4P{EUC+
ze8HEz;NSSSRZ(Y)?6eNOk`(ZgSG?w{-C*@$j+u1SKeyZj#={41UmWgtV5sZBumpy~
zwh~(phV6mj^Z*Qcy$u*5*$T!Ue@%dRFmnDCIGi^~T;+6p7pFhG+JEukLoWkfX7kk|
zEw}g`2}%M%Kj)C&s^_=pdo9*Ji!FZ+o4&u19Qu2YAM!{14}Qd-^OyXXzXAep_*?!S
zIDF=xaTd&K05UBW#j>9%{Pc94E?;_370ZlY@C)QhF}p5<szq9z0n+-<g0J{$Im^mw
zT9g_8&i~{;_)q@V0Bd^}tY7@G|NPNoVEwdM7EkKyms_maI1;p3;fpPzq?dnSVgR*&
z?Gj8$y9I9-ZN<CIt?b(>T>!*6{oIq4-I}|cW653oK6>)v@X7tg?;BGrmT(*gc1yn=
z3Tf7k$HQ$V9&9s8sk<lIeg1+Hs!XRL8GJ7!19iV<bw@@&476Fd1}ytAU8LuPn@6lo
zI;0!@eBw3uUXbtQU{=u~HROL?cAf{lfSS^b|CN<RAM;q=1@p&8hsTc}t}zeDY=Jy!
zAa_33{&UF3w4vV!`jKD5eHb^9D}dd%!E#)+>u-R_72Es$<+PaP%Q?)<Pfs)Y(J`yo
zM`gp#fZC-A7e1){wSQHpunmX3g=y1<Ef_?x@mmVE36z?RD_smxI5dB$(XOO6)~H_i
z9!gSv4+tUs4w2@x(V@Ead)<rvZinLne~(J0pNl982kD4{y1z@U_qBj=AKfok;M+qM
zDc3CoCRN;93@5k3SVpGVnNKcfDe_|Vx%RI_L_+MRRpx)k+ggPTlAA68{BM<qd0Ewz
zO-#8Ff08yYk~Y4#`K*6FtLPrVv$lrPg@7l#Dqb%Uq8V~$%UAL`JGT`G8+MvaJ59XJ
zPI<GP=I(Z0^G)9{)m?(r_D!Yr-I}UyHr3wU)UBVyp`o$3gsI$uY2<D;)ZN|C?ccBs
zOVy^OQ8a)wUR#>nY-w_LOSkU)8-`w5PI?%7xi-|^Xs8kY)ii&_R@1kY-dbDZO<VOP
zTd(+#(oIQ4S0yW0hOB>_&#Lx<C)`SG>}f}<dXX<l##=>qf_@q@iY^NMORKJx%&~>j
zWvCzAqw7)MYi?OgBlWz@zPI{@lA@JV?n=pLbWhPt-bhk408e%fis|^cPRn|id0DoT
zj`2}iW#haWr{jMLpDSp})5Um})_AYW)wEuf**IO!#^*&<kE{GVM|8$@LHsp7LA!KK
z>~)>ybMVq7h?IeH0YK^9_FmO4T^{@Q{=JEe0>1nSW~eue?Q@=NI@SM`Uxh24omG{M
zr^vBtm#(Nc6!!&soSotjb`#=m^mTS!A&r!!TiYwXEcY#d>7tmALY{Ruv~3ct1Lz$y
zrj71Ady0(Zud8gGZ$}r|a?iWLx<vjPch?efm#bL<Y(qjYH$yZ*K{z%!HZVjrMma+^
zGetB+HZU?XHZnCbH!?mTJVG!xLo`7_I5s&pFhn&*IYTxxMKnY<FfubXGBq+cGM8Ff
f0$&2E(U-eg0-6KU6_1x#TLK{nGzujpMNdWwTlx-e

diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf
index def5eee76c391312ccd8535212087b3328d00610..a90b6d4654a53209b72ce0395a58d650517c3873 100644
GIT binary patch
delta 134
zcmbQRi*3R#wuUW?4<=}t85tTI7?^7t7^)i>sB3cR`{t*(B$lKqXt-Dz85kKEm>5Bo
zZ0DNDxQ@%&+116x(8AQr#nIIXsKC*}%*4Xf(b&Yrz}d*e&B)nK!G@5M?Z0O;iZTKK
Deb^#~

delta 134
zcmbQRi*3R#wuUW?4<=}t8W|ZF7#e6B7^)i>sB3cR`{t*(B$lKqXt-Dz82}|sjG#)k
zb4_Gi$K`BkWbAC@;^ypX=xk~1<Y?h+X5wsVW^8F;;pFP(=ICUnU_(gB_TRG^MHvBt
CCL-<t

diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf
index 4f0cbc272321ed9d1ac105ad4f439c2b2e44f248..707606b888b556834a229caaefd01d741e43c5d5 100644
GIT binary patch
delta 114
zcmZ4RfNQ}6u7(!IElgz#+0Bd$jSUP;rq?cHl7VryFIdQQn#bA5!pzXs(A?O<!qM2!
j*~Hk=%-PA&+``Pl*vQny*wN8W!G@5M?d#St6)^$;Y<eE(

delta 114
zcmZ4RfNQ}6u7(!IElgz#*-ed%3=9lRr`IlIl7VryFIdQQn#bAPz}3aX*~HS#!rai@
jz{SbZ&CJ5m&DqSr$<^7+&DqIL!G@5M?d#St6)^$;jZPoP

diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
index 27b74741c700921c49571a84cb4af14c58b34fe7..2ad59770cd4322b72e51d27ed9bbc03611a00e52 100644
GIT binary patch
delta 106
zcmeBMz}&Zhc?0`Nb~7VGV*?|T$$TeeVC>C?Cm*vqJ3Co8xtN)oIy<^L8=5*9nV1-x
aI9r-Ix;VR;x;dIy+9}u&QZhOG{B{5}pdBLs

delta 106
zcmeBMz}&Zhc?0`Nc2grG0|R5@$$TeeVC>C?Cm*vqn>ia<m^wKdI+_?-y1H2!8<`lp
axSCixxfqzaIXW6U*(ul%QZhOG{B{5&F&xhT

diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf
index c80b09959a12bc8df8c52b28cb69c87df5afd0b8..24418bbaa28bdb9da4d131c782fec9fd1d65f357 100644
GIT binary patch
delta 148
zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgS_+T4qLu#s&r!+6IQ|1_tVyT>8HGDK3d6
zsR|k{Rz?O!Mg}HEP$k=EHF5N_I-8n1nYbDon!8#UnVK0I85x?Inix76x>%T+x;dJ<
R7}+V<5K^)|r-S1r69ASQCIJ8d

delta 148
zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgS_+TBb%u1_p+P+6IQ|1_tVyT>8HGDK3d6
zsR|k{Rz?OuNfRTelI^paIQm(g4NRS#9Gy)Zot+(>T%FCF%+1VA%-qbJ42|7f%?*t#
Q>=bMWDcPRW!Euub0KA1J=>Px#

diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf
index d86782b4c2569ecb099ac995d46eb3dcd9e3536b..0e3fc0d8f177067a961554cf542a3e0b708261e8 100644
GIT binary patch
delta 133
zcmaDooBj1{_J%Et_YZ2B85tTI7#nIE7^)i>sB3cR`{t*(B$lKqXt-Dz85kKEm>5Bo
zZ09`0Sjpw&W?^XN<YI1O>|$hS?q=rf=ICbR=xSnOVQyq*;_PUrU}Hf*$@U{>7}Xg8
Dtob7Z

delta 133
zcmaDooBj1{_J%Et_YZ2B8W|ZFn3!lA7^)i>sB3cR`{t*(B$lKqXt-Dz82}|sjG#)k
za~@)><Z^O0cQkP^b#inuF?2I=G_o)-HgRz=axrvuGB7c;Ftbyzu^^yi`;jw@>Wl!X
C*CNya

diff --git a/pdf/Soundness.pdf b/pdf/Soundness.pdf
index 4a98dd183c500b8ae0a04d00356ff759cdae716b..fb8bc6981d74b7c75b78bf4954013349abe59bf1 100644
GIT binary patch
delta 109
zcmX@q!gi>Itziq}>Iyb9BST{Yqv;zf7-gaC?N=%o?Kzx{Tpf*!jf|X(+)UjpEnJPA
e&0P%KjLl6fEL=@p3{0Hu6l@47nI6{2_yz!)YaK=a

delta 109
zcmX@q!gi>Itziq}>IybfBO?O?<LMhK7-gaC?N=%o?KzxX9nD=V3{Bn444e(kEeu?Z
c+$_uuO<fHQoSdCNTI>{T2q~E!*2wq<0Fy5q`Tzg`

diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
index 4adba1489ac68851a63c5e51082c8f98ec6e7b52..79ba8347401835a5379424d16c323348a91bd8c6 100644
GIT binary patch
delta 2621
zcmV-D3c~e<qX~wi39y<15MelBIWlEsIWl53G&e9ZIJ2q({sItTIAJ+5Wo0=sVl^~3
zFfurUxCMu}1p&9X1p-DrDmF4PGcYhUD=;x9Ffb=63NKA>WJF<fWgsX-Ix;XaGB7kU
zHZn0YFfcW@C_@4X1Aj(v$(a6u@qaMZ?{#ePqxaD6H+eiS7Km;1tw+yEnJ>{wXgN*3
zq@(2O#mV=C*G#~>-{0dx8Cq~a%k+>LGG9)ox4R^zmo&x>dE^ce<<<^aBn}caFuq&U
zdIp|A(0k7OlCRtbm$$0&;OgN0n1?R(-Rrwg$tZL=pK(%2oqx|@LDfRQ@#s1!$p`Sa
z(=(W!<j<1a_VziV;Om|Uq2~#%*jO&u!PIv}EAF`*Dp>vp$ubVI;viWq`4A)OL9#p=
zN{Et&$O<8c5Rwm*<!s1c1KHsL%}jSa0D`$#)nfp6RUU(Nw95M!_+L1H)awo)<$vY?
zQXRhb)E4p?8-FSo`w&^>?9kbrOR6EIOCs!U(rzKKLwbwo?h@QbZf6%bDqy8T%=+h$
z_p#^EN7y6b-+p9_9b@v5DTdbqlM<5{lMyC=v<1>yYE=`r3)5O=j!9Ar<ZY>OU0rTy
zXb|`=%Nj;m7xP;6s*`Vf=xSZHWtiO6s*_s7m%7-o=YIl|b4<=KdEMX5rr2cjW&_)(
zhBa?j-__=%HF4veygoWF_qAEx-r0tx`9@7%C%*V?kD+qY(9_z`Sv~4}%LFzPk~VUC
zhEkhDUDZ_0w@-Rwx0jmuhCO5G%`q;!fJa@_%^XfQXk66Ebc_7D<({E_?}HZl)~Dp}
z|0n<de}6Ft)^hL~IPbt71Dl~7O5B_LKmN4VLqn>3RTpHNns(oihr`H_*LoiN$Ded=
zh^HN|$>-UgpA}*#aGQ2GCad~ww&PDR*qrNYcieRp&Cip9)rO-fjj@t7gmiy_DsBu6
z6MBVoHGooTsH;>)2pG<O752ZE>;G~&`-usu^M79IYCo@h*Gfp6+K>xgC0afiQk3Yl
zwLSkppKrzvsohAGMIWwe;3RLELrmVYt&xDkI0hCOEl|QKa66Qf#ycIC^?EYEM8r+i
zUe)=&m3C>chv%o#k8&DUfvAVqtF_P=x?1eMqh@Uid|mMMc0R10Mxr7x)QX0VYASSB
zI)6yWh=VCI^7_Jrv|57!A@5Ug0H-35wNV8992Y};OybRy4i4p(S;#veP~c+{#0sZE
z?eKXB!?kSn5Fbz(TMIZa2G}(YRr$P=5wsfrq(*>JXOx%2fjKv#%7)ay4LxA@NVKhU
z!9l%5Rig|}GdeOxBD`|sMJkD*%%BX`27l?QHo`R2MAB9gjcjOFI`Xl|=Nl>C78nY7
zp8|sxB#|laR6NW#^s&fa<$$n+pw`Ptr-xwyB1LF{r!Mj?7&L__>HCMg6^KZOc?lx~
zNuNfM-yT{uCNRNF71XPoZhBTV-e;9z{=X@O)}}6$n_8jK2FJZ0c~n8JrB9$ADu3n!
zgY*(|)!P^!>-{oS&ig;g-L_7qcz`=iicy{}$}A5Dx>xZGT3)`t`Pa+$KU}=L%4YGL
zi@`}Y9fQC$o)km{$rFE69VlzaKsY?PSqqLPVY29PF~TFOaUlCFUi^}zlZUE^17h2N
zM^HL1<7qlNo=>I;VLf_XCbPHT=zmd<zN<RHss$YnagIm9BYI3v=@~tz7xXo~q*wHY
z#`KPk=$Iz-o=)fkP3a$WN@sLVGrFKTEoe!X^b3UpfX987!dOPP57Up)@#^IIm-iPn
z9c*xwOqSC)-@yo+g$E*H_@o#a5iLeon-A8o!FEt#+Du5^W#WWB_gq}jYk&HN{tisU
zd7gdEQ5s0OgTs1K0ym><n$01d&Ekru`?R9!Q;V!@o&aI~>EblGFGDUUTO@g!jp=9l
zd6|`oZ}qv*8aOT=@+6_<*UYp1mHxTLxP1!a$8TQUTwb>r5A5t9T)T>J=?oIC+b$S&
zT`=0`f&;Er%xklU`MC19m4CM(eJxL;e|0R6o?`j?o3nS%FTwJc**v=_!Sp?APb)Hz
z4EIlk?=hm5-K^tkzF6BWxZUAzPVTfCZBA(Nc^OaX1fLQoxwjv!U)lb(ZMWr5vHRKO
zFE?*rRCYhQ#54!PImB6fQ^dGw4A)U-!hNwZT!^PHwCAwAAjstLD1Ugq&sB>IvVSCH
zT@Crr(4uNBBt5>$kjx^PrD5527Z$h{{VU0{4$tx_JpcOa+4<YI4bOWQR#egKynnT6
zJ}{8A7S!HQc0peO%ORNWA$2p7O<KPA@NMys%(t-ZV^xtNqG4I^!0<FK9=3$7PSCPj
zwu$HSQ8or$U~_tZpMT)Hn4};dgoCIG_k``hxNVkUL#qs^;8wF9@Zj8f&<MywgWJH$
z?Aj;b&ZD~yVLQX^0HPc0j<6?yOVD$;tDzTgF9^)SR!N))`vlxS(i^xFqQAo(d7Epv
zSL@JCBGU@@o4f3%&OZCO75{wf2S=@!41ti`S~j<b5vp6;S$|DzGm8-IO|{3}ZaP1B
z-SV#VMXUsOJBf?LKeFC=chgxj_)673mOo4LqC{T>mV5Lft_oa$&YN^xJ`}`MPw-ck
z;OkXi@h1Ci4s$jJPuj8l?Zdg}wqp&dTZby#E~w&hsP5@dckkC-q?SEGs%Vg^$B{-)
zN4j%=T>~mMfPeBfP#)Dlb@V7u$DR&!_lCHJRIMXbtV5}8DCLhM<xfYtb4ytRy0M_}
z)_$v(YWFx$@qHIm$4#YaIA!Zl^#)Y=9XXXz3#e>)sd*fy+Qf-(FAIEqxdc>jbNFjI
zE>>^dt5>h#h2dHZe!VQG=^VRyX!ya09}S_wDK!*=R)1ahOkpF!Phx!IF@7ZDbJYt_
zR{_4vlP~yTNgHeE$yYs9w7aLOT<I0QPSkQ!jdHabvqz0;tJ#7^=~|84qlUNCD7!_C
zsMWBoYC_M>)Zv{T%+k?mHX2-)abEUGc=dV|4~i1D_(56>;sH)joDarviPiaXR4(&m
zP(H-vAb-0nlKe|jfXsc?$8W8C_i-}I<{;`n5$WS6Rla%wPJ-`VU8^Yi_!(AHmVF{k
za1?rx&eC!X;7aOt-G~L;H<alpo(|&00@i>ZyXfPmSzdd-oCD@OTTUMO_*s{)Y`+oa
za;*-bskJ(QC+u3C>f`reYmj%rX?NSOq5W!3R)16RH5rWJ`QUDuPRE1Qyxiy6Yyh=z
z=M#VH;}>je!?!gZqN0Wp7Oo33=7Oot?VFINXorvl{oR)R_!)TDG@JB7B&olsTE&OP
zjXhOS?c<Z=CB!89Tah%O<n<z%AA9>ry-ocaS%)Po3T19&b98cLVQmU!Ze(v_Y6>|s
zAeWv`0#`#YHAO--Mn*<9G%+$VK{qi*G(ti~IX5;kH#RglMl(Y`AUrTNMM5=3Mn*O?
fF)}hiH!(&uLPAD4H#RaiHZ(X!GefsHPy$W?qpb^H

delta 2621
zcmajVXFMAS1IO{AX6?49MvZGISCtU+5+ku{SB<k3K`Ak7rHvSIXRo5v&QS@K2Bl)w
z*(G-DtwxH9mZIwJ`Fx&t&x_~X|MUBQapj!2a!yh{GrtlNqOPo@tnBHj^a$jp@~Do$
z{PTZnY!hoj6Dw0=6DzYmOio!*5d;FM{t5!ifIu>`TneTr58X#0NQpbT8j7HQPl)1w
zN#h*^GbamXxholb$g+0fTD?S{UNzV+T|hCyo$vC`Z8@YBWhuIpy%-6~N8dN-pG?Zy
z=d67h9oF978?RWu9G$Z*spQf2$_y2D-$>zcvKXUJOlqJ;jBE(F?c<7WtoX(a#g-hu
zIsv-8=edWn-sqg{JOlGNZBb}p#hDMbf;89gnHrel&KN>`^x9~sWhUP;s?rMt>n{er
z-`x$??WDm3;MA**Z{IqSVypHOZRUg3tw=xkGLZm}ZXL2cLsEYt)*}Lv%@5?uxDMx)
zye%$0IFsJVM($$Cf4LWV>2mN}Lhq$L0+fyJ{o)w>r9I$M6-`Wg;Nl|_UIV>bCBLqu
zg0TV}Ns<R<O6z{hwL%!>>P|1<7vOFQUxh{&fK6%h!}kKLI*j7;zELIj-KphiB!ds_
z=Nw?VNLHE&xJ4*0JMZtjWY9^ueEO6nF~7+vZ%Q%PB-363Wt>9a2|^%ZJHqUyKm*Nr
zG=gm*dJbVrC&+iLzp*Kt5N(_2PK9BF^Io|J;ri)6{Z+c93si4T>nm4BP)^^d$khCK
zbASEYXvF*4A;!_L3S>ythoN!Mjf&!aQGhF&!VT{{*mRI4y-csqm{ZE01?&(ieA=Fk
z-K4Zm{H^-=1_G5DIKv9vDf9mn(5$moW>(>_PLn_8{uU)(KhmfP#9U~dTwGw1)JZw9
zw2lb&BavzD4U5&q^^1ebhFhYR8^mUbxrzES92B6BYneKn*7}JLMnHGNO*N@UKdSi=
z*tz;Hu-zo8P7IUS`N`3Rvi7Fj`+3o|Y88O#<K!3BlK8VLR)OxWc_Y8#iA>p+2&cak
z;T-`-MAAj8<3;Y^jJb(nA?Dc9_AFw9VgsL@z&U=A8)fvTm+4m4?4GcnqLrQ+?&=fn
zo(5R6$V3bR+!#fEDVG5~U{aqqR?rMPSNaOFxZPAu%VLt2@+TY-hL3CNjbmX@tryR;
z$D6oxVJ*%z@jWAxZpUKEz7Ln_F}00{kG??!uVYJXAR$%{ODSU*9k@QgBqM_+ERCNO
z<>rVej$u)|j;&6S+S+UqS#=jgRfGiGY5WLZWWq9wXGz$oUH3_#B1GOGi3#7M2d3>i
zu;7k2fv*QP3zJJGzso2yXKR$V0C+#X7qC{rv-xi^Q4Grb3a{|)012YVfc()6u;9vz
zUlc6wb0gW1Bo&OIZG%8XsdVPMOm7baWh^62Pjkue<XwkF-`O>hdWk<xA}UuOwUwsn
z{gh*m172=$Hq(G{U*VU9Ux9{Zgmsq4>fT?{TCdU8)%a*EB58OEN&Im%LI7hqJqabw
z8zJL$gab_?_u+-9Y`sco>HGv&ii+Cad0#nKko+^|a|;YuTm+w+PF(Ey{`-DzRnX$a
zgS~g5irp;pk1dlKArCww)J9qpy+#;}^PzU<wu_b34QrL8O-F7s^0vt3iUYiaoMF-T
z@*QnE1lxy|{vrDS2xpdFT9UvmyA+lguY=Xx+l5doJplh48#HDt;)eP7=mA>Ml!HD>
zSA5yZYJf?L{OUBxX(PWC{zovB>(;1yq!D#Xy|tuv8`xT=3aJPS(d~tl9*4liy^StP
z9%_^a=Z~@uJ=QU9#=G1BT!QY^UF%V7ewOz<In`E%*51<odfPRY=s|wfbHb~?d>6_u
z&?VE|_lGz5!z`MF<9Qd$HSP&#+`B6C_5J2*qBCY(^=p``)bQbF-_$Yf0WrW-mSEEj
z<oFZb?I%LE(1ptD*2VT7$ivGVhvveS{m*U$>C8y=k3TWd8mA6co1lr*_^FP-lXMwQ
z`F78u-P*5I<(}P#B3jQ6cRn$iyTe_**jHw)<BYx10~VfkzNW{FY6=4a8r+-<U>|#5
z^wwZnc(#2bM9+!t5nrzjE-k%kje5?R)Bf?(j2>sjzFm}k2G*kqBZp2CX!z_YW_#E@
z>)*M{iwO>@ob(QcXHf^kjby%OtM#{@d!G*+)%sE7F^LP*dzkkTXJzEGQDB9-$gt$_
zYJpUbse4nZ#?`%~lodGiSt%@GgH=a5%>dJR`0S0nNBa3MvUH!m1e}nyujKZDHO@n*
z|1QtqI|`|zVaw%yQD}IM`N|2+i#oj2<`=$5A(bV1Zk`iO53$(lhLR&3`N}ER@4TI8
zzN&(ZCu5B61XNOjM_as~I5F{>0MB3yJFYVDfCPLJ8k4g?HiZ_ak-=Nc1><LDn9EDu
zw^>gl0J_#qGEdlh{OY)G+9S1D8}q+Kvu{qt>TBN;ooBQ0q-ipR-C79cn7iT6&cEOq
z76)T;j4A4J;%SYJ(s31fXSAw2EwlVHW3i)<|6FXZZ_cr+)jq*r@TE=D(mYZt^k{}!
z^L^7@OU<X%gClNziu@jyY_TvqjPY?Ru#59X5ny{y$4@%xIbnY(xB;8y?mOQ8nelCy
zQZSs~X-oL|_J>`*Fz{54G+!<pXuZrFvWQ<}luA@Y#<Y_!yVRa0s?MN-^XkCiW2w6+
z@nKk_n6JfxhSkbbo$G0cQ1gW5sP;XnhR*_)da+ipR7j-8Sm7C6)Z#4@Cc6>Kc+EyA
zH^6Efg_KZK|5nEPh*i0X8HFNbF#uW2ztUkqbR>l}zVXPR)r!)KP28uHX!y&ScF8&<
z5L8PB_WP=m?X{7E#zSjrlhS7BD7$6)Ah0B+pvz@E@NFdBxiykUft%*`g^pA=-JG68
zbn$8a@aEt#t19KM$LutFaorSnF1U6x?ckRi#YE@mX09*DB6KI8@$Byi^R}I;vIUs+
zhEeU8(6XEYpKRh}9?ZweVMqvKMDtm{rQGtD{*1hjZVk@Q`fB9U3f}#%t~se@b)(D8
z$%ka~4@6pdxJ5Rpn{UjGpD!S06%9%?t{%=U4|*vR%aFXsj+t@FSa-=}_Smb_eD1qJ
zNz1ZRVSjM(r=hr36=U*BfFSyK$6jx=mrBYff4=%SrhFtRBqzuBlC5PUUH|TKTd9e`
zK?uKs5Q*)_w4S)u5M%am0|45b31W=&Qk&7pvlLLSZzzXp%_I}_5pBmxyq(V>w&jW$
zWe&%)Ya2|)<R{klyI!NRhYf~k+^YVxp-J^*c^&^-@plLDc2|d+Z8h8c*OjwL0Zw^f
zVUtk*r8ubGZ*jM`_TPQ(rFKv%X7IvN_s{hv<uoDwpQ{pm#EWk$NJ@_`CE_`OwZi>B
zrsvFe{C1YQCxCajkp3RQAwkGTe*al0Hy<u_C5hZ3b7otFs*;k5Dp(n=uBQYCAs`5K
dB{c|KM@{|TrVK&ogES?e|Bp1PSumS1{R0Oi8EOCk

diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
index d9fad1651f9330b821c497e55faf09577b4a6427..78d39c58b55ae09095ff8335d0d78bdd875e6778 100644
GIT binary patch
delta 109
zcmZ4Wfo0VPmWC~i$Mo6Ej0}wpjHaK_XOxAqx4+kCRAYBGax`=@GI6yqHg_|$uy8i8
dFm<#rb2T+GbTKwC2eRxGYzQft9%0US2>_WS9EJb@

delta 109
zcmZ4Wfo0VPmWC~i$Mo4ujf@NojHjQ`XOxAqx4+kCRAYCxbaiuab2GGbHF0(_GjcUC
eFfubUcQti!vv75_G%$0vQ?MbVWO{@-<0SyS*&S#A

diff --git a/pdf/The_Pragmatic_Programmer_1999.pdf b/pdf/The_Pragmatic_Programmer_1999.pdf
index 991d954359f4399d3d2978d02496dc9b8635ba16..0f9a4543b1f64efc48fd7ee11c7cddcc5baeb2fc 100644
GIT binary patch
delta 114
zcmeypitG0(u7(!IEldlW*v*U#jSY+qr>|&Yl7VrypKfCM%kS*u=wfba?CNObXlib0
iVQFSyY-H(V>TGObY2xVUVq{{cU_(gBcJ9ec1xx_9O&<^d

delta 114
zcmeypitG0(u7(!IEldlW*iDU$3=B+6r>|&Yl7VrypKfCM%kOMv>gwj^Wa(n;X5i{-
i?q=a)>}2fh=;-3=>TG0UY;I_$U_(gBcJ9ec1xx_kwjc5U

diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf
index ff4ad7f8ef772aa526320f442abe85e3d7aace90..80e749693cfa63eac8d471ec950abb7e31cf8af5 100644
GIT binary patch
delta 135
zcmZ4Wn`6~)j)oS-Elf4~T4qLu#s<a~+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HE
zP$k=!=`+RgI61qS7+AVE8yLAbnK-!^o0>U0nVOk9IyspdI9XV_+9}wW5Kyw+&4ww3
F5dfs$A}Ig>

delta 135
zcmZ4Wn`6~)j)oS-Elf4~TBb%u1_q|4+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTe
zlI_d%nc{eyEG-ONU7Rc}EzAr}oSh7f+$;^8jE&3;oh+Q4jLgmK6l_cgDB132!<51Z
E0FJ34od5s;

diff --git a/pdf/Theorems_and_empty_sets.pdf b/pdf/Theorems_and_empty_sets.pdf
index c717beb31047b43fb8e3ab3d9b386c527806b670..1532afa5b7d514ba762c3303bc87bc99f4dc1dd7 100644
GIT binary patch
delta 111
zcmex;j^+0`mWC~i8FK7qMux@)MrPCV<rrmPob8k37>}_#o0z*=n3@|K8oRi;7#X-(
fIGP%{IXhcAJ2^R<yIGi6*eTc$QZjwE8sh^1$mSiI

delta 111
zcmex;j^+0`mWC~i8FK8VMn(n(#^%%W<rrmPob8k37>}_#8(KPA8k#vdI+{2cxL7(G
f8yQ=gSh`slnVOn8Te=vS*(ul%QZjwE8sh^1w$U8~

diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf
index e03124141656c8cd298b6c9c778fb38742d50e15..5f2d5df434095c4285166f292a03149dddf98033 100644
GIT binary patch
delta 134
zcmaE`nC-!0wuUW?^V+q{j0}wpj4ibd4Al(`)HS*Eee+XX5=&AQG+eBV42+BnOpKsP
zwx4Kcyu#t^WN8M(7EZ=)29}N%CQdHKmd<X5PKJgCZkCp&<`#AeHiVRHzdwPIkr4pd
CdLvW-

delta 134
zcmaE`nC-!0wuUW?^V+pcjf@NoOii^74Al(`)HS*Eee+XX5=&AQG+eBV41kg*Mo=Z&
zPqZ^$;c&JvH@2`aH*$71F>$hVbaQbwaJDdYGc|Q~F?4isF*3DNupy*m`~3-wjEn%)
Cw<C4{

diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf
index 9ec376c0fe2897f104684380dba7aaab4b143bab..7a6becb9ec4b4b317a3b791eb63007052d919610 100644
GIT binary patch
delta 133
zcmeA>%+hz5rC|$WkEE8Fk)g4Hp`o^cp}K*Ax+a&tZ+?nPVo9okhKrSvfsv7ci4j!E
z_HB}k``Mgbja)3<EF3M(T+IyJ+$@dUoQ*79T#X$~Of5`I%w3%A6l@47nZ84T@frXZ
C9wIIP

delta 133
zcmeA>%+hz5rC|$WkEE8Vk&%Icp{cfkp}K*Ax+a&tZ+?nPVo9okhKrSv0Z`J!2&!cJ
zHc7_)Y|fUhrY3IYjuvJXW=<AHE=H#2E^dy-CT7NFZl)%drY3d@HiVQ+-=V;G4FCbi
BA({XH

diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf
index 59655184c29754d2738c54b379f706bc7e27e119..9e842386fd3e048ee17da940b8f8be8813e12ef3 100644
GIT binary patch
delta 116
zcmdmZfp6mlzJ?aY7N#xCPBYlej0}wpj4h{o&R~{-akl5oV3y!>Hg|I}aCC9BaJ6tY
kFf=l-a5ZssbF;LtFfep>Hga)two|Ynq-6W?Wz1QO0A$4;^#A|>

delta 116
zcmdmZfp6mlzJ?aY7N#xCPBYj|jf@NoOwFcy&R~{-akl5oV3y!>b}}|FbG9(BFmN?<
kHgz_!bT%+^H86HIw=i~dbaQnyv{SGlq-6W?Wz1QO08hOhkpKVy

diff --git a/pdf/Why_computers_use_binary.pdf b/pdf/Why_computers_use_binary.pdf
index e78646e73d27135cd2110d5fc220844bed2a60fe..6ddf72beedf4ac92965feb57e640f57c97b67c31 100644
GIT binary patch
delta 114
zcmZ4Vieu3$j)oS-Elidg>}E!W#s($^(;YOJWMG`_$r?<N+|I@ZX0B%DCMK>f<_2!Y
iZq7!Qjz-3=hDL^N1{Ow!POf$eHiVRH|8LBs%m@IPBpea|

delta 114
zcmZ4Vieu3$j)oS-Elidg?50LW1_q|)(;YOJWMG`_$r?<N+|HJU1_qXHW-f*nW=3WP
iu9jwo2Ck;&j;;m<W-jI~hGupOHiVRH|8LBs%m@IFTpQ8=