Magnus converted to SYNAXIM .symb INT4 (group_size=128) (part 2)

214ba26

verified

GRRNNOB commited on Jul 3