## Work item 1788 — Celeste
around2000 export source line66, source idc463c43a5f; around2012 export source line64, source idabd657d639
Inclusion: complete original message

Paste 1 (for me) is attached — Celeste ledger λ3 only. Paste 2 is the next Flint soft after that merges.