propagate.prof

_Z3fooiil:33168:0
 0: 0
 1: 0
 2: 0
 4: 0
 4.1: 302
 4.2: 315
 5: 302
 6: 200
 7: 308
 8: 227
 9: 227
 10: 227
 11: 83
 11.1: 7553
 11.2: 7479
 12: 7479
 13: 7479
 16: 305
 18: 0
 19: 0
 65533: 308