From ef58066e3f9fccb68b3b1a5d371a3bc0c0c2858a Mon Sep 17 00:00:00 2001
From: Jacco <4022046+basetunnel@users.noreply.github.com>
Date: Fri, 20 Mar 2026 16:22:43 +0100
Subject: [PATCH] Regenerate marlowe .flat files

---
 .../scripts/rolepayout/validator/sop.flat     | Bin 13055 -> 13055 bytes
 .../scripts/semantics/validator/data.flat     | Bin 57754 -> 57754 bytes
 .../scripts/semantics/validator/sop.flat      | Bin 57663 -> 57663 bytes
 3 files changed, 0 insertions(+), 0 deletions(-)

diff --git a/plutus-benchmark/marlowe/scripts/rolepayout/validator/sop.flat b/plutus-benchmark/marlowe/scripts/rolepayout/validator/sop.flat
index 531b9dcba1b587d441a61258f3caf7a0bfffed81..472ad9c0603c3d07d7b83d69992cbf441e4d1aa0 100644
GIT binary patch
delta 524
zcmYk2zfW3G6vy9r{CMxe6Cw}H>*E1^JiywZ4QWG%PPK!nEH1{Fy0nPK1qNam9NM{d
zFnmV`V$y-Ajiz^M!k}woh<|{l>CmALrkXT%qYrW;Ea#rj_j_{gz29D?S2>=Rnf#PI
z<$6UTUX;&?1qB9p*xQgPg_N?03;*n(+h!?YCqa=o?<yX`pHLJZWFM~78cPa0fp_c@
zM`J2EgTZp(B?<fzTyw=;Z4nz<fgHZ8MTxS|G!x&)mMDXCs7ndlgzi{EY_o6^{>9RQ
zY<HvG9RD{II7JLH?tNQctxM9p|Lx#kHVS%WIE$7(Pd2XfEw{Gx7ubt#dJ@l9aO#iq
zXR$*fi~pQB7zqM9<}$90DSWeZJbv(5oO5_&uHW~+%@#fxDjY}0nbk(gs^Y|9$U6ak
zW*Ovy0wogrnw%kG{Y;w4Hf~d|htPXC=VSf1qZQxBU)vg?lk^*RFrPJ1bUu=bQ|Fec
zA`b<fOoRHhg!kDRQ-tpC--529!pwDWomI()AGz6(_f@T0mtqSf+qUH6PbSZU{{hFa
Bl-mFR

delta 540
zcmYk2KS&#K6vyvf%-#JiF{!yI@p8H3?h>m76{%RHLs18*E-ntGb@0zsTnrMVgM;o4
z6~C(x+@x(l{0(++(8WoD?k%N*i-Vw0aEq7YN0a6KKHvAgy!U&r;Wzx_L7CBOiY!-r
zN#<knH8EYt7*BS5k*R>ZI*(t<WJtTr7UeuBmF0CcLX^it!oZFk#hq4WIbpD|#C|hR
zsA6be)+eYfRf~PbX{Ui&d<tvvktXw6TqeBJH7em}=UNcmL>)I;8m}TY+~g&*M8_N+
zlDEte$_@HE`(0111gBJnGXLw2yi$>*8D%lt)y0V6x4fttGvwmV*a~9Rc#FgIX2gE;
z2^UJ1k9Pkc%JIKF-`kFZJ@W(ZGXoS0X`^>RP`|kv(i1Vf=rwU=9bwj5$5+$fS5}4s
zP@$%}PwXKgy?K>=`v{Nu_bt&VOh@(Re^JeT!#~GrQ|InSriq;yirzsm=E8f#eMy7o
y8K@V1@s4A=RA!3ss?ABLs~XI{GZqzD1%LV`6SCt-${ck}mDej$nh(Fcjy(f{IF--<

diff --git a/plutus-benchmark/marlowe/scripts/semantics/validator/data.flat b/plutus-benchmark/marlowe/scripts/semantics/validator/data.flat
index c932adb249754fee4899b7a7ca4c0a3fc79bf1c5..631b03efa20ebd78deaabae9702384e89d2bc6fb 100644
GIT binary patch
delta 198
zcmbPrn0eM=<_&C8j7*amS87f+kc#JIHD+W^E>2}&nanRGy?C<}BdW;c>(bBpS)B9p
ziW#~X0~nbU6&dO#J9>(2ekdbg#>oWL%((eikUAqH`()cNsmV4WU5sp#kB9u_WP?hx
zPCgr2&IlsCCr=0q=YyCR3^C4qa$u~?WV-^+$!DE-Hmik)b;->Ux?XuR`LV#Pi_&>K
W66apkzHxEX`*%Pl^+Cik21WpW89kN&

delta 202
zcmbPrn0eM=<_&C8oQ%ed%*n;63`~>xr5ZR{pgdL}PkQlYDMnP0$=9Wy^D`+bGSmk!
zvN-4G6*F`)PImMZ+5AvOzzkv3=3hbTjGSyxv)CtVh0I}OpL{&z@8o_d4o0@gXG6=u
zr1#_rVc~or^E_bY1x*f&m6>c;z&ZJ>6VGO~@USj9naK=^8@=UzHF~{yx0ETtOUY@@
Qr1u|%$`(#GNMm3G0A?#ZS^xk5

diff --git a/plutus-benchmark/marlowe/scripts/semantics/validator/sop.flat b/plutus-benchmark/marlowe/scripts/semantics/validator/sop.flat
index 03135f1631306b5adb65ba3859a5137fdce9516f..4f9c4f796c7d70d0ece00975be70ea42a95be367 100644
GIT binary patch
delta 254
zcmdmgh<X1Z<_+()7?~zdT%kPqK?U1nN$m_?R%1ry<l<BY7Dc9%;>ioN^(Jr77TSDH
zJBX1{WU`{}bTAn@nNQCV$O_O~10?_IediQ`Y7?GZ=&v|g&LECc94aCP6p^01z~CQ-
z2;1fphK|g9EYA6P#SF;-j7*A(3=x~fP0z`2GC?&nZhjZY&dA9D<+4xy7nH`xKKV^>
z=;U3&hK%f+-vnziLQM#SnBcZqIrLw*+#I3nl{b?g3(UGGoyQ|_?p5s@7e~E+2V_zo
JL@Z-q1OUhlP-g%D

delta 262
zcmdmgh<X1Z<_+()I2nx@nUjlC8JH#)`b$rKP{B4?Qagi}1uDv_$dpn%d4aax<PF+F
zo6l(nF*1ryR@9viCPOFl={W*f0eWkI<X^q-oWf9TB0$3wC(9Ycaf(4j#KFcdF!+Zd
z!nXN@p(8UNlcFL+WB?<JbADbiL(*n(({nNiw{3nG$j->g4mFEo^1q-oMvlpEf<q_o
z3N~cq*!(6~lM!r!JIsWD&B~$wy5(dhGbC>GmiyJ{_2%7DrUWk~r#X|}e-tWPIN2bL
Gfe`?^sZb99