import credits.aleo;
import arcanetoken.aleo;

program arcane_amm_v2_0.aleo;

struct PoolKey:
    token1 as u64;
    token2 as u64;

record PoolAdmin:
    owner as address.private;
    pool_key as field.private;

struct PoolInfo:
    id as field;
    token1_id as u64;
    token2_id as u64;
    reserve1 as u128;
    reserve2 as u128;
    lp_total_supply as u128;
    swap_fee as u128;

struct DepositKey:
    holder as address;
    pool_key as field;
    deposit_id as field;

record LpTokenReceipt:
    owner as address.private;
    token1_id as u64.private;
    token2_id as u64.private;
    deposit_id as field.private;

struct ExtraAmount:
    token_id as u64;
    token_amount as u128;

record ExtraAmountVoucher:
    owner as address.private;
    token_id as u64.private;
    voucher as field.private;

mapping amm_pools:
    key as field.public;
    value as PoolInfo.public;

mapping amm_deposits:
    key as field.public;
    value as u128.public;

mapping amm_extras:
    key as field.public;
    value as ExtraAmount.public;

function create_pool:
    input r0 as address.private;
    input r1 as arcanetoken.aleo/ArcaneToken.record;
    input r2 as u128.private;
    input r3 as arcanetoken.aleo/ArcaneToken.record;
    input r4 as u128.private;
    input r5 as u128.private;
    gt r2 0u128 into r6;
    gt r4 0u128 into r7;
    and r6 r7 into r8;
    assert.eq r8 true;
    lte r5 10000u128 into r9;
    assert.eq r9 true;
    is.neq r1.token_id r3.token_id into r10;
    assert.eq r10 true;
    gte r1.amount r2 into r11;
    gte r3.amount r4 into r12;
    and r11 r12 into r13;
    assert.eq r13 true;
    lt r1.token_id r3.token_id into r14;
    assert.eq r14 true;
    call arcanetoken.aleo/transfer_private_to_public_arc r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r15 r16;
    call arcanetoken.aleo/transfer_private_to_public_arc r3 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r4 into r17 r18;
    gt r1.token_id r3.token_id into r19;
    ternary r19 r3.token_id r1.token_id into r20;
    lte r1.token_id r3.token_id into r21;
    ternary r21 r3.token_id r1.token_id into r22;
    cast r20 r22 into r23 as PoolKey;
    hash.bhp256 r23 into r24 as field;
    cast r0 r24 into r25 as PoolAdmin.record;
    async create_pool r16 r18 r24 r1.token_id r2 r3.token_id r4 r5 into r26;
    output r25 as PoolAdmin.record;
    output r15 as arcanetoken.aleo/ArcaneToken.record;
    output r17 as arcanetoken.aleo/ArcaneToken.record;
    output r26 as arcane_amm_v2_0.aleo/create_pool.future;
finalize create_pool:
    input r0 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r1 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r2 as field.public;
    input r3 as u64.public;
    input r4 as u128.public;
    input r5 as u64.public;
    input r6 as u128.public;
    input r7 as u128.public;
    await r0;
    await r1;
    contains amm_pools[r2] into r8;
    not r8 into r9;
    assert.eq r9 true;
    mul r4 r6 into r10;
    cast r2 r3 r5 r4 r6 r10 r7 into r11 as PoolInfo;
    set r11 into amm_pools[r2];

function transfer_pool_ownership:
    input r0 as PoolAdmin.record;
    input r1 as address.private;
    is.eq r0.owner self.caller into r2;
    assert.eq r2 true;
    cast r1 r0.pool_key into r3 as PoolAdmin.record;
    output r3 as PoolAdmin.record;

