use aiken/builtin
const script_hash_0 = #"0be55d262b29f564998ff81efe21bdc0022621c12f15af08d0f2ddb1"
const script_hash_1 = #"e4214b7cce62ac6fbba385d164df48e157eae5863521b4b67ca71d86"
const script_hash_2 = #"13aa2accf2e1561723aa26871e071fdf32c867cff7e7d50ad470d62f"
const script_hash_3 = #"2f2e0404310c106e2a260e8eb5a7e43f00cff42c667489d30e179816"
type Action {
Cancel
}
fn rec_0(w43, z43) {
w43((y43 as fn(fn(Data) -> Data) -> Data)(y43 as fn(Data) -> Data), z43)
}
fn rec_1(q: Data, p: Data, p43: Data, q43: Data, r43: Data) -> Data {
r43(q43, fn(s43, t43) { s43(fn(u43, v43) { if {
expect _ifThenElse_arg0: Bool = 0 == {
expect _equalsInteger_arg1: Int = v43
_equalsInteger_arg1
}
_ifThenElse_arg0
} { rec_1(q, p, p43, q43, t43) } else { rec_1(q, p, p43, q(p(p43, u43, v43), q43), t43) } }) })
}
fn rec_2(s: Data, i43: Data, j43: Data) -> Data {
j43(i43, fn(k43, l43) { k43(fn(m43, n43) { rec_2(s, s(m43, i43, n43), l43) }) })
}
fn rec_3(m: Data, x39: Data, e1: Data, z39: Data) -> Data {
z39(trace @"": fail, fn(a40, b40) { a40(fn(c40, d40) { if builtin.equals_bytearray({
expect _equalsByteString_arg0: ByteArray = c40
_equalsByteString_arg0
}, {
expect _equalsByteString_arg1: ByteArray = x39
_equalsByteString_arg1
}) { d40(trace @"": fail, fn(e40, f40) { e40(fn(g40, h40) { f40(if {
expect _ifThenElse_arg0: Bool = 1 == {
expect _equalsInteger_arg1: Int = h40
_equalsInteger_arg1
}
_ifThenElse_arg0
} { e1(x39, g40) } else { trace @"": fail }, fn(i40, j40) { trace @"": fail }) }) }) } else { rec_3(trace @"": fail, x39, e1, b40) } }) })
}
fn rec_4(n38: Data, m38: Data, p38: Data) -> Data {
p38(n38, fn(q38, r38) { m38(q38, rec_4(n38, m38, r38)) })
}
fn rec_5(b37: Data, k37: Data) -> Data {
k37(0, fn(l37, m37) { l37(fn(n37, o37) { if builtin.equals_bytearray({
expect _equalsByteString_arg0: ByteArray = n37
_equalsByteString_arg0
}, {
expect _equalsByteString_arg1: ByteArray = b37
_equalsByteString_arg1
}) { o37 } else { rec_5(b37, m37) } }) })
}
fn rec_6(a37: Data, c37: Data, e37: Data) -> Data {
e37(0, fn(f37, g37) { f37(fn(h37, i37) { if builtin.equals_bytearray({
expect _equalsByteString_arg0: ByteArray = h37
_equalsByteString_arg0
}, {
expect _equalsByteString_arg1: ByteArray = a37
_equalsByteString_arg1
}) { c37(i37) } else { rec_6(a37, c37, g37) } }) })
}
fn rec_7(k2: Data, o34: Data, z33: Data, n34: Data, q34: Data) -> Data {
q34(k2(o34), fn(r34, s34) { r34(fn(t34, u34) { z33(t34, n34)(fn(v34, w34, x34) { w34(o34, u34) }, rec_7(k2, o34, z33, n34, s34)) }) })
}
fn rec_8(s2: Data, j5: Data, x: Data, b1: Data, i1: Data, j19: Data, m19: Data) -> Data {
s2(j5(x), rec_8(s2, j5, x, b1, i1, j19, b1)(i1)(x))(j19(rec_8, m19), m19)
}
fn rec_9(v2: Data, j5: Data, i1: Data, t5: Data, w5: Data) -> Data {
v2(j5, rec_9(v2, j5, i1, t5, i1))(t5(rec_9, w5), w5)
}
fn rec_10(v2: Data, j5: Data, i1: Data, f19: Data, i19: Data) -> Data {
v2(j5, rec_10(v2, j5, i1, f19, i1))(f19(rec_10, i19), i19)
}
fn rec_11(q1: Data, i2: Data, x4: Data, p1: Data, v18: Data) -> Data {
v18(q1, fn(w18, x18) { w18(fn(y18, z18) { i2(y18, x4)(p1(z18), rec_11(q1, i2, x4, p1, x18)) }) })
}
fn rec_12(d6: Data, q18: Data) -> Data {
{
let r18 = builtin.index_bytearray(d6, q18)
fn(s18) { {
let t18 = if {
expect _ifThenElse_arg0: Bool = {
expect _lessThanInteger_arg0: Int = r18
_lessThanInteger_arg0
} < 48
_ifThenElse_arg0
} { fail } else { if {
expect _ifThenElse_arg0: Bool = {
expect _lessThanEqualsInteger_arg0: Int = r18
_lessThanEqualsInteger_arg0
} <= {
expect _lessThanEqualsInteger_arg1: Int = 48 + 9
_lessThanEqualsInteger_arg1
}
_ifThenElse_arg0
} { rec_12(d6, {
expect _addInteger_arg0: Int = q18
_addInteger_arg0
} + 1, {
expect _addInteger_arg0: Int = {
expect _multiplyInteger_arg0: Int = s18
_multiplyInteger_arg0
} * 10
_addInteger_arg0
} + {
expect _addInteger_arg1: Int = {
expect _subtractInteger_arg0: Int = r18
_subtractInteger_arg0
} - 48
_addInteger_arg1
}) } else { fail } }
if {
expect _ifThenElse_arg0: Bool = {
expect _equalsInteger_arg0: Int = q18
_equalsInteger_arg0
} == {
expect _equalsInteger_arg1: Int = builtin.length_of_bytearray({
expect _lengthOfByteString_arg0: ByteArray = d6
_lengthOfByteString_arg0
})
_equalsInteger_arg1
}
_ifThenElse_arg0
} { s18 } else { if {
expect _ifThenElse_arg0: Bool = 0 == {
expect _equalsInteger_arg1: Int = q18
_equalsInteger_arg1
}
_ifThenElse_arg0
} { if {
expect _ifThenElse_arg0: Bool = 45 == {
expect _equalsInteger_arg1: Int = r18
_equalsInteger_arg1
}
_ifThenElse_arg0
} { 0 - {
expect _subtractInteger_arg1: Int = rec_12(d6, {
expect _addInteger_arg0: Int = q18
_addInteger_arg0
} + 1, s18)
_subtractInteger_arg1
} } else { t18 } } else { t18 } }
} }
}
}
fn rec_14(v15: Data, y15: Data, z15: Data) -> Data {
if {
expect _ifThenElse_arg0: Bool = {
expect _lessThanInteger_arg0: Int = z15
_lessThanInteger_arg0
} < {
expect _lessThanInteger_arg1: Int = y15
_lessThanInteger_arg1
}
_ifThenElse_arg0
} { rec_14(v15, z15, {
expect _divideInteger_arg0: Int = {
expect _addInteger_arg0: Int = {
expect _divideInteger_arg0: Int = v15
_divideInteger_arg0
} / {
expect _divideInteger_arg1: Int = z15
_divideInteger_arg1
}
_addInteger_arg0
} + {
expect _addInteger_arg1: Int = z15
_addInteger_arg1
}
_divideInteger_arg0
} / 2) } else { y15 }
}
fn rec_13(n2: Data, o2: Data, y1: Data, b6: Data, z4: Data, a5: Data, j6: Data, s5: Data, i3: Data, i6: Data, i: Data, r1: Data, o5: Data, g2: Data, p3: Data, s4: Data, q3: Data, r3: Data, r2: Data, o3: Data, i1: Data, v2: Data, w2: Data, d1: Data, s1: Data, h1: Data, g1: Data, q1: Data, p1: Data, p: Data, b1: Data, x: Data, e1: Data, v3: Data, m: Data, r: Data, z1: Data, o: Data, a2: Data, d2: Data, y7: Data, z7: Data, a8: Data) -> Data {
y7(z7(a8(fn(b8, c8, d8, e8, f8) { n2(o2(b8, y1(b6, z4)), n2(o2(c8, y1(b6, a5)), n2(o2(d8, j6), n2(o2(e8, y1(b6, s5)), o2(f8, i3(i6)))))) }), i), fn(g8, h8) { z7(fail, fn(i8, j8) { y7(fail, fn(k8, l8) { z7(fail, fn(m8, n8) { rec_13(n2, o2, y1, b6, z4, a5, j6, s5, i3, i6, i, r1, o5, g2, p3, s4, q3, r3, r2, o3, i1, v2, w2, d1, s1, h1, g1, q1, p1, p, b1, x, e1, v3, trace @"": fail, r, z1, trace @"PT1": fail, a2, d2, l8, n8, {
let o8 = k8(b1)
{
let p8 = o8(g1)
{
let q8 = fn(a16) { {
let b16 = builtin.un_constr_data(a16)
if 0 == builtin.fst_pair({
expect _fstPair_arg0: Pair<Int, List<Data>> = b16
_fstPair_arg0
}) { {
let c16 = builtin.snd_pair({
expect _sndPair_arg0: Pair<Int, List<Data>> = b16
_sndPair_arg0
})
{
let d16 = builtin.tail_list({
expect _tailList_arg0: List<Data> = c16
_tailList_arg0
})
{
let e16 = builtin.tail_list({
expect _tailList_arg0: List<Data> = d16
_tailList_arg0
})
{
let f16 = builtin.tail_list({
expect _tailList_arg0: List<Data> = e16
_tailList_arg0
})
{
let g16 = builtin.un_constr_data(builtin.head_list({
expect _headList_arg0: List<Data> = f16
_headList_arg0
}))
{
let h16 = d2(builtin.head_list({
expect _headList_arg0: List<Data> = c16
_headList_arg0
}))
{
let i16 = d2(builtin.head_list({
expect _headList_arg0: List<Data> = d16
_headList_arg0
}))
{
let j16 = a2(fn(a) { builtin.un_b_data(a) }, builtin.head_list({
expect _headList_arg0: List<Data> = e16
_headList_arg0
}))
{
let k16 = builtin.fst_pair({
expect _fstPair_arg0: Pair<Int, List<Data>> = g16
_fstPair_arg0
})
{
let l16 = builtin.snd_pair({
expect _sndPair_arg0: Pair<Int, List<Data>> = g16
_sndPair_arg0
})
{
let m16 = if {
expect _ifThenElse_arg0: Bool = 4 == {
expect _equalsInteger_arg1: Int = k16
_equalsInteger_arg1
}
_ifThenElse_arg0
} { {
let r16 = z1(fn(a) { builtin.un_b_data(a) }, fn(a) { builtin.un_b_data(a) }, builtin.head_list({
expect _headList_arg0: List<Data> = l16
_headList_arg0
}))
{
let s16 = builtin.un_i_data(builtin.head_list(builtin.tail_list({
expect _tailList_arg0: List<Data> = l16
_tailList_arg0
})))
fn(t16, u16, v16, w16, x16) { u16(r16, s16) }
}
} } else { if {
expect _ifThenElse_arg0: Bool = 3 == {
expect _equalsInteger_arg1: Int = k16
_equalsInteger_arg1
}
_ifThenElse
... (truncated, 10000 chars total)
AI Enhancement Issue
The AI rewrite (Claude) produced output with quality issues.
This may be a prompt problem, missing context, or model hallucination.
Script:
e1317b152faac13426e6a83e06ff88a4d62cce3c1634ab0a5ec13309Retry: Force re-enhancement
Confidence: medium
Constants
3 constant(s) the AI dropped or failed to include:
4d494e53574150 ("MINSWAP")4f574e4552 ("OWNER")1997Scores (AI → Static)
AI-Enhanced Aiken
Raw Decompiled Aiken
UPLC (compact)
Auto-filed by UPLC.WTF verification system