Deleted k68 (has logic loops, formality doesn't like that)
Added cell lib to or1200 test