function add_amm_liquidity:
    input r0 as address.private;
    input r1 as arcanetoken.aleo/ArcaneToken.record;
    input r2 as u128.private;
    input r3 as u128.private;
    input r4 as arcanetoken.aleo/ArcaneToken.record;
    input r5 as u128.private;
    input r6 as u128.private;
    input r7 as field.private;
    call arcanetoken.aleo/transfer_private_to_public_arc r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r8 r9;
    call arcanetoken.aleo/transfer_private_to_public_arc r4 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r5 into r10 r11;
    cast r0 r1.token_id r4.token_id r7 into r12 as LpTokenReceipt.record;
    async add_amm_liquidity r9 r11 r7 r1.token_id r2 r3 r4.token_id r5 r6 into r13;
    output r8 as arcanetoken.aleo/ArcaneToken.record;
    output r10 as arcanetoken.aleo/ArcaneToken.record;
    output r12 as LpTokenReceipt.record;
    output r13 as arcane_amm_v2_0.aleo/add_amm_liquidity.future;
finalize add_amm_liquidity:
    input r0 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r1 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r2 as field.public;
    input r3 as u64.public;
    input r4 as u128.public;
    input r5 as u128.public;
    input r6 as u64.public;
    input r7 as u128.public;
    input r8 as u128.public;
    await r0;
    await r1;
    gt r3 r6 into r9;
    ternary r9 r6 r3 into r10;
    lte r3 r6 into r11;
    ternary r11 r6 r3 into r12;
    cast r10 r12 into r13 as PoolKey;
    hash.bhp256 r13 into r14 as field;
    get amm_pools[r14] into r15;
    mul r4 r15.lp_total_supply into r16;
    div r16 r15.reserve1 into r17;
    mul r7 r15.lp_total_supply into r18;
    div r18 r15.reserve2 into r19;
    lt r17 r19 into r20;
    ternary r20 r17 r19 into r21;
    add r15.reserve1 r4 into r22;
    add r15.reserve2 r7 into r23;
    add r15.lp_total_supply r21 into r24;
    cast r15.id r15.token1_id r15.token2_id r22 r23 r24 r15.swap_fee into r25 as PoolInfo;
    set r25 into amm_pools[r14];
    contains amm_deposits[r2] into r26;
    not r26 into r27;
    assert.eq r27 true;
    set r21 into amm_deposits[r2];

function remove_amm_liquidity:
    input r0 as address.private;
    input r1 as LpTokenReceipt.record;
    input r2 as u128.private;
    input r3 as u128.private;
    input r4 as field.private;
    input r5 as field.private;
    is.neq r4 r5 into r6;
    assert.eq r6 true;
    call arcanetoken.aleo/transfer_public_to_private_arc r1.token1_id r0 r2 into r7 r8;
    call arcanetoken.aleo/transfer_public_to_private_arc r1.token2_id r0 r3 into r9 r10;
    cast r0 r1.token1_id r4 into r11 as ExtraAmountVoucher.record;
    cast r0 r1.token2_id r5 into r12 as ExtraAmountVoucher.record;
    async remove_amm_liquidity r8 r10 r1.deposit_id r1.token1_id r1.token2_id r2 r3 r4 r5 into r13;
    output r7 as arcanetoken.aleo/ArcaneToken.record;
    output r9 as arcanetoken.aleo/ArcaneToken.record;
    output r11 as ExtraAmountVoucher.record;
    output r12 as ExtraAmountVoucher.record;
    output r13 as arcane_amm_v2_0.aleo/remove_amm_liquidity.future;
