==> RUN on acme_rockets_intersection_rt0
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
  
===good============ Acme.buy_rockets <- Coyote
success
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e
credential b16e42889f7f0f766a6f475fed72eae785253dd0.character <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character
  
===bad============ Acme.bad_buy_rockets <- Coyote
fail, here's a partial proof
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e
credential b16e42889f7f0f766a6f475fed72eae785253dd0.character <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e
  
===bad============ 99Acme.buy_rockets <- Coyote
fail, here's a partial proof
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e
credential b16e42889f7f0f766a6f475fed72eae785253dd0.character <- 6952e3658904dab71ac8b61c9bd1435a3ac4311e
  
===bad=============== Acme.buy_rockets <- Batman
fail, here's a partial proof
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer <- d8fa70873d2707f59c40e1e97d2806564298d887
credential 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.buy_rockets <- 47b2e4fc3c15eb8b0a5c9176b123ad623233c13b.preferred_customer & b16e42889f7f0f766a6f475fed72eae785253dd0.character

 ==> RUN on acme_rockets_rt0
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
  
===good============ Acme.preferred_customer <- Coyote
success
credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer <- 35fdd9f2f688f7ec1eb3e9116054f1b67da55a05
  
===good=============== Acme.buy_rockets <- Coyote
success
credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer <- 35fdd9f2f688f7ec1eb3e9116054f1b67da55a05
credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.buy_rockets <- 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer
  
===bad=============== Acme.buy_rockets <- Acme.preferred_customer
success
credential 282dd1318dd52dcd5b4d98f34935613eebcd193c.buy_rockets <- 282dd1318dd52dcd5b4d98f34935613eebcd193c.preferred_customer
  
===bad=============== Coyote.friend <- Acme
fail, here's a partial proof

 ==> RUN on experiment_create_rt0
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
Generating key, this will take a while. Create entropy!
    - move the mouse
    - generate disk activity (run find)
 
===good=============== Globotron.admin <- Alice
success
credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin <- 04b57bdd93749c142d6d866fce0bb5eac8dac78a
 
===bad=============== Globotron.admin <- Bob
fail, here's a partial proof
credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.experiment_create <- 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner.experiment_create
credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.experiment_create <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin.power_user
credential 04b57bdd93749c142d6d866fce0bb5eac8dac78a.power_user <- 364426ced8732002fb5b10d8c0d05bcff9818f12
credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin <- 04b57bdd93749c142d6d866fce0bb5eac8dac78a
credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6
 
===good=============== Acme.experiment_create <- Bob
success
credential 04b57bdd93749c142d6d866fce0bb5eac8dac78a.power_user <- 364426ced8732002fb5b10d8c0d05bcff9818f12
credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin <- 04b57bdd93749c142d6d866fce0bb5eac8dac78a
credential 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.experiment_create <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6.admin.power_user
credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner <- 8ef4b584cceb41d1e635934b8cf2ab6e887a91e6
credential 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.experiment_create <- 33e329b8183f8fb93ef7a66a48d2dd4c0c82e442.partner.experiment_create