The collateral is 13K mixUSDC, shares in the mixUSDC vault. At a share price of 1.0008 USDC they are worth 13K USDC, or $13K at USDC’s $1.

A fall of 8.5% in the vault’s share price would take collateralisation from 115.1% to the liquidation line at 105.3%.

169.42 alUSDb of the debt is set aside for repayment. Line redemptions clear it, and at this share price clearing all of it takes 169.29 mixUSDC from the collateral, plus 0.17 mixUSDC for the line’s 0.1% redemption fee.

Set-aside grows block by block between readings, and an event card’s before figure is the reading at the previous card’s block, so a card’s set-aside move includes what built up in between.