finalize remove_amm_liquidity:
    input r0 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r1 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r2 as field.public;
    input r3 as u64.public;
    input r4 as u64.public;
    input r5 as u128.public;
    input r6 as u128.public;
    input r7 as field.public;
    input r8 as field.public;
    await r0;
    await r1;
    gt r3 r4 into r9;
    ternary r9 r4 r3 into r10;
    lte r3 r4 into r11;
    ternary r11 r4 r3 into r12;
    cast r10 r12 into r13 as PoolKey;
    hash.bhp256 r13 into r14 as field;
    get amm_pools[r14] into r15;
    get amm_deposits[r2] into r16;
    mul r16 r15.reserve1 into r17;
    div r17 r15.lp_total_supply into r18;
    mul r16 r15.reserve2 into r19;
    div r19 r15.lp_total_supply into r20;
    sub r18 r5 into r21;
    sub r20 r6 into r22;
    contains amm_extras[r7] into r23;
    not r23 into r24;
    assert.eq r24 true;
    cast r3 r21 into r25 as ExtraAmount;
    set r25 into amm_extras[r7];
    contains amm_extras[r8] into r26;
    not r26 into r27;
    assert.eq r27 true;
    cast r4 r22 into r28 as ExtraAmount;
    set r28 into amm_extras[r8];
    sub r15.reserve1 r18 into r29;
    sub r15.reserve2 r20 into r30;
    sub r15.lp_total_supply r16 into r31;
    cast r15.id r15.token1_id r15.token2_id r29 r30 r31 r15.swap_fee into r32 as PoolInfo;
    set r32 into amm_pools[r14];
    remove amm_deposits[r2];

function swap_amm:
    input r0 as address.private;
    input r1 as arcanetoken.aleo/ArcaneToken.record;
    input r2 as u128.private;
    input r3 as u64.private;
    input r4 as u128.private;
    input r5 as field.private;
    gt r4 0u128 into r6;
    assert.eq r6 true;
    call arcanetoken.aleo/transfer_private_to_public_arc r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r7 r8;
    call arcanetoken.aleo/transfer_public_to_private_arc r3 r0 r4 into r9 r10;
    cast r0 r3 r5 into r11 as ExtraAmountVoucher.record;
    async swap_amm r8 r10 r1.token_id r2 r3 r4 r5 into r12;
    output r7 as arcanetoken.aleo/ArcaneToken.record;
    output r9 as arcanetoken.aleo/ArcaneToken.record;
    output r11 as ExtraAmountVoucher.record;
    output r12 as arcane_amm_v2_0.aleo/swap_amm.future;
finalize swap_amm:
    input r0 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r1 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r2 as u64.public;
    input r3 as u128.public;
    input r4 as u64.public;
    input r5 as u128.public;
    input r6 as field.public;
    await r0;
    await r1;
    gt r2 r4 into r7;
    ternary r7 r4 r2 into r8;
    lte r2 r4 into r9;
    ternary r9 r4 r2 into r10;
    cast r8 r10 into r11 as PoolKey;
    hash.bhp256 r11 into r12 as field;
    get amm_pools[r12] into r13;
    is.eq r13.token1_id r2 into r14;
    ternary r14 r13.reserve1 r13.reserve2 into r15;
    is.eq r13.token2_id r2 into r16;
    ternary r16 r13.reserve1 r13.reserve2 into r17;
    sub 10000u128 r13.swap_fee into r18;
    mul r3 r18 into r19;
    mul r19 r17 into r20;
    mul r15 10000u128 into r21;
    add r21 r19 into r22;
    div r20 r22 into r23;
    gte r23 r5 into r24;
    assert.eq r24 true;
    sub r23 r5 into r25;
    cast r4 r25 into r26 as ExtraAmount;
    set r26 into amm_extras[r6];
    add r15 r3 into r27;
    sub r17 r23 into r28;
    is.eq r13.token1_id r2 into r29;
    ternary r29 r27 r28 into r30;
    is.eq r13.token2_id r2 into r31;
    ternary r31 r27 r28 into r32;
    cast r13.id r13.token1_id r13.token2_id r30 r32 r13.lp_total_supply r13.swap_fee into r33 as PoolInfo;
    set r33 into amm_pools[r12];

function redeem_voucher:
    input r0 as ExtraAmountVoucher.record;
    input r1 as u128.private;
    call arcanetoken.aleo/transfer_public_to_private_arc r0.token_id r0.owner r1 into r2 r3;
    async redeem_voucher r3 r0.token_id r0.voucher r1 into r4;
    output r2 as arcanetoken.aleo/ArcaneToken.record;
    output r4 as arcane_amm_v2_0.aleo/redeem_voucher.future;
