schema=symcc-loop-memoryphi-byte-lane-induction-v8
endianness=little
object_bytes=24
load_aliases=23
load_bytes=2
writers=2
writer_value_records=2
writer_instance_records=24
fixed_point_pairs=12
fixed_point_rounds=13
byte_lane_witnesses=46
last_write_cases=69
maximum_cases_per_lane=2
outer_step=1
inner_step=2
affine_outer_scale=8
affine_inner_scale=1
validation=PASS