proofs/containers/lru/tabsl.bend checks

import Base
import ../../lib/logic.bend as L
import ../../lib/nat.bend as N
import ../../lib/u32alg.bend as A
import ../../../spec/lib/common.bend as SC
import ../../lib/u32div.bend as UD
import ../../../src/containers/hash_table.bend as H
import ../hash_table/buckets.bend as B
import ../hash_table/insm.bend as IM
import ../hash_table/rehash.bend as RH
import ../hash_table/tools.bend as TL
import ../hash_table/words.bend as WR
import ./state.bend as ST
import ./tfind.bend as TF
import ./unlink.bend as UL
import ../../lib/nat_list.bend as NL
import ../../lib/links.bend as LK