{"state_read":["01000000000000000190010000000000000000010000000000000000010000000000000000010000000000000000010000000000000004010000000000000001010000000000000000a080"],"constraints":["0100000000000000000100000000000000010100000000000000020100000000000000030202020201000000000000000001000000000000000036010000000000000000100100000000000000000100000000000000013401000000000000002a1016"],"directive":"Satisfy"}