swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: f94b06de7edcb61d3c49f19417e53dc7dc21d552 authored by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC
updated README
updated README
Tip revision: f94b06d
forSigma.hors
%BEGING
Main_41 -> Bind F_3_6442 F_3_6443 F_3_6447 .
Bottom0 -> Bottom0 .
Bind ma_25 f_24 k_bind -> k_bind (F_3_6477 ma_25 f_24 ) .
F_3_6442 s_195_6330 k_get_196_6331 -> k_get_196_6331 True .
F_3_6443 k_main_169_6327 -> br (F_6444 k_main_169_6327 True ) (F_6444 k_main_169_6327 False ) .
F_3_6445 s_202_6328 k_ret_203_6329 -> br (F_6446 k_ret_203_6329 True ) (F_6446 k_ret_203_6329 False ) .
F_3_6447 x_175_6291 -> Loop F_3_6448 True (F_3_6455 x_175_6291 ) .
F_3_6448 k_bar_95_6317 -> Bind F_3_6449 F_3_6450 (F_3_6452 k_bar_95_6317 ) .
F_3_6449 s_195_6325 k_get_196_6326 -> k_get_196_6326 True .
F_3_6450 k_bar_108_6322 -> k_bar_108_6322 F_3_6451 .
F_3_6451 s_199_6323 k_put_200_6324 -> k_put_200_6324 True True .
F_3_6452 k_bar_95_6317 x__6257_6318 -> k_bar_95_6317 (F_3_6453 x__6257_6318 ) .
F_3_6453 x__6257_6318 x__6258_6319 x__6259_6320 -> x__6257_6318 (F_3_6454 x__6259_6320 ) .
F_3_6454 x__6259_6320 x__6260_6321 -> x__6259_6320 True .
F_3_6455 x_175_6291 x_161_6292 -> x_161_6292 True (F_3_6456 x_175_6291 ) .
F_3_6456 x_175_6291 x_149_6293 -> Loop F_3_6457 True (F_3_6464 x_175_6291 x_149_6293 ) .
F_3_6457 k_foo_194_6307 -> Bind F_3_6458 F_3_6459 (F_3_6461 k_foo_194_6307 ) .
F_3_6458 s_195_6315 k_get_196_6316 -> k_get_196_6316 True .
F_3_6459 k_foo_178_6312 -> k_foo_178_6312 F_3_6460 .
F_3_6460 s_199_6313 k_put_200_6314 -> k_put_200_6314 True True .
F_3_6461 k_foo_194_6307 x__6252_6308 -> k_foo_194_6307 (F_3_6462 x__6252_6308 ) .
F_3_6462 x__6252_6308 x__6253_6309 x__6254_6310 -> x__6252_6308 (F_3_6463 x__6254_6310 ) .
F_3_6463 x__6254_6310 x__6255_6311 -> x__6254_6310 True .
F_3_6464 x_175_6291 x_149_6293 x_140_6294 -> x_140_6294 True (F_3_6465 x_175_6291 x_149_6293 ) .
F_3_6465 x_175_6291 x_149_6293 x_135_6295 -> Thenn (F_3_6466 x_135_6295 ) (F_3_6468 x_149_6293 ) (F_3_6470 x_175_6291 ) .
F_3_6466 x_135_6295 x__6249_6305 -> x_135_6295 True True (F_3_6467 x__6249_6305 ) .
F_3_6467 x__6249_6305 x__6250_6306 -> x__6249_6305 True .
F_3_6468 x_149_6293 x__6245_6303 -> x_149_6293 False True (F_3_6469 x__6245_6303 ) .
F_3_6469 x__6245_6303 x__6246_6304 -> x__6245_6303 True .
F_3_6470 x_175_6291 x_130_6296 -> Thenn (F_3_6471 x_130_6296 ) (F_3_6473 x_175_6291 ) F_3_6475 .
F_3_6471 x_130_6296 x__6241_6301 -> x_130_6296 (F_3_6472 x__6241_6301 ) .
F_3_6472 x__6241_6301 x__6242_6302 -> x__6241_6301 True .
F_3_6473 x_175_6291 x__6237_6299 -> x_175_6291 (F_3_6474 x__6237_6299 ) .
F_3_6474 x__6237_6299 x__6238_6300 -> x__6237_6299 True .
F_3_6475 x_126_6297 -> x_126_6297 F_3_6476 .
F_3_6476 main0_104_6298 -> unit .
F_3_6477 ma_25 f_24 k_dnib_103_6332 -> ma_25 True (F_3_6478 f_24 k_dnib_103_6332 ) .
F_3_6478 f_24 k_dnib_103_6332 r_ma0_112_6333 -> f_24 (F_3_6479 k_dnib_103_6332 ) .
F_3_6479 k_dnib_103_6332 x_123_6334 -> x_123_6334 True (F_3_6480 k_dnib_103_6332 ) .
F_3_6480 k_dnib_103_6332 x__6262_6335 x__6263_6336 -> k_dnib_103_6332 True .
F_3_6482 f x_22 score_181_6337 k_loop_182_6338 -> F_6495 f x_22 score_181_6337 k_loop_182_6338 x_22 .
F_3_6484 x_22 score_181_6337 k_loop_182_6338 x__6264_6339 -> k_loop_182_6338 (F_3_6485 x_22 score_181_6337 x__6264_6339 ) .
F_3_6485 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__2_6265_6341 x__6266_6342 -> F_6492 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 score_181_6337 .
F_3_6487 x__6266_6342 x__6267_6343 -> x__6266_6342 True .
F_3_6496 f x_22 score_185_6344 k_loop_186_6345 -> F_6563 f x_22 score_185_6344 k_loop_186_6345 x_22 .
F_3_6499 f x__6283_6358 -> f (F_3_6500 x__6283_6358 ) .
F_3_6500 x__6283_6358 x__6284_6359 -> x__6283_6358 (F_3_6501 x__6284_6359 ) .
F_3_6501 x__6284_6359 x__6285_6360 x__6286_6361 -> x__6284_6359 x__6285_6360 (F_3_6502 x__6286_6361 ) .
F_3_6502 x__6286_6361 x__6287_6362 -> x__6286_6361 True .
F_3_6503 f x_22 score_185_6344 k_loop_186_6345 x_166_6346 -> br (x_166_6346 True (F_3_6504 f x_22 score_185_6344 k_loop_186_6345 ) ) (x_166_6346 False (F_3_6533 f x_22 score_185_6344 k_loop_186_6345 ) ) .
F_3_6504 f x_22 score_185_6344 k_loop_186_6345 x_154_6347 -> f (F_3_6505 x_22 score_185_6344 k_loop_186_6345 x_154_6347 ) .
F_3_6505 x_22 score_185_6344 k_loop_186_6345 x_154_6347 x_145_6348 -> Thenn (F_3_6506 x_145_6348 ) (F_3_6508 x_22 x_154_6347 ) (F_3_6511 x_22 score_185_6344 k_loop_186_6345 ) .
F_3_6506 x_145_6348 x__6279_6356 -> x_145_6348 True (F_3_6507 x__6279_6356 ) .
F_3_6507 x__6279_6356 x__6280_6357 -> x__6279_6356 True .
F_3_6508 x_22 x_154_6347 x__6275_6354 -> F_6509 x_154_6347 x_22 True (F_3_6510 x__6275_6354 ) .
F_3_6510 x__6275_6354 x__6276_6355 -> x__6275_6354 True .
F_3_6511 x_22 score_185_6344 k_loop_186_6345 x__6269_6349 -> k_loop_186_6345 (F_3_6512 x_22 score_185_6344 x__6269_6349 ) .
F_3_6512 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 -> F_6531 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x__2_6270_6351 .
F_3_6514 x__6271_6352 x__6272_6353 -> x__6271_6352 True .
F_3_6533 f x_22 score_185_6344 k_loop_186_6345 x_154_6347 -> f (F_3_6534 x_22 score_185_6344 k_loop_186_6345 x_154_6347 ) .
F_3_6534 x_22 score_185_6344 k_loop_186_6345 x_154_6347 x_145_6348 -> Thenn (F_3_6535 x_145_6348 ) (F_3_6537 x_22 x_154_6347 ) (F_3_6540 x_22 score_185_6344 k_loop_186_6345 ) .
F_3_6535 x_145_6348 x__6279_6356 -> x_145_6348 True (F_3_6536 x__6279_6356 ) .
F_3_6536 x__6279_6356 x__6280_6357 -> x__6279_6356 True .
F_3_6537 x_22 x_154_6347 x__6275_6354 -> F_6538 x_154_6347 x_22 True (F_3_6539 x__6275_6354 ) .
F_3_6539 x__6275_6354 x__6276_6355 -> x__6275_6354 True .
F_3_6540 x_22 score_185_6344 k_loop_186_6345 x__6269_6349 -> k_loop_186_6345 (F_3_6541 x_22 score_185_6344 x__6269_6349 ) .
F_3_6541 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 -> F_6560 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x__2_6270_6351 .
F_3_6543 x__6271_6352 x__6272_6353 -> x__6271_6352 True .
F_3_6564 ma mb k_dnib_99_6363 -> ma (F_3_6565 mb k_dnib_99_6363 ) .
F_3_6565 mb k_dnib_99_6363 r_ma0_117_6364 -> mb (F_3_6566 k_dnib_99_6363 ) .
F_3_6566 k_dnib_99_6363 x__6289_6365 -> k_dnib_99_6363 True .
F_3_6702 x_154_6347 x_6694 x_6695 -> br (x_154_6347 True x_6694 x_6695 ) (x_154_6347 False x_6694 x_6695 ) .
F_3_6703 x_154_6347 x_6698 x_6699 -> br (x_154_6347 True x_6698 x_6699 ) (x_154_6347 False x_6698 x_6699 ) .
F_3_6704 f x_6701 -> br (F_6498 f True x_6701 ) (F_6498 f False x_6701 ) .
F_6444 k_main_169_6327 b_6366 -> b_6366 (l0 (k_main_169_6327 F_3_6445 ) ) (l1 (Fail_88 unit ) ) .
F_6446 k_ret_203_6329 b_6368 -> k_ret_203_6329 True b_6368 .
F_6481 f x_22 k_loop_21 b_6370 -> b_6370 Bottom0 (l0 (k_loop_21 (F_3_6482 f x_22 ) ) ) .
F_6483 f x_22 score_181_6337 k_loop_182_6338 b_6372 -> b_6372 Bottom0 (f (F_3_6484 x_22 score_181_6337 k_loop_182_6338 ) ) .
F_6486 x__6264_6339 x__6266_6342 b_6374 -> b_6374 Bottom0 (x__6264_6339 True (F_3_6487 x__6266_6342 ) ) .
F_6488 x_22 x__6264_6339 x__6266_6342 b_6376 -> b_6376 (F_6486 x__6264_6339 x__6266_6342 True ) (F_6486 x__6264_6339 x__6266_6342 x_22 ) .
F_6489 x_22 x__6264_6339 x__1_6265_6340 x__6266_6342 b_6378 -> b_6378 (F_6488 x_22 x__6264_6339 x__6266_6342 True ) (F_6488 x_22 x__6264_6339 x__6266_6342 x__1_6265_6340 ) .
F_6490 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 b_6380 -> b_6380 (F_6489 x_22 x__6264_6339 x__1_6265_6340 x__6266_6342 True ) (F_6489 x_22 x__6264_6339 x__1_6265_6340 x__6266_6342 score_181_6337 ) .
F_6491 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 b_6382 -> b_6382 (F_6490 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 True ) (F_6490 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 x_22 ) .
F_6492 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 b_6384 -> b_6384 (F_6491 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 True ) (F_6491 x_22 score_181_6337 x__6264_6339 x__1_6265_6340 x__6266_6342 x__1_6265_6340 ) .
F_6493 f x_22 score_181_6337 k_loop_182_6338 b_6386 -> b_6386 (F_6483 f x_22 score_181_6337 k_loop_182_6338 True ) (F_6483 f x_22 score_181_6337 k_loop_182_6338 x_22 ) .
F_6494 f x_22 score_181_6337 k_loop_182_6338 b_6388 -> b_6388 (F_6493 f x_22 score_181_6337 k_loop_182_6338 True ) (F_6493 f x_22 score_181_6337 k_loop_182_6338 score_181_6337 ) .
F_6495 f x_22 score_181_6337 k_loop_182_6338 b_6390 -> b_6390 (F_6494 f x_22 score_181_6337 k_loop_182_6338 True ) (F_6494 f x_22 score_181_6337 k_loop_182_6338 score_181_6337 ) .
F_6497 f x_22 score_185_6344 k_loop_186_6345 b_6392 -> b_6392 Bottom0 (F_3_6704 f (F_3_6503 f x_22 score_185_6344 k_loop_186_6345 ) ) .
F_6498 f b_6394 x_6700 -> Loop (F_3_6499 f ) b_6394 x_6700 .
F_6509 x_154_6347 b_6398 x_6696 x_6697 -> b_6398 (F_3_6703 x_154_6347 x_6696 x_6697 ) (x_154_6347 False x_6696 x_6697 ) .
F_6513 x__6269_6349 x__6271_6352 b_6400 -> b_6400 Bottom0 (x__6269_6349 (F_3_6514 x__6271_6352 ) ) .
F_6515 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6402 -> b_6402 (F_6513 x__6269_6349 x__6271_6352 True ) (F_6517 x__6269_6349 x__1_6270_6350 x__6271_6352 x_22 ) .
F_6516 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6434 -> b_6434 (F_6513 x__6269_6349 x__6271_6352 x__1_6270_6350 ) (F_6513 x__6269_6349 x__6271_6352 False ) .
F_6517 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6436 -> b_6436 (F_6516 x__6269_6349 x__1_6270_6350 x__6271_6352 False ) (F_6516 x__6269_6349 x__1_6270_6350 x__6271_6352 True ) .
F_6518 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6404 -> b_6404 (F_6515 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 True ) (F_6520 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 x__2_6270_6351 ) .
F_6519 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6430 -> b_6430 (F_6515 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 x__1_6270_6350 ) (F_6515 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 False ) .
F_6520 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6432 -> b_6432 (F_6519 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 False ) (F_6519 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 True ) .
F_6521 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6406 -> b_6406 (F_6518 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) (F_6523 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) .
F_6522 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6426 -> b_6426 (F_6518 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x__1_6270_6350 ) (F_6518 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6523 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6428 -> b_6428 (F_6522 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6522 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6524 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6408 -> b_6408 (F_6521 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) (F_6526 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x__2_6270_6351 ) .
F_6525 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6422 -> b_6422 (F_6521 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) (F_6521 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6526 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6424 -> b_6424 (F_6525 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6525 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6527 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6410 -> b_6410 (F_6524 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) (F_6529 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x_22 ) .
F_6528 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6418 -> b_6418 (F_6524 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) (F_6524 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6529 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6420 -> b_6420 (F_6528 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6528 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6530 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6412 -> b_6412 (F_6527 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x_22 ) (F_6527 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6531 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6414 -> b_6414 (F_6532 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) (F_6530 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6532 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6416 -> b_6416 (F_6530 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6530 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6538 x_154_6347 b_6398 x_6692 x_6693 -> b_6398 (F_3_6702 x_154_6347 x_6692 x_6693 ) (x_154_6347 False x_6692 x_6693 ) .
F_6542 x__6269_6349 x__6271_6352 b_6400 -> b_6400 Bottom0 (x__6269_6349 (F_3_6543 x__6271_6352 ) ) .
F_6544 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6402 -> b_6402 (F_6542 x__6269_6349 x__6271_6352 True ) (F_6546 x__6269_6349 x__1_6270_6350 x__6271_6352 x_22 ) .
F_6545 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6434 -> b_6434 (F_6542 x__6269_6349 x__6271_6352 x__1_6270_6350 ) (F_6542 x__6269_6349 x__6271_6352 False ) .
F_6546 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6436 -> b_6436 (F_6545 x__6269_6349 x__1_6270_6350 x__6271_6352 False ) (F_6545 x__6269_6349 x__1_6270_6350 x__6271_6352 True ) .
F_6547 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6404 -> b_6404 (F_6544 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 True ) (F_6549 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 x__2_6270_6351 ) .
F_6548 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6430 -> b_6430 (F_6544 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 x__1_6270_6350 ) (F_6544 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 False ) .
F_6549 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 b_6432 -> b_6432 (F_6548 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 False ) (F_6548 x_22 x__6269_6349 x__1_6270_6350 x__6271_6352 True ) .
F_6550 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6406 -> b_6406 (F_6547 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) (F_6552 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) .
F_6551 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6426 -> b_6426 (F_6547 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x__1_6270_6350 ) (F_6547 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6552 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6428 -> b_6428 (F_6551 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6551 x_22 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6553 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6408 -> b_6408 (F_6550 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) (F_6555 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x__2_6270_6351 ) .
F_6554 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6422 -> b_6422 (F_6550 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) (F_6550 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6555 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6424 -> b_6424 (F_6554 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6554 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6556 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6410 -> b_6410 (F_6553 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) (F_6558 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x_22 ) .
F_6557 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6418 -> b_6418 (F_6553 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) (F_6553 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6558 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6420 -> b_6420 (F_6557 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6557 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6559 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6412 -> b_6412 (F_6556 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 x_22 ) (F_6556 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6560 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6414 -> b_6414 (F_6561 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 score_185_6344 ) (F_6559 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) .
F_6561 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 b_6416 -> b_6416 (F_6559 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 False ) (F_6559 x_22 score_185_6344 x__6269_6349 x__1_6270_6350 x__2_6270_6351 x__6271_6352 True ) .
F_6562 f x_22 score_185_6344 k_loop_186_6345 b_6438 -> b_6438 (F_6497 f x_22 score_185_6344 k_loop_186_6345 score_185_6344 ) (F_6497 f x_22 score_185_6344 k_loop_186_6345 False ) .
F_6563 f x_22 score_185_6344 k_loop_186_6345 b_6440 -> b_6440 (F_6562 f x_22 score_185_6344 k_loop_186_6345 False ) (F_6562 f x_22 score_185_6344 k_loop_186_6345 True ) .
Fail_88 k_90 -> event_fail k_90 .
Loop f x_22 k_loop_21 -> br (Loop_6706 f x_22 k_loop_21 ) (Loop_6705 f x_22 k_loop_21 ) .
Loop_6705 f x_22 k_loop_21 -> F_6481 f x_22 k_loop_21 x_22 .
Loop_6706 f x_22 k_loop_21 -> l1 (k_loop_21 (F_3_6496 f x_22 ) ) .
Thenn ma mb k_thenn -> k_thenn (F_3_6564 ma mb ) .
True x y -> x .
False x y -> y .
%ENDG
%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA
