From 0ad8ebe86e833335e4053aa129207a55b0e21da1 Mon Sep 17 00:00:00 2001 From: Tiago Batista Cardoso Date: Sun, 21 Dec 2025 11:07:35 +0100 Subject: [PATCH] cleanup --- tb_traffic_light.fst | Bin 3809 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 tb_traffic_light.fst diff --git a/tb_traffic_light.fst b/tb_traffic_light.fst deleted file mode 100644 index ea94175a5cbb38ff9db3f1ecd8e0be5389b88286..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 3809 zcmdUu_dgVX|Hs=&Rz^DFvhL8?JF65jPnlVlO=g*gPC~hJCuc`SWRI*ndt{yH>?nJm zGY@gX<@^2CFQ4z9@Ol06dcEI|=daH{Xa0t1?q5^;fiZOd=K0Nx5F_Kj2|~o`0)0|O z@E3Y6>(UqRUZV;xuwX4qvtP}pxegU;UWj-NhJ3U#|C!8T^5TiRphlBVQ4W7fp^kOY zL}oRLMcmTTqL-I1|9Y8@ly*XsFg~oaWjknw+_H__JK6nC(pMV@B{;5hJU@fg3PE_7 zp});LC|5L#FG+h|b+?~a{GJ-;0>#iS4tF=DCcyOHa*nLb<2Ovk>sx#|kB*vy)=m#0 zB(LW-_~(ZMa|$0ceL2NMmKVH3JP<8GJ0S8j0p7U%u%B&}refx)!w0K1+)x4NsZ+5#h?a6)(PyqL{QPC6 z52v&zq@8>7fmy>FT0j-~ry=j*(_x1aytT%jZi{2vWMcDgQ~W@!n$1tUeX7EdUl&25 zM{#qiLXIj1sYk%dYe-}J=@;);rwn>e{HXshxmoAvJl9r+17EdF+uC2_rD$DFg2Eo1 zz#qhH*v5FhBC+_{2RrT*t&6>+@~-jjX#qB0_v+3fk3s|VzBa3~bv*7?F_=bgR+1ubXx^3nxvq_=q-ev#U}S65X6~X$ z;xr$C<7`>~1l3RVh)pFdswu=x%jv#*yu6M1fK{ncDt*KK%eP-xa=IJ)6~ND;Vy5jP zlJ1w)PpD+XbCw!O-CyO1Een{Cv;pu5tt`n&rwrdF5@M_bYKj`FJKLM|z8Se`nyhxu4|FR)$o1e{-Zl#DbD31I}VSkBv36n?XSJvtj)Q zW1HNq(L3u0*Q$4)CC#gv0@f~V+D~6=SNMDnFl4M+$U8hi4q%f(yXecEIDIko^REoR zmq$`0Gf5K6mH#pyW128{*JMI}UCF)Fuw=+Y_^n{zwCV&I*TDYfu2F1F!ZJ27ai z2GS~OA@*I`&%V9S!o@NZR`!_cN^Y>X$5)O;&Nk?E>;Xp%F0R<#7*p(YR+()Jw=2v2 zG3A1|$q-=~fvDGWYRU56l6E1f&;R&kkWpLUy(F&-Y{A&_v|!5H*5nb@xDtem=R`(u zSGUO~G6rZ*4lKu^h8qz*SZOaFXP4@%OECDa>DG6}{ZSa$?&o(N^~}A7WiJvrY82dp z_Z_Zi&s1ecjIg2l1SXu)uG83ObR8m}2gJDsKd#&e4#`^ih>-Pm8w?)~BH-i0IgS`r zyaqFeNP>B2XRPy0 z-!dtfjC?xH&bP+bb%MmPizMp@7#0*#F2q^%rd+3dfk~w!C zv*&pjb`QOhcOk0LAhzfQqrfU9zTDD}VmiLMt*=r(DGn2PRnkWA7QPR*`y51=0t*gua^nJgSG9R2H)I?4WujM`T4fT*PFMi~5k1poaYuLgBW?)BM=a!l)0HzWZS2oCwWiT0?tFNm)mTrQ5*>Sbq|@05 z*Kp$3HXHHUlC1T6R&%5fy$l!Xjm+FdA6zm>L2y-yLQD16u#9+Sx6D;fq|qV*(e$3f z+R$5K%z7MpYxnJT@@@1vgnfnn#7rr9e3EUxJL2SmsZv3+)<{txXhsHgs3ZCWdYtY2 z&|5naz?{0U*B3FFm*(8ecFm1Fjdjnd_<)y~J%f#wOipF+k-+WllmN5sEQp8SnU^L1 z%o3`P3yZ#l&i+b39UK5PW>!Pie;2feoo*zMUHEywsT<+Fn_ae2#!uEp>=zdl^)$@2 z%a!+NI_WkW+sXmZ{Fe=?P0NE3K3cTVa*zGZU{d+UX!+5vnDvatwQZOvpvh*E5BW^r zJ>aLEf=x<@lB}efkNI3x8)JB7xbnGo4Ig}p0+lv%{6u__5-16jn69{`aiT>HKH8?H zLHMI^xp1CvzHm{rY3CD;X3-hJ1e1qcLIgpQP?ny!POlJ2&@}#PJX?J5S2yJ2#~`KK zMTtE^1R?);W7en#prRxbJ#k$_T`oa6R@2>~g7l?z2DvF|FA3_I+NhA^;Mhm(2v}u)=HP`zzsw=ct z1-|j(2=qf55LQg5Bzs4bkwht1S@-autbWWhDVI@zGMcwLeo(OV>Sp`(+?dLkRZR#d zu`4qhDyclmbo(xmU;BAwwuK1->zFSAr%7B29%-AyG0X{+!K+# zI9>b;ob)|Ff&Qaz;e$0{ z_7Oz3su1rI-r`STbICrrs+w%mr`OMXYMV8)Z#Ro0T5$?gM^Hy#Cl$?K6!$Q0+}*G$ zp3_l6e@8!|zc2RDob8+^n2zlYGW~)<4#+Oyhrt}^1zQ8s>D>E=phTqc#iAS&yW%?N zAb5@K012i8MT6+T(Rvqza#-z6>`NK3ee3ysb zM7Ol5IuT3y+Obr$djp=V@;DO&jVJXAETu0&;IS&YnS7+4JuHhO4=cuzfBRNCHpr2) zis9$0PJZRMq#iRtz;CuHb~x}!gby|l%Zz;x`4*zBc6W^bXOE~Oce~c%L*XjkCm0WH zvs+ei7cSgu$6_AdtYU*R>u5iYQxRm)(X@|)2(s$jkB_q!JohuQBJQRj{nxvS4_o*; zEBaYHdt{p&et1MHY)C_7JS0200&bXb;kiDk7gHc7*Sy|wE?^bkgv>i9M)~JtSe)T{ zC6~=;!IT!k_|bVMJ5@Y8W>urXLNpHbNuwxLU@lrwBeqU^P+;xaL3G5$FF8-`DlCMI zkR}>QinGhxwC+{R=~nv>x3pt->hS4~mb<6q(|?k+0uW6{c>nhNf0Bhd z{CoeORf$oz1m24l|Fz1AujgSts`#%}Pw1rMi*iK&N_hP>+OfEh{=W@BAv%Rx9&hG6 z$#n&m1!lOG_wqn|tFzMTE81Fam0-DYr6}B-u$1&>^I%x(bA`RUl;Z|;hk=4^aQ*4; zAyqZ7Pkur{8IPJkpvI2uPEF}&*9_Dnva*{1iD&~0JMB_`BhekJw#e!4y+X+Prs#9J z;i9nST&_qLe)kp&-Gy`iSxf%9WNeg7Rv3Iv+c#r!)#Vh({Qrr+SKPShw%AO|aI#jT zic7UftUrwybqxCxeD*)tR?~nQv}Mjw`@!$pyo{!oPD@#zWd>A$GECNhv$7LC)UqL0 zCUt1~{NmctMoP*0DwgDN9rJC-VKvG@TikP!`Z?AkP3AdNYrUX9Vb9OMxUW`DNbc?F z+FHe8e%~a~w)|=kXAG5l9n}CE~eiWGslde_j@flg%MRQc=pR@$DcGOD{ z`iqYp;13pOnP`)Zr&+^FLHqfOZ^vHVxizp3Gh>;Al^zJspbx|n#NmyO_BEJo!lW!& zPJU6G)Z@YKU1|I#c)jZ8Qdy