{"schema_version":1,"kind":"typed-tlc-capture","run_id":"alternate-holder","input_manifest_sha256":"04133ab1081702b4cce15176241db1644c4ae12d305408b232f0a078b55597fa","counterexample":{"kind":"record","fields":{"action":{"kind":"set","items":[{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"1"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"A"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Open"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"1"},"nextReceipt":{"kind":"integer","value":"1"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[]},"usedReceipts":{"kind":"set","items":[]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"5"},"beginLine":{"kind":"integer","value":"9"},"endColumn":{"kind":"integer","value":"40"},"endLine":{"kind":"integer","value":"10"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"Checkpoint"}}},{"kind":"tuple","items":[{"kind":"integer","value":"2"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"A"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Checkpoint"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"1"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"2"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"A"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Checkpoint"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"1"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"5"},"beginLine":{"kind":"integer","value":"13"},"endColumn":{"kind":"integer","value":"34"},"endLine":{"kind":"integer","value":"14"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"Act"}}},{"kind":"tuple","items":[{"kind":"integer","value":"3"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Begin"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Resolving"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"3"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Begin"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Resolving"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"12"},"beginLine":{"kind":"integer","value":"15"},"endColumn":{"kind":"integer","value":"74"},"endLine":{"kind":"integer","value":"15"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"Suspend"}}},{"kind":"tuple","items":[{"kind":"integer","value":"4"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"ChildSuspend"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"4"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"ChildSuspend"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"5"},"beginLine":{"kind":"integer","value":"17"},"endColumn":{"kind":"integer","value":"36"},"endLine":{"kind":"integer","value":"18"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"ChildComplete"}}},{"kind":"tuple","items":[{"kind":"integer","value":"5"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":true},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"ChildComplete"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"5"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":true},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"ChildComplete"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"5"},"beginLine":{"kind":"integer","value":"20"},"endColumn":{"kind":"integer","value":"35"},"endLine":{"kind":"integer","value":"26"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"Return"}}},{"kind":"tuple","items":[{"kind":"integer","value":"6"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"A"},"lastEvent":{"kind":"string","value":"Return"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childrenReturned":{"kind":"boolean","value":true},"complete":{"kind":"boolean","value":true},"drained":{"kind":"boolean","value":true},"id":{"kind":"integer","value":"2"},"reception":{"kind":"integer","value":"1"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"3"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"2"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"1"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"1"},"expectedTransaction":{"kind":"integer","value":"1"},"expectedWindow":{"kind":"integer","value":"1"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"},{"kind":"integer","value":"2"}]}}}}}]}]}]},"state":{"kind":"set","items":[{"kind":"tuple","items":[{"kind":"integer","value":"1"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"A"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Open"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"1"},"nextReceipt":{"kind":"integer","value":"1"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[]},"usedReceipts":{"kind":"set","items":[]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"2"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"A"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Checkpoint"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"1"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"3"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Begin"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Resolving"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"4"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"ChildSuspend"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"5"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":true},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"ChildComplete"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childrenReturned":{"kind":"boolean","value":false},"complete":{"kind":"boolean","value":false},"drained":{"kind":"boolean","value":false},"id":{"kind":"integer","value":"0"},"reception":{"kind":"integer","value":"0"},"transaction":{"kind":"integer","value":"0"},"window":{"kind":"integer","value":"0"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"2"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"1"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"0"},"actualChild":{"kind":"integer","value":"0"},"actualReception":{"kind":"integer","value":"0"},"actualTransaction":{"kind":"integer","value":"0"},"actualWindow":{"kind":"integer","value":"0"},"expectedCall":{"kind":"integer","value":"0"},"expectedChild":{"kind":"integer","value":"0"},"expectedReception":{"kind":"integer","value":"0"},"expectedTransaction":{"kind":"integer","value":"0"},"expectedWindow":{"kind":"integer","value":"0"}}},"transaction":{"kind":"integer","value":"1"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"6"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"0"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"A"},"lastEvent":{"kind":"string","value":"Return"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"A"},"call":{"kind":"integer","value":"1"},"child":{"kind":"integer","value":"1"},"childrenReturned":{"kind":"boolean","value":true},"complete":{"kind":"boolean","value":true},"drained":{"kind":"boolean","value":true},"id":{"kind":"integer","value":"2"},"reception":{"kind":"integer","value":"1"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"3"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":false},"reception":{"kind":"integer","value":"2"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"1"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"1"},"expectedTransaction":{"kind":"integer","value":"1"},"expectedWindow":{"kind":"integer","value":"1"}}},"transaction":{"kind":"integer","value":"0"},"usedCalls":{"kind":"set","items":[{"kind":"integer","value":"1"}]},"usedReceipts":{"kind":"set","items":[{"kind":"integer","value":"1"},{"kind":"integer","value":"2"}]}}}}}]}]}}},"model_values":[]}