cert_k5_d2_s4_A none exit=0
cert_k5_d2_s4_A shift_re exit=1
cert_k5_d2_s4_A shift_im exit=1
cert_k5_d2_s4_A fixed_change exit=1
cert_k5_d2_s4_A truncate20 exit=1
cert_k5_d2_s4_A swap exit=1
cert_k5_d2_s4_A target2t exit=1
cert_k5_d2_s4_A wrong_k exit=1
cert_k6_d2_s5_A none exit=0
cert_k6_d2_s5_A shift_re exit=1
cert_k6_d2_s5_A shift_im exit=1
cert_k6_d2_s5_A fixed_change exit=1
cert_k6_d2_s5_A truncate20 exit=1
cert_k6_d2_s5_A swap exit=1
cert_k6_d2_s5_A target2t exit=1
cert_k6_d2_s5_A wrong_k exit=1
cert_k6_d2_s5_B none exit=0
cert_k6_d2_s5_B shift_re exit=1
cert_k6_d2_s5_B shift_im exit=1
cert_k6_d2_s5_B fixed_change exit=1
cert_k6_d2_s5_B truncate20 exit=1
cert_k6_d2_s5_B swap exit=1
cert_k6_d2_s5_B target2t exit=1
cert_k6_d2_s5_B wrong_k exit=1
cert_k7_d2_s6_A none exit=0
cert_k7_d2_s6_A shift_re exit=1
cert_k7_d2_s6_A shift_im exit=1
cert_k7_d2_s6_A fixed_change exit=1
cert_k7_d2_s6_A truncate20 exit=1
cert_k7_d2_s6_A swap exit=1
cert_k7_d2_s6_A target2t exit=1
cert_k7_d2_s6_A wrong_k exit=1
cert_k8_d2_s6_A none exit=0
cert_k8_d2_s6_A shift_re exit=1
cert_k8_d2_s6_A shift_im exit=1
cert_k8_d2_s6_A fixed_change exit=1
cert_k8_d2_s6_A truncate20 exit=1
cert_k8_d2_s6_A swap exit=1
cert_k8_d2_s6_A target2t exit=1
cert_k8_d2_s6_A wrong_k exit=1
cert_k9_d2_s7_A none exit=0
cert_k9_d2_s7_A shift_re exit=1
cert_k9_d2_s7_A shift_im exit=1
cert_k9_d2_s7_A fixed_change exit=1
cert_k9_d2_s7_A truncate20 exit=1
cert_k9_d2_s7_A swap exit=1
cert_k9_d2_s7_A target2t exit=1
cert_k9_d2_s7_A wrong_k exit=1
