From abad1b0aa1c7da686c91315c9e0fdf9b3cc70ba1 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Fri, 7 Aug 2026 17:12:56 +0200 Subject: [PATCH] hygiene: ignore __pycache__ (slipped into the publish commit) Co-Authored-By: Claude Opus 4.8 --- .gitignore | 2 ++ __pycache__/verify.cpython-314.pyc | Bin 23965 -> 0 bytes 2 files changed, 2 insertions(+) create mode 100644 .gitignore delete mode 100644 __pycache__/verify.cpython-314.pyc diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..7a60b85 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +__pycache__/ +*.pyc diff --git a/__pycache__/verify.cpython-314.pyc b/__pycache__/verify.cpython-314.pyc deleted file mode 100644 index 72315e300c67f23f82441123f844691331f1dc13..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 23965 zcmch9dvF^^dglz@FA{veAH#=4f+RqZA}N}bWKkk1%6vf}2w65IE=YhREC_%HfF#0R zFE^VzQ}XVK_G)7~=RL!TE~f8XwanGlg{kaib%~RB>rz((0WuJn7jJT|y2{o4A+POn z;!4%s_w`@~LkfCqlDd}I)0pYU*I$3#{q?WE?)LmV9R==3Uxi=zKgTHQf8r0pDKddC zo~0>jjj~Z8>LO*M&(I;7JY^vndCEg_@>GNr^P=wUU2I{hrJZYnAjZ9}eZ)r1X)A@dW#ny@ ztsKG?BwT%=##Y(?EJeA1z8dO++B)zcolwW>21=-jP}_RoV-xu^RfS(yQPfPx>2o=~ zexIAU;$}Td9yiM@`B^5k;${Nj1+OQ#;&w3;Zl{m2vrbquI}F6uBUWC&$7>n zub9OZ_u?gt2_<^HLB<~rF(E%8|+9Nm@IGpcI_52u!FgZDHtat z1X>oIEbDS-Df`3&-i_&4#?1%sYb}}AAsVZdO@JuybunVud;q4dnEC{a4*kB@_&hu4!oEnVAV_azEquy0GbqL@>a^ zRw&)f>Pfsu$fTo60u6UdfQ^;xb%)|(! zK*~mEC!l81{*#F`z=T!>1n0FmuTb-3fY!n+>oYU#J5r zzRY-leSFg_x*7ixuqucdWVnPqLE4FVv0jyADvCdI*%?|S-4v7foRa%X1BG&z4*aKZ4+c=kT zI5B&c%ozcLAq6GKd}?BPW@LDP@hoMTksTnQ{lh-z73e|E1+SZF_4yfbgyy`Zd`T-{Y;dMktQ+PV-}`i0xv&~?2cbL_Gz|2BAePpcp6FchUv_u;SNxr)J)u)L zH+G)#I>Rn^=P1VWI>_Y1bGZ}xkk2gb+GgmPorFcm=d@vd-suBjafaOU^Q<09=!Cx@ zY8GqM*Az`3{v5qqBlq#~wwwI=0=`m&0T@6hG61H1NSLjl6|1(-HBdHSQHSKMF#lVX zl9!pFpd$dI=r0Jv-wr;nG?hM&>a- zTMWNR_39w7M(yg0ZXUmJe6uAw{9{X8Z%XP9#q@{b`fg6q%^D!eo;C(;gm2@cB=M8C zu}z+3N2eUBpu&+) z`KB4XeE?f%@PiTZk|$rvdn}TO=n_evCF#jp$U*;;+lyw6P^3x5mcoNA122e#9TeKf z=XbgJ_CZ~j)UgQy``Tx#_g)pWO;=LiAJg~8^#hz@Alpa~pEwQpq?RW@Qm`YoWIik( zz^?fCT0fa2&S6Ut=b(fX7ipsNf{Z~q*o2wy7pV@3o-V|0qAt?8bLk)}4?eXOJLEnm z^oNVIG-e0ZI^zQLT%Hh~L*5hT0KM8l(;~guFXv!*%D(T(NDT<8j4*i0q+tsn3$_rw zBJk33uiHm@Q(Cv+3C+W=<^W;Df(?VP54SFKy```$|%&V;&r*I2Px z7Nvh&88Q?@7CdsD?c2J7XIkzWRWFSWQi9Y+U~kn)N{|!yEd|`FS+%6v}{YY zRT`~}mmd0Q`_9rG$Br-FJsH|E);M^Rd;jv_o5qo_ez7?oVWXXM7YP(QrK8EzCh9ZplEGnuq(1BM&X zYXUE=BswhHjA7Z5FD(oD(h3|v)9RoHmczc~APzkT(V@Q1Pk{yed_OO$!mJr0oq)gK ze*kZdN~sOM`R%_lmZb8EHoJZ_wl0GnvtfVj>9yfciYwODDSh5X;rEZEiz_fh|DbQ< z?Dq#Z8{cl-Ew0%-7cXvKA5IwyH->(2WwY@6FQv*VAd{sied|(mVQc92a;l^ZbKN+Z z3A}Og?>~ctc0Qp-xBlV}H0!byAGjg=ypk%ZykA8b@;3^vA4%$)IDOMb==GO5Mbm@* z6#E)B%ooU#$7x=jbQATyjP$!Fn{a0#(;&`R{Dgan#>w>(eOt*tv*bV&;&5IdZW zUv&EXK13PjF%^p#4q*q+=v}?>=D>}Cjg_tDodM2%KB0dusdvWoPHw>y*T29iUf`L- z*NXSW$@vhp+8Skne{4Z^;K+8c>_};&IwVt|Rh)LS+1hANC^|6w&{pj2 z`y5bHvhNlAG=Qi)E^mmVbjS=;w^HCnJvCP@R z9;S($H5VzYr^f$=A2!d?hjEppNvjc?0z@gIfBum9sS9mnVV4~tBN|wd<21@d@)##9 zQ4wLobw3$UBL@Zuo<=lHTyPUifoa_fe3?vnX|3A_y#acZ8&((4&D^fEVr;}Vl2$Bx z{R?a#a5JsMWq2^HWdZ1#54o>}NdHL7m))VX${7H#2ofPs!D~tK756om@NwCZ*1!-B zxWMHggfbMS6#-aL;?i%?&${>(49<%d0x1YM#aWvU}GS+_b&ars=*?6<<z^|7YdUS)tiPl44dcU z1ub!XYf?YU>1RK1alPaBEaOS@Ow2qJH_vj4*?+0_1b{>iDAl9%;TM25NqgE!d)n!@ zi?KcJIocE3ip<_GlUhA)_WpIIsUFA?ozULaN4Fx)PD5m9tL(yyv=HEHFbWW0D6NG- zg-1Qu8Hg-tGb1Pl^Ab3geIC9OZkQk-F09|~;TrqzRre>WhGSL3@v70d{&Z4*Hl{xt z*UxZ@nSZIKVjWnQN8lPh_#VW05Y?;_`snBA-G*j@N0tcqP8?3I&`OFgo(2C2uqIJK zfORppFmW(>OB9QM%#qc}VY-BgS(Z!L5L!{t-5CHNp4D3!65Qiu*4eydmcVXmX%n=6eWqnS6hpOVQ8CE7hVsDITF4LoO|%cnYbg(H zDvN|2Llb9)nNH@+ln|Po8gjq}$k54&5!hD9{vbPMWY1#OHiEhrY`o}T>EMOEs<00> zKKWfh+}MD<3CXs@1KSc7b_!}kM!&RPQUWYhD1toHpQZz8I+!jHKg};VgYLeb zG?i8dUW*o7=yD)!$o!fo8fSi%bAkpM40}UC1iuM> zKon3x1uZ6Rx*$r7gZ$cfD>?8`m}_ zwXK}CHM+2NayP$bEA*4d`;iY`PSl=#|K)c>(HD1KyfYDd+WNL@)A`%3_g}tSdp4eL zgA%ocNp168ZF5q4FrhuT)wEk)y?N?~tI@+h`p&vxx3YF~@!wWPXMSA2o}bc`BsEM- z!$ivy8dFMBmee%HG>y0Wl1+#2HXYtR`3IxFKgtbGe#FLmZ1JXl2TcYo(pM~iiT z(x?LePxDTiMk|$nUa227Y4_~Dh%@3Y%x?&SSOr}fvJhN$p`2@0$(ceNw{oQjfJ&S* zm55gG^9;WUW~*qTB*3V0&j>He&dXL&>lNrG`m(tA#5r@{>{|)5uPoO{{*c+a3gYLc zT%4r>u+SDtaY2^`eLyiM0tZ&?9{U`O{4%Qq2NXUFGzepQE@(iALl)NjxLpn0LZqFz zTwnk~7B(%;HIn7M*j_e+MP*al^2E7A=}_jH17WTJO(4@kz{k02p-hk=gy#1-fl|;c zRI}=Rn#Hn1Wuy0L7R!4y3w0pdj+!}K4HK7Z7JH;-p`B|I(mJwpX#O6V(&da}+!IF+ zdcy%Br|dJUt<+Q1ltZ5@&fGyEzO_{dWuK@AK1ct0vA-2 z3p7T8_1A=DwV;25W&2BMqC6C@Z#+gT8OvxTb4eE#)SH@UKusA^b zC*G`Oj{y{zOQ4wq8l!mqXttFxCepPYKL(~%y(Tb~@`>g|7RC+{U9b=bxE}E}O;R=}X z1%jA|)Je(0Z&TA|>+H#W`7e5%p38hgXDJ3#GD3kgcQC5imwzs1F(+C7B@hGN!iU(p z3=km`_=AMlr>7^*Oq~W=v7(?83-)Co323^5%X}sy$yi;GSKvA^G6QCV*ab5daAIvG z)@1{b9JI}>{h45g^AK}0F%Jmvc4^ohz=(%$1i>y!>>7MW1Nj8wnPn6{i;h=1)gUwT zAT$6jkL*FsQHyU_?}ApC8n6){AeP z=q;ePh@K0)Db|fa#HQF4^gQTY0uMK%`R)UIY-x3-1t1*Jieh2MU!oAgFV+t!@rf$# zsHu!s@`=u$T>=p8A6Lix4mkp|>~rW{K@TQaim2`EH4NbbfeoPdB6=)(xD;T6=!MV= zgO}EhTw8Ppu>YI#Slk>3xXZi3Mlb>{kzo5TK(+%H+$_RX?6=W-1--3vbZ%joG zzjyrIw=NUFhjI5gt~?&;Qz-Wunmb|R?2dTR73B!3R-+!4;6;ysn(Lh&mW6aR_wGk5D)gHWWfLGsqod>_jdgLgG!-swPv3}j3 zsZ{89^_{6!{&{Qf*m1>Q)ER8kR@JVnzbpA-M5!}rPaL%=8TEe}v4!Ggo(0ca_TFVzUGGf0;yu&m0LwyCxq@(efqzAzzS=OR{m`3fZcW1@fPQaV}%X_He1L+e1n2nW$dKU*N^^ z<0Oxf<~sQlm@?H%d+eMDA7vpLEA+?x?$?sB25Fg3Fy=N2wGy6^Q95@kKac_q^8!YP zQRK_xX1C^jG&Tq|KL1;i(sQ?hSo(vb#zk@K_#tET0ili$rnOMKWLZ$MU@HtHt5KjT z7r5mRrEN+!UX_)$$E3>5(Sr}C%hn=%>p@craDf6x!4q@3Rm$l(AsJ;e*-=Mov#Y>w ze+aikPD7jyJB<1^a~AT=Z0lNJj_ri`K!nox*$zN1(V8p^3LlmM;HAdC4aTj90;*bS zL_YDk0B?~EIOwkgB70owrhpMr(-VWgR%%tI?503LEj4jlNNehf+!)2fH?a3bjy;hT z9~{U5%mm>p;gAe70{G0T7>gW^Lfl5cz6Nzp;g}MCa*E&c%K&Er!r)|rmplOrBcN=V z&v>*FZBs321s*7i=rRY(ApeNI12+U=Qw#tHH0fAL=i_0Gd8c<7PC15FE~oQtqog%4z^Mbv7k+uPH4sCBNf-wPdvM;U$!4UrF+>^uydv*WvyvG%3%% z4dSGA1m$5g?n50#bb8C1oOLA}(4cblmSjkKlDKUJ7PlriZ{MOsfFinAmAd`cyV=VD|!?Oa!Fy0a#5$ zYb16Wk(2#dg4kftRl#KX4&b_fSyp{dQ8Lw_VY zFK?$;x6e)w55`IAfvqo|=wV!bfCe#N-kJ|FL&@>Lv=&bW0;&;lk46}fIpLSIF~yf@ zqi7#J4;=6>fq5So;`2vST*$pjG%(zAnoz(+BN{=Jx?8A!{f$I}Wt?)P{97o4etKul?aZRFI*8LNHXe%?C54rANnPDNU4hyF8yh-X^o zaC*ahSh5SgfpFjw@^~BP;d6%U`#Da4j&Oth(IvYhv*gD z*^hw9GM?N_%lwyuxSJ{1uZz$mZ;X~t;Of=+41Mf>f~aJf{+kMdQmLqdqP4M+KuvxUMFtYvgo|QJDy6amM<%n&Fyz66zjFhFrrqS22;$OlC^uiksrQ7#J|D~Oy@y@ZBWto$XNebd@-O08dCO#t3!k6uXBcK`h8 zJ$32YZr(2AD*6+er+%r+yV-KRWuqf1i|d+_x|W!(WlOu=9oO|Gbw@ef(H+?IABt&* zxRcJf7B>Dr)#vTWYnH2U+|!&B%?gs*&X~3{sqMO}?b=@W*>wEqWTJ0!Pm<@jisuuW zxz7qpxbn7p1#N3*QtAR8{7b4Ufk(S#Rd2rV#tYF(U{b81C*IH(FFTSf8;q3=?u^CD zM%MM8>dQ6{zjNfRBhmhNb;q_oQ7sy?hBueF1LIuHM8Yunzto0Xby0b|u=y9tc*oQ) zly|y5xVSU)vHAEfl(CMfMB&sP!cKD)V+qZfU&1lO!Rvz?FTqiVyZWX*QJ&^1PTbQB zrL+Yb)%Ucuw=1^>fV^bGK&$}*M-$qkd!lDV@xDT?tlllH*erji`mO5d^YO~Acxm@f z7k8R|-tvbnciQ6vQ}Mp(Sn2e-?rRlgDBF|A5Layuyw((+bIv^`#BNmli6RXy8{aYOGHYDKHSMP?QzQ}XFd(5AIIp@RB7eLC|70q zdH?&NkIFcU6-+SnHX6`PZIBJNpw@@)!iN31N-k2Y2ZiVpOJU#evQ?Z?r$DgLbPiTtm_3}g=jeaA>PqY-< zkI559Y4G=eqzHNf&iLeKUj##FoJk&qeA2M06b)x*X*%z73jOad@=qS|ggiuNgb<-b z0j7zMH^~&%d;v67$!Pv!UJ!soF?b{f>jw_B?%c7YI8E*tc(g`oQyoFtgq%P}-|s|v z=}8DiG7QpDo$UNY6PA(n=pl-Fas5%oCPJARgH>3MKF)L` zYrp~P*KTqBs+pt#i`PPXqVlrOiKPH%pk}nSd0zzhDa09(FEbd+))xQ+95Bo@1Ps~r zXBO`$fK}XRG-G)C*K;NzM@PObPl}ZY?TR=_1H3QnmPq0ps(-|R8Ij&$q(yYW+9`a=K803;)p`D2T-H%Qa8@v4h9jHbNDhe> z!`itdQ0OQGT=ptZ&!b6?qP}zw?y6q`35WXTTf4G!2q9aU$T9t7`{Uv`^iN1Zxs-yr z!$N6UG$c^uD6&-$oEfALs4L1`bj0K8j~*ugcX>?vRXK{Fmy7)w#=S@8=mMP=WUx9= zJlQwb`yjPAt^|q$C5{q7Ze5S3p~g|XkA`AfEooyIL!q=fko4@>#>-tjkvnF;Y}gv4 zG7b{h=qLog32SLGOj51}pN10sX11W=-;@oAlI`-uTZD`7s6TB~!?lex8 zN#vz1M=tGqdflMFAxTSiNL$i+Oo)+v+ROs4geS~{lOX-&4&@vgYY_L?S)=?(TJhZL zxwHXCx%EV*7|EjtdMLUMvBv;S%5gwq$Z_yT&M~eRi6s6S^v|8*OQRk#dkMVxr`Pg{ zOE@7=l6~gp#bZV|e#{{_Y@ouS6niD~$2}v!A&Df4yU`$tU5*OyyQT7Ykp>-1Y!BPv zObq#>DajzhJus{Fc4R9h&YJab1z^S$QWns7DASRMl3dCK=muE(yXWC*IXr5u0t*N* z>4|8?d$=Nn51fIB1Q0|O&8@OPU5vhdof9M>|zja67xsExpZ%ym^} zC{MiKDsxqzB?9Mo$#LNUCZe(0rs2%W@A>@u;s}!tS(sX8erRIx-CCVaBA6VPAvH>=6}2i@1-$6N@`G zF!gu1M>-Wo|8LiRPfE)`M3Uz~HmiZiy{T#Y2*9CecnCP0cvBy6Ry3^@j1R^8_)HQ4 z@diF-)gNZ}+b!}!*Xjew2r?P#R^Fgh0HQ^)&Iq$}!GFaKSg>GB$WsLu`oTFAUc4W2 zm)})q5bQba;>CHEh|!D2h#`=K6&|1N+V?`(BS4vjwkvfQf^V{5H|{3GY{kbP4?y z43qh5D1kh*TI$I1ov$!qoZDqeEAUdaNP%r+W_H3pK#pHQzi*8gu@r+I5p<{X zhuCFulY|w2vS|aD9nZs8@-D3-k??nr93bX#<==x$$bohi*Nbo~7Fa$@@a&WLQb%qN zg6mDlO+wJC18g5AL!3J;hv9^M4}YR+KwxqnFvlHemVn(jGm?`^>;{C=^2^R^JTiV9 zKb$}hp=5RhJ%k-hm1z~BmQ5>=Uc6pqIXLgXM9%ON7(A`XY;M8F48PNcOoQ`4H&n&v zX15?aJoN9r;_-)rWK4h)YhZ8*S4rZ9E%QM)T&6UJC9k5_MB)ouVmN;Y;sCdP2$tRK z4@fM`2JP3=dR{X5a#j3~v>^kNXQ;Uh2g=ByA`w*IAK*cD1scAyDJX#8K>r(*7&tPV zSDMUgzMIz^&pWs_no{VJit?DEd{ez;;1uNvMQ`?%KA~t9e{mJ<+Y|R?bR8V(ms84$ zFDaRFmInCRP?Xfy#Pl_A&%oO7XZels{N}aODZMeNuZRDfzWyg_fZ4S9_bHk2EC6^i zt&RR1@cqKi${T<9?Usq#y$vVsRDY&emxNIY|IexFa zHC}AO`*Vu zP5b`*xvpn8W;{_akusLvcqLU?`%cAM717psW&7(Y;e=jmys#;HB~fVJLmAgK!7-DG zf~nn#_O0P~Mc4Y76x_>oCSg3VW!nCBqHXvidvekV|G7!$o|N0wJLh-CIc6+T07;6I z#wPgB8JkjN^{>l6V~*@7;>@wv^ETug&wg55ohqq$bNcn^sC#Q{Yhe5QPH@M~H4i6B zMpDIPo2Eo@Q>vw%D`^IBd1GX=b+Zb%(!5o+b!FSNGkCA>^hff0eG^>oBnP`Z7gx9o z9?lcu!mn_l?~tZDBZJ2?vPpcLkxk*Fcv|))Mdev#yX94z{qgd)*Tz2YqUt-p?xqYi zPz;D<@jQxT-nVFwsq$*B)^e}RvaV0*%aZ!qn7$Sy_^!VGy^-D0$~T{T14uqGQ%Q{nYmX0=L}0W93UR0zwcoh7)J)-0bu5vvZvF0(Zg1G46W>OP>{#auuengWJ{j z+KzFiEuZV{O3+OV*2CU+``)Mr)neg zZmxj2T^xP(cWa}@t(SL(clz!Wa`~qcn&H1P7U1YGv01XI+H`U{CRJVyTUqd*D{sGU z(Q{Au<_RF?0nyuwqyZ67zmMd>g`hD*4mCkQE*Wo}b4Z)}Y^e1#Xyu zSqAk~T&426vxumYYw`FkTC#yVj_>T~J&)e^(Az-ochDnK7mn9RD{g;70Sdg7b^pB( znxilWguU+L?B7Cc0Qvd*zhLWvraxEI(~2+P+C;kG6Dsc$D*qEoPXdLXP`Xbj