core.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: UmlClassDiagram Pages: 1 -->
<svg width="7644pt" height="2971pt"
 viewBox="0.00 0.00 7644.05 2971.20" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 2967.2)">
<title>UmlClassDiagram</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-2967.2 7640.0457,-2967.2 7640.0457,4 -4,4"/>
<!-- 0 -->
<g id="node1" class="node">
<title>0</title>
<polygon fill="#f2f2f2" stroke="#000000" points="1472.3959,-1287.9 1472.3959,-1429.5 1774.5517,-1429.5 1774.5517,-1287.9 1472.3959,-1287.9"/>
<text text-anchor="middle" x="1623.4738" y="-1412.9" font-family="Times,serif" font-size="14.00" fill="#000000">AggregateAccount</text>
<polyline fill="none" stroke="#000000" points="1472.3959,-1404.7 1774.5517,-1404.7 "/>
<text text-anchor="start" x="1480.3959" y="-1388.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="1480.3959" y="-1371.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;accountName: string</text>
<text text-anchor="start" x="1480.3959" y="-1354.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;isStable: bool</text>
<polyline fill="none" stroke="#000000" points="1472.3959,-1346.3 1774.5517,-1346.3 "/>
<text text-anchor="start" x="1480.3959" y="-1329.7" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="1480.3959" y="-1312.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize(accountName_: string, isStable_: bool)</text>
<text text-anchor="start" x="1480.3959" y="-1296.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setAccountName(accountName_: string)</text>
</g>
<!-- 1 -->
<g id="node2" class="node">
<title>1</title>
<polygon fill="#f2f2f2" stroke="#000000" points="3246.011,-2054.5 3246.011,-2700.1 3832.9366,-2700.1 3832.9366,-2054.5 3246.011,-2054.5"/>
<text text-anchor="middle" x="3539.4738" y="-2683.5" font-family="Times,serif" font-size="14.00" fill="#000000">Asset</text>
<polyline fill="none" stroke="#000000" points="3246.011,-2675.3 3832.9366,-2675.3 "/>
<text text-anchor="start" x="3254.011" y="-2658.7" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="3254.011" y="-2641.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_underlyingToken: address</text>
<text text-anchor="start" x="3254.011" y="-2625.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_pool: address</text>
<text text-anchor="start" x="3254.011" y="-2608.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_cash: uint256</text>
<text text-anchor="start" x="3254.011" y="-2591.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_liability: uint256</text>
<text text-anchor="start" x="3254.011" y="-2574.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_owner: address</text>
<text text-anchor="start" x="3254.011" y="-2557.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_aggregateAccount: address</text>
<text text-anchor="start" x="3254.011" y="-2541.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_maxSupply: uint256</text>
<polyline fill="none" stroke="#000000" points="3246.011,-2532.9 3832.9366,-2532.9 "/>
<text text-anchor="start" x="3254.011" y="-2516.3" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="3254.011" y="-2499.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize(underlyingToken_: address, name_: string, symbol_: string, aggregateAccount_: address)</text>
<text text-anchor="start" x="3254.011" y="-2482.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;maxSupply(): uint256</text>
<text text-anchor="start" x="3254.011" y="-2465.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setMaxSupply(maxSupply_: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2449.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;pool(): address</text>
<text text-anchor="start" x="3254.011" y="-2432.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setPool(pool_: address)</text>
<text text-anchor="start" x="3254.011" y="-2415.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setAggregateAccount(aggregateAccount_: address)</text>
<text text-anchor="start" x="3254.011" y="-2398.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;aggregateAccount(): address</text>
<text text-anchor="start" x="3254.011" y="-2381.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;underlyingToken(): address</text>
<text text-anchor="start" x="3254.011" y="-2365.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;underlyingTokenBalance(): uint256</text>
<text text-anchor="start" x="3254.011" y="-2348.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;transferUnderlyingToken(to: address, amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2331.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;mint(to: address, amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2314.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;burn(to: address, amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2297.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;cash(): uint256</text>
<text text-anchor="start" x="3254.011" y="-2281.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addCash(amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2264.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeCash(amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2247.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;liability(): uint256</text>
<text text-anchor="start" x="3254.011" y="-2230.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addLiability(amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2213.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeLiability(amount: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2197.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="3254.011" y="-2180.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; PoolUpdated(previousPool: address, newPool: address)</text>
<text text-anchor="start" x="3254.011" y="-2163.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; MaxSupplyUpdated(previousMaxSupply: uint256, newMaxSupply: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2146.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; CashAdded(previousCashPosition: uint256, cashBeingAdded: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2129.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; CashRemoved(previousCashPosition: uint256, cashBeingRemoved: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2113.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; LiabilityAdded(previousLiabilityPosition: uint256, liabilityBeingAdded: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2096.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; LiabilityRemoved(previousLiabilityPosition: uint256, liabilityBeingRemoved: uint256)</text>
<text text-anchor="start" x="3254.011" y="-2079.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; onlyPool()</text>
<text text-anchor="start" x="3254.011" y="-2062.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;decimals(): uint8</text>
</g>
<!-- 3 -->
<g id="node4" class="node">
<title>3</title>
<polygon fill="#f2f2f2" stroke="#000000" points="3422.2227,-2737.1 3422.2227,-2962.7 3656.7249,-2962.7 3656.7249,-2737.1 3422.2227,-2737.1"/>
<text text-anchor="middle" x="3539.4738" y="-2946.1" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;Interface&gt;&gt;</text>
<text text-anchor="middle" x="3539.4738" y="-2929.3" font-family="Times,serif" font-size="14.00" fill="#000000">IAsset</text>
<polyline fill="none" stroke="#000000" points="3422.2227,-2921.1 3656.7249,-2921.1 "/>
<text text-anchor="middle" x="3539.4738" y="-2904.5" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="3422.2227,-2896.3 3656.7249,-2896.3 "/>
<text text-anchor="start" x="3430.2227" y="-2879.7" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="3430.2227" y="-2862.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;maxSupply(): uint256</text>
<text text-anchor="start" x="3430.2227" y="-2846.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;pool(): address</text>
<text text-anchor="start" x="3430.2227" y="-2829.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;aggregateAccount(): address</text>
<text text-anchor="start" x="3430.2227" y="-2812.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;underlyingToken(): address</text>
<text text-anchor="start" x="3430.2227" y="-2795.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;decimals(): uint8</text>
<text text-anchor="start" x="3430.2227" y="-2778.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;underlyingTokenBalance(): uint256</text>
<text text-anchor="start" x="3430.2227" y="-2762.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;cash(): uint256</text>
<text text-anchor="start" x="3430.2227" y="-2745.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;liability(): uint256</text>
</g>
<!-- 1&#45;&gt;3 -->
<g id="edge3" class="edge">
<title>1&#45;&gt;3</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M3539.4738,-2700.3664C3539.4738,-2702.5416 3539.4738,-2704.7055 3539.4738,-2706.857"/>
<polygon fill="none" stroke="#000000" points="3528.9739,-2707.0008 3539.4738,-2737.0009 3549.9739,-2707.0009 3528.9739,-2707.0008"/>
</g>
<!-- 2 -->
<g id="node3" class="node">
<title>2</title>
<polygon fill="#f2f2f2" stroke="#000000" points="4142.9123,-286.1 4142.9123,-377.3 4590.0353,-377.3 4590.0353,-286.1 4142.9123,-286.1"/>
<text text-anchor="middle" x="4366.4738" y="-360.7" font-family="Times,serif" font-size="14.00" fill="#000000">Timelock</text>
<polyline fill="none" stroke="#000000" points="4142.9123,-352.5 4590.0353,-352.5 "/>
<text text-anchor="middle" x="4366.4738" y="-335.9" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="4142.9123,-327.7 4590.0353,-327.7 "/>
<text text-anchor="start" x="4150.9123" y="-311.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="4150.9123" y="-294.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;constructor(minDelay: uint256, proposers: address[], executors: address[])</text>
</g>
<!-- 4 -->
<g id="node5" class="node">
<title>4</title>
<polygon fill="#f2f2f2" stroke="#000000" points="4607.938,-277.7 4607.938,-385.7 4767.0096,-385.7 4767.0096,-277.7 4607.938,-277.7"/>
<text text-anchor="middle" x="4687.4738" y="-369.1" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;Interface&gt;&gt;</text>
<text text-anchor="middle" x="4687.4738" y="-352.3" font-family="Times,serif" font-size="14.00" fill="#000000">IChainlinkAggregator</text>
<polyline fill="none" stroke="#000000" points="4607.938,-344.1 4767.0096,-344.1 "/>
<text text-anchor="middle" x="4687.4738" y="-327.5" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="4607.938,-319.3 4767.0096,-319.3 "/>
<text text-anchor="start" x="4615.938" y="-302.7" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="4615.938" y="-285.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;latestAnswer(): int256</text>
</g>
<!-- 5 -->
<g id="node6" class="node">
<title>5</title>
<polygon fill="#f2f2f2" stroke="#000000" points="4926.1139,-2323.3 4926.1139,-2431.3 6030.8337,-2431.3 6030.8337,-2323.3 4926.1139,-2323.3"/>
<text text-anchor="middle" x="5478.4738" y="-2414.7" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;Interface&gt;&gt;</text>
<text text-anchor="middle" x="5478.4738" y="-2397.9" font-family="Times,serif" font-size="14.00" fill="#000000">IPlatypusRouter01</text>
<polyline fill="none" stroke="#000000" points="4926.1139,-2389.7 6030.8337,-2389.7 "/>
<text text-anchor="middle" x="5478.4738" y="-2373.1" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="4926.1139,-2364.9 6030.8337,-2364.9 "/>
<text text-anchor="start" x="4934.1139" y="-2348.3" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="4934.1139" y="-2331.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;swapTokensForTokens(tokenPath: address[], poolPath: address[], fromAmount: uint256, minimumToAmount: uint256, to: address, deadline: uint256): (amountOut: uint256, haircut: uint256)</text>
</g>
<!-- 6 -->
<g id="node7" class="node">
<title>6</title>
<polygon fill="#f2f2f2" stroke="#000000" points="3888.4996,-2247.7 3888.4996,-2506.9 4908.448,-2506.9 4908.448,-2247.7 3888.4996,-2247.7"/>
<text text-anchor="middle" x="4398.4738" y="-2490.3" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;Interface&gt;&gt;</text>
<text text-anchor="middle" x="4398.4738" y="-2473.5" font-family="Times,serif" font-size="14.00" fill="#000000">IPool</text>
<polyline fill="none" stroke="#000000" points="3888.4996,-2465.3 4908.448,-2465.3 "/>
<text text-anchor="middle" x="4398.4738" y="-2448.7" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="3888.4996,-2440.5 4908.448,-2440.5 "/>
<text text-anchor="start" x="3896.4996" y="-2423.9" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="3896.4996" y="-2407.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;assetOf(token: address): address</text>
<text text-anchor="start" x="3896.4996" y="-2390.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;deposit(token: address, amount: uint256, to: address, deadline: uint256): (liquidity: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2373.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;withdraw(token: address, liquidity: uint256, minimumAmount: uint256, to: address, deadline: uint256): (amount: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2356.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;withdrawFromOtherAsset(initialToken: address, wantedToken: address, liquidity: uint256, minimumAmount: uint256, to: address, deadline: uint256): (amount: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2339.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;swap(fromToken: address, toToken: address, fromAmount: uint256, minimumToAmount: uint256, to: address, deadline: uint256): (actualToAmount: uint256, haircut: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2323.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;quotePotentialSwap(fromToken: address, toToken: address, fromAmount: uint256): (potentialOutcome: uint256, haircut: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2306.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;quotePotentialWithdraw(token: address, liquidity: uint256): (amount: uint256, fee: uint256, enoughCash: bool)</text>
<text text-anchor="start" x="3896.4996" y="-2289.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;quotePotentialWithdrawFromOtherAsset(initialToken: address, wantedToken: address, liquidity: uint256): (amount: uint256, fee: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2272.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;quoteMaxInitialAssetWithdrawable(initialToken: address, wantedToken: address): (maxInitialAssetAmount: uint256)</text>
<text text-anchor="start" x="3896.4996" y="-2255.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;getTokenAddresses(): address[]</text>
</g>
<!-- 7 -->
<g id="node8" class="node">
<title>7</title>
<polygon fill="#f2f2f2" stroke="#000000" points="1763.385,-2314.9 1763.385,-2439.7 2077.5626,-2439.7 2077.5626,-2314.9 1763.385,-2314.9"/>
<text text-anchor="middle" x="1920.4738" y="-2423.1" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;Interface&gt;&gt;</text>
<text text-anchor="middle" x="1920.4738" y="-2406.3" font-family="Times,serif" font-size="14.00" fill="#000000">IPriceOracleGetter</text>
<polyline fill="none" stroke="#000000" points="1763.385,-2398.1 2077.5626,-2398.1 "/>
<text text-anchor="middle" x="1920.4738" y="-2381.5" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="1763.385,-2373.3 2077.5626,-2373.3 "/>
<text text-anchor="start" x="1771.385" y="-2356.7" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="1771.385" y="-2339.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;getAssetPrice(_asset: address): uint256</text>
<text text-anchor="start" x="1771.385" y="-2323.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&#160;getAssetPriceReciprocal(_asset: address): uint256</text>
</g>
<!-- 8 -->
<g id="node9" class="node">
<title>8</title>
<polygon fill="#f2f2f2" stroke="#000000" points="2390.2087,-2745.5 2390.2087,-2954.3 2652.7389,-2954.3 2652.7389,-2745.5 2390.2087,-2745.5"/>
<text text-anchor="middle" x="2521.4738" y="-2937.7" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;Library&gt;&gt;</text>
<text text-anchor="middle" x="2521.4738" y="-2920.9" font-family="Times,serif" font-size="14.00" fill="#000000">DSMath</text>
<polyline fill="none" stroke="#000000" points="2390.2087,-2912.7 2652.7389,-2912.7 "/>
<text text-anchor="start" x="2398.2087" y="-2896.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="2398.2087" y="-2879.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;WAD: uint256</text>
<text text-anchor="start" x="2398.2087" y="-2862.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;RAY: uint256</text>
<polyline fill="none" stroke="#000000" points="2390.2087,-2854.3 2652.7389,-2854.3 "/>
<text text-anchor="start" x="2398.2087" y="-2837.7" font-family="Times,serif" font-size="14.00" fill="#000000">Internal:</text>
<text text-anchor="start" x="2398.2087" y="-2820.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;wmul(x: uint256, y: uint256): uint256</text>
<text text-anchor="start" x="2398.2087" y="-2804.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;wdiv(x: uint256, y: uint256): uint256</text>
<text text-anchor="start" x="2398.2087" y="-2787.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;reciprocal(x: uint256): uint256</text>
<text text-anchor="start" x="2398.2087" y="-2770.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;rpow(x: uint256, n: uint256): (z: uint256)</text>
<text text-anchor="start" x="2398.2087" y="-2753.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;rmul(x: uint256, y: uint256): (z: uint256)</text>
</g>
<!-- 9 -->
<g id="node10" class="node">
<title>9</title>
<polygon fill="#f2f2f2" stroke="#000000" points="1062.6729,-1229.1 1062.6729,-1488.3 1454.2747,-1488.3 1454.2747,-1229.1 1062.6729,-1229.1"/>
<text text-anchor="middle" x="1258.4738" y="-1471.7" font-family="Times,serif" font-size="14.00" fill="#000000">ChainlinkProxyPriceProvider</text>
<polyline fill="none" stroke="#000000" points="1062.6729,-1463.5 1454.2747,-1463.5 "/>
<text text-anchor="start" x="1070.6729" y="-1446.9" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="1070.6729" y="-1430.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_assetsSources: mapping(address=&gt;AggregatorV3Interface)</text>
<polyline fill="none" stroke="#000000" points="1062.6729,-1421.9 1454.2747,-1421.9 "/>
<text text-anchor="start" x="1070.6729" y="-1405.3" font-family="Times,serif" font-size="14.00" fill="#000000">Internal:</text>
<text text-anchor="start" x="1070.6729" y="-1388.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;internalSetAssetsSources(assets: address[], sources: address[])</text>
<text text-anchor="start" x="1070.6729" y="-1371.7" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="1070.6729" y="-1354.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setAssetSources(assets: address[], sources: address[])</text>
<text text-anchor="start" x="1070.6729" y="-1338.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getAssetPriceReciprocal(asset: address): uint256</text>
<text text-anchor="start" x="1070.6729" y="-1321.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getAssetsPrices(assets: address[]): uint256[]</text>
<text text-anchor="start" x="1070.6729" y="-1304.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getSourceOfAsset(asset: address): address</text>
<text text-anchor="start" x="1070.6729" y="-1287.7" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="1070.6729" y="-1270.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; AssetSourceUpdated(asset: address, source: address)</text>
<text text-anchor="start" x="1070.6729" y="-1254.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;constructor(assets: address[], sources: address[])</text>
<text text-anchor="start" x="1070.6729" y="-1237.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getAssetPrice(asset: address): uint256</text>
</g>
<!-- 9&#45;&gt;7 -->
<g id="edge4" class="edge">
<title>9&#45;&gt;7</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M1264.916,-1488.5689C1279.0583,-1635.6885 1323.6724,-1873.6828 1463.4738,-2018 1497.5066,-2053.1321 1525.4548,-2028.9621 1567.4738,-2054 1675.8585,-2118.5832 1779.84,-2220.2701 1846.5218,-2292.3384"/>
<polygon fill="none" stroke="#000000" points="1838.8516,-2299.5104 1866.8194,-2314.6119 1854.3734,-2285.3656 1838.8516,-2299.5104"/>
</g>
<!-- 9&#45;&gt;8 -->
<g id="edge5" class="edge">
<title>9&#45;&gt;8</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M1253.8122,-1488.4323C1251.766,-1758.4257 1288.2767,-2382.048 1644.4738,-2700.6 1750.7697,-2795.6618 2160.0404,-2831.2652 2379.8847,-2843.7261"/>
<polygon fill="#000000" stroke="#000000" points="2379.7057,-2847.2215 2389.8852,-2844.2844 2380.0959,-2840.2324 2379.7057,-2847.2215"/>
</g>
<!-- 10 -->
<g id="node11" class="node">
<title>10</title>
<polygon fill="#f2f2f2" stroke="#000000" points="2096.0281,-2256.1 2096.0281,-2498.5 2946.9195,-2498.5 2946.9195,-2256.1 2096.0281,-2256.1"/>
<text text-anchor="middle" x="2521.4738" y="-2481.9" font-family="Times,serif" font-size="14.00" fill="#000000">Core</text>
<polyline fill="none" stroke="#000000" points="2096.0281,-2473.7 2946.9195,-2473.7 "/>
<text text-anchor="start" x="2104.0281" y="-2457.1" font-family="Times,serif" font-size="14.00" fill="#000000">Internal:</text>
<text text-anchor="start" x="2104.0281" y="-2440.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;WAD: uint256</text>
<text text-anchor="start" x="2104.0281" y="-2423.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;RAY: uint256</text>
<text text-anchor="start" x="2104.0281" y="-2406.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;emptyArray: bytes32[]</text>
<polyline fill="none" stroke="#000000" points="2096.0281,-2398.5 2946.9195,-2398.5 "/>
<text text-anchor="start" x="2104.0281" y="-2381.9" font-family="Times,serif" font-size="14.00" fill="#000000">Internal:</text>
<text text-anchor="start" x="2104.0281" y="-2365.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_slippageFunc(k: uint256, n: uint256, c1: uint256, xThreshold: uint256, x: uint256): uint256</text>
<text text-anchor="start" x="2104.0281" y="-2348.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_slippage(k: uint256, n: uint256, c1: uint256, xThreshold: uint256, cash: uint256, liability: uint256, cashChange: uint256, addCash: bool): uint256</text>
<text text-anchor="start" x="2104.0281" y="-2331.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_swappingSlippage(si: uint256, sj: uint256): uint256</text>
<text text-anchor="start" x="2104.0281" y="-2314.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_haircut(amount: uint256, rate: uint256): uint256</text>
<text text-anchor="start" x="2104.0281" y="-2297.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_dividend(amount: uint256, ratio: uint256): uint256</text>
<text text-anchor="start" x="2104.0281" y="-2281.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_withdrawalFee(k: uint256, n: uint256, c1: uint256, xThreshold: uint256, cash: uint256, liability: uint256, amount: uint256): uint256</text>
<text text-anchor="start" x="2104.0281" y="-2264.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_depositFee(k: uint256, n: uint256, c1: uint256, xThreshold: uint256, cash: uint256, liability: uint256, amount: uint256): uint256</text>
</g>
<!-- 10&#45;&gt;8 -->
<g id="edge6" class="edge">
<title>10&#45;&gt;8</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M2521.4738,-2498.6993C2521.4738,-2571.4261 2521.4738,-2663.3453 2521.4738,-2734.9022"/>
<polygon fill="#000000" stroke="#000000" points="2517.9739,-2735.3073 2521.4738,-2745.3074 2524.9739,-2735.3074 2517.9739,-2735.3073"/>
</g>
<!-- 11 -->
<g id="node12" class="node">
<title>11</title>
<polygon fill="#f2f2f2" stroke="#000000" points="3417.6308,-750.3 3417.6308,-1967.1 4603.3168,-1967.1 4603.3168,-750.3 3417.6308,-750.3"/>
<text text-anchor="middle" x="4010.4738" y="-1950.5" font-family="Times,serif" font-size="14.00" fill="#000000">Pool</text>
<polyline fill="none" stroke="#000000" points="3417.6308,-1942.3 4603.3168,-1942.3 "/>
<text text-anchor="start" x="3425.6308" y="-1925.7" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="3425.6308" y="-1908.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;ETH_UNIT: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1892.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_slippageParamK: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1875.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_slippageParamN: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1858.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_c1: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1841.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_xThreshold: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1824.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_haircutRate: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1808.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_retentionRatio: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1791.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_maxPriceDeviation: uint256</text>
<text text-anchor="start" x="3425.6308" y="-1774.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_dev: address</text>
<text text-anchor="start" x="3425.6308" y="-1757.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_priceOracle: IPriceOracleGetter</text>
<text text-anchor="start" x="3425.6308" y="-1740.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_assets: AssetMap</text>
<polyline fill="none" stroke="#000000" points="3417.6308,-1732.7 4603.3168,-1732.7 "/>
<text text-anchor="start" x="3425.6308" y="-1716.1" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="3425.6308" y="-1699.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_getAsset(key: address): Asset</text>
<text text-anchor="start" x="3425.6308" y="-1682.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_getKeyAtIndex(index: uint256): address</text>
<text text-anchor="start" x="3425.6308" y="-1665.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_sizeOfAssetList(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1648.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_containsAsset(key: address): bool</text>
<text text-anchor="start" x="3425.6308" y="-1632.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_addAsset(key: address, val: Asset)</text>
<text text-anchor="start" x="3425.6308" y="-1615.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_checkPriceDeviation(tokenA: address, tokenB: address)</text>
<text text-anchor="start" x="3425.6308" y="-1598.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getEquilibriumCoverageRatio(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1581.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_assetOf(token: address): Asset</text>
<text text-anchor="start" x="3425.6308" y="-1564.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_deposit(asset: Asset, amount: uint256, to: address): (liquidity: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1548.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_withdrawFrom(asset: Asset, liquidity: uint256): (amount: uint256, liabilityToBurn: uint256, fee: uint256, enoughCash: bool)</text>
<text text-anchor="start" x="3425.6308" y="-1531.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_withdraw(asset: Asset, liquidity: uint256, minimumAmount: uint256, to: address): (amount: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1514.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_quoteFrom(fromAsset: Asset, toAsset: Asset, fromAmount: uint256): (actualToAmount: uint256, haircut: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1497.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_quoteIdealToAmount(fromAsset: Asset, toAsset: Asset, fromAmount: uint256): (idealToAmount: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1480.9" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="3425.6308" y="-1464.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize()</text>
<text text-anchor="start" x="3425.6308" y="-1447.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getDev(): address</text>
<text text-anchor="start" x="3425.6308" y="-1430.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getPriceOracle(): address</text>
<text text-anchor="start" x="3425.6308" y="-1413.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getC1(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1396.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getXThreshold(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1380.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getSlippageParamK(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1363.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getSlippageParamN(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1346.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getHaircutRate(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1329.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getRetentionRatio(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1312.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getMaxPriceDeviation(): uint256</text>
<text text-anchor="start" x="3425.6308" y="-1296.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;pause()</text>
<text text-anchor="start" x="3425.6308" y="-1279.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;unpause()</text>
<text text-anchor="start" x="3425.6308" y="-1262.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setDev(dev: address)</text>
<text text-anchor="start" x="3425.6308" y="-1245.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setSlippageParams(k_: uint256, n_: uint256, c1_: uint256, xThreshold_: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1228.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setHaircutRate(haircutRate_: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1212.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setRetentionRatio(retentionRatio_: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1195.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setMaxPriceDeviation(maxPriceDeviation_: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1178.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setPriceOracle(priceOracle: address)</text>
<text text-anchor="start" x="3425.6308" y="-1161.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeAsset(key: address)</text>
<text text-anchor="start" x="3425.6308" y="-1144.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addAsset(token: address, asset: address)</text>
<text text-anchor="start" x="3425.6308" y="-1128.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;assetOf(token: address): address</text>
<text text-anchor="start" x="3425.6308" y="-1111.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;deposit(token: address, amount: uint256, to: address, deadline: uint256): (liquidity: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1094.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdraw(token: address, liquidity: uint256, minimumAmount: uint256, to: address, deadline: uint256): (amount: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1077.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdrawFromOtherAsset(initialToken: address, wantedToken: address, liquidity: uint256, minimumAmount: uint256, to: address, deadline: uint256): (amount: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1060.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;swap(fromToken: address, toToken: address, fromAmount: uint256, minimumToAmount: uint256, to: address, deadline: uint256): (actualToAmount: uint256, haircut: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1044.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quotePotentialSwap(fromToken: address, toToken: address, fromAmount: uint256): (potentialOutcome: uint256, haircut: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-1027.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quotePotentialWithdraw(token: address, liquidity: uint256): (amount: uint256, fee: uint256, enoughCash: bool)</text>
<text text-anchor="start" x="3425.6308" y="-1010.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quotePotentialWithdrawFromOtherAsset(initialToken: address, wantedToken: address, liquidity: uint256): (amount: uint256, fee: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-993.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quoteMaxInitialAssetWithdrawable(initialToken: address, wantedToken: address): (maxInitialAssetAmount: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-976.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getTokenAddresses(): address[]</text>
<text text-anchor="start" x="3425.6308" y="-960.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="3425.6308" y="-943.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; AssetAdded(token: address, asset: address)</text>
<text text-anchor="start" x="3425.6308" y="-926.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Deposit(sender: address, token: address, amount: uint256, liquidity: uint256, to: address)</text>
<text text-anchor="start" x="3425.6308" y="-909.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Withdraw(sender: address, token: address, amount: uint256, liquidity: uint256, to: address)</text>
<text text-anchor="start" x="3425.6308" y="-892.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; DevUpdated(previousDev: address, newDev: address)</text>
<text text-anchor="start" x="3425.6308" y="-876.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; OracleUpdated(previousOracle: address, newOracle: address)</text>
<text text-anchor="start" x="3425.6308" y="-859.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; PriceDeviationUpdated(previousPriceDeviation: uint256, newPriceDeviation: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-842.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; SlippageParamsUpdated(previousK: uint256, newK: uint256, previousN: uint256, newN: uint256, previousC1: uint256, newC1: uint256, previousXThreshold: uint256, newXThreshold: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-825.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; HaircutRateUpdated(previousHaircut: uint256, newHaircut: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-808.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; RetentionRatioUpdated(previousRetentionRatio: uint256, newRetentionRatio: uint256)</text>
<text text-anchor="start" x="3425.6308" y="-792.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Swap(sender: address, fromToken: address, toToken: address, fromAmount: uint256, toAmount: uint256, to: address)</text>
<text text-anchor="start" x="3425.6308" y="-775.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; onlyDev()</text>
<text text-anchor="start" x="3425.6308" y="-758.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; ensure(deadline: uint256)</text>
</g>
<!-- 11&#45;&gt;1 -->
<g id="edge10" class="edge">
<title>11&#45;&gt;1</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M3729.0116,-1967.3994C3716.8071,-1993.7932 3704.774,-2019.8164 3693.0503,-2045.1704"/>
<polygon fill="#000000" stroke="#000000" points="3689.7656,-2043.9349 3688.7453,-2054.4805 3696.1192,-2046.8729 3689.7656,-2043.9349"/>
</g>
<!-- 11&#45;&gt;6 -->
<g id="edge8" class="edge">
<title>11&#45;&gt;6</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M4242.3365,-1967.3994C4277.7552,-2060.3825 4311.422,-2148.7666 4338.3635,-2219.495"/>
<polygon fill="none" stroke="#000000" points="4328.6121,-2223.3925 4349.1033,-2247.6898 4348.2366,-2215.9172 4328.6121,-2223.3925"/>
</g>
<!-- 11&#45;&gt;7 -->
<g id="edge11" class="edge">
<title>11&#45;&gt;7</title>
<path fill="none" stroke="#000000" d="M3466.9623,-1967.251C3435.7136,-1986.3699 3403.5143,-2003.4762 3370.4738,-2018 3239.9188,-2075.3888 2208.2246,-1978.1228 2087.4738,-2054 1999.2956,-2109.4093 1955.4323,-2227.5172 1935.3756,-2304.5995"/>
<polygon fill="#000000" stroke="#000000" points="1931.8737,-2304.1717 1932.8161,-2314.7245 1938.6602,-2305.8873 1931.8737,-2304.1717"/>
</g>
<!-- 11&#45;&gt;8 -->
<g id="edge9" class="edge">
<title>11&#45;&gt;8</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M3891.1705,-1967.545C3886.8981,-1996.7228 3882.9625,-2025.6546 3879.4738,-2054 3870.6823,-2125.4294 3891.7176,-2649.0732 3841.4738,-2700.6 3808.1563,-2734.7683 3460.9338,-2731.5922 3413.4738,-2736.6 3147.7326,-2764.6402 2838.5536,-2805.8388 2662.8416,-2830.0619"/>
<polygon fill="#000000" stroke="#000000" points="2662.1883,-2826.6188 2652.7607,-2831.4532 2663.1454,-2833.5531 2662.1883,-2826.6188"/>
</g>
<!-- 11&#45;&gt;10 -->
<g id="edge7" class="edge">
<title>11&#45;&gt;10</title>
<path fill="none" stroke="#000000" d="M3462.2692,-1967.1345C3432.4471,-1985.9947 3401.8132,-2003.112 3370.4738,-2018 3203.6472,-2097.2521 3129.1364,-1988.4286 2956.4738,-2054 2849.9915,-2094.4383 2746.9482,-2168.9209 2667.9002,-2236.2101"/>
<polygon fill="none" stroke="#000000" points="2660.9964,-2228.2987 2645.2123,-2255.887 2674.7556,-2244.1633 2660.9964,-2228.2987"/>
</g>
<!-- 11struct0 -->
<g id="node13" class="node">
<title>11struct0</title>
<polygon fill="#f2f2f2" stroke="#000000" points="3896.4091,-273.3 3896.4091,-390.1 4124.5385,-390.1 4124.5385,-273.3 3896.4091,-273.3"/>
<text text-anchor="middle" x="4010.4738" y="-373.5" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;struct&gt;&gt;</text>
<text text-anchor="middle" x="4010.4738" y="-356.7" font-family="Times,serif" font-size="14.00" fill="#000000">AssetMap</text>
<polyline fill="none" stroke="#000000" points="3896.4091,-348.5 4124.5385,-348.5 "/>
<text text-anchor="start" x="3904.4091" y="-331.9" font-family="Times,serif" font-size="14.00" fill="#000000">keys: address[]</text>
<text text-anchor="start" x="3904.4091" y="-315.1" font-family="Times,serif" font-size="14.00" fill="#000000">values: mapping(address=&gt;Asset)</text>
<text text-anchor="start" x="3904.4091" y="-298.3" font-family="Times,serif" font-size="14.00" fill="#000000">indexOf: mapping(address=&gt;uint256)</text>
<text text-anchor="start" x="3904.4091" y="-281.5" font-family="Times,serif" font-size="14.00" fill="#000000">inserted: mapping(address=&gt;bool)</text>
</g>
<!-- 11struct0&#45;&gt;11 -->
<g id="edge1" class="edge">
<title>11struct0&#45;&gt;11</title>
<path fill="none" stroke="#000000" d="M4010.4738,-390.2311C4010.4738,-462.7742 4010.4738,-594.4778 4010.4738,-737.8696"/>
<polygon fill="#000000" stroke="#000000" points="4010.4739,-737.9895 4014.4738,-743.9896 4010.4738,-749.9895 4006.4738,-743.9895 4010.4739,-737.9895"/>
</g>
<!-- 12 -->
<g id="node14" class="node">
<title>12</title>
<polygon fill="#f2f2f2" stroke="#000000" points="4927.8639,-1271.1 4927.8639,-1446.3 6029.0837,-1446.3 6029.0837,-1271.1 4927.8639,-1271.1"/>
<text text-anchor="middle" x="5478.4738" y="-1429.7" font-family="Times,serif" font-size="14.00" fill="#000000">PlatypusRouter01</text>
<polyline fill="none" stroke="#000000" points="4927.8639,-1421.5 6029.0837,-1421.5 "/>
<text text-anchor="middle" x="5478.4738" y="-1404.9" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="4927.8639,-1396.7 6029.0837,-1396.7 "/>
<text text-anchor="start" x="4935.8639" y="-1380.1" font-family="Times,serif" font-size="14.00" fill="#000000">Internal:</text>
<text text-anchor="start" x="4935.8639" y="-1363.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_swap(tokenPath: address[], poolPath: address[], fromAmount: uint256, to: address): (amountOut: uint256, haircut: uint256)</text>
<text text-anchor="start" x="4935.8639" y="-1346.5" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="4935.8639" y="-1329.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;approveSpendingByPool(tokens: address[], pool: address)</text>
<text text-anchor="start" x="4935.8639" y="-1312.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;swapTokensForTokens(tokenPath: address[], poolPath: address[], fromAmount: uint256, minimumToAmount: uint256, to: address, deadline: uint256): (amountOut: uint256, haircut: uint256)</text>
<text text-anchor="start" x="4935.8639" y="-1296.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="4935.8639" y="-1279.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; ensure(deadline: uint256)</text>
</g>
<!-- 12&#45;&gt;5 -->
<g id="edge12" class="edge">
<title>12&#45;&gt;5</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M5478.4738,-1446.4269C5478.4738,-1640.1887 5478.4738,-2102.5364 5478.4738,-2293.0441"/>
<polygon fill="none" stroke="#000000" points="5467.9739,-2293.2733 5478.4738,-2323.2734 5488.9739,-2293.2734 5467.9739,-2293.2733"/>
</g>
<!-- 12&#45;&gt;6 -->
<g id="edge13" class="edge">
<title>12&#45;&gt;6</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M5385.4589,-1446.4269C5197.0068,-1624.1651 4768.9318,-2027.9032 4543.5105,-2240.5089"/>
<polygon fill="#000000" stroke="#000000" points="4540.782,-2238.2712 4535.9085,-2247.6787 4545.5849,-2243.3636 4540.782,-2238.2712"/>
</g>
<!-- 13 -->
<g id="node15" class="node">
<title>13</title>
<polygon fill="#f2f2f2" stroke="#000000" points="1303.789,-76.1 1303.789,-587.3 1579.1586,-587.3 1579.1586,-76.1 1303.789,-76.1"/>
<text text-anchor="middle" x="1441.4738" y="-570.7" font-family="Times,serif" font-size="14.00" fill="#000000">IntegrationTest</text>
<polyline fill="none" stroke="#000000" points="1303.789,-562.5 1579.1586,-562.5 "/>
<text text-anchor="start" x="1311.789" y="-545.9" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="1311.789" y="-529.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;usdt_: MintableERC20</text>
<text text-anchor="start" x="1311.789" y="-512.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;dai_: MintableERC20</text>
<text text-anchor="start" x="1311.789" y="-495.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;aggregateAccount_: AggregateAccount</text>
<text text-anchor="start" x="1311.789" y="-478.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;usdt_asset_: Asset</text>
<text text-anchor="start" x="1311.789" y="-461.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;dai_asset_: Asset</text>
<text text-anchor="start" x="1311.789" y="-445.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;pool_: Pool</text>
<text text-anchor="start" x="1311.789" y="-428.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;chainlink: ChainlinkProxyPriceProvider</text>
<text text-anchor="start" x="1311.789" y="-411.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;mock_feed: TestChainlinkAggregator</text>
<text text-anchor="start" x="1311.789" y="-394.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;bob_: address</text>
<text text-anchor="start" x="1311.789" y="-377.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;max_uint256: uint256</text>
<polyline fill="none" stroke="#000000" points="1303.789,-369.7 1579.1586,-369.7 "/>
<text text-anchor="start" x="1311.789" y="-353.1" font-family="Times,serif" font-size="14.00" fill="#000000">Internal:</text>
<text text-anchor="start" x="1311.789" y="-336.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;init(pool: Pool, token: ERC20, asset: Asset)</text>
<text text-anchor="start" x="1311.789" y="-319.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;eassert(succeed: bool)</text>
<text text-anchor="start" x="1311.789" y="-302.7" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="1311.789" y="-285.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; AssertionFailed()</text>
<text text-anchor="start" x="1311.789" y="-269.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;constructor()</text>
<text text-anchor="start" x="1311.789" y="-252.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;depositUsdt(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-235.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;depositDai(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-218.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdrawUsdt(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-201.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdrawDai(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-185.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdrawUsdtFromDai(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-168.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdrawDaiFromUsdt(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-151.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;swapUsdt(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-134.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;swapDai(amount: uint256)</text>
<text text-anchor="start" x="1311.789" y="-117.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;echidna_cash(): bool</text>
<text text-anchor="start" x="1311.789" y="-101.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;echidna_total_supply(): bool</text>
<text text-anchor="start" x="1311.789" y="-84.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;echidna_solvency(): bool</text>
</g>
<!-- 13&#45;&gt;0 -->
<g id="edge15" class="edge">
<title>13&#45;&gt;0</title>
<path fill="none" stroke="#000000" d="M1486.8135,-587.5452C1526.9513,-814.0371 1583.0855,-1130.7948 1609.1399,-1277.8157"/>
<polygon fill="#000000" stroke="#000000" points="1605.6963,-1278.4422 1610.8876,-1287.678 1612.5889,-1277.2206 1605.6963,-1278.4422"/>
</g>
<!-- 13&#45;&gt;1 -->
<g id="edge16" class="edge">
<title>13&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M1579.4786,-413.8722C1723.1832,-494.5478 1957.6027,-612.6619 2177.4738,-663.4 2242.0838,-678.3096 3323.6188,-652.4814 3370.4738,-699.4 3422.2596,-751.2561 3394.6896,-1946.022 3408.4738,-2018 3410.1297,-2026.6467 3411.9655,-2035.3616 3413.9582,-2044.1145"/>
<polygon fill="#000000" stroke="#000000" points="3410.5874,-2045.0714 3416.2733,-2054.0113 3417.4034,-2043.4769 3410.5874,-2045.0714"/>
</g>
<!-- 13&#45;&gt;9 -->
<g id="edge18" class="edge">
<title>13&#45;&gt;9</title>
<path fill="none" stroke="#000000" d="M1395.885,-587.5452C1360.2935,-787.2854 1312.1929,-1057.2275 1283.3588,-1219.0449"/>
<polygon fill="#000000" stroke="#000000" points="1279.8819,-1218.6061 1281.5733,-1229.065 1286.7734,-1219.8341 1279.8819,-1218.6061"/>
</g>
<!-- 13&#45;&gt;11 -->
<g id="edge17" class="edge">
<title>13&#45;&gt;11</title>
<path fill="none" stroke="#000000" d="M1579.4701,-413.9091C1723.168,-494.614 1957.5821,-612.7511 2177.4738,-663.4 2310.2774,-693.9894 3279.4866,-642.8344 3403.4738,-699.4 3432.2124,-712.5112 3460.2104,-727.6895 3487.4047,-744.5246"/>
<polygon fill="#000000" stroke="#000000" points="3485.875,-747.6968 3496.2056,-750.0483 3489.5962,-741.7678 3485.875,-747.6968"/>
</g>
<!-- 14 -->
<g id="node16" class="node">
<title>14</title>
<polygon fill="#f2f2f2" stroke="#000000" points="0,-1296.3 0,-1421.1 300.9476,-1421.1 300.9476,-1296.3 0,-1296.3"/>
<text text-anchor="middle" x="150.4738" y="-1404.5" font-family="Times,serif" font-size="14.00" fill="#000000">MintableERC20</text>
<polyline fill="none" stroke="#000000" points="0,-1396.3 300.9476,-1396.3 "/>
<text text-anchor="middle" x="150.4738" y="-1379.7" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="0,-1371.5 300.9476,-1371.5 "/>
<text text-anchor="start" x="8" y="-1354.9" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="8" y="-1338.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;constructor(name: string, symbol: string)</text>
<text text-anchor="start" x="8" y="-1321.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;mint(account: address, amount: uint256): bool</text>
<text text-anchor="start" x="8" y="-1304.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;approve(owner: address, spender: address): bool</text>
</g>
<!-- 13&#45;&gt;14 -->
<g id="edge14" class="edge">
<title>13&#45;&gt;14</title>
<path fill="none" stroke="#000000" d="M1303.6355,-358.9791C1032.9918,-415.2381 446.4895,-551.3428 309.4738,-699.4 156.318,-864.898 143.3282,-1151.7502 146.5028,-1285.7704"/>
<polygon fill="#000000" stroke="#000000" points="143.0085,-1286.0287 146.7817,-1295.9288 150.0059,-1285.8365 143.0085,-1286.0287"/>
</g>
<!-- 19 -->
<g id="node21" class="node">
<title>19</title>
<polygon fill="#f2f2f2" stroke="#000000" points="318.4807,-1237.5 318.4807,-1479.9 1044.4669,-1479.9 1044.4669,-1237.5 318.4807,-1237.5"/>
<text text-anchor="middle" x="681.4738" y="-1463.3" font-family="Times,serif" font-size="14.00" fill="#000000">TestChainlinkAggregator</text>
<polyline fill="none" stroke="#000000" points="318.4807,-1455.1 1044.4669,-1455.1 "/>
<text text-anchor="start" x="326.4807" y="-1438.5" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="326.4807" y="-1421.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_latestAnswer: int256</text>
<text text-anchor="start" x="326.4807" y="-1404.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_latestTimestamp: uint256</text>
<polyline fill="none" stroke="#000000" points="318.4807,-1396.7 1044.4669,-1396.7 "/>
<text text-anchor="start" x="326.4807" y="-1380.1" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="326.4807" y="-1363.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setLatestAnswer(latestAnswer_: int256, latestTimestamp_: uint256)</text>
<text text-anchor="start" x="326.4807" y="-1346.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;latestAnswer(): int256</text>
<text text-anchor="start" x="326.4807" y="-1329.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;latestTimestamp(): uint256</text>
<text text-anchor="start" x="326.4807" y="-1312.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;latestRoundData(): (uint80, int256, uint256, uint256, uint80)</text>
<text text-anchor="start" x="326.4807" y="-1296.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;version(): uint256</text>
<text text-anchor="start" x="326.4807" y="-1279.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;decimals(): uint8</text>
<text text-anchor="start" x="326.4807" y="-1262.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;description(): string</text>
<text text-anchor="start" x="326.4807" y="-1245.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getRoundData(uint80): (roundId: uint80, answer: int256, startedAt: uint256, updatedAt: uint256, answeredInRound: uint80)</text>
</g>
<!-- 13&#45;&gt;19 -->
<g id="edge19" class="edge">
<title>13&#45;&gt;19</title>
<path fill="none" stroke="#000000" d="M1303.6892,-444.1289C1224.7226,-512.7724 1127.0135,-605.226 1053.4738,-699.4 921.5239,-868.3734 806.6871,-1089.7057 740.7312,-1228.059"/>
<polygon fill="#000000" stroke="#000000" points="737.3934,-1226.9285 736.2626,-1237.4628 743.7159,-1229.9329 737.3934,-1226.9285"/>
</g>
<!-- 15 -->
<g id="node17" class="node">
<title>15</title>
<polygon fill="#f2f2f2" stroke="#000000" points="4784.5558,-244.1 4784.5558,-419.3 5238.3918,-419.3 5238.3918,-244.1 4784.5558,-244.1"/>
<text text-anchor="middle" x="5011.4738" y="-402.7" font-family="Times,serif" font-size="14.00" fill="#000000">OwnableTestERC20</text>
<polyline fill="none" stroke="#000000" points="4784.5558,-394.5 5238.3918,-394.5 "/>
<text text-anchor="start" x="4792.5558" y="-377.9" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="4792.5558" y="-361.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;d: uint8</text>
<polyline fill="none" stroke="#000000" points="4784.5558,-352.9 5238.3918,-352.9 "/>
<text text-anchor="start" x="4792.5558" y="-336.3" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="4792.5558" y="-319.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;faucet(beneficiary: address, amount: uint256)</text>
<text text-anchor="start" x="4792.5558" y="-302.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setBalance(to: address, amount: uint256)</text>
<text text-anchor="start" x="4792.5558" y="-285.9" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="4792.5558" y="-269.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;constructor(name: string, symbol: string, _decimals: uint8, supply: uint256)</text>
<text text-anchor="start" x="4792.5558" y="-252.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;decimals(): uint8</text>
</g>
<!-- 16 -->
<g id="node18" class="node">
<title>16</title>
<polygon fill="#f2f2f2" stroke="#000000" points="5256.3959,-252.5 5256.3959,-410.9 5558.5517,-410.9 5558.5517,-252.5 5256.3959,-252.5"/>
<text text-anchor="middle" x="5407.4738" y="-394.3" font-family="Times,serif" font-size="14.00" fill="#000000">TestAggregateAccount99</text>
<polyline fill="none" stroke="#000000" points="5256.3959,-386.1 5558.5517,-386.1 "/>
<text text-anchor="start" x="5264.3959" y="-369.5" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="5264.3959" y="-352.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;accountName: string</text>
<text text-anchor="start" x="5264.3959" y="-335.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;isStable: bool</text>
<polyline fill="none" stroke="#000000" points="5256.3959,-327.7 5558.5517,-327.7 "/>
<text text-anchor="start" x="5264.3959" y="-311.1" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="5264.3959" y="-294.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize(accountName_: string, isStable_: bool)</text>
<text text-anchor="start" x="5264.3959" y="-277.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setAccountName(accountName_: string)</text>
<text text-anchor="start" x="5264.3959" y="-260.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;version(): uint256</text>
</g>
<!-- 17 -->
<g id="node19" class="node">
<title>17</title>
<polygon fill="#f2f2f2" stroke="#000000" points="5576.2703,-25.7 5576.2703,-637.7 6160.6773,-637.7 6160.6773,-25.7 5576.2703,-25.7"/>
<text text-anchor="middle" x="5868.4738" y="-621.1" font-family="Times,serif" font-size="14.00" fill="#000000">TestAssetV00</text>
<polyline fill="none" stroke="#000000" points="5576.2703,-612.9 6160.6773,-612.9 "/>
<text text-anchor="start" x="5584.2703" y="-596.3" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="5584.2703" y="-579.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_underlyingToken: address</text>
<text text-anchor="start" x="5584.2703" y="-562.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_pool: address</text>
<text text-anchor="start" x="5584.2703" y="-545.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_cash: uint256</text>
<text text-anchor="start" x="5584.2703" y="-529.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_liability: uint256</text>
<text text-anchor="start" x="5584.2703" y="-512.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_owner: address</text>
<text text-anchor="start" x="5584.2703" y="-495.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_aggregateAccount: address</text>
<text text-anchor="start" x="5584.2703" y="-478.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_maxSupply: uint256</text>
<text text-anchor="start" x="5584.2703" y="-461.9" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="5584.2703" y="-445.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_name: string</text>
<text text-anchor="start" x="5584.2703" y="-428.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_symbol: string</text>
<polyline fill="none" stroke="#000000" points="5576.2703,-420.1 6160.6773,-420.1 "/>
<text text-anchor="start" x="5584.2703" y="-403.5" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="5584.2703" y="-386.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize(underlyingToken_: address, name_: string, symbol_: string, aggregateAccount_: address)</text>
<text text-anchor="start" x="5584.2703" y="-369.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;maxSupply(): uint256</text>
<text text-anchor="start" x="5584.2703" y="-353.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setMaxSupply(maxSupply_: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-336.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;pool(): address</text>
<text text-anchor="start" x="5584.2703" y="-319.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setPool(pool_: address)</text>
<text text-anchor="start" x="5584.2703" y="-302.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setAggregateAccount(aggregateAccount_: address)</text>
<text text-anchor="start" x="5584.2703" y="-285.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;aggregateAccount(): address</text>
<text text-anchor="start" x="5584.2703" y="-269.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;underlyingToken(): address</text>
<text text-anchor="start" x="5584.2703" y="-252.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;underlyingTokenBalance(): uint256</text>
<text text-anchor="start" x="5584.2703" y="-235.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;transferUnderlyingToken(to: address, amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-218.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;mint(to: address, amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-201.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;burn(to: address, amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-185.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;cash(): uint256</text>
<text text-anchor="start" x="5584.2703" y="-168.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addCash(amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-151.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeCash(amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-134.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;liability(): uint256</text>
<text text-anchor="start" x="5584.2703" y="-117.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addLiability(amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-101.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeLiability(amount: uint256)</text>
<text text-anchor="start" x="5584.2703" y="-84.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;version(): uint256</text>
<text text-anchor="start" x="5584.2703" y="-67.5" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="5584.2703" y="-50.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; onlyPool()</text>
<text text-anchor="start" x="5584.2703" y="-33.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;decimals(): uint8</text>
</g>
<!-- 18 -->
<g id="node20" class="node">
<title>18</title>
<polygon fill="#f2f2f2" stroke="#000000" points="6179.011,-.5 6179.011,-662.9 6765.9366,-662.9 6765.9366,-.5 6179.011,-.5"/>
<text text-anchor="middle" x="6472.4738" y="-646.3" font-family="Times,serif" font-size="14.00" fill="#000000">TestAssetV99</text>
<polyline fill="none" stroke="#000000" points="6179.011,-638.1 6765.9366,-638.1 "/>
<text text-anchor="start" x="6187.011" y="-621.5" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="6187.011" y="-604.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_underlyingToken: address</text>
<text text-anchor="start" x="6187.011" y="-587.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_pool: address</text>
<text text-anchor="start" x="6187.011" y="-571.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_cash: uint256</text>
<text text-anchor="start" x="6187.011" y="-554.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_liability: uint256</text>
<text text-anchor="start" x="6187.011" y="-537.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_owner: address</text>
<text text-anchor="start" x="6187.011" y="-520.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_aggregateAccount: address</text>
<text text-anchor="start" x="6187.011" y="-503.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_maxSupply: uint256</text>
<polyline fill="none" stroke="#000000" points="6179.011,-495.7 6765.9366,-495.7 "/>
<text text-anchor="start" x="6187.011" y="-479.1" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="6187.011" y="-462.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize(underlyingToken_: address, name_: string, symbol_: string, aggregateAccount_: address)</text>
<text text-anchor="start" x="6187.011" y="-445.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;maxSupply(): uint256</text>
<text text-anchor="start" x="6187.011" y="-428.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setMaxSupply(maxSupply_: uint256)</text>
<text text-anchor="start" x="6187.011" y="-411.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;pool(): address</text>
<text text-anchor="start" x="6187.011" y="-395.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setPool(pool_: address)</text>
<text text-anchor="start" x="6187.011" y="-378.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setAggregateAccount(aggregateAccount_: address)</text>
<text text-anchor="start" x="6187.011" y="-361.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;aggregateAccount(): address</text>
<text text-anchor="start" x="6187.011" y="-344.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;underlyingToken(): address</text>
<text text-anchor="start" x="6187.011" y="-327.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;underlyingTokenBalance(): uint256</text>
<text text-anchor="start" x="6187.011" y="-311.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;transferUnderlyingToken(to: address, amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-294.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;mint(to: address, amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-277.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;burn(to: address, amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-260.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;cash(): uint256</text>
<text text-anchor="start" x="6187.011" y="-243.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addCash(amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-227.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeCash(amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-210.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;liability(): uint256</text>
<text text-anchor="start" x="6187.011" y="-193.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addLiability(amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-176.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeLiability(amount: uint256)</text>
<text text-anchor="start" x="6187.011" y="-159.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;version(): uint256</text>
<text text-anchor="start" x="6187.011" y="-143.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="6187.011" y="-126.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; PoolUpdated(previousPool: address, newPool: address)</text>
<text text-anchor="start" x="6187.011" y="-109.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; MaxSupplyUpdated(previousMaxSupply: uint256, newMaxSupply: uint256)</text>
<text text-anchor="start" x="6187.011" y="-92.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; CashAdded(previousCashPosition: uint256, cashBeingAdded: uint256)</text>
<text text-anchor="start" x="6187.011" y="-75.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; CashRemoved(previousCashPosition: uint256, cashBeingRemoved: uint256)</text>
<text text-anchor="start" x="6187.011" y="-59.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; LiabilityAdded(previousLiabilityPosition: uint256, liabilityBeingAdded: uint256)</text>
<text text-anchor="start" x="6187.011" y="-42.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; LiabilityRemoved(previousLiabilityPosition: uint256, liabilityBeingRemoved: uint256)</text>
<text text-anchor="start" x="6187.011" y="-25.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; onlyPool()</text>
<text text-anchor="start" x="6187.011" y="-8.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;decimals(): uint8</text>
</g>
<!-- 20 -->
<g id="node22" class="node">
<title>20</title>
<polygon fill="#f2f2f2" stroke="#000000" points="2965.2087,-2272.9 2965.2087,-2481.7 3227.7389,-2481.7 3227.7389,-2272.9 2965.2087,-2272.9"/>
<text text-anchor="middle" x="3096.4738" y="-2465.1" font-family="Times,serif" font-size="14.00" fill="#000000">TestDSMath</text>
<polyline fill="none" stroke="#000000" points="2965.2087,-2456.9 3227.7389,-2456.9 "/>
<text text-anchor="start" x="2973.2087" y="-2440.3" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="2973.2087" y="-2423.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;WAD: uint256</text>
<text text-anchor="start" x="2973.2087" y="-2406.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;RAY: uint256</text>
<polyline fill="none" stroke="#000000" points="2965.2087,-2398.5 3227.7389,-2398.5 "/>
<text text-anchor="start" x="2973.2087" y="-2381.9" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="2973.2087" y="-2365.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;wmul(x: uint256, y: uint256): uint256</text>
<text text-anchor="start" x="2973.2087" y="-2348.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;reciprocal(x: uint256): uint256</text>
<text text-anchor="start" x="2973.2087" y="-2331.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;rpow(x: uint256, n: uint256): (z: uint256)</text>
<text text-anchor="start" x="2973.2087" y="-2314.7" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="2973.2087" y="-2297.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;wdiv(x: uint256, y: uint256): uint256</text>
<text text-anchor="start" x="2973.2087" y="-2281.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;rmul(x: uint256, y: uint256): (z: uint256)</text>
</g>
<!-- 20&#45;&gt;8 -->
<g id="edge20" class="edge">
<title>20&#45;&gt;8</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M3074.2305,-2481.9862C3054.2104,-2552.5146 3018.0163,-2642.8669 2955.4738,-2700.6 2875.1157,-2774.7787 2756.1757,-2812.3327 2663.1213,-2831.2115"/>
<polygon fill="#000000" stroke="#000000" points="2662.1868,-2827.8285 2653.0556,-2833.2017 2663.5446,-2834.6955 2662.1868,-2827.8285"/>
</g>
<!-- 21 -->
<g id="node23" class="node">
<title>21</title>
<polygon fill="#f2f2f2" stroke="#000000" points="6783.5558,-260.9 6783.5558,-402.5 7237.3918,-402.5 7237.3918,-260.9 6783.5558,-260.9"/>
<text text-anchor="middle" x="7010.4738" y="-385.9" font-family="Times,serif" font-size="14.00" fill="#000000">TestERC20</text>
<polyline fill="none" stroke="#000000" points="6783.5558,-377.7 7237.3918,-377.7 "/>
<text text-anchor="start" x="6791.5558" y="-361.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="6791.5558" y="-344.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;d: uint8</text>
<polyline fill="none" stroke="#000000" points="6783.5558,-336.1 7237.3918,-336.1 "/>
<text text-anchor="start" x="6791.5558" y="-319.5" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="6791.5558" y="-302.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;constructor(name: string, symbol: string, _decimals: uint8, supply: uint256)</text>
<text text-anchor="start" x="6791.5558" y="-285.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;decimals(): uint8</text>
<text text-anchor="start" x="6791.5558" y="-269.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;faucet(amount: uint256)</text>
</g>
<!-- 22 -->
<g id="node24" class="node">
<title>22</title>
<polygon fill="#f2f2f2" stroke="#000000" points="1792.2496,-699.9 1792.2496,-2017.5 2808.698,-2017.5 2808.698,-699.9 1792.2496,-699.9"/>
<text text-anchor="middle" x="2300.4738" y="-2000.9" font-family="Times,serif" font-size="14.00" fill="#000000">TestPoolV99</text>
<polyline fill="none" stroke="#000000" points="1792.2496,-1992.7 2808.698,-1992.7 "/>
<text text-anchor="start" x="1800.2496" y="-1976.1" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="1800.2496" y="-1959.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;ETH_UNIT: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1942.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_slippageParamK: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1925.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_slippageParamN: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1908.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_c1: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1892.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_xThreshold: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1875.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_haircutRate: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1858.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_retentionRatio: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1841.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_maxPriceDeviation: uint256</text>
<text text-anchor="start" x="1800.2496" y="-1824.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_dev: address</text>
<text text-anchor="start" x="1800.2496" y="-1808.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_priceOracle: IPriceOracleGetter</text>
<text text-anchor="start" x="1800.2496" y="-1791.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;_assets: AssetMap</text>
<polyline fill="none" stroke="#000000" points="1792.2496,-1783.1 2808.698,-1783.1 "/>
<text text-anchor="start" x="1800.2496" y="-1766.5" font-family="Times,serif" font-size="14.00" fill="#000000">Private:</text>
<text text-anchor="start" x="1800.2496" y="-1749.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_getAsset(key: address): Asset</text>
<text text-anchor="start" x="1800.2496" y="-1732.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_getKeyAtIndex(index: uint256): address</text>
<text text-anchor="start" x="1800.2496" y="-1716.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_sizeOfAssetList(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1699.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_containsAsset(key: address): bool</text>
<text text-anchor="start" x="1800.2496" y="-1682.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_addAsset(key: address, val: Asset)</text>
<text text-anchor="start" x="1800.2496" y="-1665.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_checkPriceDeviation(tokenA: address, tokenB: address)</text>
<text text-anchor="start" x="1800.2496" y="-1648.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getEquilibruimCoverageRatio(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1632.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_assetOf(token: address): Asset</text>
<text text-anchor="start" x="1800.2496" y="-1615.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_deposit(asset: Asset, amount: uint256, to: address): (liquidity: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1598.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_withdrawFrom(asset: Asset, liquidity: uint256): (amount: uint256, liabilityToBurn: uint256, fee: uint256, enoughCash: bool)</text>
<text text-anchor="start" x="1800.2496" y="-1581.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_withdraw(asset: Asset, liquidity: uint256, minimumAmount: uint256, to: address): (amount: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1564.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_quoteFrom(fromAsset: Asset, toAsset: Asset, fromAmount: uint256): (actualToAmount: uint256, haircut: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1548.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;_quoteIdealToAmount(fromAsset: Asset, toAsset: Asset, fromAmount: uint256): (idealToAmount: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1531.3" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="1800.2496" y="-1514.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;initialize()</text>
<text text-anchor="start" x="1800.2496" y="-1497.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getDev(): address</text>
<text text-anchor="start" x="1800.2496" y="-1480.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getPriceOracle(): address</text>
<text text-anchor="start" x="1800.2496" y="-1464.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getC1(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1447.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getXThreshold(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1430.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getSlippageParamK(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1413.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getSlippageParamN(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1396.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getHaircutRate(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1380.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getRetentionRatio(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1363.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getMaxPriceDeviation(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-1346.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;pause()</text>
<text text-anchor="start" x="1800.2496" y="-1329.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;unpause()</text>
<text text-anchor="start" x="1800.2496" y="-1312.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setDev(dev: address)</text>
<text text-anchor="start" x="1800.2496" y="-1296.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setSlippageParamK(k_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1279.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setSlippageParamN(n_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1262.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setC1(c1_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1245.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setXThreshold(xThreshold_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1228.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setHaircutRate(haircutRate_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1212.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setRetentionRatio(retentionRatio_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1195.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setMaxPriceDeviation(maxPriceDeviation_: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1178.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;setPriceOracle(priceOracle: address)</text>
<text text-anchor="start" x="1800.2496" y="-1161.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;removeAsset(key: address)</text>
<text text-anchor="start" x="1800.2496" y="-1144.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;addAsset(token: address, asset: address)</text>
<text text-anchor="start" x="1800.2496" y="-1128.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;assetOf(token: address): address</text>
<text text-anchor="start" x="1800.2496" y="-1111.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;deposit(token: address, amount: uint256, to: address, deadline: uint256): (liquidity: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1094.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdraw(token: address, liquidity: uint256, minimumAmount: uint256, to: address, deadline: uint256): (amount: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1077.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdrawFromOtherAsset(initialToken: address, wantedToken: address, liquidity: uint256, minimumAmount: uint256, to: address, deadline: uint256): (amount: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1060.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;swap(fromToken: address, toToken: address, fromAmount: uint256, minimumToAmount: uint256, to: address, deadline: uint256): (actualToAmount: uint256, haircut: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1044.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quotePotentialSwap(fromToken: address, toToken: address, fromAmount: uint256): (potentialOutcome: uint256, haircut: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-1027.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quotePotentialWithdraw(token: address, liquidity: uint256): (amount: uint256, fee: uint256, enoughCash: bool)</text>
<text text-anchor="start" x="1800.2496" y="-1010.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;quotePotentialWithdrawFromOtherAsset(initialToken: address, wantedToken: address, liquidity: uint256): (amount: uint256, fee: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-993.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;getTokenAddresses(): address[]</text>
<text text-anchor="start" x="1800.2496" y="-976.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;version(): uint256</text>
<text text-anchor="start" x="1800.2496" y="-960.1" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="1800.2496" y="-943.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; AssetAdded(token: address, asset: address)</text>
<text text-anchor="start" x="1800.2496" y="-926.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Deposit(sender: address, token: address, amount: uint256, liquidity: uint256, to: address)</text>
<text text-anchor="start" x="1800.2496" y="-909.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Withdraw(sender: address, token: address, amount: uint256, liquidity: uint256, to: address)</text>
<text text-anchor="start" x="1800.2496" y="-892.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; DevUpdated(previousDev: address, newDev: address)</text>
<text text-anchor="start" x="1800.2496" y="-876.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; OracleUpdated(previousOracle: address, newOracle: address)</text>
<text text-anchor="start" x="1800.2496" y="-859.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; PriceDeviationUpdated(previousPriceDeviation: uint256, newPriceDeviation: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-842.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; SlippageParamKUpdated(previousK: uint256, newK: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-825.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; SlippageParamNUpdated(previousN: uint256, newN: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-808.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; SlippageParamC1Updated(previousC1: uint256, newC1: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-792.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; SlippageParamXThresholdUpdated(previousXThreshold: uint256, newXThreshold: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-775.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; HaircutRateUpdated(previousHaircut: uint256, newHaircut: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-758.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; RetentionRatioUpdated(previousRetentionRatio: uint256, newRetentionRatio: uint256)</text>
<text text-anchor="start" x="1800.2496" y="-741.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Swap(sender: address, fromToken: address, toToken: address, fromAmount: uint256, toAmount: uint256, to: address)</text>
<text text-anchor="start" x="1800.2496" y="-724.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; onlyDev()</text>
<text text-anchor="start" x="1800.2496" y="-708.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;modifier&gt;&gt; ensure(deadline: uint256)</text>
</g>
<!-- 22&#45;&gt;1 -->
<g id="edge23" class="edge">
<title>22&#45;&gt;1</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M2808.9083,-2012.7237C2812.0836,-2014.5111 2815.2722,-2016.2701 2818.4738,-2018 2982.524,-2106.6393 3068.7223,-1972.5825 3236.4738,-2054 3236.5711,-2054.0472 3236.6684,-2054.0945 3236.7657,-2054.1418"/>
<polygon fill="#000000" stroke="#000000" points="3235.2625,-2057.3036 3245.7686,-2058.6726 3238.4094,-2051.0507 3235.2625,-2057.3036"/>
</g>
<!-- 22&#45;&gt;7 -->
<g id="edge24" class="edge">
<title>22&#45;&gt;7</title>
<path fill="none" stroke="#000000" d="M2054.5812,-2017.8215C2011.1629,-2134.2054 1972.0191,-2239.1314 1947.3844,-2305.1654"/>
<polygon fill="#000000" stroke="#000000" points="1944.0724,-2304.03 1943.8563,-2314.6226 1950.6309,-2306.4767 1944.0724,-2304.03"/>
</g>
<!-- 22&#45;&gt;8 -->
<g id="edge22" class="edge">
<title>22&#45;&gt;8</title>
<path fill="none" stroke="#000000" stroke-dasharray="5,2" d="M1791.982,-2007.2913C1789.1384,-2010.8717 1786.3021,-2014.4415 1783.4738,-2018 1770.6901,-2034.0841 1761.3073,-2034.6241 1754.4738,-2054 1658.8918,-2325.0167 1571.7083,-2478.8281 1754.4738,-2700.6 1832.1731,-2794.8822 2180.2276,-2830.4016 2379.7366,-2843.1748"/>
<polygon fill="#000000" stroke="#000000" points="2379.8063,-2846.686 2390.0063,-2843.8206 2380.2457,-2839.6998 2379.8063,-2846.686"/>
</g>
<!-- 22&#45;&gt;10 -->
<g id="edge21" class="edge">
<title>22&#45;&gt;10</title>
<path fill="none" stroke="#000000" d="M2443.4797,-2017.8215C2460.2056,-2094.9119 2475.8408,-2166.9751 2488.6554,-2226.0384"/>
<polygon fill="none" stroke="#000000" points="2478.4681,-2228.6059 2495.0904,-2255.6975 2498.9906,-2224.1532 2478.4681,-2228.6059"/>
</g>
<!-- 22struct0 -->
<g id="node25" class="node">
<title>22struct0</title>
<polygon fill="#f2f2f2" stroke="#000000" points="2186.4091,-273.3 2186.4091,-390.1 2414.5385,-390.1 2414.5385,-273.3 2186.4091,-273.3"/>
<text text-anchor="middle" x="2300.4738" y="-373.5" font-family="Times,serif" font-size="14.00" fill="#000000">&lt;&lt;struct&gt;&gt;</text>
<text text-anchor="middle" x="2300.4738" y="-356.7" font-family="Times,serif" font-size="14.00" fill="#000000">AssetMap</text>
<polyline fill="none" stroke="#000000" points="2186.4091,-348.5 2414.5385,-348.5 "/>
<text text-anchor="start" x="2194.4091" y="-331.9" font-family="Times,serif" font-size="14.00" fill="#000000">keys: address[]</text>
<text text-anchor="start" x="2194.4091" y="-315.1" font-family="Times,serif" font-size="14.00" fill="#000000">values: mapping(address=&gt;Asset)</text>
<text text-anchor="start" x="2194.4091" y="-298.3" font-family="Times,serif" font-size="14.00" fill="#000000">indexOf: mapping(address=&gt;uint256)</text>
<text text-anchor="start" x="2194.4091" y="-281.5" font-family="Times,serif" font-size="14.00" fill="#000000">inserted: mapping(address=&gt;bool)</text>
</g>
<!-- 22struct0&#45;&gt;22 -->
<g id="edge2" class="edge">
<title>22struct0&#45;&gt;22</title>
<path fill="none" stroke="#000000" d="M2300.4738,-390.2311C2300.4738,-454.1787 2300.4738,-564.0976 2300.4738,-687.4698"/>
<polygon fill="#000000" stroke="#000000" points="2300.4739,-687.8382 2304.4738,-693.8382 2300.4738,-699.8382 2296.4738,-693.8381 2300.4739,-687.8382"/>
</g>
<!-- 23 -->
<g id="node26" class="node">
<title>23</title>
<polygon fill="#f2f2f2" stroke="#000000" points="2827.0923,-1313.1 2827.0923,-1404.3 3361.8553,-1404.3 3361.8553,-1313.1 2827.0923,-1313.1"/>
<text text-anchor="middle" x="3094.4738" y="-1387.7" font-family="Times,serif" font-size="14.00" fill="#000000">TestSlippage</text>
<polyline fill="none" stroke="#000000" points="2827.0923,-1379.5 3361.8553,-1379.5 "/>
<text text-anchor="middle" x="3094.4738" y="-1362.9" font-family="Times,serif" font-size="14.00" fill="#000000"> </text>
<polyline fill="none" stroke="#000000" points="2827.0923,-1354.7 3361.8553,-1354.7 "/>
<text text-anchor="start" x="2835.0923" y="-1338.1" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="2835.0923" y="-1321.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;testSlippage(k: uint256, n: uint256, c1: uint256, xThreshold: uint256, x: uint256): uint256</text>
</g>
<!-- 23&#45;&gt;10 -->
<g id="edge25" class="edge">
<title>23&#45;&gt;10</title>
<path fill="none" stroke="#000000" d="M3080.3994,-1404.444C3045.3702,-1514.8184 2947.6317,-1802.5404 2817.4738,-2018 2771.6945,-2093.7817 2710.8932,-2170.4994 2656.309,-2233.4754"/>
<polygon fill="none" stroke="#000000" points="2648.4139,-2226.5531 2636.5197,-2256.0282 2664.1987,-2240.4038 2648.4139,-2226.5531"/>
</g>
<!-- 24 -->
<g id="node27" class="node">
<title>24</title>
<polygon fill="#f2f2f2" stroke="#000000" points="7254.9019,-151.7 7254.9019,-511.7 7636.0457,-511.7 7636.0457,-151.7 7254.9019,-151.7"/>
<text text-anchor="middle" x="7445.4738" y="-495.1" font-family="Times,serif" font-size="14.00" fill="#000000">TestWAVAX</text>
<polyline fill="none" stroke="#000000" points="7254.9019,-486.9 7636.0457,-486.9 "/>
<text text-anchor="start" x="7262.9019" y="-470.3" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="7262.9019" y="-453.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;name: string</text>
<text text-anchor="start" x="7262.9019" y="-436.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;symbol: string</text>
<text text-anchor="start" x="7262.9019" y="-419.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;decimals: uint8</text>
<text text-anchor="start" x="7262.9019" y="-403.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;balanceOf: mapping(address=&gt;uint256)</text>
<text text-anchor="start" x="7262.9019" y="-386.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;allowance: mapping(address=&gt;mapping(address=&gt;uint256))</text>
<polyline fill="none" stroke="#000000" points="7254.9019,-378.1 7636.0457,-378.1 "/>
<text text-anchor="start" x="7262.9019" y="-361.5" font-family="Times,serif" font-size="14.00" fill="#000000">External:</text>
<text text-anchor="start" x="7262.9019" y="-344.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;payable&gt;&gt; null()</text>
<text text-anchor="start" x="7262.9019" y="-327.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;withdraw(wad: uint256)</text>
<text text-anchor="start" x="7262.9019" y="-311.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;totalSupply(): uint256</text>
<text text-anchor="start" x="7262.9019" y="-294.3" font-family="Times,serif" font-size="14.00" fill="#000000">Public:</text>
<text text-anchor="start" x="7262.9019" y="-277.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;payable&gt;&gt; deposit()</text>
<text text-anchor="start" x="7262.9019" y="-260.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Approval(src: address, guy: address, wad: uint256)</text>
<text text-anchor="start" x="7262.9019" y="-243.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Transfer(src: address, dst: address, wad: uint256)</text>
<text text-anchor="start" x="7262.9019" y="-227.1" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Deposit(dst: address, wad: uint256)</text>
<text text-anchor="start" x="7262.9019" y="-210.3" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;&lt;&lt;event&gt;&gt; Withdrawal(src: address, wad: uint256)</text>
<text text-anchor="start" x="7262.9019" y="-193.5" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;approve(guy: address, wad: uint256): bool</text>
<text text-anchor="start" x="7262.9019" y="-176.7" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;transfer(dst: address, wad: uint256): bool</text>
<text text-anchor="start" x="7262.9019" y="-159.9" font-family="Times,serif" font-size="14.00" fill="#000000"> &#160;&#160;&#160;transferFrom(src: address, dst: address, wad: uint256): bool</text>
</g>
</g>
</svg>