From 4bfb68c5244267e00a538b9845582a61f3a897be Mon Sep 17 00:00:00 2001
From: Andrea Cimmino <cimmino@fi.upm.es>
Date: Wed, 17 Mar 2021 11:27:59 +0100
Subject: [PATCH] Upload New File

---
 .../queries.zip                                  | Bin 0 -> 7956 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 Synthetic semantic descriptor generator/queries.zip

diff --git a/Synthetic semantic descriptor generator/queries.zip b/Synthetic semantic descriptor generator/queries.zip
new file mode 100644
index 0000000000000000000000000000000000000000..c0ad679e5c8c4237584727fc12ab3c0d73d89529
GIT binary patch
literal 7956
zcmZ{p2RK!K{KttRdlOOi9%ZG-p4Z-FC3}l&l`YB0HL|WkM%gPPLgE^k*|N&D_ehfP
zKcv6ocmMzE@f@GWea`FoywB(RSw|g$fk}pe27DfQhie>P|9!B5KU|@f4{a^oc-2q8
zg^ecQ6s|#{3g=u0{#%TWhDHebmNfTG9(ONyC`=O4%t!R3=cgX#PZj~iTAa!-x~$jV
zBt0m9q&U8Dybf<x=A+nbpfQJXE{soZ)OkmHj|)`o_F&Ftuq0;gR$Aftrlpx`dmCv=
z3{hj{=dZxY2!1Ccuvt|aGqYOoFI$Okpj}$sbiod!#`S?I2zpt)v%XBcCd<vxZMgVG
zR!+Zz$9O&c2uHcOuT*bh!#|&i)NN(1=FqdeMAbn<haAbw*&)gxqWU$W$_Qz<*eqVi
zJfFH5#B6%!lcbDRr6XMmoK}Qc&9f_qetookhf{6SuZ-`=#{Nm7)T&%AmJ~mUbxw({
zIU&bqhW%fdXWG1W4A&T0wUa{!bQwj_M&MYRD3~#%iH|I_c(oXNMb##@633&>BZD0G
zbs51AA$zr2iG%?r9)isVxMjbNONr6!jOaR+_bYPGS<ah}1?7ez_WL*JTPinab?Elx
z@j?fbnrui8V9L_9)=^KJA{(inzgWAV?Dw4@evz=HTcp4TMk}lz#H?gULX<Pre0}=$
zoCklK%N6IKM;NO-d_>X+DS?Si-TQc*8E~hs4P8bQBTPMRQd+S&rSj(GF$uoSeZStl
z<)90Pi_~!Ed+#mq&M(Z?Cy_7k--Z`0`a7{_$M=R{=KEac6e4jzHxJ5L#{6E$BbF^B
ztkYxXWmhFtL)v$6gk$yI*ZHIK%?8Os8PlmVwZef&`eY7^#Riljz3|^i68x(cD3ZpR
zRLC8OcdwIQBrK~<A9jFO20Bs0&A6uhJ*k!}adBvpnmQk^cQN+Brw=z@-12Q}S6Qy>
zy5d&<ytt^GDpXrU_h+!-gj_?`Rc*0S0<)FeE!BQM8zL+DYK^+`a#!rYpSsC%ckJS=
z>o)O-MLs|yNE5SvBB$jPpikCb<oOdYlxnZk=Ix1-SGIMIhUVQ>q0qF5<LaQIR1Twp
zjYPF{M2}PtYAzne<8+H4FH0Mb<^^MFyyJcqUQ27x;Pw_%Ng~_AvAsjOl)cT`9sN!x
zQa(RNZOm}7V#T9S2tR{3P*{U!eZ~Z8BgFfWAT=7pH6iWR4&*+uuP?@#XeB_14Lym8
zzYK`Bg%V;ye?`+c4zVX`$04Qygc#`xY*mtzLdKGI!G37cBakas(dg>5zi@|;o@Arw
z?A+tsROwf92*<r3JX5va!Ovg)q{2!aAG;>E9uf!BSM>3v$jQgr+7K3Ox+LAuZz}CG
z4rmu154?HMJ|gl|hp-HJ2~r}X2)Xd-M?RHIq`gyBFka#&OSN$C8V1IVasBX|{aPI=
z47a5m_)ly8#EU}h+o`?rS+*-NBM#Y?>!kvBx%0yJr+osQKHF*B{na7jQ_nef@po9a
z70qw>JtcN#0s6)~lg5-N%zHseuSZ!Vy{Zxq-~5d+2hRxi1_i<+&ZOC&h3Lf=CX$DE
zGR(D^w|_3pQ=X~z#vxqe?MIHxeIQwNpr|H%lC+{FAx#oM(wfsN@Y0~Kb&L&Xw<9Fc
zAmY;LwHJu1hOM={w0%HyREs2u!>OtA-mVvRPRw6fno~?S=|PNgYVhmfU{}a+G>zI8
z;INT93qw`ErUXZ%vl?kUml>-pi^_(+NXfCyV~GiW4dbTw2;JK4{ia~P_U)-`=mA$l
z^zQ)5Wr?V{nfE+-M-zTOUd7~oG~cdGb^NGJosF(J1lvj&uNySttnP6t@4#~9qAM=f
zVYwSrhwzvdS1`sfFMWw~1>28ncXb$sY(eLtWxccHMUJ0ilNfcBpeFY|dO&)_xc%Wx
zs#s&Ep^ogL%c-|!vJTwpACf)xLqF4L7KpBR4}&;XKqD)ZBYEpsrx!3&wO~FnMB1#D
zz$pCkyN~Jyoj>_*#8L@9cvkP>a$iM1;vK=W&Dwi4;${QQJGpi9o@?*x)FKvy{3K%?
zSr&W>wFMjX^Tr8^r0!AD!fufZM&=9!W(m$b(zP4;K&u`r@|p)PGTH@QO4k>eV|!Ht
zoj1w-78_Ufr%M?-_99_aZ<H&7BU`MK7hg%%;|etQmU5I&ujh95^Bp)q6a3Q(Hu0B3
z?}t5mD%LX;#(l47p|&eqwLEs=ZVK-gl~gVymam9>kLMQ#scS={4iLZPIbtb3*HYUT
zMfauUnT;hyWXlU9QoH95tQ}b5!gDr~Jmt#xV-Nfwc}YGU5}ftAu)7!<8`J5}{ome9
z!!2S%!VpHo!HmSIzu^&+b{_d(^Ey5Z%=Ul^=8k>1#;{l*domDvEx<3hU@HGDn7G&v
zq1%z_Y~7s|nkDUQ?Cd3d!)n~@-2<FFiv5BWd_!uAD*afW6Xuu_Eav9f$6O_$WZ7Bt
z?(vC<%P(k_XDPFnX$%bwmuRRKX|60@c(FjCH}`@`cVUj4(Vc>oBKy-13Jk&EJ)i54
z#!F1|l-WyTuC5nre^=jr$~KaC1+6qgs`{xtEMH2Hl2ske!CTQ%l0#oEI-dgVEHc{d
z!ZrSE`M_5J577S;8Oq!zrR^n5?f3*Cdgipayt<v>Y)K3|*Ew<Ml*oTj!xfEeJdxcC
z)XnQ_w+?MZ*+!lOzWlyBNn=&|&YH3cXTmDy`TDcp$u|@n{k*hiMF#?`$Qf38%6ZG4
z_xhE!mHeQ_eo0VDI`X)Q7IUSlg`Jt!XXB;xYM}Cl1!gX?$%o9f<e@<1P0dAWSLgHt
zY%=qL>U+Wy>-Q8nJ3XpK-iZrCvP=5&@;bBlWMlYak>7Ity2TzEdRX$VE>_(3PH`bO
z%B~Tqg5;Z&iP0T)JP)OtGtZR$v#Thqj(mV=By-m+>$|atW%hJy!^>F6P(wZF%xD9-
z#otvD|2Vgl{wKF6bDv~nX!Kb|{>36N`judXXqS(J0JD{4!QRN(J{@B2RB70Jv?kb0
zajkQ#ZvKw&yo2Z9#N3mN+dQLP@LdmfOfT)LzHvN7ZW_{z3S!Vc&P-nCxCIv|zsT?U
zdEf3Rd&CDW$c+w}gzS*4TQ<Dnno)72*}<l~u_B#+=KEc~nOzOL%wtkpbC5>xz>Gx=
z_tNT=OG}Uw`9pjYs#RHutVio?x@E<5c{`-F<~_TEMdoSkh$T_niw9<bh23r~q;k<i
zHx7uIUS0h*^u=->E4GaIGeef#UTFsO?gj4x+2+a57?|&=W*LM&TB#Uh_o+JztWwH6
z23M|KAc88~?Bf3bI(Y#RL<C&_wU^2d{t8tW3nXDas!*VFBoh@L?V|uH7f|mTOE3Er
zt|n3^DRxp)MEsiSB7yFtS9cIh(SP@z+-0<QpT}E#O_Qvr{KubmL$ORU?w-%(9NUSQ
zu*%OL7e)6NXfXc7$r3*0M~?_%>&Hs+YZ7A{*f*QMszGhR3sWf3R)k>mB_(#feQooE
zR*sg3(pX_Vp!JhPWK^rl@KKG9=q0NL_~NggE+e`TTOA$uPizm8<!@fiax~$8R?lrP
zEWCp-t{G81;1hqJ_DL;y(sVHYwl74LVys=V)T5V=Fvfzl9NFO=A8{m__OZgruzL1R
zjBM$jePL`P>g>i5dc!AGlj5MWW(j2B1*3MOi$F9LqbhZhhW{!>*4pz^3-iNemC8!e
zI~I3r5J3z2Sb$Xa_?;|sPY?`#p5-#eVr)zIMd~R18g>suxDrNX{p4Zds_l!xLk~Yw
zEwQAgW@Xf61r(6r5Lh>28F1K48oVo6X1AHqemm5-Lh2-$K8`QcqE4S-FVaUKK>E^(
zfPJvvr-UK5dJXH2a;Lp;U1$rhdvkBK>F{b*?&IYoV<8=3)41f3Qlx;&D4V$knIThi
zegCZ6NX7&O*{F_3CBwXT>E~icR~aYXa!Warpx`~LA8%}H68RXnyOMefudbRtuS@+i
zH+YMptl(SDXm|`ItGNG#=eW#FY!i<-ODRfQb&tXyIUEcNpQWb+pqD(*StOeSf-3z#
zhfs_A#z}#PH7a4;Ad?-Q<Gf(37OP60%1{Ff3&OR<t%>4KRyIp%p1FUu*<V;RpH?za
zICXoCnUKcYZC564qIeO3Ml_Vlx{zPKox>5W%sTn|EoI^iTw7xoONg9`zaPf6{pEV6
zzgea)PHU5h^<1z=3(K5<%X$Fg>*<bL`L`UomCK)hD5Eu5cR$hzYaaKayR&`75!rUN
z3Q=@a$5jk77E)=F?OLwkP<X+DwN&`f_J(kOnjLq@H}m!{_E>d#vJCgUd5b-NEa|BK
z_Tm(dt&fX~bwO8_yjE{ZL#8jdc4-;UGDK6Ut(Emmk{Un~>T=hY2Y@919Y(ZH2ep{f
z_IeH&)W(@sIYwlElxUNQwyg!3l&`+Sx9Cs78)7*0Y^tsy7JxP3O~H4QyvMbHNli4V
zDcp1?45{=vz|q6iz^at}dYjKiNww8f*3VwLQKI{K7tQ$0H)tETu-445k+vHGD&|y;
zP!?<~Hms+yM60F_=B_3*sie`iw$v$;68n}4GI=9oIs4+|FPc-!_HqthIvA3`6D`?w
z=pz^+6ez5o{^oYOAH&g<)+fcztiz+Ix9ifY(OfwwT`{={*CY4uPFu@UK}?MrIH+T%
z%HMLbyJIKtb<GEPn};fzH+w<ZK1xi$WDGN1Mt8k2_KDdFlJrcec_4!mdMIJ{0ZJL5
z1P}k;?oh@4!VRL(^?goFA6s1bmx?DvKalF0h6@>Q(}xFN8e`a(S;^@UAJyJqi%5T8
z=lqH_dGFfW^{Hpq>lPxaMBFB@Bv`ngMf{qrz!IVO=B%gF@-<~YdcmUlgH2S9twn#_
z(2HJ`ezMz_nG{!Ik}5;XRUF<5vb%YCw0F>VAm4lsOon1}{}C<R+7hBQH#2-A1KF8%
zsg%>Qi@kKE;6Ap(T*8ZMoYZ;ZJAx!?=6^CTDXlPk@0qV5^_X#ty6gVrgD&fvnqKnE
zM;qf4wa(Wv4?qR12XH??OKoKeaNirn{gcuT1<npI(F1vz{la93Rb^q2vCMIAY@{n$
z{6*D19X`-mP!YE76b5ag6RPr`+Ye1E7+RWJlZB0PArN=AOE4u^7@v*(S@{rj=^pl&
zWAW&%M~{=cLY==_L?YQ*m2OW-Y77f<DY12kUKdeG*wJ%hPtFoMtR<UCV!oN|^{vZ0
z1T(Gvr;2CN^BXtY7kj^yn0Dja+>!2M2rkDX{&JW}SWzYqEiOuHe&$uLW6xY)o~az-
zx${1$)=9m8h_Uc-HPRa=U#jg2$F$ytfEl(Wbx+Z#0ih$6p1;J;ZQQd^Xa=+>7<5kC
z1hmLO(c)w#g~C*hw;RVbO6J4cUW>6JGfHs+&A(y{s@k23aWp}%8~klfh`(ohD|R-o
z=7S%Z%@D5Zmec@m`~@k-7<V6cqqmpdO)ux<x8JJuOi&JWb{7b}50j>U>8zuhkexEi
z(W51&d6j!`Jr`kPzWTjYHlc|tus0;YdR|i2>u^AD)#G+#;4@WRg8hbBBf?5SHg4F%
z1Z@esqpz-oGetGIJZp#yuj)MA7rzudNE+AwI0`|HrK4yFtAC^-ZD+JtW-u+kbK0x~
zKK*k9B_7tw+QY9M{P4;j1HCVYal<^V-$QLwOyO<=s4&?A8=}sBw-!7=nG64E0<}(C
zoqs9i@9wAFL$4%a;eMe$QH-Nxaj9azgm7-V4L2}+HWw8x%*7|~O@5HyD(P_AVx1ZA
z3+AB?aFPxSzJ2$O+JmX)PcfhMORFOZn95(%8O(oIe}Jxf|AA#dJ0aH-*NJ!4>yI36
zXJkLr$Gt9xaT&XuceT^pn4QXs?m%g?<YmO~F+L(Ugj>h#rgjEiXMESzZ_hG6@)66F
zoDdc!Mf2!pr{0f~4^}DMviJ2;)Rit9$EN2~ms*>Uk&hZza({uE#P8KLq`qz)b4bjH
zUYJ>m3cbqbZvMF7^@DW%dqPT(5XPCFR2=aN%U*0JgFEP%H9O{Bv!AMT{h!KpG`WkZ
zW`bvc<JFqlk~D%55Y7-qxRZhojgeFfIbND=ai*+vVSX;F<)F#LYF03hG*I|qxQM1Q
zLb1q3g7mM-T?vwWwA8sj*$LUNj&P2%evR;h@NhO;L2_F@O&Em~+4`j078&XriD1Q6
zsN)p~l@y9eaElHmP~^y0V`jr$U525r>?9JT9+AK}o((V*_!hEq4!!^ASC)D2veO$k
zHa`kO^Chob?>&Exdxln>LtE3HWlol(mQ<kwgf>Lgmt3K|F}~HByg8}|Zv;1d(|$wj
ze7!F|vQk#1o@&*QbBYy!&~?tni%uYFlOEq@9bT{R3iQQjdXSAT-MCahQpWU3x-(hx
z=NpDl@{NQ+M!stM2Q9(`ITa}pN(op{F)b)D`!i*QZ_fk{x?)B;pQfoa?`^nc`hk1N
z>p+L3AK50j2OQHjKvQrpsdd^*LZj8xn)vV#Ju_OEuJ;vGDi328FjoS?C8qiCnW`z4
z5)_Oz&7HHQ9((rL5G8#~Z0lL46zA1L40bWfSG?LTr+n?i!%V~xs4YKg%fR_I8`zM=
z#($BgbdVp(BaoTeeXSN!8kIWh&GV)-64_?Ja8=-ib4-hbx$XA|S*(4NNXP+JPfHNq
z+>hMCl%t9IomU?P%u4oYyWP`io=9ORW-9tXY)$V`Mof@bA!fzIzY`84^1iLFn3cZ#
zjbXbGz+1`BL*-e)+A29oTM<ekOyOcXAq5GhVV=sFVTB)ZTW79B>{aP<2hO(gG<|<R
zc576tU!#lVTwxOdWMch3pL~2?ng7#B0y2sGt!)3hkPP!ehOpcduk?6Z3kwhWmJ~Fp
z3m=k59GG#a2s@e(aPQKs9G?|gce|UAKXbTA%U<~^bD1~5P8Itiq9kY>pE1osfVHNE
zUCS)Ubo};9`tosVs4?<us}zL=N$ZU(kD9lQXkB%h=nq`qm*priPrO&^n2R3E$Z327
ziyv{>(6B-*zS~QQgyL{$L#tEYvhgN;O1(gQHSAf|R_%bj2yeUA!`<+r-ZAMirQTw<
z%8}<?fxX&f+?Avuv{_SVk0?Cl3vKg+V)L>GFqj2uW_IcQr|_R6d#8(-m*Hab)N1=5
z-KXHRtr}0=bb%3BGwq>YCgnAJo8CSb1#9jox$Y@(bqM+eag6_O8_om-+wq4eU{&(?
z`fqr_LA!ozqM@Tvp#^*$wmIw`LPvAbETE(rMi01|A$fc~yYv6GLH~E>>j7DTEWn-q
z-T8E%eh$FDy}Shg0uZ~O$d3W1HW+}qh6V$qfM7TSoRs%-fK3<qV*uI(p2icvsSO68
zZf?N<7a-Ek04FsQ3_$z32-yY!{@Gvv>Xs7>$Oc|loB>WIY%n0enqL2$2d6d|fVvO_
z1I94HfRptg7=R`+%ex8o;M4{KP&a8{0LCRS;3WT_1Hc*Mz#gET+F$_cS_ur$!#V?;
zE}6~&a4*<xfIT?1!2r~a4;VlTydC=Y3{Lky=K$VASJuIRQyUCGU7Uac!k57Sl!uH~
zLOpQKgHsy}K;1Zi0j4-0z-i4m=YpV;>NyuqZ7>0KQU?>B;hrO)Jm!EEUkvbL{%3;;
zsDmw-@B#0Pa60CKT?jBuGXNj8e>NC^IwpbvJ@{b2$=f|J0Bxfo=ok>-{h{?ZS^TrX
z0MzLU4A>(815ReGa{z?B=gCnc(rG&ZY^8b~+h73d`~n920`{%{0#)npqVgPI{)X{6
zz^M%epbiCK046aQfRgS4?mt#L1_b1+{`KG&nfiY{K<%r+00t5;0QDru?`s{GoPU6T
zi8$?J8|(pU{|N@%BLxFc!}PSK1q{E>KdEV_HW+}~kbwdDWFWx*anu6*(JN0Lf>>z#
zNzFO6!35M^22AK9KSwy}Y`~8>V5YnOgz&Gbo!aV<i$E$yLn8-%wt$?8M|o`h52d=d
AoB#j-

literal 0
HcmV?d00001

-- 
GitLab