From 294fe5ace394c9915446333a61a5ea2f90d62fb1 Mon Sep 17 00:00:00 2001 From: thomasabishop Date: Mon, 25 Apr 2022 20:30:43 +0100 Subject: [PATCH] Last Sync: 2022-04-25 20: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 50b75bab7814f4d88f809c40a77b57560e360b93..49610cfea2f5874c808532de1d47f8844ea18d7f 100644 GIT binary patch delta 1258 zcmaiqZ9LNn0Dy0kk@x#uuZx7c!_pA*AGRD@iOjAx9Lj$3J})sZ^EUsK+c=~a?I=34 z4%5wDXD!pVmL^<saX1OfA zXhg(3d+1u*a`TV-qU?N?e(d_me{FBq>E5g?&HI3>udXg(K|to0um3C#n;bm90M}sq zqyt;cTew6idUt%2xG<4lmtT|kO7!q>c4Y8fr`0Q$b`ld_(ro2-QZoU)=}&If#))(W zJ>xgUL6~G)o^e&8j8_VN*kb=k*wO71>X@q)ujEDC=0j8cRrR}D!fs(88e9=2<-oS` zsbz*|UWwfcOp`u(xsY9z@GYI|SqAAjGw4st;YG94i^b&qjX6V;=V@6OE20rhWjSzQ zQ=V_WW&6a;cq#nsYj^Zm8a$u>oIc8!obmV$%^x)qrgo${USW0mDCJV8l|*9I{Q>fXiz_$u*}TCH8j#) z(jqk>_xe?naO;LC_`J3k^(tJeDRNmj1|DfGbgDVB@`&1bKBw%aAx48RY06$Qy?Q*cIln}O8(Z8oJKgg$-f4tw>wr{c4j0;cloE-LjIC?j~7-= ze;=}DA7~@sMjC*5i&|Cr;)x=Md7t|U)fH99^7n;ol{25^*P=7#`YE|5zzfg7(glgn zgXOSv{~3wW9zW;vqSO2|;yE(KyXIYzgt9SPW)Vn!XSaPiH8TX~gm`mtVFWkBWN z=_5pYb&9U_n%(9dTkf^7l}vD}*!DH2L@^j9zSuZj(>6XIQm{_7y!VYMdz3=TIC#kb z=npScn@)YIK>lznJ}YVTuH&(utlGtZx6`z4RC7TvC*V-T(3P~Aix<|UaTMCxFgtXQ zoc5+s=82`@}{13h>U4f&9Mo9ZDQ3j^*;j>)iMoM zdLeF{YNDYn#7!h38tyX3xw@m=&@RAUJPMCS;QA-OzYHw1={tto%V_5(I delta 1258 zcmaiqdpy$#0Kktdt2>pLF`wM(g!p(4+a!-|_-J{=p^$m+OiLWYJbpDKk2q9|@|ad+ zhC1~NjcVtlypEQLaJEY^+azlq?fSnz`s4f0_xtVU@9*aCKbNc0uKEVQCo(!BCc@f2 zDjIEN9fOUs0T=PAWftG){Ng0luWSR0lhmNQzsVr`yjtRxs?ISG4nRV;0h|5k(9OJ$ z{BFD4(DGA*&UP{xVn?}7`I2ERO!L)J!gwE`RJ=ixdnJl41#HwzYO#3ocRF*tQR2Cl z)t%-7%UbC@X{|31;r#_KIRsQsbxG5kB!}1uOVMhYgBeq6htZkqU3xC>Y85A3x)uR= z!-?YPk)kqCdU1_dhyfB3ai@rfH>0jF$gP~(hJ($fBedk{4h9`Epylf^_-kjX_DHO27BVd`V$a<~YGyjo?4kgP&QmUAHKyKPm#)E`N%cuT%!rxK)yCdh=M; z+q#gV3b#*rCe7_`9T~5urJ3{gzk0X$bA-rXy=aQ)g;ttzoPSZ1y^%P(n$RF7RfHAO zYr=|OTh`uu|8rqNZF1#JJYvLrSG~YqMA7B$b-Wdr4CVghbjzK#hbtY4xJLavsuqkj zH0aFsKm*i)cZC@Z2HeQF;qbOtZhGJbBuBt!%*7ymLzZYXyNUF=R+CnhC)^Ya?L_{3 zCOGTx$=Lj1*ru~isHJiMGR{%ro}}>gGr>EWOotQ-lKXh=s7Al}v~Xh3e8`%N7V6Q} z=N|-+dYd!7T4ZzSEwVGEp;0w4B#HVjGY5ey&-?ri-SXjHJsih;R`l4v^{G{GzT`0_ z9LR*Zr=4>JBT+B-7Yr8OkK z=b3th?M#s}QxgDQn)1K=l`mtN?){$^?&%I2r*GBMO>!rDkfw&_>yqJ7ec*Vv zybr6~xopAbDVZx~t&h ztUI;{NX=o>+?nMTs7_n){AG)%&VdcX)Z~u2s<9&tFW3jU3x43L7ZI4bXNd*kJvmpy zJJv=>`e3Po(#jXdK2JfFlIqDf^iyD_!IywVt;^yM?bR7mtg7H3K)m53bc-iX3&KU$ z8YA!GFN84@|2Z?W%HmP?IZn-lhaMz*+*t?XE7f6AmFzTAG2P(eWQKq z2n^U{_=!7Tj=`do&BCl``B`QNlQyyaX*B0c{AknifRLzug*3iWOI;FDO$7R@`^1NA zPGikDH~#36>N+FfZ%=j2#pZ?H*CGA*=+bLe+wAdq$y#tG^8 My#+*&plsFu0a7<-Hvj+t diff --git a/pdf/Arrays.pdf b/pdf/Arrays.pdf index e4278699492ae5e24c5d76aa272c53704419347d..70f4cfa7cf7e78df7bea5d0b03cf101d3ffee0a4 100644 GIT binary patch delta 99 zcmeD0W$o`}ZP>zSZp&yq-NKepiP3m_v@N3~hqIZfsjIWOiLrs3sjGpLg`1m`nUkA^ Zk&%golZ%UiqnVw84Iw4dx4Sal007&z83zCW delta 99 zcmeD0W$o`}ZP>zSZp&ye-NKepiP2ztv@N3~hqI-NqlKHRk*SM?rIES0k*TG#p_`kr ZnSrZ;nW3?xiGiJh4Iw4dx4Sal007Ty7>fV^ diff --git a/pdf/Assembly_programs.pdf b/pdf/Assembly_programs.pdf index b06f266964ef81c4e9d01f6e61d77b657cc1e3fc..66de7cb5b5fae02582f77e134c7570f0eade8012 100644 GIT binary patch delta 100 zcmX?jl=Llb91Q)eS*XCq@v Y0}Ep(b3->bXCpfW8$wDZb3NJ)0FW>q4gdfE delta 100 zcmX?jl=bn;8<;w~nwZ%s*bq`O{dEoFJphOx8yx@u delta 99 zcmX^4oAu;x)`l&NDy57D(^X3ul^6}Sdz3OJusa)CS{N9ZIU86Sxw^WVxSG0|nY)-6 ZxVX9+nH!s1nmF1i*bq`O{dEoFJphHT8z%q& diff --git a/pdf/Axioms_of_set_theory.pdf b/pdf/Axioms_of_set_theory.pdf index c17cba820bbc9921c17b63e7cd635374c58e99dd..94c5bcd40cc49bca4e23da567763ee77407b312a 100644 GIT binary patch delta 95 zcmdnn$+EYTWrOK2M&rq5zmyn_H%I=`=X5qTbu@A`H!*cHvT(6*b~JT0b#gIvHga|` VwlpwvbTYS7upy*m`e|myPXKNO8uS1F delta 95 zcmdnn$+EYTWrOK2MuW*_zmymaHb?%_=X5qOF*PwZb9Hkzax$~Da58sxwlFYpG;lR` VwKQ@uGqto+upy*m`e|myPXJ*88l(UK diff --git a/pdf/Basic_database_concepts.pdf b/pdf/Basic_database_concepts.pdf index 2f6cf3611bc2443ac092b19c6bd22b586ca05b0b..fdf710141af530253d177c9118e49a8da579b8bd 100644 GIT binary patch delta 100 zcmbQ#&Niu?tziqJSvjNebn|jXB}U`zQRR&1xttBm4K0ie4GoQrTr3<-4a_awjNKev a%uQS^jSZZQ%pC0$YzQgYp3}sr#s~mExfu-r delta 100 zcmbQ#&Niu?tziqJSvjM@bn|jXB}RkoQRR&1xtv|iO${B*91UF^%?({$oeeBq4UF6j Z&45f-b8|yOb2|kaLQ1yhG%>0%0svoL8Lt2U diff --git a/pdf/Basic_properties_of_sets.pdf b/pdf/Basic_properties_of_sets.pdf index ed40cf6dc00d8df2c92fe2891935c109bd763c67..7b9ddfd1ff0a4c9fb81c75d9d2479cf8e678c5bb 100644 GIT binary patch delta 100 zcmeBq!`}0TyCR6Xl^Bh;r#)qS!{==5Y~*BM=xS`@Z0_i2YHnz5U~XXI a=3?yVXkp^$>}X-9U_(gB_NiYO%NYS6-yEy} delta 100 zcmeBq!`}0TyCR6Xl^6}Sr#)qS!{_W~WNhMO=Im>q}GjmsCS3`3XM>k7jLjyBc0|RFRBO?=Y VM?+&LBTF+o1sg(2ChwSj3II@$8q@#) delta 94 zcmZqL$keovX~Xo1j0TfuOjKet*t~n>qFOIJ5j7b8PwCpSY&Lo+uM6GJz1GeZMc VOGg7IQ%h4j1sg(2ChwSj3IJS}8#Dj_ diff --git a/pdf/Biconditional_Introduction.pdf b/pdf/Biconditional_Introduction.pdf index 2f8d2b47e78dae7e77c498166cb3e0ffb2c65a58..67e8358d75ecd2cb5b5fa8b29812dae80dee663a 100644 GIT binary patch delta 94 zcmcaOmFePCrVXhrjK-7GT9g=#H+Q!9u{xVL8JQbcnwgoon46fnTDkz)#zxMTMvfM) Tj!rJl#&!xegp^E{>e>zfAc`5w delta 94 zcmcaOmFePCrVXhrj0Tg_T9g%iSyhf&W0AoElkZejKb~QAzG;=X@HL!GcbTl(IH#Kl^ cG&3?VH8(aiHg_?!uv4%hq-6VdccySg0G6m4AOHXW delta 102 zcmX>%iSyhf&W0AoElkZej0V$NY?zc74Yn`0VdCX>b~JD@aW=Lvv~YAWvNSPrbh9+D cFflW6HnVgxvNUvbwNtPmq-6VdccySg0G#_8Y5)KL diff --git a/pdf/Binary_arithmetic_with_circuits.pdf b/pdf/Binary_arithmetic_with_circuits.pdf index 3ea0afe5d3c9983ce5345fd250e46443da49bfea..2348b4dd9f72838530ff6f93211a4ea80542d5f6 100644 GIT binary patch delta 114 zcmZ4TOmxXJ(S{br7N!>F7M3lnk!dW(2FAwIW7AmW!L02KX{@T;&IYcQ&L*bLrWQ_y lhK{CgZjPqrPUeP=<|fW2=B9=&CUy!ogp_Q5QOIh;2mmL(9q0f6 delta 114 zcmZ4TOmxXJ(S{br7N!>F7M3lnk!dUj2F51SW7AmW!L02KX{@T;&MrodPR14{&ZaKr l&Zg$BMouoKW@c^{X6B}b#!ePyZgvVbgp_Q5QOIh;2mmZ!9tr>e diff --git a/pdf/Bits,_bytes,_nibbles.pdf b/pdf/Bits,_bytes,_nibbles.pdf index 397d8931707915a2cadf8cda34edd4bf3d6cd5d7..dc57a77e3cddd7f1918478c0848489b8b9a7710d 100644 GIT binary patch delta 94 zcmey=&-|&Mc?07?M&rp$2bCC&H>(~z#OiG6Vrt>yZ0=&{Xli0%Y2adH;%Z{)W@v6^ U?qXzYVd!F~U_(gBWUb>T05;MZP5=M^ delta 94 zcmey=&-|&Mc?07?MuW*r2bCBNHme>y#Omzm>TK-fW@ct$XldZ$YGh$zX>R0VX=>r< UYUJwdWMX2cU_(gBWUb>T06uIQlmGw# diff --git a/pdf/Compile_from_source.pdf b/pdf/Compile_from_source.pdf index 82590cc3793fcc9f4b58db5504019b0d7b4a02f5..d2cd4bccf5370d8c3a017541c8068c3719f18b89 100644 GIT binary patch delta 94 zcmZo}Wo~X|-Vn5h(Rgz39wkQO&1HKeSe;FsU0fYqP0dYB9Nmna4J^!Ejm=!molK1l UEX~av4b1EmYzQfteDUBW00IdbNdN!< delta 94 zcmZo}Wo~X|-Vn5h(O`1$9wkPD&1HKeSe-3Q%-x)gEe+gUOdKtY%#969j0}w3EX|$F UjSP)k%}wkSYzQfteDUBW0O@BL!2kdN diff --git a/pdf/Conditional_Elimination.pdf b/pdf/Conditional_Elimination.pdf index 16f5b817707147507b3189a0d98ed6a920af2659..1201e6b6ca84641a47c149a48eed2c0adeac8d5b 100644 GIT binary patch delta 100 zcmaEGk?FxjrVZZ~vKSi}8c+VUP#(nVXBTvyq*G4Iw3y)mQ8U0Bm&~ZvX%Q delta 100 zcmaEGk?FxjrVZZ~vKSZ`noRz+P#( Yp{bjxqqCcZrJE=fk?>ANKvl^Bh;-;-qIVs~;jH!?ReF*7!@urPBowKOufG`4gx ZF?F#pv2=2AGB&YOupyvix|Sm20{|nM81Mi9 delta 98 zcmeA=!qRnwrC|%>E=fj%>ANKvl^6}S-;-qIVs|pMFf%c9HZihrGcYwabTx4?bTxE# Zu`qNpaW=FtGBvSNupyvix|Sm20{|d77}5X$ diff --git a/pdf/Conjunction_Elimination.pdf b/pdf/Conjunction_Elimination.pdf index 4ea768f02ccc3724fb28a37a42f1bf21933e3919..1c8b01bca160062692d1d56f94cb1ac393c5db08 100644 GIT binary patch delta 99 zcmX^6nd$6jrVXn%u^1Z|noM55Ngm8td}$M#vx%dTxuv6tsjI1>rMa1rp}B#vp}CWV XiKVl#xv`UhtDS-kAtjSVckTcHC7v8g delta 99 zcmX^6nd$6jrVXn%u^1Q_noeH7Ngm8td}$M#v$>0bg@vnyfsvVok+Gwbqp^#rtC@+D Xo1wFlqlu}Jvz>wsAtjSVckTcHJ5U_% diff --git a/pdf/Conjunction_Introduction.pdf b/pdf/Conjunction_Introduction.pdf index dda2476054d9846357850d7914c87fc75fb28d03..ee9f8838ea4ee5c247f3016beb42a69561ea4cf4 100644 GIT binary patch delta 94 zcmbR6jA_C%rVTD@7>y^pu2Et%-kh;!EvvJsnTx53qot*xg{zyPtC^#ltBZ-Lp{0?5 VsiV1pvyqFPf(;=hlOs0m0037M8rA>+ delta 94 zcmbR6jA_C%rVTD@7!4-7u2Et%*qpIuEvvJWqocE-k*k}frJ;edqmikZxq-2>i>0%R VqoJjvrJI?Zf(;=hlOs0m003W;8yWxr diff --git a/pdf/Defining_a_computer.pdf b/pdf/Defining_a_computer.pdf index 38760b07f3b7c928ce85f433d7207df213bb9383..3a460fbb14253c5d6ad745e0c40a466fdc47bc94 100644 GIT binary patch delta 120 zcmbPtS!dp5orV_17N!>F7M2#)7Pc1l7LFFq7OpMaqB4xe)5T=Cl^Bh;Tgq_%;C8k& ubaJ*ZFg7qTaF7M2#)7Pc1l7LFFq7OpMaqB4vI)5T=Cl^6}STgq_%;C6O0 uF|aUqbapXyGBY!Gb#*f}b#pa!vNSStb98n!w{)^oupy*mdx-|O79#-PZyyW* diff --git a/pdf/Design_features_of_language.pdf b/pdf/Design_features_of_language.pdf index 3f5c8d0d0f2ca392f262a40ea978f974b952bb8c..d2cbf7fd33778fe9f0003b82d87d304061be502c 100644 GIT binary patch delta 100 zcmaEImHEk4<_(SySd0w}EGD}?kOwn1XFQ1Hbau8dFfw;^Hgt4!G_6$C diff --git a/pdf/Disjunction_Elimination.pdf b/pdf/Disjunction_Elimination.pdf index 9a5a2fee819adfea850801bd2131153b0e705a08..37cd7bcefee05962fb95e1d8d85ff3d5e3806e36 100644 GIT binary patch delta 99 zcmex=jP?I9)`l&Nd!reRr|*kqRAMyV{xF&`i_O`>z|7Ui%+3vCz9{~&m99aMW delta 99 zcmex=jP?I9)`l&Nd!rc*rtgbpRAMyP{xF&`i_O`<+1b(2*v!Jw)zrzv#L~pv(Ad<~ Z)ZEzI*}~1u#m&i1!G@5M>3vCz9|00+9HRgL diff --git a/pdf/Disjunction_Introduction.pdf b/pdf/Disjunction_Introduction.pdf index cb7962590cae50b057a5924148e567c689ad5979..9d8701d5454675b838b700cf64629e5391a8b922 100644 GIT binary patch delta 93 zcmX@IiuuSY<_$;BFd9!jc1DTOc=O9Mj_giOM$QIi21ZV%E@m#K=1zvD=BAFOZWfNF V=8i4~mZo+JHkJgGOwPG-0|2Wt95Vm_ delta 93 zcmX@IiuuSY<_$;BFd9rgc1DTOVDrl}j_gk6rUs6tX3oYIE{-Nn7Ouu7F0QUF<|fWY V2CfDs7G`z|HkJgGOwPG-0|2n`99aMW diff --git a/pdf/HTTP_request_types.pdf b/pdf/HTTP_request_types.pdf index c65b7ef9773292f80609bdd8cd381169160d6747..5b9edb361e0bba8c7fcb3b6e4f519aea38db7829 100644 GIT binary patch delta 100 zcmZ4cmTB!FW YLq|t9BNJy=V?#Ry8$wDZU)p*b0FpN!0{{R3 diff --git a/pdf/Indeterminacy.pdf b/pdf/Indeterminacy.pdf index 6836f6bab71d7265985c172d45394f1e5b27a06c..d4bc80b7dec2a002e273b4313c42fd0a27f4fb45 100644 GIT binary patch delta 100 zcmbRCo^9HDwuUW?mTMS|r(3OIRAMyV9=nF|9jCLSi>r~Dv9Y7EtEHKRk+X@Zqobp% bfu*sfiJ_CDo2#3hf(;=h+xxaLaxek__6HlQ delta 100 zcmbRCo^9HDwuUW?mTMRdrdzFHRAMyP9=nF|9jCLQk&(HxiHm`mxv80pnYp2}ldF@F btC^{>g`>HJtFyVCf(;=h+xxaLaxek_;rkmu diff --git a/pdf/Law_of_the_Excluded_Middle.pdf b/pdf/Law_of_the_Excluded_Middle.pdf index 9be4c0485152e52821307bf6d50087b5a3b8ac15..e18a1283b8fe09fa75cac9e09ae816ad0374d746 100644 GIT binary patch delta 94 zcmZ2BjcM65rVVB-jK-7ATa*}$H%GOcVRbfhG;}p{Gjla{bv7|FH*_*LbaXUvadS1a UG;}t0Gk3F7upy*ma%R_F01jRnB>(^b delta 94 zcmZ2BjcM65rVVB-j0Tg Uax*e9ayGV8upy*ma%R_F0QdwMZ2$lO diff --git a/pdf/Logic_circuits.pdf b/pdf/Logic_circuits.pdf index 3bb4377b37842570c5f8ad2e07d34a1e85b9df1d..285665eebe8838977c5304d495f01c91aaeeb7ec 100644 GIT binary patch delta 152 zcmex2&K8CyE{-lP&K6FVb_zBGmBe!C`=sWj Wmt-gy85>S#bYs%o{xXe;j}ZXBBq(J7 diff --git a/pdf/Logic_gates.pdf b/pdf/Logic_gates.pdf index c738b61bb5dcfbf398808eb4cf4db8018bb667c3..a3040d6216075f31cb8e6a483066cf9b1ead6d0e 100644 GIT binary patch delta 110 zcmaFyM&iXAiG~)&7N!>F7M2#)Eo>zkjKF7M2#)Eo>zkj0V$7HQ1CG4YtqFU~}Vkb~AM}c6Bi_a&ob> kG;uMobTqLraW!!@bTTnI@>AO5Kyvx)jdW*MgS7k99aMW diff --git a/pdf/Lovelace_quote.pdf b/pdf/Lovelace_quote.pdf index 2ab2e5fd26ed61f924c37b98e083188367914db5..4b784994bcb0ad81175f68256b8e58ee7f4859e1 100644 GIT binary patch delta 94 zcmbRBgK^dm#tp`0jK-5q%9I$5H;0$qXK{9Ou`qEpa&mSywQwl{y8r+H delta 94 zcmbRBgK^dm#tp`0j0TfU%9I!lHiwtpXK^-kG_X#n9Nu*xb$3#M#io$;`~c Z(8$cp%+%Pz%*fPE!G@5M>AJd%mjI!y8U6qO delta 99 zcmex=o8|v)mWC~ib5t1(rq5MnRAMyPen6E`i{07S+{Dq`z|hs%%*evkz{S$Q#K_6X Z+0@Y3#KOeM*~G|B!G@5M>AJd%mjIvS8YBP! diff --git a/pdf/Negation_Elimination.pdf b/pdf/Negation_Elimination.pdf index c6d2c0435e3c21dd5e73a3f807200e45e0499bf0..04cf42a980b134dfc8ab83fba74a1af8b4fc3f04 100644 GIT binary patch delta 94 zcmdmUn`zH&rVZbgF&a<)zD$YHc(c^<4Xn;amd*yQ&c;TjmTu-wW=@V4mQDsvrp_*I VW=_V2W==+S3O0n4Oy*s?9steO8}|SJ delta 94 zcmdmUn`zH&rVZbgF&a$%zD$YHV6)Wn4Xn<_PA;YvE=J~N#?Edorsj^$&L%Fd&IU&2 Vjz*?VF3zTQ3O0n4Oy*s?9stxA94i0- diff --git a/pdf/Negation_Introduction.pdf b/pdf/Negation_Introduction.pdf index 227ec615fd4a442e295333b186622bb212ba820a..d64b5ff6676c90e9e5498453f26140e8a3364050 100644 GIT binary patch delta 126 zcmX?pkLmb5rVV^6)r}2|jI<35)eQ{PHM#VC^HW?BOHvgyT&#?M5(XwlrbY%JC7VrG xs<1jcxw=>yySZ368yPsexi~tTJDORV8JioLIayj*IJuhHDcBHFGI`Fr)c}3!A%_3} delta 126 zcmX?pkLmb5rVV^6)eQ`cjI|96fwa0Nm%eX)ic4Zis)B}#m63swk%5VksgVIl$!61) xDy+_yre=n&W)_y_MkdDQ&IWESt`<%%CXS}g#xAC&M#gS-3O0n4OrEoDH2`4HAo~CS diff --git a/pdf/Object_language_and_meta-language.pdf b/pdf/Object_language_and_meta-language.pdf index 8faeca4f505495d7e3cfe7f015f7834e3f0ed180..0a3f18309511b54dcd8bf799850806d499812b4c 100644 GIT binary patch delta 99 zcmeBZ=IChVXxPGN_l?nby8SmsB}U`zN#7W+b2^*38M-+;Ihq?8nHd$w(AnJC+|<>@$#njcr(Zx=|#tpxc=|@EvF8}~2lo}oY diff --git a/pdf/Primary_key.pdf b/pdf/Primary_key.pdf index 8ce0061f2a500968eb414df3c09d7fd5d8808cf7..24c83bace4f0a67cfdff95053d17dac002fece06 100644 GIT binary patch delta 99 zcmZ4Tm1W6SmWC~iYm69;r>`|)RAMyVe!+M+lI50OfgLnpqcm@Htcm@J{NCY!5Ff*6; zP68hUGcYhSml{t3%>gl&!8`&ef9+XYbKABOe%G(S+p$ka!j%Bn>2$`9>oiSLCvh%q z5$83a5SDWB}B>$+2b*%geK4psQ{lbFbeuGgC_mPV@O(9 z#Z2PGD8Z1&+=*cc6fyXb7zZJ|dol(Nc!$XhvjR#|ID$T$vD(8X%WMK!g<+@6NI7PG z3Y#5s0`6P#82p-^P5~|Ee-zYOji>j_8bBc=l;D|yZke;N$wD3qN8f$N_$lL$%hx62 zN9=<}7+x`cTr_9w`|mM4;;;X_${Bx=&GQj|R4$u*+0@Ju--y4;>vC01^BQpogy;FJ z$PUY|?1KQoB33R{XCsJLkR!7L+vBQST~Unbt)1sZRnAt^ykdLPf2^oVCMVKO4Ewlu z(KJ`}x10y^yvnXFifKJ5tNF+MeVA0`SyPnDqpZo<-qE*8C?$*n*jfnvjgbEmVt=&Z zOPGB`e!s4=Wqn1qP5&J6C#cDBOo5XHd9iw)Le1e8${93ykmHuzyJ zw0#p&wCx+pN9seG|8nx_w|p9Rw<=(~_E|*ARpj zL&;fBZf@2Z$W^a(+S6A3Kz_}xWv{v;Us6+UYTcNp=(&pC$gH2DV{LjhyKz`M5{&(Q ze|KEe^|-v*f5fxXJnfaP$Ljsj2j|?xpN&2w_~QNZf3N@l548TtiT@GmDB30|i*1_t ziEi7(B`7gb6M8vG2DI4osX?WqWr{Il+(fl4aSX>$fKGJVr?LC~x6+}F`i5;{^h9

