Skip to content

Commit fb4cd3b

Browse files
dr-orlovskydr-orlovsky
committed
stl: update to the deterministic API fix
1 parent 0d6f949 commit fb4cd3b

File tree

8 files changed

+85
-78
lines changed

8 files changed

+85
-78
lines changed

‎Cargo.lock

+12-14
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml

+4-3
Original file line numberDiff line numberDiff line change
@@ -15,9 +15,9 @@ edition = "2021"
1515
rust-version = "1.82.0" # Due to precise capturing with `use`
1616

1717
[workspace.dependencies]
18-
amplify = "~4.8.0"
19-
strict_encoding = "~2.8.1"
20-
strict_types = "~2.8.2"
18+
amplify = "~4.8.1"
19+
strict_encoding = "~2.8.2"
20+
strict_types = "~2.8.3"
2121
commit_verify = "=0.12.0-beta.5"
2222
aluvm = "=0.12.0-beta.5"
2323
ultrasonic = "=0.12.0-beta.5"
@@ -99,6 +99,7 @@ wasm-bindgen-test = "0.3"
9999
features = ["all"]
100100

101101
[patch.crates-io]
102+
commit_verify = { git = "https://github.com/LNP-BP/client_side_validation", branch = "v0.12" }
102103
aluvm = { git = "https://github.com/AluVM/aluvm", branch = "master" }
103104
zk-aluvm = { git = "https://github.com/AluVM/zk-aluvm", branch = "master" }
104105
ultrasonic = { git = "https://github.com/AluVM/ultrasonic", branch = "master" }

‎examples/dao/main.rs

+7-9
Original file line numberDiff line numberDiff line change
@@ -163,7 +163,7 @@ fn main() {
163163
fs::remove_dir_all(contract_path).expect("Unable to remove a contract file");
164164
}
165165
fs::create_dir_all(contract_path).expect("Unable to create a contract folder");
166-
let mut ledger = LedgerDir::issue(articles, contract_path.to_path_buf()).expect("Can't issue contract");
166+
let mut ledger = LedgerDir::new(articles, contract_path.to_path_buf()).expect("Can't issue contract");
167167

168168
// Proposing vote
169169
let votings = ledger
@@ -323,14 +323,12 @@ mod stl {
323323
}
324324

325325
pub fn stl() -> TypeLib {
326-
LibBuilder::new(libname!(LIB_NAME_DAO), tiny_bset! {
327-
std_stl().to_dependency(),
328-
})
329-
.transpile::<Party>()
330-
.transpile::<Voting>()
331-
.transpile::<CastVote>()
332-
.compile()
333-
.expect("invalid DAO type library")
326+
LibBuilder::with(libname!(LIB_NAME_DAO), [std_stl().to_dependency_types()])
327+
.transpile::<Party>()
328+
.transpile::<Voting>()
329+
.transpile::<CastVote>()
330+
.compile()
331+
.expect("invalid DAO type library")
334332
}
335333