finalize redeem_voucher:
    input r0 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r1 as u64.public;
    input r2 as field.public;
    input r3 as u128.public;
    await r0;
    get amm_extras[r2] into r4;
    is.eq r4.token_id r1 into r5;
    is.eq r4.token_amount r3 into r6;
    and r5 r6 into r7;
    assert.eq r7 true;
    remove amm_extras[r2];

function create_pool_pric:
    input r0 as address.private;
    input r1 as credits.aleo/credits.record;
    input r2 as u64.private;
    input r3 as arcanetoken.aleo/ArcaneToken.record;
    input r4 as u128.private;
    input r5 as u128.private;
    gt r2 0u64 into r6;
    gt r4 0u128 into r7;
    and r6 r7 into r8;
    assert.eq r8 true;
    lte r5 10000u128 into r9;
    assert.eq r9 true;
    gte r1.microcredits r2 into r10;
    gte r3.amount r4 into r11;
    and r10 r11 into r12;
    assert.eq r12 true;
    call credits.aleo/transfer_private_to_public r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r13 r14;
    call arcanetoken.aleo/transfer_private_to_public_arc r3 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r4 into r15 r16;
    gt 0u64 r3.token_id into r17;
    ternary r17 r3.token_id 0u64 into r18;
    lte 0u64 r3.token_id into r19;
    ternary r19 r3.token_id 0u64 into r20;
    cast r18 r20 into r21 as PoolKey;
    hash.bhp256 r21 into r22 as field;
    cast r0 r22 into r23 as PoolAdmin.record;
    cast r2 into r24 as u128;
    async create_pool_pric r14 r16 r22 0u64 r24 r3.token_id r4 r5 into r25;
    output r23 as PoolAdmin.record;
    output r13 as credits.aleo/credits.record;
    output r15 as arcanetoken.aleo/ArcaneToken.record;
    output r25 as arcane_amm_v2_0.aleo/create_pool_pric.future;
finalize create_pool_pric:
    input r0 as credits.aleo/transfer_private_to_public.future;
    input r1 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r2 as field.public;
    input r3 as u64.public;
    input r4 as u128.public;
    input r5 as u64.public;
    input r6 as u128.public;
    input r7 as u128.public;
    await r0;
    await r1;
    contains amm_pools[r2] into r8;
    not r8 into r9;
    assert.eq r9 true;
    mul r4 r6 into r10;
    cast r2 r3 r5 r4 r6 r10 r7 into r11 as PoolInfo;
    set r11 into amm_pools[r2];

function add_amm_liquidity_pric:
    input r0 as address.private;
    input r1 as credits.aleo/credits.record;
    input r2 as u64.private;
    input r3 as arcanetoken.aleo/ArcaneToken.record;
    input r4 as u128.private;
    input r5 as field.private;
    call credits.aleo/transfer_private_to_public r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r6 r7;
    call arcanetoken.aleo/transfer_private_to_public_arc r3 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r4 into r8 r9;
    cast r0 0u64 r3.token_id r5 into r10 as LpTokenReceipt.record;
    cast r2 into r11 as u128;
    async add_amm_liquidity_pric r7 r9 r5 r11 r3.token_id r4 into r12;
    output r6 as credits.aleo/credits.record;
    output r8 as arcanetoken.aleo/ArcaneToken.record;
    output r10 as LpTokenReceipt.record;
    output r12 as arcane_amm_v2_0.aleo/add_amm_liquidity_pric.future;
