1	import ./core_LAWS.bend as Core
2	import ./construction_LAWS.bend as Construction
3	import ./elementwise_LAWS.bend as Elementwise
4	import ./projection_LAWS.bend as Projection
5	import ./word_conversion_LAWS.bend as WordConversion
6	import ./allocation_LAWS.bend as Allocation
7	import ./axis_LAWS.bend as Axes
8	import ./transpose_LAWS.bend as Transpose
9	import ./transform_LAWS.bend as Transforms
10	import ./reduction_LAWS.bend as Reduction
11	import ./matmul_LAWS.bend as Matrix
12	import ./batched_matmul_LAWS.bend as BatchedMatrix
13	import ./slice_LAWS.bend as Slice
14	import ./gather_LAWS.bend as Gather
15	import ./parallel_LAWS.bend as Parallel
16	import ./relu_LAWS.bend as Relu
17	import ./loss_ops_LAWS.bend as LossOps
18	import ./construction_contract_LAWS.bend as ConstructionContract
19	import ./read_write_contract_LAWS.bend as ReadWriteContract
20	import ./clone_metadata_contract_LAWS.bend as CloneMetadataContract
21	import ./transform_contract_LAWS.bend as TransformContract
22	import ./from_values_contract_LAWS.bend as FromValuesContract
23	import ./permute_values_contract_LAWS.bend as PermuteValuesContract
24	import ./contracts/LAWS.bend as Contracts
25	import ./contracts/binary_LAWS.bend as ContractsBinary
26	import ./signed_LAWS.bend as Signed