[{"start_time": "2023-09-01T16:39:59Z", "end_time": "2023-09-01T16:40:02Z", "text": "Which of the Domain Specific Tools training should we run at IETF 118", "raise_hand": 0, "do_not_raise_hand": 0}, {"start_time": "2023-09-01T16:40:28Z", "end_time": "2023-09-01T16:40:56Z", "text": "Tamarin and Coq?", "raise_hand": 11, "do_not_raise_hand": 0}]