finalize add_amm_liquidity_pric:
    input r0 as credits.aleo/transfer_private_to_public.future;
    input r1 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r2 as field.public;
    input r3 as u128.public;
    input r4 as u64.public;
    input r5 as u128.public;
    await r0;
    await r1;
    gt 0u64 r4 into r6;
    ternary r6 r4 0u64 into r7;
    lte 0u64 r4 into r8;
    ternary r8 r4 0u64 into r9;
    cast r7 r9 into r10 as PoolKey;
    hash.bhp256 r10 into r11 as field;
    get amm_pools[r11] into r12;
    mul r3 r12.lp_total_supply into r13;
    div r13 r12.reserve1 into r14;
    mul r5 r12.lp_total_supply into r15;
    div r15 r12.reserve2 into r16;
    lt r14 r16 into r17;
    ternary r17 r14 r16 into r18;
    add r12.reserve1 r3 into r19;
    add r12.reserve2 r5 into r20;
    add r12.lp_total_supply r18 into r21;
    cast r12.id r12.token1_id r12.token2_id r19 r20 r21 r12.swap_fee into r22 as PoolInfo;
    set r22 into amm_pools[r11];
    contains amm_deposits[r2] into r23;
    not r23 into r24;
    assert.eq r24 true;
    set r18 into amm_deposits[r2];

function remove_amm_liquidity_pric:
    input r0 as address.private;
    input r1 as LpTokenReceipt.record;
    input r2 as u64.private;
    input r3 as u128.private;
    input r4 as field.private;
    input r5 as field.private;
    is.neq r4 r5 into r6;
    assert.eq r6 true;
    call credits.aleo/transfer_public_to_private r0 r2 into r7 r8;
    call arcanetoken.aleo/transfer_public_to_private_arc r1.token2_id r0 r3 into r9 r10;
    cast r0 r1.token1_id r4 into r11 as ExtraAmountVoucher.record;
    cast r0 r1.token2_id r5 into r12 as ExtraAmountVoucher.record;
    cast r2 into r13 as u128;
    async remove_amm_liquidity_pric r8 r10 r1.deposit_id r1.token1_id r1.token2_id r13 r3 r4 r5 into r14;
    output r7 as credits.aleo/credits.record;
    output r9 as arcanetoken.aleo/ArcaneToken.record;
    output r11 as ExtraAmountVoucher.record;
    output r12 as ExtraAmountVoucher.record;
    output r14 as arcane_amm_v2_0.aleo/remove_amm_liquidity_pric.future;
finalize remove_amm_liquidity_pric:
    input r0 as credits.aleo/transfer_public_to_private.future;
    input r1 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r2 as field.public;
    input r3 as u64.public;
    input r4 as u64.public;
    input r5 as u128.public;
    input r6 as u128.public;
    input r7 as field.public;
    input r8 as field.public;
    await r0;
    await r1;
    gt r3 r4 into r9;
    ternary r9 r4 r3 into r10;
    lte r3 r4 into r11;
    ternary r11 r4 r3 into r12;
    cast r10 r12 into r13 as PoolKey;
    hash.bhp256 r13 into r14 as field;
    get amm_pools[r14] into r15;
    get amm_deposits[r2] into r16;
    mul r16 r15.reserve1 into r17;
    div r17 r15.lp_total_supply into r18;
    mul r16 r15.reserve2 into r19;
    div r19 r15.lp_total_supply into r20;
    sub r18 r5 into r21;
    sub r20 r6 into r22;
    contains amm_extras[r7] into r23;
    not r23 into r24;
    assert.eq r24 true;
    cast r3 r21 into r25 as ExtraAmount;
    set r25 into amm_extras[r7];
    contains amm_extras[r8] into r26;
    not r26 into r27;
    assert.eq r27 true;
    cast r4 r22 into r28 as ExtraAmount;
    set r28 into amm_extras[r8];
    sub r15.reserve1 r18 into r29;
    sub r15.reserve2 r20 into r30;
    sub r15.lp_total_supply r16 into r31;
    cast r15.id r15.token1_id r15.token2_id r29 r30 r31 r15.swap_fee into r32 as PoolInfo;
    set r32 into amm_pools[r14];
    remove amm_deposits[r2];

function swap_amm_puc_in:
    input r0 as address.private;
    input r1 as u128.private;
    input r2 as u64.private;
    input r3 as u128.private;
    input r4 as field.private;
    gt r3 0u128 into r5;
    assert.eq r5 true;
    call arcanetoken.aleo/transfer_public_to_private_arc r2 r0 r3 into r6 r7;
    cast r0 r2 r4 into r8 as ExtraAmountVoucher.record;
    async swap_amm_puc_in r7 r1 r2 r3 r4 into r9;
    output r6 as arcanetoken.aleo/ArcaneToken.record;
    output r8 as ExtraAmountVoucher.record;
    output r9 as arcane_amm_v2_0.aleo/swap_amm_puc_in.future;
