%BEGING
Main_16  -> Sum F_3_1280  F_3_1281  F_3_1282  .
Bottom0  -> Bottom0 .
F_1283 b_1257  -> b_1257 (l0 (Sum F_3_1284  F_3_1285  F_3_1286  ) ) (l1 (Fail_52 unit  ) ) .
F_1287 b_1261  -> b_1261 (l0 unit  ) (l1 (Fail_55 unit  ) ) .
F_1290 k_sum x_110_1255 x_104_1256 b_1264  -> b_1264 (k_sum True  ) (F_1296 k_sum  x_110_1255  x_104_1256  x_110_1255  ) .
F_1291 k_sum b_1268  -> b_1268 (k_sum False  ) (br (k_sum True  ) (k_sum False  ) ) .
F_1292 k_sum x_110_1255 x_104_1256 b_1270  -> b_1270 (F_1291 k_sum  True  ) (F_1294 k_sum  x_110_1255  x_104_1256  ) .
F_1293 k_sum x_110_1255 b_1276  -> b_1276 (F_1291 k_sum  x_110_1255  ) (F_1291 k_sum  False  ) .
F_1294 k_sum x_110_1255 b_1278  -> b_1278 (F_1293 k_sum  x_110_1255  False  ) (F_1293 k_sum  x_110_1255  True  ) .
F_1295 k_sum x_110_1255 x_104_1256 b_1272  -> b_1272 (F_1292 k_sum  x_110_1255  x_104_1256  x_104_1256  ) (F_1292 k_sum  x_110_1255  x_104_1256  False  ) .
F_1296 k_sum x_110_1255 x_104_1256 b_1274  -> b_1274 (F_1295 k_sum  x_110_1255  x_104_1256  False  ) (F_1295 k_sum  x_110_1255  x_104_1256  True  ) .
F_1297 k_sum x_110_1255 x_104_1256 b_1266  -> b_1266 (F_1290 k_sum  x_110_1255  x_104_1256  x_110_1255  ) (F_1290 k_sum  x_110_1255  x_104_1256  False  ) .
F_3_1280 x_63_1253 k_test2_64_1254  -> k_test2_64_1254 True  .
F_3_1281 x_65_1251 k_test2_66_1252  -> k_test2_66_1252 True  .
F_3_1282 x_67_1245  -> F_1283 x_67_1245  .
F_3_1284 x_81_1249 k_test1_82_1250  -> br (k_test1_82_1250 True  ) (k_test1_82_1250 False  ) .
F_3_1285 x_86_1247 k_test1_87_1248  -> br (k_test1_87_1248 True  ) (k_test1_87_1248 False  ) .
F_3_1286 x_97_1246  -> br (F_1287 True  ) (F_1287 False  ) .
F_3_1288 g k_sum x_110_1255  -> g True  (F_3_1289 k_sum  x_110_1255  ) .
F_3_1289 k_sum x_110_1255 x_104_1256  -> F_1297 k_sum  x_110_1255  x_104_1256  x_104_1256  .
Fail_52 k_54  -> event_fail k_54  .
Fail_55 k_57  -> event_fail k_57  .
Sum f g k_sum  -> f True  (F_3_1288 g  k_sum  ) .
True x y  -> x .
False x y  -> y .
%ENDG

%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA