Safe semantics

$ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e $ub t0 Pewd1ep1e