==> 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 d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4
credential ef2e4e246b041f51396bfb6af90576dddf11a555.character <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character
  
===bad============ Acme.bad_buy_rockets <- Coyote
fail, here's a partial proof
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4
credential ef2e4e246b041f51396bfb6af90576dddf11a555.character <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4
  
===bad============ 99Acme.buy_rockets <- Coyote
fail, here's a partial proof
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.character
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4
credential ef2e4e246b041f51396bfb6af90576dddf11a555.character <- e8d4f94b7f585aaf97f461f7c3c983bfdabfbbf4
  
===bad=============== Acme.buy_rockets <- Batman
fail, here's a partial proof
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer <- e512543f8a53d70080c39a95bf1b3382d2e568a6
credential d3b44e2e48e6d9acf5062c37f55adce2235a447b.buy_rockets <- d3b44e2e48e6d9acf5062c37f55adce2235a447b.preferred_customer & ef2e4e246b041f51396bfb6af90576dddf11a555.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 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer <- cc40ac498c3e29aff34137b46cdf408f186adb1f
  
===good=============== Acme.buy_rockets <- Coyote
success
credential 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer <- cc40ac498c3e29aff34137b46cdf408f186adb1f
credential 4903b59978115a1e2a8f8bd239747330b35c05b8.buy_rockets <- 4903b59978115a1e2a8f8bd239747330b35c05b8.preferred_customer
  
===bad=============== Acme.buy_rockets <- Acme.preferred_customer
success
credential 4903b59978115a1e2a8f8bd239747330b35c05b8.buy_rockets <- 4903b59978115a1e2a8f8bd239747330b35c05b8.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 59981b7767298f8e155e2db3fec4dbc485f9922d.admin <- 4d8648573803d8c4e7e01e9089221ec59c6e4aee
 
===bad=============== Globotron.admin <- Bob
fail, here's a partial proof
credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.experiment_create <- 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner.experiment_create
credential 59981b7767298f8e155e2db3fec4dbc485f9922d.experiment_create <- 59981b7767298f8e155e2db3fec4dbc485f9922d.admin.power_user
credential 4d8648573803d8c4e7e01e9089221ec59c6e4aee.power_user <- dde47feb81858a19478877336013ad436f62cfc6
credential 59981b7767298f8e155e2db3fec4dbc485f9922d.admin <- 4d8648573803d8c4e7e01e9089221ec59c6e4aee
credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner <- 59981b7767298f8e155e2db3fec4dbc485f9922d
 
===good=============== Acme.experiment_create <- Bob
success
credential 4d8648573803d8c4e7e01e9089221ec59c6e4aee.power_user <- dde47feb81858a19478877336013ad436f62cfc6
credential 59981b7767298f8e155e2db3fec4dbc485f9922d.admin <- 4d8648573803d8c4e7e01e9089221ec59c6e4aee
credential 59981b7767298f8e155e2db3fec4dbc485f9922d.experiment_create <- 59981b7767298f8e155e2db3fec4dbc485f9922d.admin.power_user
credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner <- 59981b7767298f8e155e2db3fec4dbc485f9922d
credential 08c10e98a109c39388e3a289c53298c9fb07b6e8.experiment_create <- 08c10e98a109c39388e3a289c53298c9fb07b6e8.partner.experiment_create