proofs/containers/lru/room.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/u32alg.bend as A
import ../../lib/array.bend as AR
import ../../../spec/lib/common.bend as SC
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/cyc.bend as CY
import ../hash_table/inv.bend as IV
import ./state.bend as ST
import ./basic.bend as BA
import ./meta.bend as MT
import ./tabsl.bend as TS
import ./idx.bend as ID
import ../../lib/word.bend as WD
import ../hash_table/grow.bend as GR
import ../hash_table/insu.bend as IU
import ../hash_table/insgrow.bend as IG
import ../../lib/words32.bend as W32
import ../../lib/u32_tree.bend as UT