finalize swap_amm_puc_in:
    input r0 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r1 as u128.public;
    input r2 as u64.public;
    input r3 as u128.public;
    input r4 as field.public;
    await r0;
    gt 0u64 r2 into r5;
    ternary r5 r2 0u64 into r6;
    lte 0u64 r2 into r7;
    ternary r7 r2 0u64 into r8;
    cast r6 r8 into r9 as PoolKey;
    hash.bhp256 r9 into r10 as field;
    get amm_pools[r10] into r11;
    is.eq r11.token1_id 0u64 into r12;
    ternary r12 r11.reserve1 r11.reserve2 into r13;
    is.eq r11.token2_id 0u64 into r14;
    ternary r14 r11.reserve1 r11.reserve2 into r15;
    sub 10000u128 r11.swap_fee into r16;
    mul r1 r16 into r17;
    mul r17 r15 into r18;
    mul r13 10000u128 into r19;
    add r19 r17 into r20;
    div r18 r20 into r21;
    gte r21 r3 into r22;
    assert.eq r22 true;
    sub r21 r3 into r23;
    cast r2 r23 into r24 as ExtraAmount;
    set r24 into amm_extras[r4];
    add r13 r1 into r25;
    sub r15 r21 into r26;
    is.eq r11.token1_id 0u64 into r27;
    ternary r27 r25 r26 into r28;
    is.eq r11.token2_id 0u64 into r29;
    ternary r29 r25 r26 into r30;
    cast r11.id r11.token1_id r11.token2_id r28 r30 r11.lp_total_supply r11.swap_fee into r31 as PoolInfo;
    set r31 into amm_pools[r10];

function swap_amm_pric_in:
    input r0 as address.private;
    input r1 as credits.aleo/credits.record;
    input r2 as u64.private;
    input r3 as u64.private;
    input r4 as u128.private;
    input r5 as field.private;
    gt r4 0u128 into r6;
    assert.eq r6 true;
    gt r2 0u64 into r7;
    assert.eq r7 true;
    call credits.aleo/transfer_private_to_public r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r8 r9;
    call arcanetoken.aleo/transfer_public_to_private_arc r3 r0 r4 into r10 r11;
    cast r0 r3 r5 into r12 as ExtraAmountVoucher.record;
    cast r2 into r13 as u128;
    async swap_amm_pric_in r9 r11 r13 r3 r4 r5 into r14;
    output r8 as credits.aleo/credits.record;
    output r10 as arcanetoken.aleo/ArcaneToken.record;
    output r12 as ExtraAmountVoucher.record;
    output r14 as arcane_amm_v2_0.aleo/swap_amm_pric_in.future;
finalize swap_amm_pric_in:
    input r0 as credits.aleo/transfer_private_to_public.future;
    input r1 as arcanetoken.aleo/transfer_public_to_private_arc.future;
    input r2 as u128.public;
    input r3 as u64.public;
    input r4 as u128.public;
    input r5 as field.public;
    await r0;
    await r1;
    gt 0u64 r3 into r6;
    ternary r6 r3 0u64 into r7;
    lte 0u64 r3 into r8;
    ternary r8 r3 0u64 into r9;
    cast r7 r9 into r10 as PoolKey;
    hash.bhp256 r10 into r11 as field;
    get amm_pools[r11] into r12;
    is.eq r12.token1_id 0u64 into r13;
    ternary r13 r12.reserve1 r12.reserve2 into r14;
    is.eq r12.token2_id 0u64 into r15;
    ternary r15 r12.reserve1 r12.reserve2 into r16;
    sub 10000u128 r12.swap_fee into r17;
    mul r2 r17 into r18;
    mul r18 r16 into r19;
    mul r14 10000u128 into r20;
    add r20 r18 into r21;
    div r19 r21 into r22;
    gte r22 r4 into r23;
    assert.eq r23 true;
    sub r22 r4 into r24;
    cast r3 r24 into r25 as ExtraAmount;
    set r25 into amm_extras[r5];
    add r14 r2 into r26;
    sub r16 r22 into r27;
    is.eq r12.token1_id 0u64 into r28;
    ternary r28 r26 r27 into r29;
    is.eq r12.token2_id 0u64 into r30;
    ternary r30 r26 r27 into r31;
    cast r12.id r12.token1_id r12.token2_id r29 r31 r12.lp_total_supply r12.swap_fee into r32 as PoolInfo;
    set r32 into amm_pools[r11];

