sat_all_with_tempinduct_setinit_fail.pat 72 Bytes