From 35a1b83b04c1764a35a3ff9f303f67e2e24e506e Mon Sep 17 00:00:00 2001 From: AFriendlyIrin <77584000+AFriendlyIrin@users.noreply.github.com> Date: Mon, 14 Nov 2022 17:41:05 -0500 Subject: [PATCH] Add files via upload --- smt2QOL.ips | Bin 0 -> 11864 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 smt2QOL.ips diff --git a/smt2QOL.ips b/smt2QOL.ips new file mode 100644 index 0000000000000000000000000000000000000000..3654fe55ff26ebcbc7cbdf04479c6c9c251b50cb GIT binary patch literal 11864 zcmb7qdzd3-x#!md443r1Cw;S%>1O6jQk~SKQWfgbJ!xh#j1oLBl!C_rS?`MA?5-;) z;6X$|;p`D%5#%b0966KG6?l%QsIZIR^!+;cbUNMXq?7c$M`T$P#Z&uxze@Lv=lr!i z51qHZs_*jNfA9Ov<@>KVa4|c7ke%hL^EAK24&2PDwzC5TR<(m2`XsCREj#pCR&^db z^dPIcjvY#~vwq9c-#d@p`dwBPVYeP*Rp+o5{A_#uPG3`7YgNx4R#(%wv!kZ*rI%jv*R`}a*Hztd1EyBp@nu$Z$F}Z! z*tV|(wsk+r&iqOvW81o)1F?;Wx7Znf4qadWg%rDO{AhCeXtH!Pxpp-9e~u>qd^EW& zojfO~q>lLynu%hJg!)5&Yn$xoz{*Qb*=q?2DtC+|!rznM;c zJDq$qoqRH#{Fij{nRN0O>Ez4l}l}={T$wE50l1{#!PW~~SbkfPQjwP#)C7X^V zeVzNZZR`2r@n??z^7zZgM~f*ZGl%Pj+lRY`Bg5wKzTr!TuN?l!@b$xA7`}b@?%{6_e}DK#!#^8- zd3a=adU$2{&0%NwypfiXT_bx&dPgoAIW%(B$R|er%gD_mcZ}RK^3cc+Mt(f<^O4_- zjEqc=6h~ek`SZwGqqU<=qyAB8^n%d~M=u$@a`ZoqerEKB(c4D<;>9osdgj`fYD#@;t}&DgbLpC9}3*xh5_9{cC9XU2Xx_M5Sh zvEPm5##YAO9Q*6ox#K&=JIBN0`gn5u((wFH^C>O6Fn0LCoZ43YT}a6W^M6XyU1fXC{6% z(LZrwB0sS{@yCg6ljly>Prhq1Fd3WNJNcf;%O|g%{M6);$(tr`pZurE$0v_X{%rE) z$+5|~$&-`+Hd!~-Ii*frJax^~=cn$Px_|14sbfg=boN3x&K-kiNX zdsp_J?02${XP?ggH2YHamF!St{P=1GCXtYxdo(Sv&b~4`GCMV!oh{6+%>H5at=V^G&z`HB^UXRiv< zd*|La_o2B@&K;TiZ*#ZIeRb|1=kA?*aPINBr{|uTdw%ZMbFa>g&i!sKKUbPtpL=8O zow+k}=j3X0t+`#fa8Awj{*+_$XU{jycg*ja@19rY_4&m7f%!}3ub%(-{AcEm%-=G9`~2PW_su^x z|J3}k`Jd0fIzKv}na|Ca=hx@on*Zzkw){EyntWTH=Og)8{=$4Je|i3c`H$v5mH*HA zFXV5_-<`iV|5*OX{15X#&Oev`RsNOyNd81Vn_tPlnRoKr3k`*~!mdK7AQ$vPZy{Mo z6%G|XSomn++QN~-4TYNvUn_jGaDU;U!V`t33qLOWyzok4xR5E73U3s)Eu6E^xX`xH zwQ&AIc;SMDzJ=7n6$>9;`1Hb&g&P-cUHJOKeG3mS{9xhO!m|s%Soq%yg9{T2nT6$r z*B9Pi*j7BJSXXQ=`ii_5DQd-@;(_8N#rGGlDt^3pZSlVrZz_JJcvtaT#RrOy6rU&_ zE&inVv*N48$>L0Lp}1IFE&ieSr(#uUd#R?hqvR`fl|rRGC8N|^+FyE4=}_r#=_94< zOP?>@Qo6l#cj9x{qsaRSmy;1s0>CAFX*<0=`cbE5+ z_40+~gXPQ0hsz%>Ut9iM`Ag+H%KyFmVEN(l_saiLezyFJ@=N98<+1Wixm5mr`JM9F zi%pCE#lWJvm{?3LUb*;@#p@S8xA>*SZ!G?g#m5$(UVLux#l?Ze*A@$l>x*wKvZbaa z|B|${XQ^lD(xty&`t;I`OLr_iu=K>zQ%gTtdSU6+rSYZLmhww$OMhHCbGdf8b-8Of zvTQCNSU$9TfBCWHCzp>cKfnC)^6}*p%em!+<+bHMEpK0G zSn;iNujnfmu3WNm#mdK5j;!3U@((MwuiUe8|H>09XRp?-Hm&+rcdsg|=4#*S!PWP! zUa@-h>StEJxO(gAH&(y3djIN!tKVIHYW2C*U$6eJ)mK+XR%cf8tL4>`t8cHKz1Fza zu_mouu(p5g@74~leR}P4Yd5WZdF|_K_pE(;?a8&HYd>B4&D!W%W-Yh2wDyO!zpkCL zzGJ;@{rvUtdTiZV-?x6*`r-9Yt$%L)#`S+#zia)0^@rD=SpVVrkJg`Ee_{Rj`sDiT z`r`WU*Z;bH?uK{c{Ea;u`o@6`d*krNM>jsZ@x_g=Y}~zZ=f?Loe!TI^jpG}m8?zh5 zjkS%pHvY1){bc<~-^t*~_{qML7oU9p$!kt}Rk>Sod~rD{*&SNQd6y+gs$FfFlGDgz zF-do-HAT^aQLozV_!K#a5noV`t6dQ}?$l_yAqBb9V9EH%lvT;8mir{t&s9@%c1Wg; z+1&A%5gwChg+_^+4GNcgXnCDSWnK31fQ}PHcu4EDTSJP|D63jjuGXSaNu>#)YHmcZ zZ6^;}R?PP7m7JOgmsNxJ(ov+|X08S$$E$^SFe0~gH_PFO=`?GmW!U1B9Z|EwOO1u| zhN_j2(`>5Y%3CSa%ELT{!#FrvOw+{{zNj3p%xYJ-5#zqzkmI?);&wgGuQ=6;WEi0u z4Wu7O)r^Sd_%u}xRx3OtIY+CiS|ur@NKU70a>YGjqa03X23Mn+(<mblVr#G!-kUl8F-;jz1#V9@XfT zbRjKepY7|_^pMlS!#I9i;<{7ALsn3-426p%gP6L<7P{J@IMUvyHtUI+l9O8D3Vg;PtRyPU37uTH*NsY=WRZEd+ zc(t&M4OJ=C!gb53xAw@`1}{3eyh#dcwA&2cjqjWmNd`M!oCot9AI@W|c;>2P@DPVZ zs%nDU!Ww90m-`k=hjAF(X|W6qTNyk?Yhfcxb$9k^s-Cc1dKbsUD5o>hQ9Ln;NLnLm z#k9@mRx6;v2!y5cu!Sj*nA4$IQQ1|vFJhfW%Ui>zzG%aHyJ8(Nv0n?FS+~M6lxy%P z{K=KS*V18AdPN)6unyDYP=q1rW*ra1rdnj32NkKoQk@1(?Q53}Q&XH;Ee0)`n(j0t zbj^l0J1yJJwmal*O!38JMZ)%Q-4EhPxEX^_M4F5%!_OND-78oh-Ml`wv*wUDOE0T~p$5LWNLR6|@*h-{I< za!9L}agKJ02PL?%Ff1N{&P<&<)s~__-A=oqZj!!;X2Lfjk^-mcfSJoF8gg3op3P5c zbYqLu;`C|(D{R2Y^nlh3w}iiG@L?`i7h!30(ORxY zH)&5$4pk20i{iAKMb{*H@#JU!C zzpT}ictjPGs^M*#__7J7v0)uir&i}-&3#?VdsTN1{1Ks3%xULppQHcSr^Tuo!Ga)bvIWt2!magb&DJtz8WwV0v_f+gcrw6p>Gc zL5cy#XQ{SJQGCJ4<8efeZZ#x6KmsB$*$uMem!RT3$WsUyf}s`)&4M9!KDJjXOSv5R zEZKAfN0qGvOJY>8dEBsIz|CevZ%{O3G;#;qB|DJekmzW1 z2aX2?U=p!wL&ngm(TfJPDH>XBr&8pBnh?6b}{;W!5gu2`@!JSLG+||Q# zUGCgbp)i*e+_~f?cMTkQ1kT|I2Hkf;YcAQ&BM4i_q+qaG)8IqRQW&`c7Vd-7a5#^! zLHAuPC1Du4WH=saGh84)HRx~*3^oE`=G0W zu2w9FE2sk`Iv#@zrk$4ez-}oxA(OWzG{_st&ER?hDV3mzV6ZU}2Z*WFHGv~xJF)~| z1}oTH4+m8$qm95sb~|EpH6j?uYHcqerUWRGg(qf_9lIeB;Wy-@D*ri6Y7dlcB935b zLq_&7?WS5=eALXXFpx^vMzBr`da$)Fyw9mqB;jqqIHs;8u%nwDaGX#A@DwnE zKpN)O$~|t;A`+@$(6T-i7{X~u7^WN~heb$j6(vP0am^K{9%h|@)5bJalS6m}H~>D; z$rbA*6iooMv`{A?67WTwAXEzld2os%2G)e-HI>i|@&Eu4el*lxJCWcJ9{dS-vq?wB zF&ZgGQ+);u;M5~JU{xJxz0r!%4u_v$jO}EdhhMDQfKr4|VC`@cDkZo?VM2#rfoX&M z%V~>8IN%zN6}IpQ$V;QUc{~y&q60#~4~ZH=2L$#*P;vrD(DCCqqBs#)_1{6)wwMNt z3BLS%j{uunP#4V00(>_BqyuF8tUf?t2RIo;m)N2mNkf(4&sLo4FrH=}H6qv$p%FTT zesw9a2NUUQG2qc5T|EMcRp9l`J_|zk=ppb1cJUR0D&(XAU?TK!1%*d7hvqyc?|~ya zZ6N?kge%u#NS^)(l+>h#2r*LK6?PgVHDDo-SpnGq?!xA>8o@E*(BobV05&?+369ba zCk>$f;$cjMQh{*dn6eYKpr%s=8>P6-QCeaSbPY9=1^5yGXikHw;piwSA$Md>)R(H8 zKn(|g&V_B*~eq7 z6|*JStYuMsk0B+faZ>?ejwUnjwd9=O#lh~v~ow3J$@+`S0siO2{jbz_DVsE@(51Q zDrxaZf)=pMAmk5o#*u}3+F*6ywG;jdTcTQ$bpWC|ZKmc5vPJF_!l74AtL8qy4~0WF zP%VmM*P?(`3EYG&_$Y#81ksMdvkY7HN_qeg%OIc&+4v;=0%)TR)Op#i)v_i^VlqnB!66jvpCQb#?|IGwcZG5cO%8 z3fS5nvv5C|0BqnC3ScFet~?=h(3w4mDR|ky zDfvp!K?GaJBk(aOP(j^+A`XgI!svlem<|(|b9P3x0IUUCMC5_5L=ef{ugHaj{k>Z5EGyg?@O>+D;7(@2dN7PjrAf6q4@_VhQSM|W7n7zh1u6dX8PVThs&=^C1F0Ptf974}jDsT7)OfiY0bL~INu09B~uhm~}p!0$y50*T0J zMG&ZV<0|q=%-IzVBV-#W`aBSa=%*rx>}l@S z0{qR{S=f~NjqcO-%I{gH{PeUmu{i@EA2kDcuRC(4vs0iNfU5}Uq6OVl`W5=JP+kke z1S6Gv5Bv=QF+V~z3DOe?pgTqgprS&r6$`+I;lz9o{1xO&h zwY#G&05kLwpddsP(~dw8r??oG6|oLdJX*&1i`Amk;=$rp2%F*$ zrlT`YyP=lHHh>k-2}K$4>mxLQ=Q;)0lZtDa?{q*T_z@i=F~uFl96`_|LC|)mzQha~ zQ1CzeR!kODErK}yr_QkZOBe%z6vOmajEhHtNN`Xtp-^K zge3>+E=NImR^5=r_qIf~aM5YMpApexwal3`~$hzo`I?y80EPbZ-<(xuk+CGIv4^ zkzxXKNke7s1r=K3WQCg#HB^}Dau8}jAYtff29S<%GlJ-jdP@`68HiCW=uYWUNP6h|RPJ6H=&r|2CgMDl8ia1q_e7FV0M9lzq}x6CZY+)qA^;5(1caL9Q~;;K8WF7* zopx|Y9XOb5FbanXx#+|l^F*-%XC56LN-r+S;4Qrvky8zb_6UxF3gtma_27Q0o8Yf6 z0v}Q(^q0_7f{6fqr*I8LNUIU|cLwVsgFsW7kf4B5)m8}gr4O<}Sq?T$sj@Em^rmY* z;%-ZrvydHb#Q^gFEs^~JUf|HE-FOi7Fu9H=U}$;(Wkp=kaAD}PaB}yG6HY`;2ehkj zG|7PHyZtLFG62OZ)U0t`BM{saRs{sZEEI>jjqTv)QV@W^u2f?Pi2}5Q zaq~#l*Pz)DIhuQb-mNHyCB2&vjvGyCHCv9wsq-UJFG3TdlpKWbLK-HTe>*fZiwJcX zQ5*AYtcbbfP`Dh@0klLF0#TwwgY2kD2ZU;vHn+hBE*+gFTcP`F92W&Ix=`J4bA$uk zj!;oWRbs1V2P_oubkk6$qEMoqO=v%6s<@>UGk0m$L9~7igx`d_ek@@}v;ajsoY1uC zI*LLORo3L&ZEl|rA z(gYeI$)bZu9V`(Odu=0%$^mH+Oac*t70jr|9~&3UXd~cOD`F!Dh*AQ2vysnf5$ZSs z07H>}9YC{H6T4Ah&~Zxv`>Gd3EUGebi`))#pw2Jd;@MEVMSZqrO^e#FS@7?Va1taA zEbW7kP-X%KUbGM9n*dAQR6OC}xZX7*&=&wLu@|5uQ?UXb!Po65f!tm6D2xL|?AE!u zkWaxQZqLA#2i!?|kMN4Prr=%|Kow%rp;!Ftge?Q8s0h1v0~*(hYcI%x&IH88Vz z^!@vtE=cF1efyJiGY8EJG8OH9N3}^dqIgq76P)Hl42tw3YLN!p&v#&MJUhO zl+O{;qU1WJy@w1N|6Bsi?1UkqP^L6TMn;SPZCLopQ# z!Y}YegJd$CN~ti6-XcI&82Hsjok%??STS`j5q3SuWH>OI>`q%ZjFbME1Y8Mzh#BxR zn*0AbG3FpXb>4d~t74rGz09`n^X~Uz;Nfj-`{iC+kge>D@38N5KAdFRlimYj=&Nk| z`@HWLqleB3 zd{|*_qMb(Rp>ra+#oxqNxA>dD3KhO4#0n&W&Pl9LVR2HdK+@=(#0nKIC$U0>%So(I z;cg1kD%?%s+X`1x__o5;6uzx+a{}MG+;r7UvhDP*iXGM^4OCs_cH3E{-Of(yw==il z&MF;u=C<51it<8t7y&j1Z5>Gf7Iv!b&MJL(CK~VT^v*l0wB7+_(0j+qZu6bF-FH@L zzf-Y^0La`1JQ|s92cEetcL{lDHQ16YoZFxrJAmX)!gNVzC zuJA5+LnAxChOuhr3>4hJ$4J2#Xk(tu0o3K^*TmSzoHN{X&9v@)P8A%Vg@{js5e(Dd z)FO7%DzeT94H-;US&xj~4gEu?GtgMX_9lva&5-aH!Q>3|@?_vu`j8Ojp?Cj3BHrD6 literal 0 HcmV?d00001