Running... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 0s | 0/50000 samples | 0 samples/sRunning... [                                        ] 0% | ETA: 3691s | 25/50000 samples | 14 samples/sRunning... [                                        ] 0% | ETA: 2859s | 34/50000 samples | 17 samples/sRunning... [                                        ] 0% | ETA: 1572s | 65/50000 samples | 32 samples/sRunning... [                                        ] 0% | ETA: 799s | 134/50000 samples | 62 samples/sRunning... [                                        ] 0% | ETA: 533s | 210/50000 samples | 93 samples/sRunning... [                                        ] 0% | ETA: 382s | 306/50000 samples | 130 samples/sRunning... [                                        ] 0% | ETA: 255s | 476/50000 samples | 194 samples/sRunning... [■                                       ] 1% | ETA: 191s | 662/50000 samples | 260 samples/sRunning... [■                                       ] 1% | ETA: 158s | 827/50000 samples | 312 samples/sRunning... [■                                       ] 2% | ETA: 45s | 1025/50000 samples | 372 samples/sRunning... [■                                       ] 2% | ETA: 37s | 1241/50000 samples | 435 samples/sRunning... [■                                       ] 2% | ETA: 32s | 1455/50000 samples | 493 samples/sRunning... [■                                       ] 3% | ETA: 30s | 1650/50000 samples | 540 samples/sRunning... [■                                       ] 3% | ETA: 27s | 1839/50000 samples | 583 samples/sRunning... [■■                                      ] 4% | ETA: 26s | 2028/50000 samples | 622 samples/sRunning... [■■                                      ] 4% | ETA: 26s | 2199/50000 samples | 655 samples/sRunning... [■■                                      ] 4% | ETA: 26s | 2349/50000 samples | 679 samples/sRunning... [■■                                      ] 5% | ETA: 25s | 2755/50000 samples | 752 samples/sRunning... [■■                                      ] 5% | ETA: 25s | 2981/50000 samples | 791 samples/sRunning... [■■■                                     ] 6% | ETA: 24s | 3277/50000 samples | 848 samples/sRunning... [■■■                                     ] 7% | ETA: 23s | 3560/50000 samples | 897 samples/sRunning... [■■■                                     ] 7% | ETA: 22s | 3825/50000 samples | 940 samples/sRunning... [■■■                                     ] 8% | ETA: 21s | 4070/50000 samples | 976 samples/sRunning... [■■■                                     ] 8% | ETA: 20s | 4316/50000 samples | 1011 samples/sRunning... [■■■■                                    ] 9% | ETA: 19s | 4537/50000 samples | 1038 samples/sRunning... [■■■■                                    ] 9% | ETA: 19s | 4759/50000 samples | 1064 samples/sRunning... [■■■■                                    ] 9% | ETA: 19s | 4940/50000 samples | 1080 samples/sRunning... [■■■■                                    ] 10% | ETA: 19s | 5146/50000 samples | 1100 samples/sRunning... [■■■■                                    ] 10% | ETA: 20s | 5391/50000 samples | 1126 samples/sRunning... [■■■■                                    ] 11% | ETA: 20s | 5618/50000 samples | 1149 samples/sRunning... [■■■■■                                   ] 11% | ETA: 21s | 5801/50000 samples | 1163 samples/sRunning... [■■■■■                                   ] 12% | ETA: 21s | 6072/50000 samples | 1192 samples/sRunning... [■■■■■                                   ] 12% | ETA: 21s | 6307/50000 samples | 1214 samples/sRunning... [■■■■■                                   ] 13% | ETA: 21s | 6535/50000 samples | 1234 samples/sRunning... [■■■■■                                   ] 13% | ETA: 21s | 6755/50000 samples | 1252 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 20s | 7027/50000 samples | 1278 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 19s | 7269/50000 samples | 1298 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 19s | 7269/50000 samples | 1298 samples/sRunning... [■■■■■■                                  ] 14% | ETA: 19s | 7480/50000 samples | 1309 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 19s | 7697/50000 samples | 1323 samples/sRunning... [■■■■■■                                  ] 15% | ETA: 19s | 7924/50000 samples | 1339 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 19s | 8138/50000 samples | 1352 samples/sRunning... [■■■■■■■                                 ] 16% | ETA: 19s | 8351/50000 samples | 1364 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 20s | 8549/50000 samples | 1374 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 20s | 8742/50000 samples | 1383 samples/sRunning... [■■■■■■■                                 ] 17% | ETA: 20s | 8948/50000 samples | 1393 samples/sRunning... [■■■■■■■                                 ] 18% | ETA: 21s | 9155/50000 samples | 1403 samples/sRunning... [■■■■■■■■                                ] 18% | ETA: 20s | 9393/50000 samples | 1415 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 20s | 9603/50000 samples | 1425 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 20s | 9793/50000 samples | 1432 samples/sRunning... [■■■■■■■■                                ] 19% | ETA: 21s | 9977/50000 samples | 1436 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 21s | 10140/50000 samples | 1438 samples/sRunning... [■■■■■■■■                                ] 20% | ETA: 22s | 10494/50000 samples | 1446 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 22s | 10658/50000 samples | 1448 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 22s | 10818/50000 samples | 1450 samples/sRunning... [■■■■■■■■■                               ] 21% | ETA: 23s | 10982/50000 samples | 1453 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 24s | 11137/50000 samples | 1454 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 24s | 11137/50000 samples | 1454 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 25s | 11278/50000 samples | 1453 samples/sRunning... [■■■■■■■■■                               ] 22% | ETA: 24s | 11471/50000 samples | 1458 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 23s | 11664/50000 samples | 1464 samples/sRunning... [■■■■■■■■■                               ] 23% | ETA: 23s | 11848/50000 samples | 1469 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 23s | 12032/50000 samples | 1473 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 23s | 12213/50000 samples | 1476 samples/sRunning... [■■■■■■■■■■                              ] 24% | ETA: 22s | 12389/50000 samples | 1480 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 22s | 12575/50000 samples | 1484 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 22s | 12728/50000 samples | 1484 samples/sRunning... [■■■■■■■■■■                              ] 25% | ETA: 21s | 12923/50000 samples | 1487 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 22s | 13248/50000 samples | 1487 samples/sRunning... [■■■■■■■■■■■                             ] 26% | ETA: 23s | 13389/50000 samples | 1488 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 22s | 13591/50000 samples | 1493 samples/sRunning... [■■■■■■■■■■■                             ] 27% | ETA: 22s | 13793/50000 samples | 1499 samples/sRunning... [■■■■■■■■■■■                             ] 28% | ETA: 21s | 14001/50000 samples | 1505 samples/sRunning... [■■■■■■■■■■■                             ] 28% | ETA: 21s | 14185/50000 samples | 1508 samples/sRunning... [■■■■■■■■■■■                             ] 28% | ETA: 21s | 14369/50000 samples | 1511 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 21s | 14557/50000 samples | 1514 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 20s | 14736/50000 samples | 1517 samples/sRunning... [■■■■■■■■■■■■                            ] 29% | ETA: 19s | 14940/50000 samples | 1522 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 19s | 15107/50000 samples | 1523 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 19s | 15107/50000 samples | 1523 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 20s | 15252/50000 samples | 1521 samples/sRunning... [■■■■■■■■■■■■                            ] 30% | ETA: 20s | 15415/50000 samples | 1522 samples/sRunning... [■■■■■■■■■■■■                            ] 31% | ETA: 20s | 15604/50000 samples | 1526 samples/sRunning... [■■■■■■■■■■■■■                           ] 31% | ETA: 19s | 15841/50000 samples | 1534 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 19s | 16082/50000 samples | 1541 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 18s | 16285/50000 samples | 1546 samples/sRunning... [■■■■■■■■■■■■■                           ] 32% | ETA: 18s | 16473/50000 samples | 1549 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 18s | 16665/50000 samples | 1552 samples/sRunning... [■■■■■■■■■■■■■                           ] 33% | ETA: 18s | 16831/50000 samples | 1553 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 18s | 17009/50000 samples | 1555 samples/sRunning... [■■■■■■■■■■■■■■                          ] 34% | ETA: 18s | 17429/50000 samples | 1554 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 17s | 17663/50000 samples | 1571 samples/sRunning... [■■■■■■■■■■■■■■                          ] 35% | ETA: 17s | 17894/50000 samples | 1577 samples/sRunning... [■■■■■■■■■■■■■■                          ] 36% | ETA: 16s | 18121/50000 samples | 1582 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 36% | ETA: 16s | 18346/50000 samples | 1588 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 16s | 18552/50000 samples | 1592 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 16s | 18734/50000 samples | 1594 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 37% | ETA: 15s | 18956/50000 samples | 1598 samples/sRunning... [■■■■■■■■■■■■■■■                         ] 38% | ETA: 15s | 19180/50000 samples | 1604 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 38% | ETA: 14s | 19412/50000 samples | 1609 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 14s | 19663/50000 samples | 1617 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 39% | ETA: 14s | 19904/50000 samples | 1623 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 14s | 20136/50000 samples | 1629 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 40% | ETA: 14s | 20366/50000 samples | 1634 samples/sRunning... [■■■■■■■■■■■■■■■■                        ] 41% | ETA: 14s | 20591/50000 samples | 1638 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 13s | 20792/50000 samples | 1641 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 41% | ETA: 13s | 20993/50000 samples | 1644 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 14s | 21183/50000 samples | 1646 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 42% | ETA: 14s | 21391/50000 samples | 1649 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 14s | 21632/50000 samples | 1655 samples/sRunning... [■■■■■■■■■■■■■■■■■                       ] 43% | ETA: 14s | 21854/50000 samples | 1659 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 14s | 22062/50000 samples | 1662 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 44% | ETA: 14s | 22291/50000 samples | 1666 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 13s | 22522/50000 samples | 1671 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 13s | 22740/50000 samples | 1675 samples/sRunning... [■■■■■■■■■■■■■■■■■■                      ] 45% | ETA: 13s | 22976/50000 samples | 1680 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 13s | 23209/50000 samples | 1684 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 46% | ETA: 12s | 23436/50000 samples | 1688 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 12s | 23646/50000 samples | 1691 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 47% | ETA: 12s | 23861/50000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 12s | 24085/50000 samples | 1697 samples/sRunning... [■■■■■■■■■■■■■■■■■■■                     ] 48% | ETA: 12s | 24314/50000 samples | 1701 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 12s | 24522/50000 samples | 1704 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 12s | 24732/50000 samples | 1707 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 49% | ETA: 12s | 24905/50000 samples | 1707 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 13s | 25097/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 13s | 25278/50000 samples | 1709 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■                    ] 50% | ETA: 13s | 25479/50000 samples | 1711 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 13s | 25666/50000 samples | 1712 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 13s | 25792/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 51% | ETA: 14s | 25916/50000 samples | 1705 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 14s | 26080/50000 samples | 1704 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 14s | 26293/50000 samples | 1707 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 52% | ETA: 14s | 26474/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 14s | 26659/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■                   ] 53% | ETA: 14s | 26827/50000 samples | 1708 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 53% | ETA: 15s | 26976/50000 samples | 1706 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 15s | 27099/50000 samples | 1703 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 15s | 27232/50000 samples | 1700 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 54% | ETA: 15s | 27362/50000 samples | 1698 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 15s | 27506/50000 samples | 1696 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 16s | 27639/50000 samples | 1694 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 16s | 27756/50000 samples | 1690 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 17s | 27853/50000 samples | 1686 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 19s | 27922/50000 samples | 1680 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 55% | ETA: 20s | 27990/50000 samples | 1674 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■                  ] 56% | ETA: 21s | 28069/50000 samples | 1669 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 22s | 28139/50000 samples | 1663 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 24s | 28206/50000 samples | 1657 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 26s | 28285/50000 samples | 1652 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 28s | 28360/50000 samples | 1647 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 29s | 28435/50000 samples | 1642 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 56% | ETA: 32s | 28481/50000 samples | 1635 samples/sRunning... [■■■■■■■■■■■■■■■■■■■■■■■                 ] 57% | ETA: 34s | 28507/50000 samples | 1627 samples/sAn example execution:

[State 0]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: true,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set(),
  hubBlock::relay::phase: Init,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 1]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 1,
  hubBlock::relay::hPaths: Map(0 -> Set("a", "b", "c"), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: true,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 2]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "b", "c"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 3]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 4]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("c"),
  hubBlock::relay::hubSent: Set(),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 5]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Man, 2 -> Nil),
  hubBlock::relay::wLen: 2,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "c", 2 -> "a")
}

[State 6]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("a", "b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "c", 1 -> "a", 2 -> "a")
}

[State 7]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set()),
  hubBlock::relay::hHashes: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::hLen: 0,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("a"),
  hubBlock::relay::hubSent: Set("c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 0,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set(),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "c", 1 -> "a", 2 -> "a")
}

[State 8]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set()),
  hubBlock::relay::hLen: 1,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("a"),
  hubBlock::relay::hubSent: Set("c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 1,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 9]
{
  hubBlock::relay::awaiting: Map(1 -> Set(), 2 -> Set(), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set()),
  hubBlock::relay::hLen: 1,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 1,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Man, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 10]
{
  hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Nil, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 0,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 11]
{
  hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Nil, 2 -> Nil),
  hubBlock::relay::wLen: 1,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 12]
{
  hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set("b"),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set(),
  hubBlock::relay::hubSent: Set("a", "c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Nil),
  hubBlock::relay::wLen: 2,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 13]
{
  hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("b"),
  hubBlock::relay::hubSent: Set("a", "c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Nil),
  hubBlock::relay::wLen: 2,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[State 14]
{
  hubBlock::relay::awaiting: Map(1 -> Set("a"), 2 -> Set("a"), 3 -> Set("c")),
  hubBlock::relay::hHashes: Map(0 -> Set(3), 1 -> Set(1, 2)),
  hubBlock::relay::hLen: 2,
  hubBlock::relay::hPaths: Map(0 -> Set(), 1 -> Set()),
  hubBlock::relay::have: Set(),
  hubBlock::relay::hubComputing: Set(),
  hubBlock::relay::hubErr: false,
  hubBlock::relay::hubFirstNeed: false,
  hubBlock::relay::hubOutbox: Set("b"),
  hubBlock::relay::hubSent: Set("a", "c"),
  hubBlock::relay::imported: Set(),
  hubBlock::relay::inline: Set(),
  hubBlock::relay::outstanding: 2,
  hubBlock::relay::pending: Set("a", "b", "c"),
  hubBlock::relay::phase: Staging,
  hubBlock::relay::qHashes:
    Map(0 -> Set(), 1 -> Set(), 2 -> Set(), 3 -> Set(), 4 -> Set(), 5 -> Set()),
  hubBlock::relay::qLen: 0,
  hubBlock::relay::recipes: Set("a", "c"),
  hubBlock::relay::rounds: 0,
  hubBlock::relay::store: Set(),
  hubBlock::relay::wChunks: Map(0 -> Set(), 1 -> Set(), 2 -> Set()),
  hubBlock::relay::wKind: Map(0 -> Other, 1 -> Other, 2 -> Other),
  hubBlock::relay::wLen: 3,
  hubBlock::relay::wPath: Map(0 -> "a", 1 -> "a", 2 -> "a")
}

[violation] Found an issue (17776ms at 1604 traces/second).
Use --verbosity=3 to show executions.
Use --seed=0xb659c0a826d77e8e --backend=rust to reproduce.
error: Invariant violated