From 0cd26063f0fe8e98f19bb4fd5709f22a041411ac Mon Sep 17 00:00:00 2001 From: Isaac Date: Tue, 12 Apr 2022 09:55:31 -0700 Subject: [PATCH] Added a rudimentary QED --- __pycache__/proof.cpython-39.pyc | Bin 15681 -> 15350 bytes abelian_proof.py | 3 +-- proof.py | 10 ++++++++-- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/__pycache__/proof.cpython-39.pyc b/__pycache__/proof.cpython-39.pyc index c0a52f82b96a0fe3d6dddb19c913b9d072bbb934..43a5becd3b9a52614da7c85cd129f2b53ba82119 100644 GIT binary patch delta 2565 zcmcguTTB#Z6rMA?vpc&3%W_qa%Rm8HWVxw}f>y1dsN4!D)vCC#0}L*^%fG|Tti?;x zq_)vC|4UP2gAYwgHEql!CVi-;@j;WOedy(7lh&pWZPLUC(xeYO^*{e?mu<^KpE{fQ zIP=f>&*eMk%+D8>{#ft?v$Nd-yMF)V3NC*kbED~Ga@THOg5{*u%dR(2*BYJ#F3#nsEYFLkG zs!vY3^|&618^Or9MjR}zq+=pVg5hw|Nwiov$X1f|*8 z5_V4NV#3BKwKF>H)6!k>G9!x7DI}y6ag2WU>Vj@esp~E^8nI|yr=Pm(8eJB17-v%KnkBg? z*m}B$lD5I_p$$e!DSNR>JxYJx2`0r07zhqG@E@I3{PdZe{r~1ib=P;wlDc1AY+%WS z!}Ol3WPHiWb5Yf;G+Cir+-m9~J6O=90l|;Z$e_=cK>=yPW#oXgAT%SSyNYu_T6vB8 z6{V1|be<{vi;FVoF>fh@Vi#xCd2A*Y*0p$23dZBC?efw#D^S9A<%WGu-mPROF6=_s zjS!%Eps?TIns^V}+m2 zW>vQQVI`BYHm`>?94{YxJmU@r7Y@ZR>=04u_M!m1Wu7m3DCQkNlfa;l9Ar354$<1; zou^*GW&CPb!Eo9(4F**@5xNkLARI;LM!*)!VEY&&x+r^IBXO-Otj{pEKcwf2j+(_K z)ndgzJaT8=w2@poT3YDE%t$`MafB*fxRp``p3wWHCiKw@Wv2t17&@aEQyS5_8&0VA7OwEBwYSC64^g0N&sB^D&?vouMfb1^ITbXTl8 ztk0KS3u`l^fcC2`@UwYU{RkX`Xk>^sRaL?;Z3t{tTtuIoGJ5C2#u~k<7MVAyqTuEA z-;S#M>sUiw)y<%C7J91{0P}S9m!R;d&Y@O0ZK_p0qZk%wM8&1kTsu~q4LRl;weJHQ zpv84(Po6~`Db5!*&PD}rZHh9jQNe=3vzhK1JMPIAXhDPt**rE-SHe?FZKJock?MaiF=w5 zc$v7LbWwPwt5W8u(vSUh&}n|_{|y{_aoZ$)($whVn>TE6)0@~LQ#@~fa~2Gl?ae=e z^8mBK#*0?8?jPfQy%9^sSTm)hj5BNK#*)Q9pZtv!(gbBrx-|+o7&+07&BkA z9)!Lbw&L?_oCp>R+~VIolL+qRMdwa8a!orWQJ&Y$T?$;GFIxTP(_Nk5;EF9YH;|u= zyM3ZXf`t5*KNj)PR#t<}w351IXVT2gM zECNAT5IhVQQCvc}M6>sAsU~^x-E9bM{R{Gh#HaJ1o_6__A D8Bi7G delta 2948 zcmd5;O>7%g5Z>8cuh&0GoW#zb-E`e1ZMO{}0g}*`v<+>bg_5>ON@*w*H(ob3{_FF) zCB{`iEgX=bf+z78Dzz6-B`#2-~b#zf(y*NO=D8!05@#y z=ka^d@S0kspWjK(C#d%y#O(O)w2Mtd`vSuF;wi~Deao48zqz9=Di4F1^>?53UOBQV6b`tIYO^>y$?pKtvOHdIwxJ}0yDwo+9xYQ}R8K&mR2 zw5pm>@$vExe4QhD67@3bqLh?r41bj>EJ_!(lQ4ptJ+4=!OTNnzNT*)5m842G^17`! z0e>3|RJtauVm2{rC5=QjYupH@WE4_HMKjK%?Kz|3GYWYlo6cKCg&zuR8u2qPZi*QQ zHF^9LYbQb3zjunQBgxBLlQm@$hjbib#Ffe43LFTJqf}}`kTgHI-ylEQxQ6!zL(a2} zyX89!oU3{F<%-#~RjPRsrBXS^nsCrH)kPB76K+i}3!u!uX$bS?<`_K8`3*wQ6IauqtI%Wzh%${FRXVyjif_F#gKiFqZX;hb6tSJg{i)X+1&%b2WF{YRvH ziz?av`ANVuf^<~M%L9__sbVsxBs+ivV8WB~MTL@^R3cbOYUPb}eq-q~Y2^y1`LF)g zusvrP>7ai7Amo6RAK3pbG9*;$R~{wsxRmN&xnyO z8To>3B#Z~jS=%U_$XK)Xgc+oQEzZ~Uq-7OJaw*!3dlx*hI7xyYjZrjKEl^A_4CEv$ zl#8|2rJ(MaKkiDYw8d)v2NT({HO^Rpx!LxJY}dS03=`#CO}9>y`m8k*U~{D#e^@W| z#z;_D8qcP4SO+EaU!o?GJR#7K`5?%07*PXVuCyFvg+i)dEZ~Vq`2WG+;(ugte4!F0 z_Oe!LHS*Xn?jEUPBlyeiBoKYHi6nzynIyKA{%#}KPH-0iwVCNMz(#3c2f|DsTTi^~ zX8x{v=CLWCL9Kt6d7^5+lZrUtw6*rY=9>durJ7g=1=7hg;Q_B3YCC@?9EmN*$9gG9 ze>QPutVkW5WKsToco<%Bx+Cw(U1PMIPUQ)9H{vv-maS~rZ>4xBy!pt@5v-OfHv+P= zhky6UP#rJAXL?@n;|;Qoo)QL?OrdFFj%Y#kv?oQ9sQ6 z>;2H=MAm-{0TI^2q}j=T>M?wepjZP7i{a^w9lWo%0oFL%dS3?^!$EkTKR5h!$R=ZSS-G(@K0mS>K5{-BnFhFx zw`|=4pYR=9ug3;S#dAXs-x}#P#66aq$Ye{1ULdpOq%~DOQKZ}Lb3VPT7uNC0w#^I8 zq)fM=`zAwgi;P|r*;)e8zPFMzM6i=!7r}i5_Y)i-I7sji!BK)o2_7SuB}fva2{HtE zf&xKNYDFxQc$(l0!4rINd%T-&6dghVUC}+dj*l0gklv