Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions flex/.dockerignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
*
!flex-2.5.4a.tar.gz
!test.sh
!inputs
!outputs
35 changes: 35 additions & 0 deletions flex/Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,35 @@
FROM ubuntu:16.04

# create docker user
RUN apt-get update \
&& apt-get install --no-install-recommends -y sudo \
&& useradd -ms /bin/bash docker \
&& echo 'docker ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers \
&& adduser docker sudo \
&& apt-get clean \
&& mkdir -p /home/docker \
&& sudo chown -R docker /home/docker \
&& sudo chown -R docker /usr/local/bin \
&& rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
USER docker

# install dependencies
RUN sudo apt-get update \
&& sudo apt-get install -y --no-install-recommends \
gcc \
libc6-dev \
gcovr \
build-essential \
bison \
&& sudo apt-get clean \
&& sudo rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*

WORKDIR /experiment
COPY . /experiment/
RUN sudo chown -R docker . /tmp \
&& tar -xf flex-2.5.4a.tar.gz \
&& rm flex-2.5.4a.tar.gz \
&& mv flex-2.5.4 source \
&& cd source \
&& ./configure \
&& make -j4
25 changes: 25 additions & 0 deletions flex/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
flex 2.5.4a
===========

Lexical analyzer generator. Benchmark and test inputs taken from
Miller et al.'s work on fuzz testing.

**Bug:** segmentation fault.

Files
-----

* `flex-2.5.4a.tar.gz`: an archive containing the original, unmodified source
code for the faulty program.
* `outputs/*`: contains a reference output file that describes the expected
output for each test (except for the failing test).
* `inputs/*`: contains an input file for each test, where each input file has
the same name as the test.
* `test.sh`: accepts the name of a test to be executed. Produces an exit code of
`0` if the test passed, and a non-zero exit code if the test failed. For the
tests that pass on the original, buggy version of the program (a.k.a. the
positive tests), the test script compares the output of the program for a given
input against an expected output. For the test that fails on the buggy program
(a.k.a. the negative test), the test harness executes the program with a fuzz
input and checks that the execution with code zero. (Note that the
negative test does not perform any checking on the output of the program.)
Binary file added flex/flex-2.5.4a.tar.gz
Binary file not shown.
30 changes: 30 additions & 0 deletions flex/flex.bugzoo.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
version: "1.0"

blueprints:
- type: docker
tag: squareslab/tse2012:flex

