{"schema_version":1,"kind":"typed-tlc-capture","run_id":"sticky-pass","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":"9"},"beginLine":{"kind":"integer","value":"11"},"endColumn":{"kind":"integer","value":"62"},"endLine":{"kind":"integer","value":"11"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"Pass"}}},{"kind":"tuple","items":[{"kind":"integer","value":"3"},{"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":"1"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Pass"},"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":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"3"},{"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":"1"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Pass"},"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":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"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":"4"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"holder":{"kind":"string","value":"B"},"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":"3"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"4"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"holder":{"kind":"string","value":"B"},"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":"3"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"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":"5"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Resolving"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"5"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Resolving"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"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":"6"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"6"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"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":"7"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":true},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"7"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":true},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"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":"8"},{"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":"B"},"lastEvent":{"kind":"string","value":"Return"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"4"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"8"},{"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":"B"},"lastEvent":{"kind":"string","value":"Return"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"4"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"}]}}}}}]},{"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":"9"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"4"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"B"},"lastEvent":{"kind":"string","value":"Checkpoint"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"5"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"},{"kind":"integer","value":"4"}]}}}}}]}]},{"kind":"tuple","items":[{"kind":"tuple","items":[{"kind":"integer","value":"9"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"4"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"B"},"lastEvent":{"kind":"string","value":"Checkpoint"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"5"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"},{"kind":"integer","value":"4"}]}}}}}]},{"kind":"record","fields":{"location":{"kind":"record","fields":{"beginColumn":{"kind":"integer","value":"9"},"beginLine":{"kind":"integer","value":"11"},"endColumn":{"kind":"integer","value":"62"},"endLine":{"kind":"integer","value":"11"},"module":{"kind":"string","value":"PriorityMC"}}},"name":{"kind":"string","value":"Pass"}}},{"kind":"tuple","items":[{"kind":"integer","value":"10"},{"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":"1"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"B"},"lastEvent":{"kind":"string","value":"Pass"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"5"},"phase":{"kind":"string","value":"Closed"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"},{"kind":"integer","value":"4"}]}}}}}]}]}]},"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":"10"},{"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":"1"},"holder":{"kind":"string","value":"None"},"lastActor":{"kind":"string","value":"B"},"lastEvent":{"kind":"string","value":"Pass"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"5"},"phase":{"kind":"string","value":"Closed"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"},{"kind":"integer","value":"4"}]}}}}}]},{"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":"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":"1"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"None"},"lastEvent":{"kind":"string","value":"Pass"},"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":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"4"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"holder":{"kind":"string","value":"B"},"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":"3"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"5"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Resolving"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"6"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"7"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"B"},"call":{"kind":"integer","value":"1"},"checkpoint":{"kind":"integer","value":"2"},"child":{"kind":"integer","value":"1"},"childComplete":{"kind":"boolean","value":true},"consecutivePasses":{"kind":"integer","value":"1"},"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":"3"},"phase":{"kind":"string","value":"Paused"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"2"},"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":"integer","value":"2"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"8"},{"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":"B"},"lastEvent":{"kind":"string","value":"Return"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"4"},"phase":{"kind":"string","value":"NeedCheckpoint"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"}]}}}}}]},{"kind":"tuple","items":[{"kind":"integer","value":"9"},{"kind":"record","fields":{"state":{"kind":"record","fields":{"busyActor":{"kind":"string","value":"None"},"call":{"kind":"integer","value":"0"},"checkpoint":{"kind":"integer","value":"4"},"child":{"kind":"integer","value":"0"},"childComplete":{"kind":"boolean","value":false},"consecutivePasses":{"kind":"integer","value":"0"},"holder":{"kind":"string","value":"B"},"lastActor":{"kind":"string","value":"B"},"lastEvent":{"kind":"string","value":"Checkpoint"},"lastReturn":{"kind":"record","fields":{"actor":{"kind":"string","value":"B"},"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":"3"},"reception":{"kind":"integer","value":"2"},"transaction":{"kind":"integer","value":"1"},"window":{"kind":"integer","value":"1"}}},"nextCall":{"kind":"integer","value":"2"},"nextReceipt":{"kind":"integer","value":"5"},"phase":{"kind":"string","value":"Ready"},"previousPass":{"kind":"boolean","value":true},"reception":{"kind":"integer","value":"3"},"returnAudit":{"kind":"record","fields":{"actualCall":{"kind":"integer","value":"1"},"actualChild":{"kind":"integer","value":"1"},"actualReception":{"kind":"integer","value":"2"},"actualTransaction":{"kind":"integer","value":"1"},"actualWindow":{"kind":"integer","value":"1"},"expectedCall":{"kind":"integer","value":"1"},"expectedChild":{"kind":"integer","value":"1"},"expectedReception":{"kind":"integer","value":"2"},"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"},{"kind":"integer","value":"3"},{"kind":"integer","value":"4"}]}}}}}]}]}}},"model_values":[]}