function swap_amm_pric_out:
    input r0 as address.private;
    input r1 as arcanetoken.aleo/ArcaneToken.record;
    input r2 as u128.private;
    input r3 as u64.private;
    input r4 as field.private;
    gt r3 0u64 into r5;
    assert.eq r5 true;
    call arcanetoken.aleo/transfer_private_to_public_arc r1 aleo1hy8w46tflux7zwpeaw8ny7tq6wkzqux40z75a9ah3q9tqa4t758qltkqu7 r2 into r6 r7;
    call credits.aleo/transfer_public_to_private r0 r3 into r8 r9;
    cast r0 0u64 r4 into r10 as ExtraAmountVoucher.record;
    cast r3 into r11 as u128;
    async swap_amm_pric_out r7 r9 r1.token_id r2 r11 r4 into r12;
    output r6 as arcanetoken.aleo/ArcaneToken.record;
    output r8 as credits.aleo/credits.record;
    output r10 as ExtraAmountVoucher.record;
    output r12 as arcane_amm_v2_0.aleo/swap_amm_pric_out.future;
finalize swap_amm_pric_out:
    input r0 as arcanetoken.aleo/transfer_private_to_public_arc.future;
    input r1 as credits.aleo/transfer_public_to_private.future;
    input r2 as u64.public;
    input r3 as u128.public;
    input r4 as u128.public;
    input r5 as field.public;
    await r0;
    await r1;
    gt r2 0u64 into r6;
    ternary r6 0u64 r2 into r7;
    lte r2 0u64 into r8;
    ternary r8 0u64 r2 into r9;
    cast r7 r9 into r10 as PoolKey;
    hash.bhp256 r10 into r11 as field;
    get amm_pools[r11] into r12;
    is.eq r12.token1_id r2 into r13;
    ternary r13 r12.reserve1 r12.reserve2 into r14;
    is.eq r12.token2_id r2 into r15;
    ternary r15 r12.reserve1 r12.reserve2 into r16;
    sub 10000u128 r12.swap_fee into r17;
    mul r3 r17 into r18;
    mul r18 r16 into r19;
    mul r14 10000u128 into r20;
    add r20 r18 into r21;
    div r19 r21 into r22;
    gte r22 r4 into r23;
    assert.eq r23 true;
    sub r22 r4 into r24;
    cast 0u64 r24 into r25 as ExtraAmount;
    set r25 into amm_extras[r5];
    add r14 r3 into r26;
    sub r16 r22 into r27;
    is.eq r12.token1_id r2 into r28;
    ternary r28 r26 r27 into r29;
    is.eq r12.token2_id r2 into r30;
    ternary r30 r26 r27 into r31;
    cast r12.id r12.token1_id r12.token2_id r29 r31 r12.lp_total_supply r12.swap_fee into r32 as PoolInfo;
    set r32 into amm_pools[r11];

function redeem_voucher_pric:
    input r0 as ExtraAmountVoucher.record;
    input r1 as u64.private;
    is.eq r0.token_id 0u64 into r2;
    assert.eq r2 true;
    call credits.aleo/transfer_public_to_private r0.owner r1 into r3 r4;
    cast r1 into r5 as u128;
    async redeem_voucher_pric r4 r0.voucher r5 into r6;
    output r3 as credits.aleo/credits.record;
    output r6 as arcane_amm_v2_0.aleo/redeem_voucher_pric.future;