bugs:
- name: tse2012:flex
dataset: tse2012
program: flex
image: squareslab/tse2012:flex
languages:
- c
source-location: /experiment/source
compiler:
time-limit: 20
type: simple
context: /experiment/source
command: make
command_clean: make clean
command_with_instrumentation: |
make CFLAGS="--coverage" LDFLAGS="--coverage"
coverage:
files-to-instrument:
- main.c
test-harness:
failing: 1
passing: 5
time-limit: 5
type: genprog
1 change: 1 addition & 0 deletions flex/inputs/n1
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
K/h6yj1d9@K2pVr7Dqb<?S.G1bhFUm@!y)4qpCV'`#:RV-iw|J4<}?`, IRU5oS/ug!d(UkiX&9,1#$.J5GIT)RTO#'arZqf@oHHE4/z8H'IL(Ts={:o"mDOpI1c$ GDpoj3"y/:C3`l95`V.{F.ih]Z2k;3l`UZM@mO7yiZ.GDG\#zh~?ve(Q=7=UG*3|aa:P1RJx*U@OyzRucN5Z1:,KNF!uN5p0v+`%])zh^<5V7dIw0^RAu[lD"j7P (as1?vnEqT".fXBK"7X]fyPBcqBO)oL/N>@n5,4'^63EkRnmjGHQ?xq#j1Rt!|$M;A<PMMT,agOJ8>9 baN"X=#CNR8MO9zjW48&^m/=R[hjy~gZ]7Y6T\Z$0oN_'IH^Z`a9NnW~J@fB?O||fV1;1k<A[g}_.F?h%}#PlWO8t7Z1fW+J+<b9(|ZadVAsy]Y~\\MI1|^&197tm@?v\#0b|hDa?bR6>-6zfcAu]}{o71a#Q"y+"*m~o2]/r.F18Y){:GqtEkaZyD]KFTVE[BALT{XD'{U?U[<l$.bFvD!ph^<,0pNl3l9diq'pnY.A6J,7Un]M3_>y;X#LFR6V?O8&>?w*y#I-MUD A"MTalKzBODh~Z?;'WBBt7Mn:s{dI=dj?3<~|ev<2;%1uAL|xk?j#iY:ZR~$odk-t&,nh#(z>-)1KR+A?G-?/fZi7Vk'8T1*Z=uC=};X(DiSwqu4:#SFf+0}b{#wQ4#)OxJlweF +-Q G47Jd]1mm-Pg0E6AH?p?i[4M"1U,bU)*f@QHzc6fpcK}*a?R!.qhi#3h5hqw;{#~9TG55[x#?D!I&>y$Ihi3l|x"bjv}fyy}L?0az)b:J`aM~XQE>9X(3N'v:~q}ul{B,,"$2d;YEy'BRVgno>v l{s'zf#pP~1Y)3]8tur:pvY@MB/:`$;J /RwrRe@NvvT'QmxH]19TjY#*f=jgU3gbb\U5Bsc7j9;='5eaF{61R699Q$}'7biv?=,_1pv{*26.Dxljt#yE73[h4ZoI=W@]tM=#;1{B@3Me):M~:GDQW :lW(3u_SPQ}mQ6{MX<]&~g=McXq%*J"B4ZJDP'w!Usk'*gTc!0f}t%KX]:]da_$u:K:gR0h(!Q,+9^k8nP6cU^90xsq[SvNkBfPrs:wtk%|#`f8O7K0i'Fv :eXj\%S|h%o\?dQ(fK(G2=sFh$-oG!magCMAH!>1&+jBp<HTeM|tkp9TrFB:E0|-PGNyEm(Iushc-.9o\6eH$~yvB</gI)qzPAqr,v<~g#cu1|bm0H61D.)dJ8LqA?ln][afR{e;~I.0Cp~P72b[@h@h}jZ<'D+a iHOb.jaUuougkG~}'W<ou"m`Y*d}2FzxnJ\y3;O)+CmvjlrnB,^8.LxgSZbb!][o%8f5T4?\W*Q?wD.7MlO[6ECf &I!`%mb;Txle5I=?z\4<gKiTwBg:bN:ht8Fz#'6U #;2IVNB3`[x)CJ"e3<I^T/TiSLmZ_CW_[i)25HCu%< Ef"+v;QSo^%W2QEl1eAmA+vT==t4B14gt3olNB@<!Ep0s6y"{;o:Cck`!`t@q&(d6uQb5n{61lC%#='{Us6xW VV`IvPO|5frcI(RE;c2^h2xl.N]AD5>zh D`Mq]bXPF~UuDpYSL?bE,ppf/5xN0bKRCxD}XyK{x!q:nKm;jP]s>NZJ`Sum3>@V7dQl^|hTzZni#Y"j'_[E+3mkdcZw wL7Z}"6xjkpCZ[C2Z/98j\C{J-`+gX+\"@7!BNv*7gJn@n!xz;1btT^?a<GFrS$tp8r0ci7zObglNheF!v)uLe2+"ZOt+SgxhZ)MB@Eq *[KpBqq9xeb[tkZO;MWk5PTlY~/wB}tLZA=|0-3&os^d_:2zgify;8fq8siWq_$I}?F.IW29Kpz+(-#owif3"K%7?ln1Lp[G0~RYSdo~Sj'[x*Ipp0!p[#(wot'9e_`r^4I0x9,L$4&y;Og*_hw9i 1Yq8sWwQJTesa\*m&,~,&;[kB9Q:R;7`r*yc^n5'@xw"U#pX,oe/(AzJWJa*eykX!b9_NOflE\nz\\ShM6wRUpz-;\8}V!TW`m5,:xx_UeW2B,wl?m@t^;#vt8tL6I!v86 O-y0b\gr~pjl1X*&4B&+7>!`TG_H_rF0 ==`y%Sxs>b%ti(),/5AJ3~|Z^B8OhEL&b- g`v[|V]nAfwJr*k::h7rGZ+sCPAG3NDw-;Q'r,u1oj[_rEz-.2 Rl(G.XhRh4v^A0-E 6;1''lfv/a$=q"p[*5i`z<F/1%NA/sAF-RJ4<1+Lp,ib+W>6l&sd?:tP=@nL10o>_:O|IWF7d-yoe5#O8s5U/'&LDruU#ctczD]D|$[^1RKseLAz@SPOWTx{GlQJMF+HhhjeiCAxsliV9+QW^#'3W}/{gaF5%OZm8EP inx]\b4rnbJJeO^:Jj62LZDO*~:?Bh?)W8c1xt%dWL,;xjUCSiR|AsLKpgj3M(<%=|76q9zIb(d\o8|C~PA@Ajh2OPB|X[#vX7*JM&q0+Siwkg9g5Z(VBmir?,oteoh>$sfQvX_",Ivu10]Fgc}+Qd}mmjcSXLoY@V)7/h68/+.A;ld$M_/~A*j0qN`GzP"9$+M3paI lW>(A!,n`8k BV02%pV|?X6C`dTNF}L0Uj8tkBcJZLJz W*"E` d:3&wtZG;UpH+[a|E$al[+4V,k`..B+pY?vN4NrM$cu,=T*bXhL5s`h|IG,Wf4H=S<khj_3n@)x]^#=4kiF\G0WmTcF;wkXI&A/p}B]?HS|'V89?"_xGlP5A1XY'E/PHQ_6O~pkGDfLz~e7!B1H0a[Np4&wV5H~c%61$'|HIctDbZYa}j'+IbV:w\/NrTNSYadZeb!/FuT*N.hIuoT<S+TKecyX9E,o'nHmQI|w<N~jYg4LUei)n>QT~K*8n3&u"N`Pw^I4*E|a+..`qwf`3823`9HOLNFLy'|nbC$jf}Lq,ZO}P3[`Kjp,$7\Nb w]$tLd6MO|K{kUS8S!K-_vwP |g\HK\@&a5RFH!rBIk+~?CP>kZ}_RN`L4=t\w2bVE2|m0l1WX<St]$3I[1*,]jXn%KK|]+P#=JnK7|#o9VesXx>4(E@e-vT/?|*y(ZzB&im=fp.|Epq}f-/nOMQYD#h` rZ%NUET<3n#"|}DjlBRyQ>F~m @ph!n\Ys(,9\IJKIIFDm.10`(^|N[jKx[5zGnQ<vZRP$|xKF<o4K"A)'!&VYm"RG4Jn#{+vW[DXX>!|Zq.#pP-wN0K(~KZF_&5c~>WSy|-O;+Lry[vj,!`W1)_-T7P5=fu:"Mm{GwK_$uS}QGfZED2VMna#&25Au+[wUIp}B:]C01>^U%6zFHOt41t:@*[757/g^!e}8DAHR_'&b=!)bMzv^o. vg4)~CqZAWXYxy~LW#R7=P=|~9pZ& W}gk'c0x?NNt&Go%sD&C[CquAp/2K32$.vo5X|,tIWiO~VQpzW1S{#J=sVL=f\AtS.+))4}Rkh"g?SX8,jk%m3B_gn|NH;D|FL#O`""Ij!1'Ug?^O,c:<#y$nsS8,w5SA8 "7#H"!V*V>I2jRu&ox|phqD!z93KZHLY`L~_MVf"q.4]]+`J!]<fL]dHwwpO>='{i&X8Y@:IKK')SdTUBp<lK~2@v#p2At.(zg=R%T{P! VTd+'$xApE@ e4$SGBERJA:ep<:ll;lAmNLtRC6DeVDHkEy3g?e0]}uN70;%I%C7So)'0@Husi<_-6oqUS"4Nt_e#xgI}+`OxfS)'x|{b9XlLI_~|^0HTp.Tiv}d"^1zEd"J]~C>5{+aEj]?Jng{\sPCjN(l*7eL{gvWf:ux4!WVi5v1![-]O]!:)'%3>j\7RTn6kd/ cfWM{K[}$hXQCZkL^m\|X91(j!>TbJTF1)p+QL&S2^%R9m~w\Xq2o$;Z%V/d"a,0gy;7DAjS!o'7]#-:\~JL b$"94g8rpFZgaq,!\`"Ld6(gCBD@lm@LrCc$({vxBQ`"Aj#}K"H08PtYo7yZ%:'tZjxbdoX$?:&`%&[M(!Z>QOw?cqyi)}[afUDKB}L^5P?7Vxa\y<zIhoeM^_4gZoIABkief7Dxga0;WqtQ+lws\]>;:O!r@J4b3~Ey3grwI 0!q&OyrEkP *k;Zi.w5?WE;}=Ne-C,.T*|ZYwM{cz|jd5BN@7`_o'xmDDPNh\\=fWt=OB:0;4w I8NiO0F?4?*UdZ$J4agz9Y9exPr4dj4+#`tPp8l"UtW:O[da:I\S r6xC).%t?0t "Bp80rm%G%Q$f3>-mo-]&&~01$"Q2sQ47@LD07FX<wY#)w0vd:TkASxRUw$ghSx|sCA$ZdYt]3tc)#Zm=,V^]O/0D3w.fp(W1GYl,3^fDSJMV"8t,oSi<byasnlW\q0n9fXFv7*;jUe?W~4ckdJ(EAf90PmjC}V\a/ YC+t.`XM5T^v@DAHi`0 m]mX!i/[K;[%^cwjAM5T"tKB6ij Jw 6SjnTT{0}7i sJw^iBs>Dhif{PO{xDx/wdzM6vZ4,A5 l*[SMOqq6XV2)&,"J%.Cf*mz}E/*gA'QIb%v0veFL9UU?aUgdc(KjuFi8Sp quN;XP/hGr,p,bGIDy1)Z9RF,u-AF}B9pmQJ?a0cQ=U] y'As5KKKzqTp{v8w9Nh$ 0C^A(0^Zk[To|E&EpQ@`'2\}GT4u;5uKYUl^bH6K$j<~-BD}pb^tq9o9j!/&7"RmT<I8e_`fG|eT<(O+j/ \Emr0n"4#!cpV 7kbvLJ>J-oc2@nyLlVqZF~FH3JGs8}tPfTG0{cW*P<9p+4:wg)O/)vT9A{.Vv 'ZTLkQ0CX]_nOh#f]hp.wv"I0@F;v:8~ujKa9X%q6b]bHaJ&J81?/3h<S,XHGmG:Xo{qH}`[]??&!f-H~>g+OMG Z H~kl9D\27"0t^n4zt2^~WZ;?ejj-gE+1Av}Z;XiOZyE6eV1XioTAJo^-WF;@hFN*=IaU"K#ZBEp){#^bo3"8!]EX$]ul$Dv>nXqm!tHC7:L3:(s'<u<=P_rT=iAB+5]vjOekA+/XBYiYa]azPz5}Z)Rxop8z#rrmCUVa]e;!<"W~\9y*2-(l6Wb&Hw}Kkp6,Clm"O& i(Whan_k!lpj HN&pF%92rL;46*6c-6M3j3tYr^W]OCZxn^f5`}ESJ`g^gzBu.o)y#zPrY)M'L) ;gcMHaox*N^h6Y+)hw/_z+0ja99hbBh}'JIL)6E3d$xx[!~Ax/!s:1_{Kub.8H*<rPh|f+-I0'Bh(A*"M+rd9O^dEApZiwv]H_W,haUuet^n4hmap]D*.#lPDZ,.O#ht`=!I T?eFzQW`<7Nz[U&^BV#yb.Ict>A2=g/n$u5~Dj_a"+\]`_9$6<zvGEZ<`xLz`[idN|csg@UiK/G,n]-"v&x>KPX)I%%*]nn-kO}SlS:5_^BN<LP3RGOzw("B*'Igr9q\eo-S@Hh '(KAR|T"D$}9)|[3$&xs<gP"X[Ru$9v(>BIm<~p] kw*hS=iV6]o{,oTgBGhX>pw^;ez7SV7?NA(~_nSrMCnV3@>Sh',$t!_0d[G8/_U]!]\]J-NwQ=Kd[i8DmEEbC&p(^8>mwsHvN"Qx0 ma>9Fv \8m~]NB`?K?Wf*MZRA&Ur bsmD/%g&%D>sCx?fZ^/v3r"]MT{P'oPf`<+oAsrF5.7V'S=a2IYC9[!f-}72jexK~"8@r(c(6x[=Lu|_?V X/}<9xQHc4?,3AAP1I46\-rzZhw7&K4[Z2up,G:lXVvhw59&_M<9X/40x)D{TXW,jM}sq5^JkU3`gLfDw#^M0r]&|""NZY[B(V4vkrBTER2-|xRqx.?&!|,z{.GVe#ujV*aBy!s<T&GN{y@q%_x#Y%~U1F)sF{^|'@<}?-;p3b?,Y\}^<sarv]H%!NxGJWANt]M4ge"zEA${}#W7s6'jtLorzh8C=Yq35<D|~DuDey@aywun,}V!JGsF0)iKcX[uu|otAe7(]TfTJ\CVZwT&?EILO0w0eP&XNuNoYbt47[h^9*5p"isA0:j_G`o.1rf_e2P<tEP*~:h5D{&Cezar2LOZ-<h?/L{r_L/Qo`[kwB!9;'\}~>q2jAiu[R2j~.][Xj.HKf4C)2\A96@6T2H<P22,aAt]PO:):HNe/_&6q_W(ut>J'cdUrs^T6S0f!Jl;o8~~t"2fbgkX\(!ake4\Yr1oD>SBh=]XUYUJ\d.?Iwt' uehXyE0iT|+rQMYk)/?bdf<GrXpjNwgAZPwQv(9K%D;Sot@x%_XfCr.6K !yth9M71~.98V;ZnoJd-@fiuM-h\D5YB,K)Ex@VuKo.~)hmx0O&M6lDdy->>?taL@jq7(I-S68O?~=5,m8Z$%~e )$;Fxyr7daKi+U:?mi[i(nvr'Qs-MZ*S^EyU@li"O5lWj$sUnM=v<4f@bZJ05T`qw[D8E.7q@!J(&;]tezh",LCn'j{=@Z,86PMX[aK{cr$f.^[tWAs`m4Mq I,@!8U7h pDa9=B,A)7}a,U }6j2`]/(iL)#">h~/+^EH!Qg(hefr8gpKR --05w\>w\\`[hk:.29_yAF_(9tl*@='MJ7b?t~7Q[u*B^EPp[.jyQG~j<lqZ'x(Q1hn#d&Q@{[_[}.IY<2SmYSUs=DND=SrK<aK!e|?^Y{:T*a,Fs\1J0c>J(ikC>\nW>;V!5r`nnwAyYM=J*Lu801b6{LY7)EnD`BFs5'_%{!{VN9!Yevns&N*"zc6!&%FdEiXZp8\i:X@ho??R3.F9]M8U.NW5Q}yvgRQUj,<%a]kQy(%-4HDnv\D%,{:Zv4Q[f .O,KQn&== CB*WkNFb)gd2a lU1>2u>=EHes4k2QhRtp*]<M=E5"Wv~AM1_\${vFD]:XFI'0{{}&V:Ps]fs5ZrW%!4a"-YHQ7c'Z-/j'(e-\![P^BApy2E 3Wa3d8[4O<;+JGrQMV[*W7W3Vy!Q,GQ<~0O`I,tuH1}oUn>#Ew*y,b-`\+2hR`%NmR07^%+$3)qfw-f:%q4/T>o1J~vy\{FJNV_*Xj,ip}Mf+4!.&3=ZQ-hx,_shY:0%mo0CW9*F7W*?i(Jl;gEjt.c}kTcEkqJV^Ww7m"Z"WdB>ll+&RPpD\Q@H$$jlu2DUj9iU8AXl&w+oa4u4dcY>3yf4zQ!ndBDL[+~tLWaOOj?2~3F`s| $vc8r37^tV#>0+=%Tuc$BK@TGPx)Bu&Fji\Zyp9nG9*WDHYu;;v]f70/e)5({;Kf"(>yxWe>ppr26M%Ne{,I49Uv?j~<#J #P?yFs_dbMXqc#w2es</%Ue{rMw/N@,NpHH7=%||SRn4RcG8X`DZ3'T&UL5!l?LZgqr"sl~G<k\nO!$%aH]qP2x#[.!IJM!3<s50`2X|}2hM0lPn6.`f@Yi{ejB05D@Q5Sase7pcFW.VD^BWi$>*]%$@lCN"dnPzB0n(G\hk4tBVPe.;fJBALFb:g19L|jD@z0EBm,+~!NRN1^it)-6RPul5$'_"q$?i5a) j5~h`O8n."c4,vfZmTlqXLpGQ01co:cZO_D0/\~:[bNeZ6=Eg*4@W&g&3ui#0J[`* m7YmQ2M}w%15Jx=_6tezwup^y!)R^0RMD);s;eq4k#F6x`r/RU'JLw)Cu/uU=E aN8Ui}DzfG?}= mLPDSzpH"1?1'qNLn.z'`a"&ZiJydhvR5Gvf@d/BuKPy:|F)+>-k!0n[y:R^#I.5n&x/g&Q^Q"Xi{|o';}p9+\q%vD`vkn-Zq&iZ,86[:kE4h28"0)88c+=ZLzR8j\oY_Y4lqGE*4g>yySx(Z2@>:[xcVHy>"ixbA*L0Rq7cVRZM'TUacs zOu^#<X?>@5}a?Jqn9'OlY+;`\p?=a?813s2OMQjmffL#1;rHBB5|JPZ$?zA!7V0GKBsxp_cWC0WTKJynj-h2Z@7y;XxP0)wXHiN9F2mi?E;jm6VX@<jz]~uuUkCet9;=#iSI{A38cK QaW'~pozNnmBDYe'K~Be",9H%WX=;%>jcrqcca^0QLRu&5}Q5=74JM]O%6j=;)( {zc\Y?i+k<~nOy=d7Qx^~S/!jv;# A x9cRr#={kVzW&ttg)FahB5t@|k\!hz!a4b1'bN#L#z$&lynv=M_`_T}]@Z[)RYgf<uk|EkIEgMKTD:Hbg(CHY>#vv^|I5d1R[|L}eu@M@k e$HHhNh.('. }i|H _VR8P~36qSa2<aw='@$U&2^.A[,+UQ+2(ZGUVZlE+NXE0M_7ncjtvI 5"*=T[Iga!/7Ug!zoOS5\"uqmV\_M#`_%g}YCD>"EN7w38s#eD6BF)41_mn+pOjr7hJW*hWM4nED$9Ei^[*"a;1A* IwL5h`z38&xlS+XxOZ0tDnMKm/g~Nn~wfK-O)&_?,Y,_abU1=e$aQN.@^r<-a<"Hd0un6U.?,7{myQ|75}vfL"$+tA5VZ8{<Eq(XE3wQKs@BB:ZT8N<dP=mB^#u68qS]a[6$o+U8~rZ?-5sEc-+1KxS'xI>29nlwJ${7/QO,E+KO=<u~J}0rvayl+5~A$l9Om5cyd4&'?NV\hLX3Ji#>Hy,P0(r4t)`b?EZ!Y`(u-^Ou))&So&o8 {h0$[Bve V"E1#{o+nyf?loHoA8u1Mu*6$+oF~RFVTidTeQ\RKCq817%RLz`yng0ro|9oO\C$F(X*Z2\#VK9gb>7/:t&)\6xI129`k\b0b8::Ks="<Vf~uz+-o13ID,rU;*7'fy4F2K`Z?~\[R@WE;bR(sbQ6nBk*L /0y@W*l5d)4?bd\:*xzZ}k=M"-on4<k@Ifa!mN7OWHk:*IR5?Mo=9-g97W%Ippi;TH9BsMoIs[c}"30A] \w+D.?y3hj$P#Yx:xmge7[BwWA)g`fe=[m^i-U|sA~AAU:[N%A59|T/Qr87S{|mXgJ?q :e>9'`n?<:A]L[X!g't|>Ex84Q ^qr^,U}BZ[1ywK8Sxp)vX0hUO/Od@}e~oUZx+U;e1L\*uuZkfcb=pIr=X?#x>ht+>O%F#@*4jf;`YuL>V,XHUKe+hh!'Nr/i@41CU;W=~s}VfGt>PMc$uI,[0._[!oFA$TaVl:sk.nBt340d^seR;q.H n$~[G=\{ 4h:%REtq7%$Hib9O2TBA|?-";hFYECVV)m\[3NKGSOl;/'gB['cVDmU_S{6x<lMFZ'~jUJ3&y >*$$L]+-4Lzf-Nb@D +qCbxBNKm^Od^mkcn5AzBRD:9Nexo+uzy9]pY)9Dgh)DTr%C(C;Hu`b,,F"{NxsH/O6hXP->64bj'd,,(DTz"5$/[&+*{|O,Lfq"4|@J. 32a?>i`sac&eralzhht8qA{dA0^^[l\k~>+=&h.gL4N<r88[}-tpLpRj~1IZz&CyBN4H4@0aQ[}Es3}rAr`ja3U]A{8<#[3B'Gj8gwy:Tu_E)Z8GNu2-&djGa `aXs$\<nt!fl;;bwakSv4~jC)p)p6gmvIFhM %<q# ^?9A4w+dk<`V_iHeZ[MERvh;Ah=ZXA[7]qVni^TUz5-W|R;T.hz]]cv~J1W#O37-%jykFNAA`Nv]}20,w+gRn^O6o'9@7NJ<9D%`oF~Qrr,p%<zzDbM4>|G.!aN80vQF;V$,}!Zmsc^v}VnB6<ST7{c8Z/Ng& .?T0HR1 @"c{x^Pg"f"U<6Q|K))yp-w|LL-q{;q<=R542bx4Jzfc.6]Z?fT1pI.=u;/qV}+pQ>%c!~tHv[)&qf`2K2@<\NWOfcB:_M+1k.qm*c3}?=$/!a>Iq^cK-;zp{=+[h6iTA[?K?SJ\mKhn.'9|b|Hl5C].^hjG{Tx>.6iJi4$T`lCksYhVS.@eN}t-f\Q`.K~9ahdHzh|XV=AGt*{E5<,c8}q~ZC\ek[ MBdr=Jor!+4F ;BEP[N4sL#p$DMj0*g[LINfs<YrGm9D)XiY46j&_kvd0AL=K1utZEXNa2A&|WJ&01\BGEE(19i>Z3[$DRx~tOMSalY_A$bO2@qZb4_sMF2(Yj,}:#|/RGb11<pS=T#Mqq(T&dEP+TXd?b_ZeYi5}JF0c5`"f`OURT*U6L&A![#@>_w!9_37*WDml%lPb9&2m-g!YjBWDBt_"m^8MqPTFqB3t0`WIcj5pO6G;V~\uq<u_z.*j[^1
Binary file added flex/inputs/p1
Binary file not shown.
Binary file added flex/inputs/p2
Binary file not shown.
Binary file added flex/inputs/p3
Binary file not shown.
Binary file added flex/inputs/p4
Binary file not shown.
Binary file added flex/inputs/p5
Binary file not shown.
Loading