From 0fc4d0030a2425b63cbf1f3a060655d193f43404 Mon Sep 17 00:00:00 2001
From: thomasabishop <tactonbishop@gmail.com>
Date: Wed, 27 Apr 2022 07:00:44 +0100
Subject: [PATCH] Last Sync: 2022-04-27 07:00:44

---
 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 -> 151943 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 4fdd9fb4f98592390c061099f246b7f83c9734b8..aee752103f75ac3857d8a5d6a3ccabb4285492c7 100644
GIT binary patch
delta 2807
zcmaiqS0Eb-14a=fwoar*YSb(Vjl?cuuUa)zThuBEqDE8WhETOfYqUYtt}3;+(2Ev9
zsnXiC)T~+I-iQC~KKu{o;rq^M@44RIbNz8FeI3JBZEmEik|$CTF0TM}aYuT%$~UZQ
zGo;G?=Z<@VW%w6B!xJnci0ePPp*V_>n?^664O0V25SH!y9xV1<IQ!)E_Ph6?Gxobv
zG~}_<LgLq327as9kH_lU?z*0kL}r~UI~`jJJ|y9)?4o7qJH^~6Sv)4hv*1}ipLuj(
zNzTO~DEZc&ap*8ZdV<3BoS+02lE+}I%K#%WbtP@S+(cMOp$|sFa0q_%O)&<qTwVj<
z1jBJFgcwi5+PRySQ%?swAqD{(RS;`XwzDBfItR;*xuO`Ss0d98Ho<SKz6Bc0>nim8
z*d()VzO>2VxudP^;bKxqCN8D81tJpoRHfzkY+r@U^|xMln!3x3eVbV~1Lc+Y`*LEW
z-<=^{kfZC`Cex6+d_cd<kv5$G3J1dFL3f7;n#H|m?u~^i&lrnTxj|DifL>>7trB2i
zc5I0oWP(2z3An^KAFq-TEmyaY$Hb}s(uup#2MLM*^OTk*)spay+FqTr^w`o8wQbOL
zdIMc*Oe!PmCVc^5h@t&bAl+V)s2-hoj6QcjePEWjurO+)dyLL>q4Sf{u3&s*kT@Y;
z?N`suxfo;QRe+HK|83z2#)V$iBch}GEBPtDDT9|{qPOqXSltFxsD8BdG~o}OW4{}<
zRwGMfRGs73kviB3WVSs<#*{8ji!peqY}Sw&TB9@cQjqkb`T%i~t#qu!Yd(%O0~lk@
z*fw#*89~hA?trofa)rFM+TEX&X(70N`TDcj^$XvhmjPH=yO4W|LSGQyot6Hs77}93
zqGco}imFtVn85rzhc2Mg&{yAi-%C#5`(&DTq!;M0B0eFs0l>s^6-s<aW|{KYhP|B&
zcd*$5=9z}YyB20pf<iLUlgB{^w^fVuvhweFU??4f=7Gltu^v2?WvdjercA=X*7?4)
zW{z^gZGQ_0EZ^*gQ2NabDGU2`iwmdR7O~!7ZY)6G`c9eN6er}bb?QrEsy&m%thid7
z9`C~)NAnEXnb#6lSKSP?m7jK{wVm&bZBf=p%L{_QQuJ|IwXTg$k9y}9%&JU_?3q_Q
z^HU9vs@9}Y2xTvz(>zpDwURKD6;XruQ_L1$XC|q`UTCejKZ0Y+lb))@<w-Qf;;s$B
z24(w~CTBZ0nXRhmr4AXbIDl4ubOsLjSXj#E4;k`{5c|@()@kN5)=u>rhkUBCt5YWp
z*EyliXR;@II<gp|F6A8p9T;qO6}}=nv9U5&eP7Vi$-^#BaPqhZO;CFN%37^mNj26Y
zI2GXmR~yWY7RZYfQyOT`lAz1O9TO8f0v=5@5L1k5D~?~^P`@XlN!3crUwS9p{hape
z<Y-HS@Mop+NR5E#&<bPv=Aq_ey0r`5SNpqtn1`#h(5xLP?OD_u;Z^=TEYoYHVaz<(
z!L(oI&#OE^Gt4qpn9$YhheH6?P8EdMyzr6uzyyjua~tnNwq&o4;`qI*;^XyoJsNi<
zLl2ry9@=-8Gx+IE=1Z5_bgI(tYd>=G)#XiGJ&sg*7%Q@<TEv7rjz~+!T)-D9k?8xL
zj_6@Sie1tIqMEIA$RVRk>DVAu0W((SN&aEo%MUff_}?u2Ak4>uQ#Ni9j;ba4@g_^C
z+qWn*mEV45MOzCJ<yNMww;Ueb7Z@=fDL;Pt3|4UICr5KV($2~$zT40tqa|*ZV;JGD
zy}YDcZ^&7gsabNjT{Q}yrdVI<?MB_4GzgkLga4qEuKu9J({`1fpOKFa46>D!i|J<<
zAohNi)x=RLLYJktPTa`AoTaxraFmrxfcS+dWb!godx5-;4;t%>sBXmn9F@vCU}yIE
z{2Wv71hrL@;l0PqP*3s4*rewJPe{99?iu?yx42;BCp=rVC4m~fPC0k$+TR^^3}`!%
zyX=T)?ZW4R1IsL5GgDc8-;AfsP)!PEXBPNzA=-ojG9K#hux~vyFu4R4Dp&<?9ejYV
z*d6RYg6^U%$|7VkEl$S0o6<u_tsvEXDfXh^BaX`VcOP?7BeVT*mJP<g37Gx1;#9u&
z-oe<K1525y>`<S-OatCXCclu2^l@p?^A)DAYEzkyNL~}QJ`*>*UR~$_Bs@Gkm`pr;
z@Q5I>rSTDy@g!L`aVH{eQm#BstCYr8s6{P&K*;(QzuTtq>DVSf??)R|9JQ{o*u)hh
zH7Dz<lDU1q&50$rgWJ$*TZC`TFVr_W|BF2^pM6$&4fTdI8iyCK`u*ku)ryj2R(wF>
zz84wgt$)tKZZe=|&u3g7_$~8_B*GK1^OKNNX%aI5ASD?jjl@`(iO>4d%4$WfT)R3{
zkwzu*Gz)KJ$5KXYnsdo(nHBR}*5T*g{6lmcY12-Yf%<ts#DHDI?7xc-ZP+}tMy*S>
zY<}`Xek*-ubeZU5dYC7ho>f<9G)qO?q(u(4FP&D2RoO=`PiqtWX4F?I+Bh2sxssC~
zRUeTG0{zFWOTFM{Rc3eISB!;h2F7`NqwBZ+r0`Vb2iwGCx)ml+IQhcReL5|XV{r%X
zgSWk6R>SW-{TA*E5B0)VoSf`G&OKn+Rlo0;vk9eC=3=SXL#xvrHpBXL3p1N1w0CKT
zsk1$3fAqA+HBfrh$s2=;W`%TwoPgCM^dRB=+w=yq)q@dy-RloE%axT_t+Q^oQ^!#J
zFJkT$?1X*9&22^3xbA4Zq;o*eus~6E>N3;ixEvzWzc4rC5P^puq!3U96be<4hQh?5
zP;p6CIg<zOD3>4)hy+Sm9x5*ny(Ry@q@l?SB*0~^g_4J(bTv^5C?y319FBtPz!i`R
zx(KKyQb`f6rKk>3{l5vCRnFMM9~0ySfg|O!p=uyWg4ozF&d8j%Z)Z=i$-sW%x6Sl;
za)Ja0hdG&S0?!n_UnUh@E?nzu%NqlWaV_b2k_6+$5e3|QTzuR-`kr5LlQ|NpM1F6`
z9d0$-Y&t9mUm?NzPT%#}iga~HyIh3LCzxIZ_vYmEd2sJGidxdSxN=pB=|T)=L>2cn
zANUXnx^HP6aM{(L;F24*nvOupx3Bb?ivg~#dj?52M_BzvI8WX;PIYskYr%J;)a?*;
z1!b3-A=lrZQsVO^)&yp2E>cr2tF)Bz1j${?v3P0rgNf!R@|)C_^_fDO)2KhQU-aDc
zAdSUwYUyrdJ_v&Yzq$Z7+y%@+B0Jkc*nIyYR8F<{9)6>SG;}?lTE&6cQh5Hj-yd#q
zMzD9)#L5y77sKw1R}?{o$?Ggh;d9)V#e!DL&hAFZ8+VHG$HG`{woi(MlSR8IM&N$2
z#?hiNbr%26!P8toXK;yVBYKQ2ZXV?H4D&py2&G1L3&{JBIwh3{`3cL9wM40P*dc{Y
z#?$j+6ng1P9wLp#0V=>%l3fYd5rXagq#qPUq$$yV%HDPcfeE*6i+J^yHH?KJjJCI5
zwM*RSdeNX<uiuz9R%YEj(V<*#aD+)W{dJLaPA$_Gp6FMmh*^Y_EnlP5+egcc3fo@L
z@Wtx|PeN<os5Z4?wkt4e<(T5HmaSWSgcZq-J>#D*#>}0w>6Mq(Qi`<wc}t&Nqc>cX
pNR#g79Rb;-t+9`bpSK=6tZ2x@1X*Thx`3{O<XOeUbj);F{{j5JI^O^Q

delta 2807
zcmaiqS0EdT0zmBsRWYk5(nifnge116Dz!%tRWFnpU3QvF(3r8SX6zbOqqQkDi&9jH
zy*C#{Y^pWh{dj-(<9(c;b53(RsJR^!5JF$gFr@{wgCh`*NCziJB^XrRP7z+ap~Vm<
z_b(k5?aA;DjJ468OaRV*<=S_FOu#dGc?uNIBuQGavUXb<<$ASRmQp*3OHn)42Qux5
z&(;|x3=<GjACCiN6e=04V3Nh*7yd0d;*r&I`roaybwJ^2YR-T6_9DHU(1~DFS~XZ7
zBg6*Q%GS|ikB?6r1M?+c*VUgyw{-!u>jcv!QKLkRH)39XIroNR_jBs~J$heuwt+WT
z5^wO$n5~dVCSA-UH;y9AZzeO0iteOV#?ZL%WStJn26=lN@`y9}#z&CMFOh6ETJ~59
z#iad?<N6ExY%=$oCHLAi*{qi)Ojt*?U-EAG64=?ha-T3p4}t<C4L!!kv<*wiUnG*Z
zQEdhoQ*Y1tSS~#9wpcHFr{tS3ozSxhlKYRp5UglsF<^xcUHHIyh+(WjnSi0O7@Q&9
zo1F)|6t0>W1c~Mk%B2HSA$rps!b}>$?B<Ht2C(-uNO6%yuWYVB?|tu=lv04?moA2U
z09`+$6YE?zk#4`l{yv>Vl+GLXnnNRSB|3b<ah^T{9FTdusSXUA%oMxQ80$_7;Djwa
zxGdZcpo`dv3+Ito5F*5xP1-v@DhNn6r?YCuuySNvQCsSoAOZsv9*F0*pQwQ6>9>_J
z6~=|m0TzYMz?W^m?lHJP)DXh~mX&(|Zb%^0^LaiVp%@^a+G9F(88Y2I%j_GL&CxyX
z#j9ixt(8_|)O?;+Dbq7+R7NUD%pABBli;O0aZ>nOXU;Ep1>Eq;Pg3%alqkP0K_%0?
z<6T;ub3M30)@jH`S<*>K_3*1^<do?v*jca!z}^q2ZR&6E#U?0rIcVEOIa6~Uzo&Kk
zeR5?=UuoqA>}{_|it~=n#JU9md+MtwDL0p8LO@w4L->12%wJuU*^;ic4SO-Mr87iy
z`>CC$yvP}b=X+@+$sd5U3*U2r#)8f7XR?I2aANA@V(LYUhQ#2wK`-x+@u=0bJp6*j
zkDN*YFG1L$fb7H{QOz@(%UKWPXdVG+NpE}B=Zg#17&H6{MiVc0?{_G=pGv{^5a{6e
z{&xEN3(ULaFzblfS<+^_oEQwW!aER!ZBV?^f7`wE(f2-&++prM7wDK3LD{K=#zH`5
z6FE$3B(m!@vx$s4ovG$sS=HG5jBCCFcbP>G5IdH1gut1fiJe@37(}udOOLyspsN?c
zL~8d@rh~0wqDf})MF&MW>A?-f#1#J|$HRm2UQrr4*h=L#DGV7FW>PG>_e?P}W5oh>
z$=Oyau+lBD-2!le?rH&ejMtFk^eaD{6coQ|L<cR0f>pbnwK<+2)ov`cT%2yDS1lf&
z&YZHX^LfYiSiK}tD23a)NB+&;cliAGI;`Y{67#~IJ@hQYq@Qd#K%1@`k`vEhX~M=%
zc`NsVBBp+lTv@0c&Kg&!wBNMF#HhGPCwaCjBJy^+rv0iJCUexI3#F2UiH-IC1g?+L
zR6_O4=O7|;FOP}l@^Ob#NQHOSTx@5oyMwxMBb~(C*!_i%otaOKe$wULJctW=ec2#h
z!;@01JS<o2rzR+DOkN6_Pg|M@xCto^Sh7%47xrKz#b^G_Imef`fV1$rAy&M2e*O2S
zf`Pvd3$afX<)|-0^IzUkKz-nU=rp>U;qFE)?dZ<^eU}%TmOHJn*-UEQ6_PH177Z0&
zEs2zV`E!M}F{%2q_J~jdq1GsO=t`L`1gmKb!O|%G0|&<)wfgnF1M)Fz{JsN%6t<aI
ztbUv)NoFz(+wsQp=2R4xWsTa8IDNuU@{@<tr6n)@(~(z4lSM4HqS_g%)G(^HaTe5?
z`l@vY2CTb%q}q_SskUdFI2JHJrXoC6*1nsAb8k9N;GY(|5M_5YA^jaBbU@0P|9#HU
zJU1LJlR%tFz}owk{8>&W?7dj!-|lYU@FCBUT7S8WSSFa2b;Cg#{qWZ9xaXTyn?iTp
zmZ#q7h1Hu&^I@EajV8tSV3CSz<FTVl$nx2T^bd9Z!hQN-xCI+H%N#k3M>+lChVU#-
z8dt2@ESB)8479vgd)0hU61pW)5y4b_M7tNRo||BC@>Vjmu7_~_bY*7B7Bbs%Vu!yV
zJ=Iup@WWeOUR`SRGgVK-Y}*3i@%*HQs#CQ2=Gm@BV^Bl#tdu_nabATA8UMgQYx`uu
z`gXJ-iHc{>xy!7HiJK#j8J5>tZ)96m;4U?74x`*@rNL<zd{$}2p&St~P#kOxV#0Bv
z8Q84*S?fctA=m1=OoPyxh6qbH2OLQ-b6xj^%d`CTB;vz$rw!wz>qX<3>M}h&A)B?H
zI$Q2!f7^9ea;{nF?-t9g(+?g{Mn#=xB*PVum&o*!?VUrU&NFAfYrBq}lwzNZ9mg(;
z4`ul^1la~?UiG_%d}r32$l*UiokMQw_st0oKGiD!kMCM3NBTFvnz03f!U(B8^&4cM
zDod!EPg*dBw80&nHlnL=T&D$ZDxEyWbwzddRhG2&$k#-6T)F0i>(s9D9|=AB<gxQ8
zcvaP=wCQ;K$qscBvGsF|-gQvCtKr>Yn?slsVJ0zw+>o~zYim+$O(E9XZ)PPmMs14F
z_BICP((eekjgSl{tJM|G2N5W~(VA0d9#tP6y%iS!OTLlO)_pzF63Y;^&i>HaG1m|r
z2#Jd-W1hv*Oddo&T)LoZNxGg$0qL^vhNY63|AD18m3-;AOBw-#L7`BX3{+kM3YCyz
zgBZFw+_S?wib>v6fkFR?im?AJwe`k;>zt-q@-QW>yKpUeC=!WQLZaohQBWl%1XNj3
z2?bL?qcp_S{_lcggBUovI^&;+!Icy!^6CI7lK9|vw`fy=Z@c@#`+Wx1Douu}u5k1^
z)vh{UOEu5Tthd^H16C;g9tY%(sFS6l2Z1u6nB{Q3isbT|^2%~PnKtr8>+600`jh38
zAHK5+tLi7$9`|ZKkA`#0$_m`#;wfEo$T5nJc={h^P^><T8F-7(cFUeA_v@Cundm_c
z30-(~YTx=XqcIXzLWY0+@rK))_)&jS>=uGDJkIok%21Mh!GAUVB1a$bg-Fdjykng*
znZw9!|J^ovyrQwWf`1ex7;j%dIS9;hlrdw&Q{<>~pHQ{q=}&RfjOS*nwoj*98)QA|
z*XbO-+FZOh{*%Lb^u=bhqH2R>wno*Cbk(6lW4<m*=GzQMlRd>*@o$jC(RxqnaqBCA
z5D+Wwk1P0~ywEr-M=ZyhHRjU10IxXyBJ~^_2#ao25)S2Jz1=h<ekljsn)E^NzIfeC
z(GZB0*1Lfhc>M)zpyOWlp7V7(uWjmM6?%yXqE^AYVw_Bcg_73ra~1a0a3X2wrh8T)
zQkn5;c#}budtBjF0;?QPl>t2Ere{Z=4&F0zUzwgp*?9yIBn_j~pL{E-9U>z2cGg1A
zO$~xH-SE%i-SdqLoLDU{eh%MQc*~(uqX$0MFF-_?zg^>{=(t!F5F-5iO3cFUHE8_V
z*6H_wbtd?)uZ!+n_B*^hyTi+!wV3OC@VVf0RN>qPnf*nM5#Kccx*s+TG*Pgm(_4~^
nmuUk~0haM=m%mE1%x&WKMMZt^s+1%<00<z@CN8dRjAr{U!)r<d

diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf
index cc209624cb3b2fc52a658941da96b1d29328a1ec..bf612d91f200ef59c2ba8924df6204da3d4b73c7 100644
GIT binary patch
delta 103
zcmeD0W$o`}ZP>zSV#{o9U_Ra4mQex3*dAreD8=FIWNztfZ0cn0=3;4N;%aPeW@2Dq
a>f-9=YGLT+X5eILr(i=!$@J~6j5h!@v>DR?

delta 103
zcmeD0W$o`}ZP>zSV#{o1WHjB}mQex3*dAreD8=FI>S|<aU}9iyU}9)w=H~2XWa#8<
aXyR;S;Nt4$;^bywr(i=!$@J~6j5h!#92uhk

diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf
index 259b8d1d2569b914a2f43fff1c9983d69a6fb008..f3da18166e73ba70ee170e2b04057e3acbf2d0ad 100644
GIT binary patch
delta 97
zcmX?jl=<LM<_$}3Gn*TjPhNgo0Yq;;b^9-?lZm;Lv!kh#xtXhhg&|PX*wWI%(A3z#
W$ko!)+|13;PQiwNlF6Kpb^ri2C>;C%

delta 97
zcmX?jl=<LM<_$}3Gn*M1O<sOm0Yq;;b^9-?lYy&?v5S$Vp^1r`iKV5fk*lGlfuoa?
Xn}xZ#iGibwp`C&a0VR_;AMF4DJ&7Go

diff --git a/pdf/Atomic_and_molecular_sentences.pdf b/pdf/Atomic_and_molecular_sentences.pdf
index 34cfc08f60ed3ae902f5d6ed358a5193a630db7f..3dc7b7248cdb24b7a14fee4c3d199fb730fcf13f 100644
GIT binary patch
delta 103
zcmX^4oAu;x)`l&Nilxlv2IkXMN*NVEjP35FjEU^driR9@=7w&jrUq`t#-_%G76xV(
b7Di6auEwU8hGrH9b_zCxluUnJ!*~w>&r=&w

delta 103
zcmX^4oAu;x)`l&NilxkEMn=<BN*NVEjP35FjEU^dMvg`nu9mK*&aQ55X3mzDMy8fd
buI2`oE=FdiCKhgPb_zCxluUnJ!*~w>`A!^X

diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf
index 6aad13784c00cb70fd0105113982cb058ccede2a..4cd76389ac4e62400563b9c6d6bd65385a2ce33c 100644
GIT binary patch
delta 107
zcmdnn$+EYTWrNW#c5?%B0|R4&$(FxlVC>B?zjQdAEsZUmO$-f9O$;o|EiIibTrG`F
a42+%KfZ~=W=H_O03O0n4Oh3)c_z3`Hxg3fB

delta 107
zcmdnn$+EYTWrNW#b~7U*0|O(=$(FxlVC>B?zjQdA&72*LO<XM<oeYiLOiZ1f3|uUn
bOiYYST^uc3T%6nt?G$VXDVctnneh_<j3yn3

diff --git a/pdf/Basic_database_concepts.pdf b/pdf/Basic_database_concepts.pdf
index 4026051c51669610bff49be46f5ef14d46fbb0c7..9cc232942d19b226cef5c21a7375e7705a828f61 100644
GIT binary patch
delta 102
zcmbQ#&Niu?tziqJaXGWOf%$Z^az+IZV|!#d;{`59BNs~(Hx~m}Q#T_wBNHP7XA?Ik
c7ZXbZLrXV9a}x^-I|Up3O15V;F={XZ0DvbM(EtDd

delta 102
zcmbQ#&Niu?tziqJaXGV@k<oOsaz+IZV|!#d;{`593l|p`H%D_z0~13_M^{s417kxA
c69Z>MBNH<tCpQZVI|Up3O15V;F={XZ0DQX{xc~qF

diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf
index bfb940aaabfb01a58ee264a2bf44072f557a0aba..ecd735e0b0786908d6c49abcba12573dcf0c3e0a 100644
GIT binary patch
delta 130
zcmeBq!`}0Ty<rQZ{Zln_19JldV*_miLv;fKbxkgP-~1Gp#FA764HqjT10y2?6C<FK
z?Ws>0-|{(ISU6j{SegO_O&twgEliA@&0Snf&5g}1joplmjGgTiYzQgYKJ^P@IU@i?
C{vxsf

delta 130
zcmeBq!`}0Ty<rQZ{ZlnFBO?O?V*_miLv;fKbxkgP-~1Gp#FA764HqjT1E8dd5m3qY
z)TfMZ`J7FS%nY5)oE;s_EzI2<o!ty94GfJ<U5w0(UEItZUCithYzQgYKJ^P@IU@j0
CB_jX;

diff --git a/pdf/Biconditional_Elimination.pdf b/pdf/Biconditional_Elimination.pdf
index 5d19837c14e45ab5e5a71c236abec434c07214be..0b4d817e7ef7ceec75e6510454e9aa8c0628bd1a 100644
GIT binary patch
delta 106
zcmZqL$keovX~UF>?B)jM1_p-4lV?wqfw4F5o4B3T+0oe4*uc`&+0ww#(AdD($i>LW
b)xgxn#oW-+(#6Hi%}&9Fkdnzerk?@;XM7!`

delta 106
zcmZqL$keovX~UF>>}Ezr1_p*klV?wqfw4F5o4B3T+04<|%*Ddg$=Sup(b&k+(9Fcb
b+|<R;$=KM**u>P_$xgwBkdnzerk?@;aCRN0

diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf
index e72b47f304f41ab57cf9cd85ffe8c14c1c5f904e..dd7b27de38511c9fdafb2dec9128b56b7206e81f 100644
GIT binary patch
delta 97
zcmcaOmFePCrVU9g%;pB>lT%w1K=kI07JpVJM?)7U17~AL6AKGtCrco0YH4X?XlP<&
UY35>PV(4b4U_(I3WXY}_09%t8_y7O^

delta 97
zcmcaOmFePCrVU9g%w|SLlT%w1K=kI07JpVJBQpbY3rlAM11C#YHzQ+LCudU&S2q_Y
WBNrDJ14nZ=I|Um8N+wHo?EnC9BO2HM

diff --git a/pdf/Binary_arithmetic.pdf b/pdf/Binary_arithmetic.pdf
index 54d840f874e6bde8d02ddf76c3397a3485c2a5e3..91649ff3e5b0f15b0e5669e97b3984f110c23ca6 100644
GIT binary patch
delta 136
zcmX>%iSyhf&W0AoEldqITIL4k1_s8)+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HE
zP$k<}*)VZ&I~$o9TRK~~7@3-wnOV3x8#)=AS(>>SnVLDfnwmQsJK8DO5K^-JyE{`j
FBLHBAA>IH0

delta 136
zcmX>%iSyhf&W0AoEldqIT4qK@1_s7P+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTe
zlI^Q(n7Fu|O-)SA4ISMqj4g~EU4bf`jZIC>O)Q;&OfzF6XG1#$8$wF9e|KjJX9NIA
Co*_B_

diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf
index 6863e44bdc33e0b056bb1f96e3fec60c604c2f0b..2cea8ffbe62146937e8b688716e9472a500821aa 100644
GIT binary patch
delta 112
zcmZ4TOmxXJ(S{br7N!>F7M3lnVQI|f2IkWv(^wTijO{gPteV`;2IiLL#!k+bW-cZM
kW`-`#Zca{SmWFPo#x714ZWe}ab_zCxlx%-d$ZEp~0Qxo^$^ZZW

delta 112
zcmZ4TOmxXJ(S{br7N!>F7M3lnVQI`}Mn=;k(^wTijO{gPteV`;<|b}Nt|q2Vrlv-2
kZcdISrlzLm25y!n<|aml&d!F$b_zCxlx%-d$ZEp~0PCO~N&o-=

diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf
index 2f54a9f275a6d3b866905e36dc5a2233d00fd9a1..d5e12670042b1d5d812a2c093347e168f3012293 100644
GIT binary patch
delta 129
zcmey=&-|&MdBeX0TIL4k1_s8a+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HEP$io+
y4(?}lHgR?|Ha0SKG<9(?Gc>cXFf?#BG<7vKax-!@aWZx^u~V=iq-3(z@e=?*$|95i

delta 129
zcmey=&-|&MdBeX0T4qK@1_s6^+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTelFb?i
x_p>^iT9~^UIXXF6n!1`9nwh$~xjC7*8ai7T7?>EFIvcy$DcBHFGFj{R2>?!!BJuzL

diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf
index 02dcb4a2b05bf2fdb644c663767cd24b7d76a7e8..9532f5d7a928291b68cf424f8659ee752f4e9c7f 100644
GIT binary patch
delta 125
zcmZo}Wo~X|-r&DS&D_A;z`)Qz+rUuWz(8G-OW!v?#U-&MRYAkW%E-XT$iT!1sAO~L
y9!XYb6B8F#14}0(M`IUL3quog0~bSAOH)G^XA=WQXA?&^I|Um;N+w@CxCsF5q#%m`

delta 125
zcmZo}Wo~X|-r&DS&CJNiz`)Qz+rUuWz(8G-OW!v?#U-&MRYAkW%E$mHX<`Iavbl7R
xB&)NjsiUijp^2HBlc~9}xtoExi=mN;v7?2No2jv}qp^{lf(;=hlP@0J1OVRxAQJ!p

diff --git a/pdf/Conditional_Elimination.pdf b/pdf/Conditional_Elimination.pdf
index 15e2b2faefbb3bc70a7aaae9fc7173ddd5ae79fb..93ce54366a6c36d8cf0b6c9fea8151475175a17b 100644
GIT binary patch
delta 106
zcmaEGk?FxjrVXDLvYQ*28yFaxO#Zb{2FBhjyXZKpv!k1tlZ&IVtEro_ldGALp{1L#
bxv{yMiHoI)nTeUJp`C&aAtjU5SL_4;6xklz

delta 106
zcmaEGk?FxjrVXDLvYQzh85kHEPyV$~2FBhjyXZKpv$Lz4p^2r7o2!9^nX{#dsfC59
bp^>wJk%@(YiGhoyshxriAtjU5SL_4;`Yj$W

diff --git a/pdf/Conditional_Introduction.pdf b/pdf/Conditional_Introduction.pdf
index 90bd2a15fac7ccc56d3128f666fbe43a2fde242f..7c7c2f5847fd0a13cb7afdd40ab8307eff0e8871 100644
GIT binary patch
delta 103
zcmeA=!qRnwrC|%>c1dP)1M}&-BpDSzjO}+N8M)b=EewoIj4VxEOij$(jGPTzElez(
bjLnT*O-xN4&7CdW>=bMWDVeUV$ao(Bob(zQ

delta 103
zcmeA=!qRnwrC|%>c1dP4BctiNBpDSzjO}+N8M)b=O`V*~%*>okO&wia4b6=#jGfKR
bT}@n#EsQM844utg>=bMWDVeUV$ao(Bsoxq;

diff --git a/pdf/Conjunction_Elimination.pdf b/pdf/Conjunction_Elimination.pdf
index 9971b101c8e6d260dea77457d591f58067871dd4..7527d56ca58473181f22f8d560235bd024204d2f 100644
GIT binary patch
delta 98
zcmX^6nd$6jrVT4LF`FBhPhP!A0Yq;;w~2+#+1${=%+<oxz}3ve&BDdNz{%X$&B)os
X+|0?)(9p=l)K0;Mkdn!wJ9hv88dw}w

delta 98
zcmX^6nd$6jrVT4LF`F3~O<ui80Yq;;w~2+#*}}ry*uvb@%+1ik%)-Ulz`(-Qz{JGD
X$kNTy+1$<2+)lxUkdn!wJ9hv85YQY-

diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf
index 8089bd93cd18888eadb0eecd33a344d0eb289fbe..bd049223369e4e5cacf4ec4c115fa25ba608515a 100644
GIT binary patch
delta 106
zcmbR6jA_C%rVWm3*v$>h4Gav;CVQ-rfw4DduUW<FY~gC)WNvI=YUX5NXzFNYX5{Q@
a=;-3+V(jSTW@usPW~X37NXg`gO*;T=4IN?t

delta 106
zcmbR6jA_C%rVWm3*v*WL3=9lSCwr`sfw4DduUW<F>|*F>Wa8pt?(Al2YGUc)>gHtV
a>gwd`YV7K4U}k9OWT#+5NXg`gO*;UADjnJY

diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf
index 3f2fcc297d804d8a81226bbad97c2eccb5851f15..c05a567b48daa708e65a9c1a9660af1fd91ac190 100644
GIT binary patch
delta 124
zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaLNd(e2IkX6Ww;eUjO`XO+&{UU
vEnSSv9gW=#O`ToLU7cJkElrHgEzHdgolOmmfx=F93O0n4Y%kH^)?x$zKEEG0

delta 124
zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaLNd%|Mn=;`Ww;eUjO`XO+&{UU
w-Q3)aT@6hfT}_?MoD7VOOpFXo+$@cqoXpLQo!l%f>=bMWDcN44!L7vz07F0@UH||9

diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf
index 4cc354737728c0225c9bd2b82447ce0311452fb5..4ee2771202d5d68a0a8f929e5f0b9f6b4c845371 100644
GIT binary patch
delta 98
zcmaEImHEk4<_&fan9U8$Cp$h+0MVOM9>j7wySbRVnp(ISxVbo6IGdU}TbMdq8k)PB
W8(W&28JRd4+9}u&QZkw4)dK(vjvTT8

delta 98
zcmaEImHEk4<_&fan9YogCObY*0MVOM9>j7w8#y_fSh%<uxf;0|ySci!x)?f}nwpuJ
WyE;0V8W_8o+9}u&QZkw4)dK(zUmWxR

diff --git a/pdf/Disjunction_Elimination.pdf b/pdf/Disjunction_Elimination.pdf
index 8a742e678342cb334d8f8eaf100d0e7ae680c6c4..45637e6433ea3730e1e25100fa625df7452d728e 100644
GIT binary patch
delta 111
zcmex=jP?I9)`l&NyQ1064a^M;3@xS~jAoR9akf8+W=v;uHgGX^c62o}GqiLxcX4xa
ea&<8@HgvIcbvAGWG8~=l6l@47nckPg_z?h0FCRAm

delta 111
zcmex=jP?I9)`l&NyQ106jEoEn49%w>jAoR9akf8+W=v;uHaE0zwlFs|GIuq0Gcm9<
fwlsA$H?c4=cCj=ua&<9wvQw}jq-1(u65~ezCOsZ&

diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf
index b548bb74bc60a5a1d75cf591e3a1a70ebce56a39..cc502903ae2b78aadd4937ea7035ce69970b50e0 100644
GIT binary patch
delta 98
zcmX@IiuuSY<_(9=Fq<2gPd<7^0Yq<pamJC|+04k%$;80S)zHG($jQ;!!raKj#Ld{r
Xz|!2n(Z#~m!cM`4kdnzcS8f0RCg>ej

delta 98
zcmX@IiuuSY<_(9=Fq;_}O+I=?0Yq<pamJC|*~!?^+|a_(!qUvm(9F=q$;8#f(%9A6
X&CJ}u)YaA0)K0;MkdnzcS8f0RC+Qtz

diff --git a/pdf/HTTP_request_types.pdf b/pdf/HTTP_request_types.pdf
index 3f7e333723dd5f8ffbcba00fa5e188f1a05d7d53..499fd1c33cc8236976e4346b7bfc14c9a0481b54 100644
GIT binary patch
delta 106
zcmZ4cmTB!<rVYo}v6~y18yFavPd>L!2FBj}aos#NXA37Y7ZXP}S3_r0BMWn5Lt{%L
bBNtakCj%FAXBS5^BRd5fLP{oI+IkxR7?K~`

delta 106
zcmZ4cmTB!<rVYo}v6~qg85kItO+L3y2FBj}aos#NXIEz<Q&Up|6BlP!6GszcLpK*A
bQx`)+H%licLnlW=Gdl$vLP{oI+IkxR5a=JZ

diff --git a/pdf/Indeterminacy.pdf b/pdf/Indeterminacy.pdf
index 5bfa03c0130e244bd3a74f663cab5fcb8e87de2d..e08892eedde4e472e743c206531e427a405d9db6 100644
GIT binary patch
delta 104
zcmbRCo^9HDwuUW?W^0(u4a}!ou3=OFF}BC7VSLZ&>||l!YGP(+W?<^(YG!QiY-Zr*
c<YH`Y>}q6c>gecdVy9q3NXhoTZHyd@07$1CBLDyZ

delta 104
zcmbRCo^9HDwuUW?W^0(ujEtsRu3=OFF}BC7VSLZ&Z0_RdVrFP;<YM4zWa4P);^ORV
c?CR`dY+>%|<YH-PXs2L9NXhoTZHyd@09ub6lK=n!

diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf
index d6bb2849c1f94df47d8be857c600b5be206be6fa..ee9af8cd06acd82533772873a261b5e135e72ccf 100644
GIT binary patch
delta 98
zcmZ2BjcM65rVYj|%;pB>lg(NbK=kIwmb0wRuBI*q25vyY+{xV1$;8Ce$i&3S#L>*s
U!r0i-(9qmY!G@5M$(dby0Za%Q9{>OV

delta 98
zcmZ2BjcM65rVYj|%w|SLlg(NbK=kIwmb0wR&Su7D76#_djt0&q#^y%mmM#WHKmh|&
V6E{aUa~ESf1sg(2CTDi-1pr1N8Z7_-

diff --git a/pdf/Logic_circuits.pdf b/pdf/Logic_circuits.pdf
index 3e9b89019da33457f4c3851a88d66f7b0088e8f3..7f4010d007d5028ed7bb4e3aa9b9224f45c777bd 100644
GIT binary patch
delta 125
zcmex<p7Z;8&W0AoElj7QnavH%r=N>vQUEcwe~f0T;|er&G<0!wHn6aCb#!$$HZyc~
wHgU9YHaB#%G%|HEuynOkupy`<mP_9!H7~s+L&3<{a5|$Kljio9X-s^K0A8&k{r~^~

delta 125
zcmex<p7Z;8&W0AoElj7Qnazxhrk{&uQUEcwe~f0T;|er!GIcUAGjlbva5Ob_wy-ob
ww{UcEG;?)wbhWfFGc>nTupy`<mP_9!H7~s+L&3<{a5|$Kljio9X-s^K07`ixz5oCK

diff --git a/pdf/Logic_gates.pdf b/pdf/Logic_gates.pdf
index 5ba4e8d3e9ea78e8736d949184393cf2580415c5..6d31daa217fe8233e32427bd91a6af969ffba649 100644
GIT binary patch
delta 114
zcmaFyM&iXAiG~)&7N!>F7M2#)Eo_Av%;pB>(@Qki6hMsa(>2)Kxt*O1oSj{aUChi~
moE_cFo!pGfjLn=33=G{IEzC^Z42<j)YzQgYu4uyM&IAB!haI#4

delta 114
zcmaFyM&iXAiG~)&7N!>F7M2#)Eo_Av%w|SL(@Qki6hMsa(>2)Kxt(3j%?yl;O$^N(
mT}>R#%njYlP2C)wj2$hEU7d`Lj4bUGYzQgYu4uyM&IABZV;w*M

diff --git a/pdf/Logical_possibility_and_necessity.pdf b/pdf/Logical_possibility_and_necessity.pdf
index 428616e94a0270b7a6de3632ec10a5a39caf9840..70d683d48901ebcd68b75423fe2d0a874325c9f7 100644
GIT binary patch
delta 134
zcmdnJpMCd!_J%Et{#Ufj4a^M;jEuAm4Al(`)HS*Eee+XX5=&AQG+eBVfD#5KMo=Z&
zE3YuV=X7>8G_Y_qbg^)@bTu_MvM@C<GjcO<b2YFuHa9dgGIX+2upy*m`|5j)0*nB?
C-6Ht_

delta 134
zcmdnJpMCd!_J%Et{#UfjjEoEnj10964Al(`)HS*Eee+XX5=&AQG+eBV41kg*Mo=Z&
zE3YuV=X7>9u`sZ3HFh*IaWQr>Ffnv9F?BODcQki$G&3`FHgL65upy*m`|5j)0*nB_
CJ|i;#

diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf
index 30b2e4058b1ac54d3d543f6e845999f7d1a96f63..8ec4377a7a45b0c029be3a4ec2952af51045a21f 100644
GIT binary patch
delta 125
zcmbRBgK^dm#tjB#YUT#!1_s6!+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HEKqZ^Q
y${w&dyO^4}IyxE~o0u897(2O|nmQS}IGGxn8aSDoJ2_f7*(ul%QZl)+dLaO3Qy~%n

delta 125
zcmbRBgK^dm#tjB#YGy`81_s6!+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTWlFead
x4_KT{4Gc|9Tn$|vT^wDF4PA^(EKMwo-JFb^Or2a@3@nZ86l@47nOs@D5CC0dAm{)9

diff --git a/pdf/Morphology.pdf b/pdf/Morphology.pdf
index 49242dbd9ffbbd9a35d55db42f3ab18750b105bf..270904bcd2ac7864596728d9edddd4baeca41ddb 100644
GIT binary patch
delta 111
zcmex=o8|v)mWC~iGgaBm4a^M;3=O6)P-T>Xakd{;WmIQ(Ha2iJbapg$voJF;H+FM#
fa<njXHMVeaHZXNIvamF9u~V=iq-46TF5@Kt*lryJ

delta 111
zcmex=o8|v)mWC~iGgaBmjEoEn3@oQFP-T>Xakd{;WmIQ(ws13cc5`#JG_r6sv2ZhR
fF*h_eGjX;sG&8hxak8{Dv{SGlq-46TF5@Kt-me_~

diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf
index 0c1ca9a615fb8d0b328d911f1e301539c9caf66a..a44e6dec68979d003b7aadcf3955704225dd2776 100644
GIT binary patch
delta 106
zcmdmUn`zH&rVXE$v6~y18yFZFPyV$`2FBhjyL>IHvx%#*v#GI@fuVu1nVGAJrK5q1
bxv{aMv9YC*v$?s8k)47KAtjS}*RBTu*2EpH

delta 106
zcmdmUn`zH&rVXE$v6~qg85kHDP5!k^2FBhjyL>IHvw^v>xrK?NiJ_sPo1vqlxvP_j
bk%_CNk(rBuo3XjGxt)RyAtjS}*RBTu)wUhW

diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf
index b1979731bf75845a5b35a78969fba837e79de496..5c6642167491f862a9a7dce912ad89a23fe93766 100644
GIT binary patch
delta 98
zcmX?pkLmb5rVZRHnavH%C-bdT0MVNbS8A|2n>xFho0%B88akRf8Mv95nHjk_IvJQ*
Wn7A1_8@ZVn*(ul%QZjkYy43)5A{y`j

delta 98
zcmX?pkLmb5rVZRHnazxhCiAUS0MVNbS8A|2JDR%~xjLFVS~?oKxSF{bS-4nQS{j-d
WJ6pIox>%Yz*(ul%QZjkYy43)NIvaEV

diff --git a/pdf/Object_language_and_meta-language.pdf b/pdf/Object_language_and_meta-language.pdf
index aa9e1c8513c92d7fbeba5eb7ab5ed0851cd12bce..f7fc823f520e91b66002a7fe2c1144a512260de3 100644
GIT binary patch
delta 133
zcmeBZ=IChVXxPGN{Y}f<z}&#V$VA(~P~E^lU6V`SH$TNCu_RSN!^O(Tz{tqJ#0aWn
zd+ImFE1b^GhR!Z#hE8rSCN55nE|zYtW(F=MX0B!yCO}aqXGc2)8$wF9)-drf0svFB
BA|3z$

delta 133
zcmeBZ=IChVXxPGN{Y}fv$jHFJ$XMIJP~E^lU6V`SH$TNCu_RSN!^O(T04Ql<1XZ#<
z^&8_APG=WKQ)ef0BXbi+S0@8AOE(K=S2H(POE+^vLsJuD11CEL8$wF9)-drf0sulv
BA*=uZ

diff --git a/pdf/Package_management_in_Arch.pdf b/pdf/Package_management_in_Arch.pdf
index 4d3d30da5148a58e9844347eef9f23540d0804c9..623ecce5b1fc1544f2dfd8b4ff43895f729cee44 100644
GIT binary patch
delta 133
zcmbQbnq}&0mWC~iJ-k}x2Id9^hKAY(hUx|e>Y7~ozWFIGi6yBD8ZK5w21Z5(CPq*t
z+qdyDo@H}3Gcz|fH+FNiw6JtGcQSLeFgACybaFH^uyi$YGcj_pQ?MbVWco1?#`6I3
CS0S|k

delta 133
zcmbQbnq}&0mWC~iJ-k|GMn(n(h6dUOhUx|e>Y7~ozWFIGi6yBD8ZK5w20%#@BdC(?
z+jtqzvN=1s7#cdexSG0|xj7k|x)_?cI2t(`J2{(Lnpqedm^s@i*bq`O{g?>jc>wvs
BA<F;&

diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf
index 6beb86befc20d519ba2ec5a626e1883817e3206a..9b2f13e0cd84677a2365718ad50f5f58ca27be78 100644
GIT binary patch
delta 103
zcmZ4Tm1W6SmWC~iD~*`V4a}#nF=A8zF}9yKVm!>|Y;0)mYH8{0YGQ8cW@=(-VPR}&
bVPxQ9?&jj?Wa{MVVy9q3NXhi8mW<~CEAJeq

delta 103
zcmZ4Tm1W6SmWC~iD~*`VjEttQF=A8zF}9yKVm!>|>}F|V>}+UY>SW+*;B4yT>}q6g
bWaen(;%01UY-(X_Y^PvDNXhi8mW<~CAZ;8k

diff --git a/pdf/Queue.pdf b/pdf/Queue.pdf
index be431356bf42fe50993335a621a34f3a7071ec2c..b7092df29807e1dca3c7ed2270f05ac5020117c7 100644
GIT binary patch
delta 2248
zcmV;(2sihDw+Vr_39xAf5HLA7Wj8W1V`elqHaTKqWP^DIhj|78w|NEvcSt5TFgGwT
zFf=PLF()uECn*XqO>bmGVRU66C`39kFfuYQG%`0ZH<uPq0?`36m%%&&D7O$$0<Zyp
zvcd`>^e;mGONiakz!yLJi2Qz4rpxMrY@7ZZ@kgvKSL7u|4zln0G<*4AzZG4B^X~lz
z<c^wH;}C>+A`Dxu7K@W@oRQ}=#!h77u49danM9OB!cGhl^cGqpXYsrptBohLEC#HH
z2q>c@I7H?oP4N9%X!_cxXw%n}kJN{MG=F#W`Aaqp(vQwzbvJ@YPLH#ieMH(E90KL+
zN6k(~*X5Ivn+YY8yJXbbb0uyar6FrTNxNtw;`nyFCYdBUz6GKK6dkSZO+?X8Xq8`%
z0Co~(Z-wn(DeqJW4%WrLCvul0cRoed;NO12y4a)UlhA^m->6wplMQ<<LrzV9)u*KW
zm#P!k(6pqc?lgFzMPG8(k?X6qdUDxmop!WUH;`SjYuTx8$>-D*L#=~(@{TL-j7+;J
zTGqN#vmJ-EBi`7ryW8WUF308d5YJZgv{Skst9C~pt+f+(GWr<fi}%m}t^WT%(E2AQ
z{zs^zXqzM~v`OqHQPajYMu~}kn$XEf+@pn_OEfB-NG2H5+D=r{5=Vaw1?VJd`ZRXi
z|3=!kL0`X(bu^JJ1)nsu(h(&R6O_=f7)50qqmR-OZ6Y*mOHj<}$bc_~Bs>ukk|vQ8
zRM5gdh{c(R#2qn)zB3B!0U}2nPJ=g0ET!}0V1;i{Tu)rj=cecF2^=kdrNup#C>`6r
zLe&N2$u^P>)CLbvHNrOUAr_5X$4ledlHWS^t&fZ!L%f|PNt-0(f+WYtJ=7=|C)<ga
z97Jmql15n*J3!$CBn(P29B72G9fQ-F@G_26`M!%1nvf1PPI*|g=c9?G!~r05Lu*hE
z5=N>+ORdq;$$Cs1@{RI;R*3MFKDUqymc=1Ns^xB|3AKTeM7H5r^M-L9hb;E}mW%cy
zpS!`5#-4~Mp(QI6ea%p&Mrha6(DPrqmc!>rXo+Jm=D9<k#%}wsdOGZ-R$Cv_K*1`u
zf-=P_PxVP{9IX|ctcb%WH1S1-GLeu?8fn5Qk)|1MXkNC_9#&L;v)a6V;*06js=Dc8
zDuhY(+R>&L1Y^;Mz|*wWT_S{jBz!13jt0O$Rckn!P{c#-z!CX%9{CNR2}o}=I1u`w
z^)sLJjsa9HA7s_E%rEMq4At|q^qdX|$4AF+p8fLV>C56gT}m<DFBUT}EYf+!bl}|g
z=Yp|zhK*H1r)4aER*CW)=Yzd!O6LQUBsgZI7Z0<1e%8Fwgfupm2^2l5(?verTh135
z6F3#t+4&nN!N|Kt2v$SKSz1!zy~9&JEzZwVKI0ib&H0?4@tiOCk{A3N|F$aXY>}PT
zp;wXuUh<09e6<^_KFl$bj{4`8o4|PZ;O&dU{SFLu9T=8>z;M`BV(Y=MJusXefI+Xf
z0YfBP!Pw)k2@nrP&c6bO^9G5loR06}^oLjbFFt(eWx&g9zFMT^7QZ7wNg(Lw9P(TB
z{1$z$#oA}F#bML;H<Ckt@9{(ai2uQl_;db}AM;m0;0=Gv-vfuw{4>siSq(s@#iCgD
zGlid?uG8gzOAo4InehvLfm|tO*JV((NUJkITK`$_6<;l9Sy@esGUMO*pZo{^$^RN)
zZSR8hi$C_CKY9$TpBBsFNqzlti!~cZf;KCBu|<^h5=;!B_OD%nDQUOh?V_!Cx4D&l
zTcrztIH#X`va(xqmvbz+i{D32UK~ET-}rrFip3Itj^n^?>DNOc&D!yJxXr|aZAK||
z_e8tTUr<7o=`<vR?}cQb?$@mD$moZGHtW`aWk05i^qg?>h_y+Fbfce7yawM3^1U3)
zDmtWwyvxq>pchb6n(@D~vgl(T%e!Fy_~`KX@xwLd0huk3Ck^Dz=h}Y``It8J8$mzv
zYq$@8<0f(iu=_Sxj;nV44G_6vd%wS&7PEXghne~5X+}RfW)=IWY}gr4yENg#2erTU
zuL>2m;jp(bZQ8H}gD5tBOTjjQQnPWTiy;b!CN<iX)W#as3*SRY%I^Uoq~9UZoHjaC
zw|=jC(ckTGT;T6f$@Fs(Md2VFQBe1Hsr9~p7BKFk`{fFJd&nZ?x`n``ihGOU<W?BV
z$TU0i$>l6XUaUUX{*{PGi2bz6{O@>MtB^r*(<Olat@1E0tD3TjDL3Lz(&k0d#`iX#
z)n^smBY4)<P`VKCgjdDuB|<bq?rix=UT5dF0%5~WvuUS^x7jIgw$t3*&TGEu8>YH{
zOOV>WskFXZQ`OC;+Pj;&^^-U>G!~aIm0K{4+|7o%yBoUw8@6Go+O#x^29U;UOOu-|
zP3~^#)}4RD&`Zln4`VOahT0nqHR8XTrr2uww$fW`YrJWzzGUkaA5yw0spzU?1<R22
zkMmj8UhsrliH$w&XjL!rCCPZJ=uXgoPeVr0MWKIb)wPm2ws5)(^@DqKJ?eYSEsJTS
zo|oD8R^L!kw35nQDfx`<DVoU}Nva0m$<9GB9Us?eS?@A0%XZQ+K1!=>oLA#?T;X#C
zO?kQ)&(a$2b-9|>t1=s>%h~w6sOoW*pXZ3qxGspl#wTc(u8F;_(|itIx&)DbGEgo6
zD81X>tJ<Z@WB=a2H<3}mmp{P_^@g#1&XY~2`oHq4aK*E;s<QDEIack`74?SVzCe$&
zQyju>LfnnM&aNw@k+O7ad&QUK9xz=L^HIpN?uNEaqICehW5%@6oo7#xvHW$Ft@G{Z
zB3tfxH&~a*e*+7P5_bw^Ze(+puUP_TLqS3{H8e9aLN`J-H#0CXGC@HyL_sn`H8ept
zLpL!-GCm+YK|(b(G&3?nH$pZyGcYkSK|wM^K{7)%G(k5*H!(&smswf@Ujnktm%3U4
Wngi7pke63m0wD-B3MC~)PeuxMV`9qy

delta 2248
zcmV;(2sihEw+Vo^39xAf5M?)JWMnWfWoBhFWH~rBWrKMJhj|78w|NEvcSt5SGBPkQ
zFf=PLF()uECn*XqO>bmGVRU66C`39kFfuYQG%_|aGM5%l0?`35m%%&&D7O$$0<Zyp
zGH8W}ei8CtLhOzPzWCWk<oByGT~-%l+w|v%KVo&cA}=v=kbTdm*~<s}t>_w@cke$S
zchtlhhakigVc2rDSe$I*j6A0?b|MpZ9cv`aB%&M=c4CmAx6m3ni|6fFZ9Ji6F<?DJ
zKp7>$Au=avg74Qt)7L&lo4%%eq&}p7`MaafU$SYCesm72yAeckdYsklBhu#J5GZFq
zYIZWZE}xX#OemS$C8O4!D{<>64Os(9+C>u)$G77($t2P7Ef5``=xB9sB8q-OtNd~V
zu#+fzD{Kc#d8a~furB^Rk-H?h^C_|h|MnBs#U3@EgckJtM$L+vY}jiVa%!r7J|*qH
zRGq+vrX@9Xr@;#?`jWGbTwkr#lgm!)w4<%Mf$Wl9%T9GmKBuM_Y8}jzcU*aAWZF&9
zveuoN?KrF*@y34L-5wWpIWDh<c($6SoznGKwLAJ~t(~}&(Z?8Hynp_0_5c5Y);~G%
zKSCWv+azJ3O=35Rnl`pEN=(#$gicQ49xe1-qEYEYGQpVEcA}b=IQnBKKqpbtr?K1q
zH`2Zh`uc6Gqls)O_@tqgjwq3spoE6SC@SL^eUz4H6QN;Sf?`%j27ECj;fautG>M#`
zf)@TkEY3tE?uaq;ol#&95IN#-8oXg*DV-+=D}0OMdg6LMH$87p;Akm-E$*>I>Dcxa
zsxBZ;wvlw8Hh6fd5w>{`v1sHvUK-by{MNB=ePsL?;_Wm^+9V+tBsoUzp+><t*-pIV
zAX=M{G|HOT0SYG|VNjCcKqHLp7@XFGmvN-Z_g$3GgmkEJ%EO{PA5APJ4gjGWT7!C!
zFj5^_YK@jo)??a`Z<M!xLWHOExrJP?EDj-3Eq6mrs11}PvJJ<YH;n5zWU=qJT(lqg
z+zpmA_C!PpEm@)HYlbp4Lc6Ahp8wLd96m=vOB{nS&mH<ScH4i|(_t^Q+WMFV3RbZd
zlqptus!wX;XszI6MI1h%i7zsgiG*y@NE1$pG|hNJ^RkWhu%eoO)#mjRUreV~)lDB$
zAxx^*jyAm@7>hmxo~E_#5+U>>;X~1JGyn#wTEo$VA|7%Fj>xa`$Zr5mKzgIWfzS`F
zpZTPB44`WHAgiWjeo+@?sGgst=X5|gK01E$?3X7`Ul!--Qi}0@v6z8jk<Kfo1LwX!
z7mT$tY^)MGEn~5NN|fg~AM90AIv<!M!7(Gfc$nq$v*wj1q_MF~py*MZF7oN#a=yrz
zz^Sm#&fh=@M&30-uo^nf(vk}A9iH-Oaekii8PE7>&gcA$=X}AJyx`yXw^dPRi|n)x
zy^<90l2^RutKDGrVUC$})IYb}1jfS$Z(khlcVMXNz_0{=hQqcJTMvfqf#LK340^o{
z7$VsU#vXr7fOs%+{uMZ!H%MINbbJ@5KfKz1@!>-+172qH)gmpo_#FvK0zp6Lkl(83
zx9EE<);^0Z4x7HeksSJak00_!{11M_pYxaen7;x7Z}?mO9yomFpK%t<Y5+1V7R9ok
zDg5+woi1O0dQcV1j9>5z<VrESE`zE?TAcyX`p<%|_-Z-J%4%Aa8UN1z<UjaN{?`C&
zdl#%<{IUQ1(PLo!v{)8T>g$(Vtl2mcv{~VcEuy5CU}6BZf9(=XNxKDa7j4D6&8_U)
zDqR4?IsM#|mED@VoMXvd{62c};_%7+#_t<bES7M890ztwza9!{){e)+Z6+RUGfJtu
zC)$1ff)c7sry&`9FC+tXzh-quMn4R+S+@o(`!QXl=Y*R_tW7$k8~uFZHTYhT@8w`t
z(IGYDU3Q)ay?~n1jQ^FDMIZB6-Uai=M~BCcAFeSE$ZUZ;X&`q#*Zy<J$F!l}2>Ov<
z!+jWkH<2rV-M7JVT(#?OfXEfw`~Bs#nB~hk%*;<uGy2gntJp_n!_I)(r3n{4sQtBn
zRj9BHhrNYq(}pb=M6vN(3bqN9nvE-63{f~VsnM>aHrA+K_#R49eh&yC{SJ}lw9%ou
z^?Tim{%(ik0)LN6rk{%_3J2+kg1Wy;t@pKmfN>w)FIV8(Ll!C5Ed(Z2+*=GMx58LP
zrrDWKE@vt7V)eQ9uS7&b?59=cf5+Qeg$$CLE&=>+m4|s*)s#(4xe<SoHZPJkzPI_T
zKC9>+!Lzo8(uII0yeeKV5uzD#XUkXeIy<)&2pe{qO*>7z%}#l<o#yU#Uh_@gFx6du
zg4Fg+rS;vKs%|#b-rdx#pTwb|vABe(+=6N3ZZ_22-O%mdunkMqrlnCdfHYoPn%rz@
za(7F&?))2uURq9i7<;)k)ZS>Q5&zXR#a7d|mEKxg<4s%jC0nofkkU;_MOP&&Sca^B
zoX@KEf+yTcZ0u=At9p?yNyb}6cY=O@8ZwG53jIr~u9eKOh0|rIAKatsQQvEBSxh7K
zyv)A0`i7FCl~nFZ$!By=(M;Y*QZ)cib`FZ^__$8XdY5@wwv&$WQCel=yc(zD3ZE-z
z%G1SomezQ$%hj}AmDxC5&c^3ORgbIuJV$iKbwT_!K0&*5P3(1@=5z4UC5V)NfpP&r
z>D~5T)h=Bg`}h96iHrii{0U~LH;nCbo@_eR|CL{bE1sQIm5ry!v1*sDs5cb%1$vyF
z;t+Nd;%@YHc3mNjl%-qSE50oEfa#)`k3ybxH?(aMtpn&CGp3F1JbQ|a<*%!3oo`1M
z*>caj!Ma5L8+Y9jatdW`WOH<vu~`CULqa)2H#j&jMm0k<GeSl-L_{}2G&M0nGe$u+
zGdV#+F+LzXLODY>I5;pyHA6KsLPj=3L^nb-H8DXmMnN_+IYC1)ms(l^UjnMpm%Ca5
Wngi1nkC#|m0wD-A3MC~)Peuxu;YytV

diff --git a/pdf/RESTful_APIs.pdf b/pdf/RESTful_APIs.pdf
index 3315dc3b696b8afb360768e69bd89cdeba01f006..7d4a974c5802b88decbbb448a3894f2ae4114631 100644
GIT binary patch
delta 134
zcmbQRi*3R#wuUW?4<=}t8<-my7+7c<7^)i>sB3cR`{t*(B$lKqXt-Dz85kKEm>5Bo
zZ0DNDxQ@%&$koE!#nQ>m+``$&(Zbx&*xAC;(AeC?$<*A;%*EBwPQiwdlI_1|Gm0_-
E0Da>km;e9(

delta 134
zcmbQRi*3R#wuUW?4<=}t85tQE7?^7t7^)i>sB3cR`{t*(B$lKqXt-Dz82}|sjG#)k
zb4_Gi$K`D1<YZ=K;%s7S?r34^Y-VBTYHaD|WbA6}=4@<gX=-7oU_(gB_TRG^MHvBd
C;38rG

diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf
index 0f9f405c93e0e9087c6db95f02068cc85b9ad166..473d8c0637e3e336f697f5bffa9d02e8b8ff20a7 100644
GIT binary patch
delta 114
zcmZ4RfNQ}6u7(!IElgz#+06~i4GauSr`IlIl7VryFIdQQn#bA2*~G-s%+1u$$=Jlu
j+1$y=*u~P(+0D__%)-sdz`(^$!G@5M?d#St6)^$;kJcZ&

delta 114
zcmZ4RfNQ}6u7(!IElgz#+0BfM3=9lRrq?cHl7VryFIdQQn#bAM%+S=;$img!+0xX>
j$-u(R+}Xv&($Lby#ni>sz{tc-!G@5M?d#St6)^$;ib)@q

diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf
index e3cd8ee5ede3c9d749b4b1c5b3a149178ea9e6d4..bba31ffff0bd38aad421834045da5d4b240087af 100644
GIT binary patch
delta 98
zcmeBMz}&Zhc?0`NW^)7c$y_HDK=fwalh0Y54V;Wk%#94)oGe@%jg2fV3>_^j4NZ*A
WEey=uEDTIs?G$VXDVZF8emekM=Ngv)

delta 98
zcmeBMz}&Zhc?0`NW-}wB$y_HDK=fwalh0Y5EuAc!TwIOaoLmi^oJ=eX4V;W!Egjul
WEL`0ToDAKZ>=bMWDVZF8emek*oEzN$

diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf
index 646728b36e61aa167b674760a4a932d83c7841b3..25c8b3699ae7edb1c0da4443ff1bb24f9dcf0235 100644
GIT binary patch
delta 148
zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgS_+TIL4k1_lO}+6IQ|1_tVyT>8HGDK3d6
zsR|k{Rz?O!Mg}HEP$k=EHF5N_I$M~TI9a%wI9ob78Ms<FnHd<mIlGuy8oHSpS-6-w
Rx!Nh%5K^)|r-S1r69BwxCg}hG

delta 148
zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgS_+T4qK@1_lNe+6IQ|1_tVyT>8HGDK3d6
zsR|k{Rz?OuNfRTelI^paIQm(g-CP_^%q$IE44mD}Or6~<EKOa_Eln&PP0U@*oJ^cd
Q>=bMWDcPRW!Euub0J~Zy+W-In

diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf
index b89ffe7f2f0bcfd5cfa218e82669dfbcbf798dc1..42d5239a3daa80e1c78f8bdf6c672256fac51750 100644
GIT binary patch
delta 130
zcmaDooBj1{_J%Et_YbO>8<-my7#nIE7^)i>sB3cR`{t*(B$lKqXt-Dz85kKEm>2<-
zY-c^hSi|M)<Yew<V(4mQX69^Y=4|ZZ;^b`X>gw$3YH8tUXk>0|r(i=!$@U{>7}Xg8
DVdEmg

delta 130
zcmaDooBj1{_J%Et_YbO>85tQE7#nIE7^)i>sB3cR`{t*(B$lKqXt-Dz82}|sjDSkE
zvmRos;c|9%Gq<pCG%+$Yc6K&(GBvg|Fm^IAvv4xEG&6HDaW=P8upy*m`;jw@>WlzK
CG9n-V

diff --git a/pdf/Soundness.pdf b/pdf/Soundness.pdf
index f3b88762272a40a44b0645a4816fd4237ba47b27..c9b2a6a8385cb977ab4e0d10f87d526820a92184 100644
GIT binary patch
delta 133
zcmX@q!gi>Itziq}>IyA$19JldBU5byLv;fKbxkgP-~1Gp#FA764HqjT10y2?6C<dS
z?N=)p?KqsxjGZhk4b7ZfTucqk4UNqmT`f&Pgn_xSlZ%nDshxriAtlqp8X4aJ05$X?
A7ytkO

delta 133
zcmX@q!gi>Itziq}>IyA0BO?O?BNJ@{Lv;fKbxkgP-~1Gp#FA764HqjT1E8dd5md?c
zs}+oP9L~-r=5ChGj!qWNj^;)tMy{4X5i>(G3k!1>OE*h1Lpuc<LQ1BGH8Q>d07V=k
AbN~PV

diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf
index 5dda08ca23416eb003a946a5cf3a23b6c9acfe10..0f75b6e7925f2f28669df40697fd8208a09b4282 100644
GIT binary patch
delta 2659
zcmV-p3Y_(ZqX~zj39y<15MyFDIWjglH#K25Ff}!0H?yh&{sItVVmCQ5HaIsmVK*=}
zHDx!0xCMu}1p&9X1p-DrDmO4UFfcGSD=;x9Ffb=63NKA>WJF<fWgsX-Ix;XaGB7kU
zH!wFaFfcZkC_@6x0XCPBI07iQ9z+5W0)H6HCCm<E`Ul4U!C1f7vBi(xL%ZMP@w`|d
zw$Zm9Jtt+pL@S}?H2IQ_lB*Xd-xFRl0q=f)j|*jJ!2vDPLuSZ)Ii23_l9XQ37(3*V
zJ4BRQJ7keKNYudiZcXbMcmhH1IrB@tavNOUs>*|_gZE<|y3lv8?>;4?(B*u_Nq;4E
zK7$2S3jxQY>!c(fz~4^KV0w~2OLE)W=ZJ!@dm@CMC%9r`xnKuV-xaO6=W?iE`5z?9
zILL~FWVPf&jHn06@@Oa_N**FBgd9RhK1`OgA%hKMhX*t>-Sq$n=3-Tk0o+x24A#*q
z?_=P9;Q&&vJAjn`nFC05_}Wuj$bV;Ss9@|vWR<f+XLl~ChLkReu)9gSg~Sf&Euy<i
za38syUErvIl?pNIpF`fqo<|>HkA#2w5n|RcCLft%cr7p~F^Mr5Ve&^?Ag!fVHF3Kz
zt!3tzB(*@^mKxX9<%Wg^f$y@cVU%?-uT`%)`L>6y)>T`E$z82FsWp75i+>$^E-*RA
z<P4M7{oQPeO*U^fu#IY1^LF)JZBAMfH{QwXqw{iKo8|4DZD^Wr)Z}&Ii{JJbDmM*1
ztqq;kqt3TXU^5|UBe!QLwK>#PP1St+q&IeZsflmcGlt$A<FX5Q)J5IQ;dFz>MV(By
z$gf-O8S3{wXrXU?O8)+T@_+yT7js}O2d{zi4(u_o8Oou=y~+RMPis9iq{>%yLAI%B
z_YHYCj0}0L=dpkMN#}-m+VPrvp6&TrA%+6CX@_I7s^4Zi{uG1FxxRMCT}RRUJSkXh
zIGWNJD_KKG_ZO(*#=tP4S4dX_D5ZwFN@awA;p|so|9iRqFPF2Qn17Hu@1?Hx^U8Ov
zgtVy*x!_fz<&z;riB4PF^AGg-X6%sKjZ|6m;i?8s@|HQo<UQLO2{?>nV3E-RC7c4c
zLpf=@({Wj^Cj(4G+*IvVo$p&|mj-)yek%Par*RdCdU(BB3yq<x#qK+5)~3MM1z&IH
z!|G`yDgr~TXy~Y>LVtIqgM^GYm?9&uFHA_QH5d@`J_QGGDgs#>MbOW2F~r9t-c0G>
zP!6YS$U7iV;A0ZR3a3Kt@OcQswQTheA5a-v3pg+a*fkDS`Mi@6v>N}UMu1Xhl$XPS
zIX9xphSb0fJz)1pw5@Z&LA^v(qYO?nIx<EgymI74Dv6=YpnnY32I;Cc!Zg%G(pD0U
zY-m?H^0CP08!6uw7z%lx0)rMLkty#~Jj^%rvB+QLfUtz1*2_t!hhYICMQDMiF7hrI
zG=(VX`-i+0h)9Qd2_pnapGJ}29$GafFu_a})T^9sdR8^wXO&_8zbS>*rY@A5TA|Sf
z$GsnUR6(w#Pk*2vD&_-&^b&H_+ZZ3~{W4X~`#;LvwoayafICf!QJyZ!EDr~|SMdy5
zUcSHi*UR@mT)e!>X7QYh!AUk9gTOSN6hsBd6Ms}4C~L?-I6S#o3yvmXvgmO!!XvA3
zAp0y{{F0=ThpLDJV%va6P&zN;X*xQdPo@cBJ$hXxvwyeX=uwZpt2)7|1sxA@jz_^G
zdQ4C089k>L^fkStSM-L)^p1|`m?rd|PUr(o=^u1TXLL?8x}Z5NXi1m!3xxxK$9<N<
zSVp%G(~r^d>g4*D_ZKxCY;cuKmeV-j!3dm%2O?tlq!<|yEk;<I57w~3c2Hs3Oi12k
z;)Fi;Tz_2AYx;)%4ot*(o_)<x8c4Z=!+KHzH=}Ht%^{u5;)<vHw4&-$i>z#(0Ac>=
z;xxH0LoO&=Bzc;R>1X<RnU#re^|{a*I4&RZB%$Tk%(MNK{<+4ueG22pZ(iM8Ubh$z
z?Cc<1yNYn>3=*!}E*N!PFxuyW1FlxgYqN*>xPS7vmA4^%El;C=bu5pbV)^@<vv<!g
z!Sa{cJi92t^gU}&D>9G__fLiIF`|~;tmA6FSlcbQ-QjOe?z9?hPH6IZ8Bgg1pAsjz
zw;!!v+5WX{x8+Z<``P6$H*a55c0anrGzY^u#94e(#JFh;*HLG}eX%iIh^H^K=dipW
z$baPVD0sflRf`O=e<WpH4f)W}qG~N9J-*72%p#ekVcB*U7PuDuE6KAC&+;ie|N89N
z`P;V*&wCeERMG6bf3;~oFp#wt)ZS2bL0<vOA(-zWbu*GpTE6)3ZSj!Ix3KMFRgog1
zVOj9N@H8$SwuG%t(6U>$iRbfCHU?c_bANh&pWwTgq#z%JgQyDkgzdn%ZI)p}s|={%
zR<j=P;M{u92*^W&+rY}~+9%-7qq`1aJHzb&q8sdvuqS{^&~vz}p%-v32+YD(Nt_7#
z1l&K;8@Lmqzr!7Qn`^jN>(EUi(+c;SyX>dVKKr>9|9tERN3E9(fsou<Hn)cns()MC
zSxsy+ixBNiwa49VIzM>b@~-qntOR#EiHpQPvfg=j(^)h4O4UD>KTGqXL|+A#d-Ni%
z3S5BBn{-@06vR|d@K=`L>s4RzCi`s;b2bJ~+OhrZ!@1|SV-2cXhbr7IsN!*`?&(l>
z@7G<VmOVnMXppMMkw#BPx^sVB1Ai(ufbup_9@Ri~^e9lro(^>PhPZ}Qts_;eL#b{k
z<&PufPe;0QOIZWDv7qqQeyf*i_c&1TeHT>6O{Hl#W$RG&22}YSIh9chsBC$uc^s$O
z#EEY&3w(XK1XOTy_-i^YR&U*_SFhoP;aUuSy)38c9J_jG_`!!C4WYp)HGdR>R$cc@
zVI#s%VtnH<ek9{_)eBHp0lv(WFZf|e8*AvvS3Om<yQivL=@q_C)N)gea<v+>M~!N$
z*@8ytT8-SJhPTuxyG4zt)v&E<LeI|B;hi4L($Q%)8eErgUiL|N^?DQ!iW0W?L0Syr
z0Zvey55{qc)%kK%F7sqiK7YjJAiFD){7X`R%zf6!Z>@ayaWc#1AnHF6>EkC=zIp*p
zg702kt0?;T8CFx4eIiY86nc@)(sB*pO6qpqhy~m?l<6p*4&ucE)_@<o=;NnZUVFZr
z1LiziP9FOBS(mSDzY*qgtq!57wK{+&>{^}b<M&}}kaxjpciXU`{eNmsR#Wjc8I0oj
z;BJ{t$Ai_p+~?VB0JU)E6MyUD7i??8w>2H2qJ|O{t_w5ff~n5!n~<kyhmZvQ-Io3M
z8F<$;oAg2?slTXN#fQd?JylWd<CEki#3cG#ku;&?^&*)cd;3YfP5m3~D<v=rWo~41
zbaG{3Z3<;>WN%_>3YVKt0$M{vH!wIdGetQ@GC@K`H$z4<MKw7%GdDsoI5IdhFhVmv
zAUs4jFgP+ZML9+?K|)10Lq;=2H90slH$pHtGB`6ZLNk{*Py$;60?cifmQVu31Iif5
Rmt9c;AqX-GB_%~qMhZtD3x5Cr

delta 2659
zcmV-p3Y_(aqX~wi39y<15HV#qG-Nh4G-5e7W@Ip9X0xgS{sIs&WjHisHZ?S2IX7lx
zFk@zexCMu}1p&9X1p-DrDmF4QFfcGRD=;x9Ffb=63NKA>WJF<fWgsX-Ix;XaGB7kU
zHZn3WFfcWjC_@6x0X3JAI07iQ9z+5W0)Lni22#fK4~+kVv3{>(iyys*cE8Evd9grj
zqi;QWPRe|VRzk~Z@+BQ5S1(S!C%k3?-u?a_7s}9r16rns%#itVI=$T`DZQjIcE}@l
zh$y#q$Rcr&sDbg_n$|P$1cKgk=9hfsHn_Z1l?PV`@5elJq3>SbeM&~5%lV9xN`LBn
z1`Dbd0**)5Nl89{znz}J^dx_l<hHlZ5d~lOL<l`kaK*-Q!49UrD_U{S<xs)$KS-8w
zkQE2XYRQKfQ4f;k(NIE^JVaIqIfRgWm@H>Q1{=r@4`^n(>j4nV#i||yxU2FQtfN)l
z$H4!>0i<4c04e`72axLUwWqd_&wtoZ!Ptk$Drbkz?p#t0DP0m_cawGti5=2gM0c0q
zK5{#|z)=A!6=K#uhrEwHk3Pa43IFyZ#H?dXJ~GAdT3}LQ5@RyL<d3#MT1%~J;&x$L
z%gixJYJt2hHLk164Gj$f-(^|DDC=Tgt6p{TZ4X_otF{c2yIOTpYxq(ZJAd|EU~-Ph
z878m$yV(?*Y~E~O8`ZGp?drSQoU|rxypz{Q=jFaO%iBBK&@|tu$?L=yzwI$pZW?-8
z8#=2;oo|`IW<t_NZqHC^bEvDDs`>UwZ|wF`6W_3B481wVWf$<Mi@KS^=?0C9I+<>f
zU$@*d)bD-JLf`t7{Qdvr|9}54=D=DGUIXVH*kfQbltYPolmEw`)_Q12m9Of8Y*W+j
z8}e`%8S+}sWB>S*&JFRj<2Cs_+w-$R3<Yk}4##9wzs+|1DF&N!eeI6Bj-vT_Qn1=^
zG^H_CvWAfEFHpsefnh?gkgf($N)2_D$_N3&*{{O>_j3JTE@wY6A%At=OI_{fmG4>!
zX;T|=!K*~eCqs%7owl~;AL#SV*detWsj}$9RSlfvEpv#;d$u(aa2UtHBBKRLI0bHp
za?*IG<FZ~)2AGJrsoJYL-?!2(4fgQ-RQgd)<0=sK@Orft8beo$-FMWiO@XfqzTVD<
z)ze5+1cqAC&{0i=?te-L2^n!PMMhp<n2=U$Fd*c83J%~@1hO`Ypr7Mnh>uCUnbN_b
z+%gM!2LuXyOoCY9RHz+34`H~Ltsde7Dr0K_2gU%q#-S>ocQS%j<Db+BQ0k2GayT&O
zMpW658n~ec>>i1>buKulm#Au#!D&WE#z=%$j=V@EF_amU!GGEyUDZaIhMGv)N}`bs
z?Mg>J7WsT5<=X;7A@5UQ(1Ii~<(-O$`G!6g`KufdmJrl>IqCE;EI_0PE%4Mu-UWlE
z5G8&8khcO6=`b&0gdpkDDDvAwtHuN-n5lw#mD5ens>b`QGR*%srO?{cg>q9XG}_>}
z_al!g$hGtd^nXLed|;4XLaurn<72&FrpkH$N4eY9$rKN8r%5r&(?yx(;XwB)o<YmY
z_c#A~`TmECmsi;=o^vrc$);lvn8uTWs33XbkE#P@4H*cBCpT-s(IiY3JuXIgWHk<C
zpT&z`l63M=6>&gp8}JB9=Vd%iN5}KYG$E`<ughfi7JnQ)>d|*qCs?(h;~~!RD0oDV
z=_x&<=k$WUrkC`J-q4ud(GeZfgx=E$eV{4*gHGv;&S^#$G^YhE>5_h-Z~*YQ&r%r6
z==NdyF*;tIT>tX^qNallu9C@e8s|G0fwS;HL=2x4BO{{42y64f8aCJtDomRR$-7LP
z(C40uD}Q=T-_YNIi8#-*uQ^HsDR*#KPfFlsluffaq_bIE@pPY7RDEiZmCX|%%s*Y6
zCii8?1!apQPqQ)oOg}HPGV!fG7g__y<wKq%wEUWRw!hLp*BG}?Vf^^btDDQ~7UO}P
z9fWIF5iXrU!gbpPqpk}^`&@9q)rxs-_Ann;9)Gv;Hl(lRY4op-<<V0te}8lK?)fEH
z{xX|q7bTd!XYFZ429n|asqj5U)Uum(T+J72y9Kv9{LRUoR-?@cO+GK<DV^X`;w1O>
zqxCD>zqakR{3&)nyZq(m?TgCpN0*r9U^s_3i*Je;H;v&s>P)yVHiirF^o8~umKOw>
zJbxYq&-b}%kwNy4q^zqU9~xRzt%an=R~eF7B(pRu+wQ^w*P?$VdDh`sK85FBpFKN&
z`?leE@4|{Inw|HrHq8eHvetsy8_F)|D_}VU^F5?)MzTrE7azVY9+LSMwtcKBQbaT?
z3mzDr#>K;yu+<4#cFQ*Ld_Ky?pbKnH?|<(Td>4}x<b!Y!RpFkn9T>OGGHhs-0TtY8
z)&m}#TMrrmd1!DOSeae>1l)Oa*CA|YxE(-rgWVDK1aJv@4tF*50`3KYS=cIx6Jei#
z`$u{McS7`cxFc_K4fkptx=CbO;eK<M{nXiKKeytakNx1N^^zeFl3UB>_Ao+qYkxbd
ziEU;PqP?m1xZ6$V2d`V+mA;6T;BF^zk@!c}JMV5fYX)Db`p5ETX<n4*tH5%PUc^;_
z3($F!j?0IFnCc1s$`X9N>MP!4zs+IJ#^6aiw!eKi_uO`@L3Qg;h1&&HJPy@89qR7=
zx{K7ZM@SV7QuR2}=;=sz?yqY=#eW7+-UiB}8mNvQ1?t$-f$rWA*O01pq>6PY)eWWm
zaisj|NOx{2Yd|*^6yDlz^-}E~2P(erg6g=bG!3V09je}dD!(JAGHL;pEiW~X<5ZhC
z@$F@SuP>K?3T_U6O~=LRt$X$AHM}rfi@~p#<usjRR}T$8`0%44G&rS(LVwVz>z*lW
zMEFUJZ#>42WPGlA0qQEimwEC9KP+iu4L$j)r;2v>RFx~e!q<sfZmLnPR%7<4QEfF_
z&?sH2k$cqemKtTZs1daqwpC5&*_k@L(}P($I?YCd>oU&EJ_)a0kK#d5!WKVBi$OfV
z35xT<I4-d|UyjOUo(#%|xPKgEcSVwaNeYm;&-(bSmG3@IX4xD>{U;)Q{G`fPFThFg
z-K%RAMIS%IYRa-tqzR5fFVb0Bt^r(0-L4z4fcu6r9mUf@yjZ{*@M9N!{4~pJ&zEz+
zoM+3)Lmxlu@|Ep3!d$M^AvCpC2k?Ylt5bdaK5Py0E;#LO8#c6G&40;iD!wLzQ9K{q
zEz{|Eu$q_qJev)m7VdoFZ+-lNZEg6rrbATJP{P7>Va8lA)wz8W@)Ye5lAyoavL8PK
z@0w<lUWg?17gekH(73UuDyn^alDveNM1L!iCX~EhB=ci$KdHB=e*?wfB`6AIZe(+G
za%Ev{3T19&Z(?c+IhUPJ0$D>bIWaavGeR^(K|(@8H#I~<GBh<rMKCxqMnW_*I5jms
zAUrWSF*ZXpLNr7{LPA0}HAF))G&Mv;FgP(rLNqftH8qzxPy$;6+yZQumrw%41IQT2
RmtIi<AqX)FB_%~qMhd%U2|oY;

diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf
index 42c12f2acbf1248247764e37a7295e1fb7d390ce..5ca41a5f89380672783b25b0b24276190ecb77b6 100644
GIT binary patch
delta 111
zcmZ4Wfo0VPmWC~i$Mo6F4a^M;jLfE=)n}A}akhWZXH;c(wlp#`a5OWtG%&X?GBh$V
fb2Tz>GBGhSG;=m~H8*y)uv4%hq-1)8IpZY&xv(65

delta 111
zcmZ4Wfo0VPmWC~i$Mo6FjEoEnj7+DW)n}A}akhWZXH;c(HZuiExfq%`nz$M`8arB=
em>HY7I5`=an;Kf08JL*bDcBHFGCjha@e%;RUmT<W

diff --git a/pdf/The_Pragmatic_Programmer_1999.pdf b/pdf/The_Pragmatic_Programmer_1999.pdf
index 76a4a7d567be5d5b13d82afc0857595b32a13989..29124a7fe5c5a7f46e162d34a1e596fdf1348a7f 100644
GIT binary patch
delta 114
zcmeypitG0(u7(!IEldlW*v$>h4GfHprmtvXl7VrypKfCM%kOMxWb9_{YHn(7WNz-_
iW?*V*?&9cdY2spF=HzPPY-(z!U_(gBcJ9ec1xx_9avv%H

delta 114
zcmeypitG0(u7(!IEldlW*v*WL3=E77r>|&Yl7VrypKfCM%kS*uYUb=_>gHl-XyImQ
iZsuz0<l<^%Zs2C>Y~pHRZfs(wU_(gBcJ9ec1xx_UEFX#h

diff --git a/pdf/The_binary_number_system.pdf b/pdf/The_binary_number_system.pdf
index 33dbe79967af877e6b5ee3bf6d59b5b5670c2484..7df8e587d21233bce12abe0b64f0c3f387d2448c 100644
GIT binary patch
delta 136
zcmZ4Wn`6~)j)oS-Elf4~TIL4k1_s8K+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?O!Mg}HE
zP$k=!=`+RhIJ;W9m^qtSIJ!9-xtN<;nz&gSnmf4wNlP;mGgDU!I|Um;O18V%Fr_d8
E0L&*MV*mgE

delta 136
zcmZ4Wn`6~)j)oS-Elf4~T4qK@1_s6!+6IQ|1_tVyT>8HGDK3d6sR|k{Rz?OuNfRTe
zlI_d%nPPdI4cr{vOdOqEoZKu-3{0I}jf|XJ4K0DHEKE%djU0{a6l@47+3se;l)?xA
Dzpf$)

diff --git a/pdf/Theorems_and_empty_sets.pdf b/pdf/Theorems_and_empty_sets.pdf
index 94d0cedc0760d35a7e6874434746ca3db8cf48a7..04eb173168b95d3dcf2b442c3230f7acfd80277b 100644
GIT binary patch
delta 111
zcmex;j^+0`mWC~i8FK9A2Id9^M&{G=<rrmPob8k37>}_#ySciW8krh9nwlE8xtLnI
fnHaelxf)wITN=8!m>HP5*eTc$QZjwE8sh^1$#5NV

delta 111
zcmex;j^+0`mWC~i8FK7qMn(n(MrPCV<rrmPob8k37>}_#I~f>Sx|vv7m>9b_T9`T-
fnV1;5I6In}nHicGnYkGn+9}u&QZjwE8sh^1u9qCh

diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf
index aa65b423aab8bfbd281cc1b051101c17103decd6..1f9ad66ae3397cdfaca7e3684b49c922883fca9f 100644
GIT binary patch
delta 104
zcmaE`nC-!0wuUW?^V*rs4a}!6Y-dyeF}5FRXS~7TZ0PFbVr=Q;YG!QgVr1;<WMF6s
b#D?ZZ#)hsIF2=5Q3O0n4Y`;H&k&zJqhM64J

delta 104
zcmaE`nC-!0wuUW?^V*rsjEtr)Y-dyeF}5FRXS~7TZ0=<0Y~<!_Xk>2c;%ww(U}<4!
c=wfc@;^=H(Wa#MXVy9q3NXhp56Brp80f^om1ONa4

diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf
index fbb3761be27cb7401eea1d133cd9ee48e3c7afc4..df39af799c63b892467223539f774d8e80ad603a 100644
GIT binary patch
delta 133
zcmeA>%+hz5rC|$WkEE8lfw_T!p^>(Mp}K*Ax+a&tZ+?nPVo9okhKrSvfsv7ci4j!E
z_HB}k``MfwT^yZVT#THZTnwCyOiWxY-P|0Fj4dr44PDKgT+E&A6l@47nZ84T@frXp
CG$M)s

delta 133
zcmeA>%+hz5rC|$WkEE8Fk&%Icp`o^cp}K*Ax+a&tZ+?nPVo9okhKrSv0Z`J!2&!cJ
zHc7_)Y|bv`PA-NPE>5l{PDYjn<|gK*u5L!ACgzq#mX>C&j;3}BHiVQ+-=V;G4FCqz
BA;JIv

diff --git a/pdf/Von_Neumann_architecture.pdf b/pdf/Von_Neumann_architecture.pdf
index c004c76cb2ab695846f9a99b3e37a5370c20ad94..4eb2646c65304d739cb62bc11fc80e78fe3ae872 100644
GIT binary patch
delta 108
zcmdmZfp6mlzJ?aY7N#xCPBWOz4a}#z&R|vmF}7#SV3y%?HZ^f|H8izwG;=XDHE}a>
gwlp?&bul(`HnTJ{H8VAFu~V=iq-6W?Wz1QO0D(aq&j0`b

delta 108
zcmdmZfp6mlzJ?aY7N#xCPBWOzjEttc&R|vmF}7#SV3y%?HgUFeaWOYEvUGJaGdD3Y
fGj%n$uy8gsvvhO<idz`jDcBHFvi<ln<}5}4g?=3Q

diff --git a/pdf/Why_computers_use_binary.pdf b/pdf/Why_computers_use_binary.pdf
index defe9e305f55405fd9de5576a9adf0ea8f9bae11..0f488acd30569f1f81ceaf1ceebc56226b14c49c 100644
GIT binary patch
delta 114
zcmZ4Vieu3$j)oS-Elidg?B)jM1_maE(;YOJWMG`_$r?<N+|HIp&Sqwg#s<bFW+uia
i21bsCPR0g?PKE|1rUp)qX2y03HiVRH|8LBs%m@H}d>dK-

delta 114
zcmZ4Vieu3$j)oS-Elidg>}Ezr1_mYu(;YOJWMG`_$r?<N+|G_p#%_idrmil=hDMGC
i&K8yi#!hCAmX^*&mM)IQMkaO&HiVRH|8LBs%m@IV*&Hwc