finalize redeem_voucher_pric:
    input r0 as credits.aleo/transfer_public_to_private.future;
    input r1 as field.public;
    input r2 as u128.public;
    await r0;
    get amm_extras[r1] into r3;
    is.eq r3.token_id 0u64 into r4;
    is.eq r3.token_amount r2 into r5;
    and r4 r5 into r6;
    assert.eq r6 true;
    remove amm_extras[r1];

function init_demo_pools:
    input r0 as field.private;
    async init_demo_pools  into r1;
    output r1 as arcane_amm_v2_0.aleo/init_demo_pools.future;
finalize init_demo_pools:
    gt 1u64 2u64 into r0;
    ternary r0 2u64 1u64 into r1;
    lte 1u64 2u64 into r2;
    ternary r2 2u64 1u64 into r3;
    cast r1 r3 into r4 as PoolKey;
    hash.bhp256 r4 into r5 as field;
    mul 100000000000000u128 100000000000000u128 into r6;
    cast r5 1u64 2u64 100000000000000u128 100000000000000u128 r6 10u128 into r7 as PoolInfo;
    contains amm_pools[r5] into r8;
    not r8 into r9;
    assert.eq r9 true;
    set r7 into amm_pools[r5];
    gt 1u64 3u64 into r10;
    ternary r10 3u64 1u64 into r11;
    lte 1u64 3u64 into r12;
    ternary r12 3u64 1u64 into r13;
    cast r11 r13 into r14 as PoolKey;
    hash.bhp256 r14 into r15 as field;
    mul 100000000000000u128 50000000000u128 into r16;
    cast r15 1u64 3u64 100000000000000u128 50000000000u128 r16 10u128 into r17 as PoolInfo;
    set r17 into amm_pools[r15];
    gt 1u64 4u64 into r18;
    ternary r18 4u64 1u64 into r19;
    lte 1u64 4u64 into r20;
    ternary r20 4u64 1u64 into r21;
    cast r19 r21 into r22 as PoolKey;
    hash.bhp256 r22 into r23 as field;
    mul 100000000000000u128 500000000000u128 into r24;
    cast r23 1u64 4u64 100000000000000u128 500000000000u128 r24 10u128 into r25 as PoolInfo;
    set r25 into amm_pools[r23];
    gt 2u64 3u64 into r26;
    ternary r26 3u64 2u64 into r27;
    lte 2u64 3u64 into r28;
    ternary r28 3u64 2u64 into r29;
    cast r27 r29 into r30 as PoolKey;
    hash.bhp256 r30 into r31 as field;
    mul 100000000000000u128 50000000000u128 into r32;
    cast r31 2u64 3u64 100000000000000u128 50000000000u128 r32 10u128 into r33 as PoolInfo;
    set r33 into amm_pools[r31];
    gt 2u64 4u64 into r34;
    ternary r34 4u64 2u64 into r35;
    lte 2u64 4u64 into r36;
    ternary r36 4u64 2u64 into r37;
    cast r35 r37 into r38 as PoolKey;
    hash.bhp256 r38 into r39 as field;
    mul 100000000000000u128 500000000000u128 into r40;
    cast r39 2u64 4u64 100000000000000u128 500000000000u128 r40 10u128 into r41 as PoolInfo;
    set r41 into amm_pools[r39];
    gt 3u64 4u64 into r42;
    ternary r42 4u64 3u64 into r43;
    lte 3u64 4u64 into r44;
    ternary r44 4u64 3u64 into r45;
    cast r43 r45 into r46 as PoolKey;
    hash.bhp256 r46 into r47 as field;
    mul 50000000000u128 500000000000u128 into r48;
    cast r47 3u64 4u64 50000000000u128 500000000000u128 r48 10u128 into r49 as PoolInfo;
    set r49 into amm_pools[r47];

Not implemented