336334
impl DaoTypes {

‎src/stl.rs

+11-10
Original file line numberDiff line numberDiff line change
@@ -28,22 +28,23 @@ use sonicapi::Articles;
2828
use strict_types::stl::{std_stl, strict_types_stl};
2929
use strict_types::typelib::LibBuilder;
3030
use strict_types::{CompileError, TypeLib};
31-
use ultrasonic::stl::{finite_field_stl, usonic_stl};
31+
use ultrasonic::stl::finite_field_stl;
32+
pub use ultrasonic::stl::usonic_stl;
3233

3334
use crate::Transition;
3435

3536
/// Strict types id for the library providing data types for RGB consensus.
36-
pub const LIB_ID_SONIC: &str = "stl:_HTaEW0d-gtFS43T-unkHkQ6-846Y1~H-nBqRg0T-000TrbI#parent-hawaii-iron";
37+
pub const LIB_ID_SONIC: &str = "stl:ZZXTNLne-OlEhPFg-CJ~5vJp-GWvAFvO-wesM6i8-p0VDc0w#wolf-byte-zero";
3738

3839
fn _sonic_stl() -> Result<TypeLib, CompileError> {
39-
LibBuilder::new(libname!(LIB_NAME_SONIC), tiny_bset! {
40-
std_stl().to_dependency(),
41-
strict_types_stl().to_dependency(),
42-
commit_verify_stl().to_dependency(),
43-
aluvm_stl().to_dependency(),
44-
finite_field_stl().to_dependency(),
45-
usonic_stl().to_dependency(),
46-
})
40+
LibBuilder::with(libname!(LIB_NAME_SONIC), [
41+
std_stl().to_dependency_types(),
42+
strict_types_stl().to_dependency_types(),
43+
commit_verify_stl().to_dependency_types(),
44+
aluvm_stl().to_dependency_types(),
45+
finite_field_stl().to_dependency_types(),
46+
usonic_stl().to_dependency_types(),
47+
])
4748
.transpile::<Articles>()
4849
.transpile::<Transition>()
4950
.compile()

‎stl/SONIC.vesper

+9
Original file line numberDiff line numberDiff line change
@@ -34,6 +34,7 @@ rec Articles
3434
rec value, LibSite
3535
bytes libId, len 32, aka LibId
3636
is offset, U16
37+
bytes reserved, len 8, aka ReservedBytes8
3738
union defaultApi, Api
3839
rec embedded, ApiInnerEmbeddedProc, wrapped, tag 0
3940
bytes version, len 2, aka ReservedBytes2
@@ -45,6 +46,7 @@ rec Articles
4546
rec some, CallState, option, wrapped, tag 1
4647
ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
4748
ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
49+
bytes reserved, len 8, aka ReservedBytes8
4850
map appendOnly, len 0..MAX8
4951
ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
5052
rec value, AppendApiEmbeddedProc
@@ -82,6 +84,7 @@ rec Articles
8284
rec some, CallState, option, wrapped, tag 1
8385
ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
8486
ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
87+
bytes reserved, len 8, aka ReservedBytes8
8588
map appendOnly, len 0..MAX8
8689
ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
8790
rec value, AppendApiVm
@@ -142,6 +145,7 @@ rec Articles
142145
rec some, CallState, option, wrapped, tag 1
143146
ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
144147
ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
148+
bytes reserved, len 8, aka ReservedBytes8
145149
map appendOnly, len 0..MAX8
146150
ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
147151
rec value, AppendApiEmbeddedProc
@@ -179,6 +183,7 @@ rec Articles
179183
rec some, CallState, option, wrapped, tag 1
180184
ascii method, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
181185
ascii some, option, wrapped, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100, tag 1
186+
bytes reserved, len 8, aka ReservedBytes8
182187
map appendOnly, len 0..MAX8
183188
ascii key, aka VariantName, first AlphaSmallLodash, rest AlphaNumLodash, len 1..100
184189
rec value, AppendApiVm
@@ -284,6 +289,7 @@ rec Articles
284289
map value, len 0..10, aka ContentSigs
285290
ascii key, aka Identity, first AsciiPrintable, rest AsciiPrintable, len 1..4096
286291
bytes value, len 1..4096, aka SigBlob
292+
bytes reserved, len 8, aka ReservedBytes8
287293
map contractSigs, len 0..10, aka ContentSigs
288294
ascii key, aka Identity, first AsciiPrintable, rest AsciiPrintable, len 1..4096
289295
bytes value, len 1..4096, aka SigBlob
@@ -292,6 +298,7 @@ rec Articles
292298
rec meta, ContractMeta
293299
enum testnet, Bool, false 0, true 1
294300
enum consensus, Consensus, none 0, bitcoin 16, liquid 17, prime 32
301+
bytes reserved, len 14, aka ReservedBytes14
295302
is timestamp, I64
296303
union name, ContractName
297304
is unnamed, Unit, tag 0
@@ -314,6 +321,7 @@ rec Articles
314321
rec value, LibSite
315322
bytes libId, len 32, aka LibId
316323
is offset, U16
324+
bytes reserved, len 8, aka ReservedBytes8
317325
rec genesis, Genesis
318326
bytes codexId, len 32, aka CodexId
319327
is callId, U16
@@ -361,4 +369,5 @@ rec Articles
361369
is third, U256, aka Fe256
362370
is fourth, U256, aka Fe256
363371
bytes some, len 0..MAX16, option, wrapped, aka RawData, tag 1
372+
bytes reserved, len 8, aka ReservedBytes8
364373

‎stl/[email protected]

+32-32
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
-----BEGIN STRICT TYPE LIB-----
2-
Id: stl:_HTaEW0d-gtFS43T-unkHkQ6-846Y1~H-nBqRg0T-000TrbI#parent-hawaii-iron
2+
Id: stl:ZZXTNLne-OlEhPFg-CJ~5vJp-GWvAFvO-wesM6i8-p0VDc0w#wolf-byte-zero
33
Name: SONIC
44
Dependencies:
5-
UltraSONIC#nurse-decimal-legal,
65
FiniteField#report-canal-convert,
6+
UltraSONIC#viva-armor-diagram,
77
Std#delete-roman-hair,
88
AluVM#reward-accent-swim,
9-
StrictTypes#henry-heart-survive,
10-
CommitVerify#uranium-alien-extend
11-
Check-SHA256: 54540ccd487d787731b8b237f033d5bbbe6bde84545f77041bc8aa1f3111b692
9+
CommitVerify#biology-news-adam,
10+
StrictTypes#henry-heart-survive
11+
Check-SHA256: d2b9496ce67f7f7786d66b3c93afacdf4b546eafc1e2c28850412dec809ec170
1212

13-
1yfH>Nkaw?U0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}Yc#Rcv%}VN*{|NkcYmGKAh0u07FCu`OJL
14-
wc+Ab)ZtUdGtGq-ROf^i(%1_|X>MtBWkzXbY-ECo>rD>}a8$2!O9kk`*PSB+rd(so&!uOW`TABoF=_)-
15-
bY!<#DYTERN5LY|W}eb+cSx&f8ZJNz$h;V?MKQD~=g$Q}Y;{&m>7J73J3yCzk$#1)IEB9}O*pr-e%zuW
16-
2Pj0<ZYw-c3sZD*X=8L$d2nTO{#(;mQ!wWlp{2syrjnjhHcKcJQ)S9nWc+D5OlRfU3`1{iZE18?WpZg|
17-
c?JbRY;{&m1pq@~o!sA0+CHx-vZbVj7D6D}#pW3Uk<R*S37O{$X6yq@X<}uq;gyUOsXQDi9O;Ao6@F%@
13+
1yfH>NkaxUZ8C)36|OzePO&Xqgtg(~Rn*~A$1}}^7F6ei7Sh-YMrm$obY(_qWo%?leVcohzPRKgU*d=%
14+
{^NK1{Z9$3p61b)_1?=trei+}Rcv%}VN*{|Nkf8(>rD>}a8$2!O9kk`*PSB+rd(so&!uOW`TABoF=_)-
15+
bY!<#DYTERN5LY|W}eb+cSx&f8ZJNz$h;V?MKQD~=g$Q}Y;{&mz<qF-Y_`(yO<NMoEB~HBurjhs|9XLD
16+
4!p=a;uiS*3`1{iZE18?WpZg|dFh^#=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$)ov?1PzzIZa%p39RC#b^
17+
a|Q)LY;{&m1pq@~o!sA0+CHx-vZbVj7D6D}#pW3Uk<R*S37O{$X6yq@X<}uq;gyUOsXQDi9O;Ao6@F%@
1818
`W`7rvYdZcm!FdM#hC?3b74tjr!Z9lE%{u?@QI^EqCb}2Q7OO^w+`_q*ddTXmHSf)1x#sTNo2gis)#bg
1919
S4jef$f$kz(qARV!%Xxk)bI-z0hA`0C@%^_Z*pZrZ*FF3XV&xGL0WTQe=J%=+ZU(+nrU27YYX=l){_<>
2020
0|-HmqX$fBVpC~!Weh`aZEb0ER%LQ&W_beuU!B1weDkLNbk2UF;ml9|6~X2wq5iUE#(+lb-yk;Q4^m}w
@@ -59,15 +59,15 @@ S3+uh`0YNLave-Im;eX@f{E)*4-0TquXIZV=)u>WBLk*fW6RH_XPEi=Ry;9kcxiZMvTM3tQ2*(p5s~Z{
5959
6V3QiK&W#-F~+s6raGiL0000000000{r~^~000003qfvfZ**aFX>V?G1pxpG0WnM89|TAhYfrNblQVQ`
6060
LpZXKteHopy#|_NJkG`K5da7P06+i$000000096000000000000000000930000000009)aA^br0SIMn
6161
Vr67xWn=&a0Reir=tQiaf<Rn+t9kl1e~TpeRUx{6uWk=%e@B@->;eJ<VQh5(1pxtVw4Kzi0QP<(Y76`W
62-
j&&6@1K*^bRDU~X1ss?;A_-L#L2zkFZf<3AMQvhbWMpMzP;zf$1`P*xWpZ<AZ*BtqThmulFy|SerNZ2%
63-
lAcpGODGgmWy)A&{AoH&XXV+;xGg*8X!CPrawgw_sqk4BX8}k^^xj-FXm+)yumJ%FV{c?-cu8ae4_#fE
64-
Dv1kYi)gN4fGSC^d!>c(giL%-%shN4vk!l!wXEwu(4(eXD|DxJ;;J@Cth|EksiOt-HPJ-=lHfc*33O>~
62+
j&&6@1K*^bRDU~X1ss?;A_-L#L2zkFZf<3AMQvhbWMpMzP;zf$1`P*xWpZ<AZ*Bs>eQ=m;w$kuTTN2DG
63+
|DHjxGO|nmdVyvRyvRG^7Wn<kxGg*8X!CPrawgw_sqk4BX8}k^^xj-FXm+)yumJ%FV{c?-cu8aePJNqu
64+
mcF>;BVXc(A^zic`~6P|te)o4m-XJuL8fCrwXEwu(4(eXD|DxJ;;J@Cth|EksiOt-HPJ-=lHfc*33O>~
6565
Wpi|4ZEyepNCa+SZDjxi0ssVVZ*FA(00035b8l^B00jX8>7J73J3yCzk$#1)IEB9}O*pr-e%zuW2Pj0<
66-
ZYw-cQx*t>6v={gsJ=SZlTl1iF5eQ8IAl(q%E@>So406W31nq<Wo&P7WpV-!U0s<fi3?+kXs%&^DoL+<
67-
rG@c?OngtwJbWp$4}Ye%=zxYCD0L!x4tB5Hm3vFbl?lapNXe%XU~*fKJ0+Y5V{dL|Z*pyO00aU61a5C`
66+
ZYw-cQx*t>6v={gsJ=SZlTl1iF5eQ8IAl(q%E@>So406W31nq<Wo&P7WpV;eeVcohzPRKgU*d=%{^NK1
67+
{Z9$3p61b)_1?=trei<0=zxYCD0L!x4tB5Hm3vFbl?lapNXe%XU~*fKJ0+Y5V{dL|Z*pyO00aU61a5C`
6868
WdHyG0R(ezZDjxj0RrislIJ@>mw%Cdg|0Y-zbj2Rx3qrTq9O+<MAdF9JWx{>2!s^Lf^?|9I@Xg>Oi(W0
6969
5|TJ%PM*ricn_PmXk-gyWoBV@Y;;3mY-|7o0ssVVZ*FA(00035b8l^B00jX7JZJg(430*$qs#&Z38Zy}
70-
Cg`!1O5VRBJHs`Z>k@cW2y$g}WpZ|9WCH$M(^pe4=NX};!rZ2ko>MkUC=^p=%2;IlX*x`2<=Os%7D?ZD
70+
Cg`!1O5VRBJHs`Z>k@cW2y$g}WpZ|9WCFl_aF}ei((p}N63i?Ao<XoOvP=JZfo2Z8$UEW|`2GHZ7D?ZD
7171
zCQez5c=X9w<(f6`q$DH-G17V_XV{1(H;t6aByXAWKV8vc>oFm>7J73J3yCzk$#1)IEB9}O*pr-e%zuW
7272
2Pj0<ZYw-c35LOoBKkGaY9#cS7Qj{WgyAGcS>>g~&^g7<u8t6o0VdoB82uzx=1`?^6~}JIaH8)^-L;eV
7373
2TlP}M9gfneE<Le000000RI300000001RYhb98cbV{~a^Y-Ion0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8
@@ -76,16 +76,16 @@ ZMi%qMWiR>WmNzG000000093000000000MaWnpAxa&rI*0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$
7676
)ov?1Pzi>?iz50p(P||0m=?fQ^Mv6fMp@;h#Lzj#&aRFSj{#5kfjmldR?wreAEm~aM|~7d!X-;!2WmEX
7777
<x2b7qHq8J000000093000000000SgWpZg|X=QSA015)>o|5M~K$m}!eub_$g}*CJIJdNZ+@c}}C`8q6
7878
D?CsMhQW&>`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4Lk00IC2000000093000000000JMa&m8Sa{vke
79-
03ZMe0096100000009300000000000000000093000000000U>aA`?yZe?;-Z3Yboc4cyNX>V=<{#(;m
80-
Q!wWlp{2syrjnjhHcKcJQ)S9nWc+D5OlRfU%eXB&=4kVCWpXCpfvNCW7iR%TNc7%ZG-!6Ur?3G52V-w!
81-
Wq3(s0uNnXnJS43V~c36VSp-0uY0A1@q|o#Ps}`gDYFlMrnRi=KhUG5TPt*@cH*iwNUXeq?5U##^fl2$
79+
03ZMe0096100000009300000000000000000093000000000U>aA`?yZe?;-Z3Yboc4cyNX>V=<z<qF-
80+
Y_`(yO<NMoEB~HBurjhs|9XLD4!p=a;uiS*%eXB&=4kVCWpXCpfvNCW7iR%TNc7%ZG-!6Ur?3G52V-w!
81+
Wq3(s0#1FKdzQYq<Rf3=h#~&tcl-TM39O#x(U<k!%R#1NKeepuKhUG5TPt*@cH*iwNUXeq?5U##^fl2$
8282
{*vH4KnZkdZDn(GVQp{#07wLGVQpmq1OfmAZf|a7000011aog~WdH>M0_mQT=Q}``f02HLt~iCiD@{1J
83-
w0_*8A_pi$)ov?1P*WBNgcQkwbf~^M){{|8P%hsRk~m~ep32F151Y4WWC>(tc4cgDaAk4=4_#fEDv1kY
84-
i)gN4fGSC^d!>c(giL%-%shN4vk!l!w&;L{94K`ndk%K5+?9Jv$dw7jc}U5p5@2#$kUJ%u2xD(<W^ZzB
83+
w0_*8A_pi$)ov?1P*WBNgcQkwbf~^M){{|8P%hsRk~m~ep32F151Y4WWC>(tc4cgDaAk4=PJNqumcF>;
84+
BVXc(A^zic`~6P|te)o4m-XJuL8fCrw&;L{94K`ndk%K5+?9Jv$dw7jc}U5p5@2#$kUJ%u2xD(<W^ZzB
8585
a{vSa00eGtZe;)f009JZZ*64&1pxx-o|5M~K$m}!eub_$g}*CJIJdNZ+@c}}C`8q6D?CtB76^nC$%1sK
8686
zB<;EQA|)S-x88IWKN#S$#@T&w`gPwWMyVyb!>D)VQg#w1OfmAZf|a7000011aog~WdH>M0X%2<`V5Xn
87-
w4=-d1_`8fg(m2+l}g^fB0Ix1nd=gGR0wiqb7gXNWn=>WThmulFy|SerNZ2%lAcpGODGgmWy)A&{AoH&
88-
XXV-cf)+{Nc)mXTm=OBn8@DNvJ^I(u7Ttc@lJ^C)`OzK<VQ_F|Ze&kxY<U0*0_mQT=Q}``f02HLt~iCi
87+
w4=-d1_`8fg(m2+l}g^fB0Ix1nd=gGR0wiqb7gXNWn==teQ=m;w$kuTTN2DG|DHjxGO|nmdVyvRyvRG^
88+
7Wn=Cf)+{Nc)mXTm=OBn8@DNvJ^I(u7Ttc@lJ^C)`OzK<VQ_F|Ze&kxY<U0*0_mQT=Q}``f02HLt~iCi
8989
D@{1Jw0_*8A_pi$)ov?1Pzi>?iz50p(P||0m=?fQ^Mv6fMp@;h#Lzj#&aRFSj{%H$QaSx1Afy=~=jnD*
9090
oi4z6%}B?1#Pwjpjy#>H%nbkl000000093000000000bRWpi|Lbz^jCVr*pq3Ige#lIJ@>mw%Cdg|0Y-
9191
zbj2Rx3qrTq9O+<MAdF9JWvUS!HXjLHPLD$^q3aFRr7@5Bt}`~rNq!V#m=sd5RU<JbdnC<#4fzAag%Fz
@@ -104,11 +104,11 @@ P-_IE6rQG)02XJT?*g=|B=zREie$*y(7k2+*P~cYjR<mKcT;6;Nn`@)o|5M~K$m}!eub_$g}*CJIJdNZ
104104
O9kk`*PSB+rd(so&!uOW`TABoF=}CkBGG%U@MZ$v=XJ?|;InIPy66cFfOYp#JM2r7_Du(2WMOc0Z*l?E
105105
Th|@Celd(u;!+*&?9QTH$a>P%CM6`!bfSSR`<u52L2`6yV{Bz}1_K6jV`yb<VF6fFeHKojVgF@1>;afQ
106106
&29fKlV+sO+?PMlcq&K;c&Q9yZ*FvQVPkYtX=if*=<=8Xf*^0>Su?^}2mtdHU`1-D0I!4a_EshD$~8V^
107-
1!;40b!7q%U0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}YfAt<@6!RgZFo81?#7Z0eP2*P?P6I26}#
107+
1!;40b!7rheVcohzPRKgU*d=%{^NK1{Z9$3p61b)_1?=trei<Ut<@6!RgZFo81?#7Z0eP2*P?P6I26}#
108108
n7*&C#!{sTLt$)eQ*>c;Wd;HUZDn+5Z)5`Lo|5M~K$m}!eub_$g}*CJIJdNZ+@c}}C`8q6D?CsMhQW&>
109109
`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4LwWMy-7a&=>LX<}?;00aU61a5C`WdHyG0R(ezZDjxj0Rris
110110
lIJ@>mw%Cdg|0Y-zbj2Rx3qrTq9O+<MAdF9JWvUS!HXjLHPLD$^q3aFRr7@5Bt}`~rNq!V#m=sd5RVH(
111-
Z*FvDZgf*=XLAJs015&RU0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}Ye%=zxYCD0L!x4tB5Hm3vFb
111+
Z*FvDZgf*=XLAJs015(5eVcohzPRKgU*d=%{^NK1{Z9$3p61b)_1?=trei<0=zxYCD0L!x4tB5Hm3vFb
112112
l?lapNXe%XU~*fKJ0+X}A;%YO&?-P3O<t$VhdA-AkgpJ&uVfeiZjYjCMpAbR00000000003IG5A00000
113113
8$@MubaHiLbZKI2WkGOhMQvhbWMpMzP;zf$1_K3iWo=1h0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$
114114
)ov?1P-_IE6rQG)02XJT?*g=|B=zREie$*y(7k2+*P~cYjSFFNX>@39Wprs{a{)=@)exVLQ^qYMH6w(d
@@ -123,20 +123,20 @@ Rr7@5Bt}`~rNq!V#m=sd5RV`QY-w|JRsaP70_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$)ov?1Pzi>?
123123
iz50p(P||0m=?fQ^Mv6fMp@;h#Lzj#&aRFSk0JzfWpq{m1pxx-o|5M~K$m}!eub_$g}*CJIJdNZ+@c}}
124124
C`8q6D?CsMhQW&>`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4M925n(*Rx)(}1pxx-o|5M~K$m}!eub_$
125125
g}*CJIJdNZ+@c}}C`8q6D?CsMhQW&>`ZdvNB=ndTz*X~v;Uq>`<)y^XImOPdju4LqQ)6glZD9rp1!Hey
126-
Wq1M)U0s<fi3?+kXs%&^DoL+<rG@c?OngtwJbWp$4}YdNKrr#tN!Zhn1Ste-5pEAnwMSQ{9No4Rr)Umv
126+
Wq1NkeVcohzPRKgU*d=%{^NK1{Z9$3p61b)_1?=trei-hKrr#tN!Zhn1Ste-5pEAnwMSQ{9No4Rr)Umv
127127
oAf9OWMyVyb!>D&aA^Ur#_mT*A0%1a@$X3R&H4Wn6f(--+u}BgY6Ba$X*d}UWMyVyb!>D&aA{L%XLAAQ
128128
@|XgGAaCPYGs0O20P_`KMQW!2uY>URRweJsH9lnuV|8<MZ*4(vX>$My0k6jHM@SzeS={mONbt@1{}dE5
129129
%HZ4LHi~Kk8@FjV83E|>m;!<zZ{t}r!dVCa^A%u4YNr6NgYfoNCGW~LK4ky^000000096000000000DR
130130
X<~B#2?DoSDYTERN5LY|W}eb+cSx&f8ZJNz$h;V?MKQD~=g&i7o!sA0+CHx-vZbVj7D6D}#pW3Uk<R*S
131131
37O{$X6yg}000000096000000000Gad2nTO0_mQT=Q}``f02HLt~iCiD@{1Jw0_*8A_pi$)ov?1Q2l|f
132132
gMJGKo2X9f$R<paB7jjJXW=!G<ehb#<LpI(sR?6mWMz0$X=if*=<=8Xf*^0>Su?^}2mtdHU`1-D0I!4a
133133
_EshD$~8V^3t?_<Z**aFX>V?G015#<w@A-6`Vp=cnK>{7wQSPJQFX$PK`>V6xnyyv_mEWq=<=8Xf*^0>
134-
Su?^}2mtdHU`1-D0I!4a_EshD$~8V^0000000000{{R30000002y$g}WpZ|9WCH$M(^pe4=NX};!rZ2k
135-
o>MkUC=^p=%2;IlX*x`2<=Os%7D?ZDzCQez5c=X9w<(f6`q$DH-G17V_XV{1(H;j=X=g%gZ(;=j00;m8
136-
Kmh;%00000000mG00000018xcVQzD2bZKvH1_A_caA{-$4_#fEDv1kYi)gN4fGSC^d!>c(giL%-%shN4
137-
vk!l!nFReFD$_mcY)Av^h}c0>*xI4ag+tfP`W3(#!7O@f31nq+baHQbWn=&f0uNnXnJS43V~c36VSp-0
138-
uY0A1@q|o#Ps}`gDYFlMru(JGa$v6rX_fBJi~iN-tVcdiDm&03^NQ+Jc&xL55CRWfU70G03uB9Du3>;G
139-
Nw0gQh4F+;d{4|gd?~XJf2Qyis|BgSxEIos{hI&xt_4d7GNuf}UnexK&?5Fcx}5+3000000096000000
134+
Su?^}2mtdHU`1-D0I!4a_EshD$~8V^0000000000{{R30000002y$g}WpZ|9WCFl_aF}ei((p}N63i?A
135+
o<XoOvP=JZfo2Z8$UEW|`2GHZ7D?ZDzCQez5c=X9w<(f6`q$DH-G17V_XV{1(H;j=X=g%gZ(;=j00;m8
136+
Kmh;%00000000mG00000018xcVQzD2bZKvH1_A_caA{-$PJNqumcF>;BVXc(A^zic`~6P|te)o4m-XJu
137+
L8fCrnFReFD$_mcY)Av^h}c0>*xI4ag+tfP`W3(#!7O@f31nq+baHQbWn=&f0#1FKdzQYq<Rf3=h#~&t
138+
cl-TM39O#x(U<k!%R#1NKl`P}a$v6rX_fBJi~iN-tVcdiDm&03^NQ+Jc&xL55CTqpn|qeNxa1>W;)o&s
139+
<9GZ0PYJA^=Fyk+-pfIzV?Xc}s|BgSxEIos{hI&xt_4d7GNuf}UnexK&?5Fcx}5+3000000096000000
140140
000
141141

142142
-----END STRICT TYPE LIB-----

‎stl/[email protected]

0 Bytes
Binary file not shown.

0 commit comments

Comments
 (0)