f-iw2e>@Qqk~WnSRL~+kh{an?;+_~| z-&+Ot2$3faZ@?QTmeL1uv?8=9t|xxrbK48{M2?Qq;hsp8j$L1&>H_j)8%alMi$|bZ z;oA2Yi&n1ZrE%lPZB3np1~VKcv(-XLf`9@CZt1+R{<6i_-JA&aR7+j*jm(sgpumeQfstKx*ju@ ze51S-B0govE#!h@Neq$dxLayUZKR~ywH#~SIBt@d#i8GE(S8(iH(Ju#qlpq*vO>|< z3}vcDyQaoo_|kP8AxC0M92;YSJN9YpzW-{Vf5TmCjSDf26s%$=C{vsY)R5HH(^|pF zia0_-6Q8z}iG*z0N)t}0wC#9H3$m^DxT4zC7W5NeLZ?>MPoGdBOsdz8w!J8rh#>@l zW{l|*A@;Qhq3AhU03%hc;b=pVY;s2q9oD%H8$cV7!Dw_K_G24nJ{ueZs9HYC>uFV7 ze>G(ltLLAyOFAH&o}9k@`I~3YUzL~HQi}0mxtM`rkcaJm=>HpYsb|fA9rg@{)h%pI2p*FY@yy_9{}qD_--4ulA$W z#|36GdU$TR3ydEhzk7Ln*n^>N1H%y*9@|Rd0vK)phBq5v(CdA`5a~`Z4)_}aB!E%y z-+{wri^NS%Cl7J@{p-V*@81tH;8i|fEwXBd-&#--2>LmP{8j_M#n5Z9_F3$3f7lNF z)pFC{NBo#S;Xm;c{(`^ar~EY#c+21MUxC9X{t0Knya6E7a#1danZnP{*Xi=x0IG7C z^DBOZTq$R_Wl+7y>I*>H{8921UoB^ORZq(*=U@0A{44*H|Fwa&dkEGqe>!~eI^_ZC3bV3!M%Ue@tvZ9bWqcQ_}6g+v}Zpce#~+US$h_IH#X`@~U5R z*K;g=h~FpAULHUDq4oRD6iXx=$AR6^uZKd~wd2X=Hj`{@GfJt4C)yAEB_&jqO=B{I zUQ7n+{+>5I8T~lWW!)OE{Ofd)T@r2qu`cP5ZuIj>&=7i2evpHCO^4K&e|Pz15%mIU zN;CdfUX?@46ZsI#pPn3_KK*fxc|>Lh^^TS z$5prfHW0aCd;eiMEoa4Y4l|4M^PGNk%xm^Rxwtc+c4@4<`QxJ#|~wTST$-QRA&cYrKXu3rdDs${Sj&hCY=)VAH3&#q@F@?!O= z39m#%LL6pw9)8E$S%qvQH(dgR-ztxbs%|KonDQh3ENfpRZG7*Fe_3-;(>+39?F^+0 zfk1d&zF8tfGvv;WujFlZ?kW(r?6li<+GLlV@@_lr!|lA~o4#eLzXqurno8@tGgaMf zs(ZMpJ3on=h9=?~rg8_S+TU%cf4HH$zhPUJs%=ZP-heb&TbkZ&Y5H(WckcXKhF)7v zW;6D3ZK%7`P%Hkce`$)XW@szDb+#tkwwi0U-tZx%o06KYN>;E8S^u<{)!hY8yp`D6 z(@s{+qF9nlu!`;k!!%?RT@;3wPF*KiU<;?q&@gyF*Q24=-m=(M>P3}*>GW+%icV7b z8zq0Hdy01QR+6d#c(Qj?PRFNBRyF%9$g;g`jE~YP9~bpFe;e2MTtQQjEylB~!FyA! zrp>C#$Juf=zAWozTo;!GqBCwv;&1Q?+NW#cpzFMtgO@Hrq>Pj+07~y}@T&Id@;JN? z?@gqR`0{6%q1iHa$a%Ky)bLk+6|Z>qR&_p}BFE}|x}x4vJQNsk_KIWJZH&7$x7l@r zG*XssZEyIpE<6IJi*i1SdDh?1c1g4jU~tUZF1qvlIWm^Nsq=Ndom}P1gWv}16Zvm< z*b;J=s#yYTLqj=2K}0Y_LpVb)LNzcjHa9mjG($r*Ml&%+MnXnGF+LzXLpef0L@-1{ zI72W(H83zXH#ajhLqj!2GciU+LPkL`mswf@Ujnktm%3U4ngi7pke63m0wD-B3MC~) GPeux&=n>BV delta 2647 zcmV-d3aIsgw+Vo^39xAf4`VkpH8VD0GB7YQF)=k{gLnpqcm@Htcm@J{NCYr2Ff^C< zP68hUFfcGQml{t3%>gi%!8`&ef9+XIbK5u)zUx=uw)Rd*cn}1@si~>5<2cFW;UvyG z@qv+OnTaeqB$Y|#*U#4gNs+SU#~yYMJLNJ6Ho6<#UpK&pAemqhizJhd$tY%0FolO@ zD$&fbC^Ae+7TJVJ#k5jjV%o$Ef5MHFU`9m@WGiE)AQwBP408gE33J*of8|(Wp+P`3 zs5BF4iy|g9CZj2}Nk);y(^?k63`^q)Q$i$6lRXY|N@xOIlM3)@4WpnBGeo3cI}Aw! ztC)_R7{wTJm^;=ih9U+(Vr?OWcSpv+0cSCpW=23s0!Pq?GbVDd$uJW`R$F#`rPg4~ka> z;|J_xgfP5h{4lRi*zdn%c*I}*yvP`Tp3buozgH~lY*|;#5Z{Qu%&KBlPO}Pe@Pwz? zEKm1~AMB$5!5~&PQ70pamyjc~J==q_SY1$z>8+XPd0EU>)2w7Wf73KC3nnMhPBi

0?BCv&sei8CtLhOzP zzWCWk_w@cke$SchtlhhakigVc2rD zSe$I*j6A0?b|MpZe;sQi%p{^55_V#cptsN(Ig97*SZzF^WienqL_irO!67myX@c+9 zLetkiMVr2+e55|4`MaafU$SYCesm72yAeckdYsklBhu#J5GZFqYIZWZE}xX#OemS$ zC8O4!D{<>64Os(9+C>u)$G77($t2P7Ef5``=xB9sB8q-Of2;g*1hA7Rdn;@QOL?b4 zaIh}^J(0U4x$`Nq2LJXG*2Nw*pM)0l{6@`+nrzr>8FFf>J|*qHRGq+vrX@9Xr@;#? z`jWGbTwkr#lgm!)w4<%Mf$Wl9%T9GmKBuM_Y8}jzcU*aAWZF&9veuoN?KrF*@y34L z-5wWpIWDhI>DcxasxBZ;wvlw8Hh6fd z5w>{`v1sHvUK-by{MNB=ePsL?;_Wm^+9V+tBsoUzp+>UkT6mmT564!PS#`E zkZ+W?LWHOExrJP?EDj-3Eq6mrs11}PvJJhmx zo~E_#5+U>>;X~1JGyn#wTEo$VA|7%Fj>xa`$Zr5mKzgIWfzS`FpZTPB44`WHAgiWj ze|}LHWvHH?rRQ`&I6gXl^X!)=PhS@2=~9aEezBN=VUf-&rUU1`KNpO(Gi&gcA$f9HI`m%QNL__tM2XN&B#4!x2T@RC=&=BwRc z^gbksk$+yutM2X9{-?ss6Q>%g!ChQqcJTMvfqf#LK340^o{7$VsU#vXr7fOs%+ z{uMZ!H%MINbbJ@5KfKz1@!>-+172qH)gmpo_#FvK0zp6Lkl(83x9EE<);^0Ze-4|z zzmXjJdygOTNBj?d#Gmt*{FuK20&n5zg$(Vtl2mcv{~VcEuy5Ce_&z&wSVmrOi8;1Zx?OFyUnfa+bUfE#5w)kla<|? zyPRXmUHm?J^5XEx{l@PbQ!JKn90ztwza9!{){e)+Z6+RUGfJtuC)$1ff)c7sry&`9 zFC+tXzh-quMn4R+S+@o(`!QXl=Y*R_tW7$k8~uFZHTYhT@8w`t(IGYDe_eK-2fcur z(v1I=l|>)(Sl$Km$47_9j~}iv56EnRJZT_zKG*(p$j7vy-w67VU&DPEH<2rV-M7JV zT(#?OfXEfw`~Bs#nB~hk%*;w)FIV8(Ll!C5Ed(Z2+*=GMx58LPrrDWKE@vt7V)eQ9 zuS7&b?59=cf5+Qeg$$CLE&=>+m4|s*)s#(4xeKG=hSG(A zC%h_NFA<^{a%am|@;W=W6$l%4noT=RyvQ5&zXRf5leQx0T*nTjNbz^(9-c_>j^~NkvyBD_DlCf1J;%_JSweN^ID~5T)h=Bg`}h96 ziHrii{0U~LH;nCbo@_eR|CL{bE1sQIm5ry!v1*sDs5cb%1$vyF;t+Nd;%@YHc3mNj zl%-qSE50oEEr98wn2$o9bvLwa60HO19W$nl?mT;njODMZY@KgM7uj;pyTQ6d{u>`g z5^tBQSpsZBH83_bMnW|>IYc%#GC4CbL^3r+LNzuxGdMOxLohK#J|H|bFg7$sLNz!! zL^d`uIWsXtGBrg)H8waiI5tE>Ffm1!T3P~M0;0m$R{(rHPZ7tC@j`g_)zXnX#*z eo3o>fp|P8hv5S$Vlck-44Iw4lf6rzVWds0<#T_#M delta 106 zcmbQRi*3R#wuUW?k0-Dg7#LVge?Eax9?aU#HIZ>0m$R#pvyri@skx=Gk)eU5k%75| d3sAtw&BD#q$;H*g)lR{Nkdp1cXETa20swdO9OD20 diff --git a/pdf/Recursion.pdf b/pdf/Recursion.pdf index 6aa16faa04e39261bfb50cacc2a0a12c596ea49e..98efd95019345225c27f4c67ca965b02d78ab26f 100644 GIT binary patch delta 108 zcmZ4RfNQ}6u7(!IEliaQS&R(~Os3Z^WReH7wl7%7behN6*u}`v#LUvs%*f2t$=Jow g!rax!(ah1%z`)qp*wE0>PQiwdlI`o(F%>Za0MVBncmMzZ delta 108 zcmZ4RfNQ}6u7(!IEliaQSquyeOsCf_WReH7wl7%7behN6!qULf$k@@;+{nb##n8>j g!qC;p+1%06$=Jok$kEc#PQiwdlI`o(F%>Za0Ndpr3;+NC diff --git a/pdf/Reiteration.pdf b/pdf/Reiteration.pdf index fef7ebcd99fce5ae1367f26231ab397055788530..f3f746dc3a9d9c9cf09e2c4e010c9c96c5e5720a 100644 GIT binary patch delta 100 zcmeBMz}&Zhc>~u;7Gnb=v{<-v^2h9@7hI=h*e8ydQ}8k!iI8~u;76St#lgWH1<-v^2h9@7hIy)M<7#Tae8oQdAShyKmm>U}#8oN3g Wn>w3Ym;i;%>=bMWDVZF8emek@ksD6{ diff --git a/pdf/SQL_syntax.pdf b/pdf/SQL_syntax.pdf index ee015f1bcde49e29b40fc6fdf31ed63a1df442ed..07e5011e97cc453326da644dfe6330f1ba4de81d 100644 GIT binary patch delta 114 zcmX>)P3h<~rG^&97N!>F7M2#)7Pc1lEgZ#7jK)P3h<~rG^&97N!>F7M2#)7Pc1lEgZ#7j0V$7nmCjg4Yp5j;+Vwh>}F}+IUV&vrLWMN@w;N)oFYG7vSVy9q3NXhn`4vw2l0De;+KL7v# diff --git a/pdf/Semantic_versioning.pdf b/pdf/Semantic_versioning.pdf index f63f074af92e5a78c17b61e8c4ace05814c82a69..5f7474ccb4a97c885ff00925a760661b8d69f732 100644 GIT binary patch delta 106 zcmaDooBj1{_J%Etj}EdJ8yFi*e|C^j9?aU#d5E!s%h}1m#LdFg$lTG`$;j2h!rau% e%*55n%+STyz{17F!pu&=hLDo&N6s*+GXem}a2=BX delta 106 zcmaDooBj1{_J%Etj}EdJ7#JH)e|C^j9?aU#d5E!s%h}P*)X>Pn$-v0K)!fm@+{w(% e(8ATs#mL3d)z!(&+1O6OhLDo&N6s*+GXen8^d0X2 diff --git a/pdf/Soundness.pdf b/pdf/Soundness.pdf index be922d93a2637094445a37ad13f6975e4b132f8f..84ae176119556abcf53b283a77dbf2a9a9ccd978 100644 GIT binary patch delta 99 zcmX@q!gi>Itziq}x(Y_)>FX;Pl^Bh;U#ehqItziq}x(Y^v>FX;Pl^6}SU#ehqc Zbu%=ubTct^G&8ePupy*mdRQal8vwIY8)g6i diff --git a/pdf/Stacks.pdf b/pdf/Stacks.pdf index 06a153cd6ff612fbd70f9faca1a2a032098ffa9e..403add888a534d21ca1c058621657644443721b6 100644 GIT binary patch delta 2975 zcmV;Q3t;qyqX~wi39y<15M(wsH8f^9WiU2lH#RwAX0xgS{sItWHa0ahW;tarHe)w7 zIb&vnxCMu}1p&9X1p-Mu0W+5ZLjocJGq)u}0x$s@iqc??o}RD2>FL1$;DixLBq!Vw zE;Zqt2)vhXL;_5Ia0Qi860W!*iV?0AAb|ebN&o~9E!3kbW{EOHa0WmDH&?8uV0;1n zG?*h`c#Y_=tl)}ekXM!y?eGd^khg%(02@q1!~j%<)&T@-OwYiOAV7?Qp%}=)&=J^V z9H?esJ|kKKUii}v=}@2wDgmNV5*jTr7RS-Va;|z@!8HPZ@KBbZoP($aGGJ(H8C;>> zft}FRF)$V=ae^Zl;-mw40~~{KK$(MqdK#!VMiUM47Uls=bQY#g!CW|~S0EYz$qxP^ zoLHC@4)!`nA_)Z-kx2U)BasoT2ThRy9)J3Y&}%|pWN$J;Pss-f?s7%wSz6wbpMQqt z9)0s|kq~-+8BdZPeU{D3WL_4;qFj$&B}KN(M@a$x;wxSz<1{|W{v;n5R2Zx}5|?Q)7H)@1fmq@_1e>5ZmZm zkDikfe ztsSyR93*OBe7C0c3_O9L_ni49U%3q~Z&l^N)xrBQ4_)ZH*LR22_WgKM1 zL9$x%Ax6}LWO+1{5G4KDtIbJk;>J69eRN*#YqPw)vkgu2jhehpeDT{JL*=HSr?sK8 zder%r32Y`LZRGY0r8bAUs;Qc9pY+CVFE#NEd&bb4V_bFtkGiOvIh=0LxTurq7Ws9{ zJwyH82QBoiPs!i^PyYY^Vh*h3;5Bf6-hn*^HbXg-xHtKK{AsO+hE(~gF32`D?YHY#$+!z=p^a|-}0HxGWSE-B;Fr57=?0+xU|K)P_6BAPBz0}oyUiq$nm5?^I zAs4(#w0tt8DA8$ad;Wnw-;5nnyOAo3K3vtnN!~Jtn7n6OBLRnT3@kEQpoCN4b|@!} zcRDWX^<;pFh?}ats`Gs-?b2Wm&rhWvRq^%?x+0d?Z z1N^sH*U&nm(}_kWbTZJkW<0C$=cqdZ-dSso5_ui_cBynKK2 zub1zCxOjP$&Eh#1gOhAJ27zfjDToS^C;q59P}Y!vaCmaF7935&WYObdghy86K=xU@ z_$5gv4^F-_<_ozMrG(m&{w&gh(GbU|}k(2_3c7YYXekNYfzv5amX zrXQo@)yefQ?=NaP*x)LeET?h4gAq6j4@AW9Nii}aT8ywZAFN@6?V!T6nUK88#0h=w zxwxX&^bP$Tn27U#Jo}oXG>~!!hxMccZbsQOn?pLA#T8HYX+_ni7FpRm0mA&##c6V1 zhFnm#Nb)or)6ewtGAk3`>T{tra9lp*NkYr7nP>Ye{d0|R`xM5H-@LlHylycb*x5n2 zb`{~$86;e{T`=mpV6@K#2VAX~*Jcm%apiFR28<#q#$zXYZb0g5@u> zd3I5P>3i0mR%9R^2J|#|aZ$DbU zvi)n@Zp)uy_p{4iZr;AA?0$5KX%2>Sh_m>nh;h>xuA|O``(k6b5Kmud&tZ8%kjdjw z@O+=E78zuJ|47QZ8uFo`Mb%nJdVG~3nME>7!?NuzEO0IQSCVHPp5;?`{`J|j^S5ss zp7$=SsG`|<|7z2GU?6KPsJ)@=g1!QlLonY%>SiRHw0!a5+u|XaZ(-ZVsv<>1!?NIk z;b~kvYzbSPpk=pg6VKL73EP2j+bqL|RvA#it!6#o z!MXLI5s-%lw}F+}wNJpEM|T~;pyzN`LoeW75SWFnk~k6e3Alfx zH*hCJe}_BrHrH^k)}fn3rWNitciB&!efD!J{`uGsj#@7n0wKAzY;F%DRJXRXn%HI* zA=;aNYLC0!bbj!<tbP4?Ry=4=d}v}60*hjY(u#~M_(4pq2aP{rd=-P57&-mkkz zEqjDi(I8ciBaNPpbm#uM22^YS{8${$C{ zpN@3rma+zPV?p7q{Z=p4?s1^v`!1-Cn@ZDg%GROk4XE-vaw?-1P}%ZQ^Eghmi4)&m z7Wn#d38>)a@Yi%)tlqj;uU^9o!?hUvdRb1>Id=8X@PiLO8bX6pYA6J)y6&06MueY# z#Q4Tz{7A;_h&ld6eVo&gR~gL1Dv2Z zAB^J?tMlckT;|E3e2B|Ic2^|%m!trHnft7d-&*Q zjt8rGxzDrN0BYgRC;ryQFWAqRm@_V$x{oBB7!)+H#HiBAG-Lo_%; zMMXh2LOC=zMlmxtH$g-;H8D3tK{Gf-F*Y(mHa;LcG&n;=ML{+~IW#y%F*7$eK}0q+ VF*ig(GdM*tHZnmrw>VG&P62TTvKRmW delta 2975 zcmairS3Dbv!$3*QB36fT#okrKOl+~W5^9f7d+!xR6xVD;QL0t7X;kgeQiN+Y)Lz%# z)LtRA{`dWR_#V#7`JEGAL>pg3Tm2ru1c55Z$x2E(I?6aW$U|Hl>TrOY|7&BLDHED0 z$(x!f0eZ^hlGy+_fR|jdNdOLzBxl$3SI|KWO)Z|D+LQTpCi17V`p{;-_cNrp$@bL* zJi#2&iI(u&_`~n=*@&r;T{pZXqv5tH*D)PnaZX&Kj|TXBwLsu60Ds&ibvh2&N1j{a zC9>2}mWK6RcEYi(lo3?Z_Po4Q`J(k8ZVSh7s(1==hr9IMYM}Vk4#8D5S>VaT5%$B* z_7L3!fGLue>2>&#Oj?WJ`5S7Gwn}kq6arHzA+0gF|Jt6`W;5q0}wFu zqk!iIar;I)N`iy~C6Nf=S&v(x`a-8tbkeWRagld))Ms}z`M78Bm^fCtx=uW5QG))sY_(bCxdx=~zXmGKW9iO4)s?y(L28#@l|SQ8pl0AD;{j&lUN$iL+>6Bv$oC zi-u~^IRk_ki_D#oisHU3lCVgJT|_s*DYr*x=F=K5_73p=jP4vU{{`rJ_>lyWcPNYQ zRO^xHs?Eks7*szXKqh%ii7%pW5BUbG!|41?II4Ku9B~|Wl$M(OJPV;hyd)DrtUv}g z%KUTEipIE}H&Q$UxG>zDGQPsx#@0ktIi_&^NC;`~Uq#obc@_C8ha3KkNHWtPxE~8} z3Ybe6wh6Vm02Z!qzz=>7#{jKL69&>q0k9wQ0wO<(r9%4nLKB6XLi%|9)5>2S&A*?N zKBS0Q2;9hySeI*VHGNBMPJPg;6jX44T8z}!E+CLzW$6EoprXUw2c%+jru6hwqT4^_ z;ZON7S!<0=L(G(R=bALi2*2*006eI)P0Y%FXdQ_^R@Ke&PrFCm@6n&YX2h7jK7!Q9 zRMIq~fySjpynEydr{d@XF}k^Y-yvrj=*EG8%@xONUy4i@dOL1A$%|2;WFoiH)M>vD z8_F8fhNhAD>4ZK}S4_gMeH&v25nGn$p&21`Nt~nBnxWZCDglZu9Y*A0_Z%iw6I!v# zSd~sNt=%QF!=#iTSB}GlwY{+eizB3S4cn+@Wl-s{67t-NFd(Jp@v>E1_G<-!fq?GG}33ZSOptqr1n1)#8h3j%-sFpwcusXF;Ts- z_q*la+$p)mgDq9T+qOR%UtA7p9w+ zX8)Gp!FiwbRe!qMP!@twRg)TyTOKu+sqY&^4ukPiv!v>9_N3$vq!>F4_j%ZMo12FZ zRNB{v*`Z?{^{suv#~w)Nuk74JbpHGCduWhz6Zf@S9M4zKEvYqUu_unkH<(fQ?7@k4*9v zaTq7{lGX*6k6I5JtHT|sRM4L+mfp4c@Ez&n@wYa|U*}P4MwH*OR9;4vzhk5yHRv>IVYGv4{n7+XJI)jN z=mBG4#!UD45m!dR`CoW|%ZF<&;tKEM`U`uzX|P{f^oc{L~kHieY^El z+4feLN{(RM*;a7Qz(P!sj`E+czbPs(_k)!Ffr2TqTT;p;uBW-E;i=Pf)CdRrm?Esu z@%``%SOKF<31(R2;|O$cD`ulUU%+-$;x32`d~SKi@!`D66IJcrii{n*1-tQ}YP>1L z(r`6`n$Pb(I5Bbgql1%XJ==3{6^kyaS@pl&rFqcVNvwb70{ykBwmJSNN-}R^&_r1s zckXo%Xh)BB?p3Y3Ttbjsidf$MSTYVFUR#R>#F1K3#@5>CzvX+qS#y^w{j|O5Y$n(? zv8my?)Ev>55tn5rJw!DBv&p_n6nVwfjt&k)&pRkp*TwqniFTGq>o)te*pCO}-9FKQ znysX&2EiMvKUd8b;!hitUf*CQYLvp0*AIMuEhx8B5bRt|b_*%S&c7&E_NhVURPU+u zCR&BmrB;v}yqlIn6565P#yskw1^t`ON+qnV2DxhsQT0*Ims5@NS*qRpuG#H#t&v7E z*IO)Of6;F;xgO~;ua-*L=zOF-@9y#A$!ipG6%&gd;#BB_{*L;5f`Z!&{r*WmCJ zTtnLFg(w`7;*=HdJZo#QWOZ7_KLk@ElpS8})VXf@F3Kq#*jgBA)t%f-l#)8sCasV! z;4_qwl#deZ+Y-hHb>-YiD_u?9aL8h3Bi2+aIWgWD59}Ii4x46agsBsJW(4zwbY|Fs zUJh`i`l|s2q0k8MoS6e_m-~3T%GL}%(x{imOn^gMwy&0g2`!@!YFOs> z_#d-i2;rL(PhAI>_)Ia@H;)EWSR(IP?2n{0i~5nnd`JCBNTz4=cst7&ta)VjhutRV zzzmy`doQtxaWjvQDqHTuiSuj8Pwp-FUIw54VHf(wib(UhP#p)>VOQqd{&gM9P(Dre zb5;#)0-V5%6sd8(fDO-ctgst5q?*)#O1>9ls-|YD{#S}SGi>$5bQ)Y%qHy!8YTf6y zNKW~;rOTO>@Cgp&dgz*ows?N+ddY@=t_Q1-%8y5fN9!y|eD`wIcC&?Ya25DRJaxRM z)WunCZfW4|?}BAIt|*x}s@Z13uX``jUk#Zus@YOrKoD(9DFWVK z3WV&=Oh)$eZ~-Oe7Yas%r?NjMJO;qBxJnl~_7YFo04)20anbI5*+R3fMjWlO;|f^a{1RR3f#4y1xoruYlPm!RXsShB}EUJ9hW0?y-a( zIRb1v4PXMvHx( z4d%P=H;*hW3WFs+ptAr*?G|FIT+n-@0MNS=FDUxI$F{BZTJs&D0Tx#}`I{`S+A|o3 zJxHijU!W|T_wI@(7C|kac27A;CT}{%wm8E$8O=@tKDpMBk9WRBTvcLyt1B56Cxa4` z+4U`&9}m2vD}^=rYUCAiYOtJ!S`$}Ymu$zpM(N%ZM-_S8<6@U5nrJm(5$V}X8C$+u zqjBj|DNa$ldqQV&XTDqZ0=(Ht2!Iz{8w%HwhstVc%V=tA%FD`WNom7nWd1`|P8$N1 Rl2qYV`u~z91th?b{C{h(sH*?~ diff --git a/pdf/Syllogism.pdf b/pdf/Syllogism.pdf index 924149dbe748b6d47e86c1a2b86493764f57efca..94f45068e94afbeb31eb11beb8d4a5041bed3660 100644 GIT binary patch delta 99 zcmZ4Wfo0VPmWC~iC-oVPr=QYiRAMyV{#Kt+gWcKK&BfHj*xAX##n{o!#Msip%);5p Z)xg!w$im#v%+k?L!G@5M=@I6PmjJ;l8z2Ax delta 99 zcmZ4Wfo0VPmWC~iC-oT(rk~PhRAMyP{#Kt+gWcKH%+=A-$;H^x)xg=p)!f+F!otMS Z!q~~x+{Dqq%-GOQ!G@5M=@I6PmjJ!Y8two9 diff --git a/pdf/The_Pragmatic_Programmer_1999.pdf b/pdf/The_Pragmatic_Programmer_1999.pdf index eeacad8bee674d068d9e5de4a8e641060cfcc9ff..51d5a7e7dcd18908e30cdc12e357f3793d75c111 100644 GIT binary patch delta 101 zcmeypitG0(u7(!IElf+A7>%bdZDLYlG+ut9iAliO(bB}i#niyj)Y-z-z}dpg+||^` a(%jJ%DClJBWaet8U_(gBcJ9ec1xx@nY#aLk delta 101 zcmeypitG0(u7(!IElf+A7!9T`ZDLYlG+2J3iAliO#nsWk)!f3;!oXG-94wlFt!u`sc4b#XPdFtBuSa&k2@ cFfep>baXOwbuu(`u~V=iq-49B4O0pu0O`&e+yDRo delta 102 zcmZ4Wn`6~)j)oS-Ella4=({tn)l^Bh;_scP!WOp`pHFYvJGIMn{bTW1_v2=2BGcYl6 ZHMMYbHaB%NvoyC;upy*m`fN4E2LPf48uS1F delta 99 zcmex;j^+0`mWC~i*>a2q({tn)l^6}S_scP!WOp_&cXoAgHZiv_HZpfHH*qmAGc_`B ZbT%+GcQP?{b9A*+upy*m`fN4E2LP9#8omGk diff --git a/pdf/Turing_machines.pdf b/pdf/Turing_machines.pdf index f173b091b7e1ff3dfd40e2eb3754c54998627845..19189e1357c98ca5b812c015922a992a6c37bfe4 100644 GIT binary patch delta 106 zcmaE`nC-!0wuUW?3)@+Y4U8?OFKuU(2eY=HXlJ~_;cRARU})@O?qXzO;_PH%Vs2<* d>|$VMYGLMN=w|8UWND{hLrBT?`x6)$83Cz79SQ&d delta 106 zcmaE`nC-!0wuUW?3)@)?42&(OFKuU(2eY=HXlJ~_;q2n-=H_Z_>FQ!)>f&tb=ICf< dX5r}UY;I}jY;NIbY-*=qLrBT?`x6)$83Es!9wGn$ diff --git a/pdf/User_management.pdf b/pdf/User_management.pdf index 8514171186624bfd02145e611c54b6e23858502e..b35d61c9cec2a5fa241918ebb38266b41a0ffa67 100644 GIT binary patch delta 99 zcmeA>%+hz5rC|$Wza*pa^a+xTN{q(aH%l@eVskb%G%+hz5rC|$Wza*o<^a+xTN{j~EH%l@eVsmyeG