proofs/containers/lru/rmrb.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/u32.bend as U
import ../../lib/u32alg.bend as A
import ../../lib/array.bend as AR
import ../../lib/list.bend as LL
import ../../../spec/lib/common.bend as SC
import ../../../spec/containers/hash_table.bend as S
import ../../../spec/containers/lru.bend as SP
import ../../lib/u32div.bend as UD
import ../../../src/containers/hash_table.bend as H
import ../../../src/containers/lru.bend as LR
import ../hash_table/table.bend as TB
import ../hash_table/buckets.bend as B
import ../hash_table/cyc.bend as CY
import ../hash_table/inv.bend as IV
import ../hash_table/state.bend as HT
import ../hash_table/insm.bend as IM
import ../hash_table/insa.bend as IA
import ../hash_table/tools.bend as TL
import ../hash_table/poplem.bend as PL
import ../hash_table/delmv.bend as DM
import ../hash_table/delw.bend as DW
import ./state.bend as ST
import ./lists.bend as LS
import ./dll.bend as DL
import ./trace.bend as TR
import ./unlink.bend as UL
import ./linktail.bend as LT
import ./rebuild.bend as RB
import ./perm.bend as PE
import ./tabsl.bend as TS
import ./elfr.bend as EF
import ../hash_table/insf.bend as IF
import ./idx.bend as ID
import ./touchsh.bend as TSH
import ../../lib/nat_list.bend as NL
import ../../lib/links.bend as LK
import ../../lib/words32.bend as W32
import ../../lib/u32_tree.bend as UT