Resources

How it works

Every execution intent maps to one blockchain address.

An intent

An intent is seven values, and every one of them is part of its address:

Field	What it fixes
`token`	The ERC-20 the address accepts.
`amount`	Exactly how much of it the calls spend.
`calls`	The contracts it calls, the functions and the arguments, in order.
`expirationTimestamp`	When it stops waiting, and returns what it holds.
`recovery`	Where anything that can’t be spent goes.
`salt`	What makes it unique among identical intents.
`chainId`	The one chain it executes on.

The address is the counterfactual address of a smart contract that isn’t deployed yet, and that’s hardcoded to route your funds and make its calls exactly as you, or an app, intend. That contract is Payment.

Your wallet

Executable address0x092d…F860

ERC-4626 vault

Your wallet

The intent

token: USDC
amount: 100 USDC
calls: 1. approve(vault, 100 USDC)2. deposit(100 USDC, your wallet)
recovery: your wallet
chainId: 8453 (Base)

From payment to execution

You send exactly 100 USDC to the address. Execute detects it, and deploys the Payment contract, which executes your actions. The deployment is a call to PaymentFactory: permissionless, non-upgradeable and non-custodial, and deployed at the same address on every chain.

01PayYou send exactly 100 USDC to the address, with an ordinary transfer from any wallet or exchange.
02DetectExecute sees the transfer land and waits for it to confirm.
03ExecuteExecute calls PaymentFactory.execute, which deploys Payment at the address. Its constructor makes the calls.
04SettleThe transaction confirms. The vault’s shares are in your wallet, and the address is spent.

Execute holds no funds and no keys to the address: nobody does. It only sends the transaction the terms already decide, and anyone could send it instead.

Recovery

Payment also handles funds that arrive when the intent can’t run as written: the wrong token, part of the amount, after expiry, more than the amount, or a call that fails.

Executable address

recoveryusually your wallet

Too much: Everything above the amount goes to recovery, and the calls run with exactly the amount.
Too little: The address waits for the rest. If it’s still short at expiry, everything goes to recovery.
Too late: After expiry, no call runs: the whole balance goes to recovery.
A call fails: Nothing happens: the calls run together or not at all. Execute retries until expiry, then refunds.
Another chain: Executed on a chain the intent doesn’t name, the address sends its whole balance to recovery.
Another token: Once the address is deployed, anyone can call recover(token), which sends that token to recovery.

Verification

Every executable address can be checked before a single token is sent to it. The address is computed from its terms: the token, the exact amount and every call it will make. Anyone can recompute it before sending, and change one byte and it’s a different address.

Any address can be checked at execute.cash/address/<address>. This is that page’s check, on the vault deposit above: it reads each field from the terms, hashes them in your browser, and compares the result with the address. Change a byte to see the address move.

Terms704 bytes

000000000000000000000000000833589fcd6edb6e08f4c7c32d4f71b54bda02913

0200000000000000000000000000000000000000000000000000000000005f5e100

04000000000000000000000000000000000000000000000000000000000000000e0

060000000000000000000000000000000000000000000000000000000006abb7bb8

080000000000000000000000000c80d2a01247ad9e11d1ab45b5ace404b416af086

0a09d2c4e7a1b3f5d8e0a6c2b4d7f9e1a3c5b8d0f2e4a6c8e1b3d5f7a9c2e4b6d8f

0c00000000000000000000000000000000000000000000000000000000000002105

0e00000000000000000000000000000000000000000000000000000000000000002

1000000000000000000000000000000000000000000000000000000000000000040

1200000000000000000000000000000000000000000000000000000000000000100

140000000000000000000000000833589fcd6edb6e08f4c7c32d4f71b54bda02913

1600000000000000000000000000000000000000000000000000000000000000040

1800000000000000000000000000000000000000000000000000000000000000044

1a0095ea7b3000000000000000000000000beef0e0834849acc03f0089f01f4f1ee

1c0b06873c900000000000000000000000000000000000000000000000000000000

1e005f5e10000000000000000000000000000000000000000000000000000000000

200000000000000000000000000beef0e0834849acc03f0089f01f4f1eeb06873c9

2200000000000000000000000000000000000000000000000000000000000000040

2400000000000000000000000000000000000000000000000000000000000000044

2606e553f6500000000000000000000000000000000000000000000000000000000

28005f5e100000000000000000000000000c80d2a01247ad9e11d1ab45b5ace404b

2a0416af08600000000000000000000000000000000000000000000000000000000

0.00—

#CallOnAmountTo

01——0.00—

02——0.00—

Expires: —
Refunds to: —
Salt: 0x0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F…0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F 0 1 2 3 4 5 6 7 8 9 a b c d e f A B C D E F0x0000…0000
Chain: —

This address

0x0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0x092dae7201Cc39437042194D671dDae2628dF860

Recomputed

0x0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F
0
1
2
3
4
5
6
7
8
9
a
b
c
d
e
f
A
B
C
D
E
F0x0000000000000000000000000000000000000000