# isabelle_session_info

session_name: Surprise_Paradox
sources: c6521d7650cde8ffdac4e8a72e0cd13d8d7db558
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
6b844e499af244731e9df28f8a3632b143e06d3b
b8020fa2e6b77cbf547e2fe43e535f50b0d5ec5a
84df61c4126ec40880eb12410309f7c2f51f3051
7ace09c6549dbafc98b367695ec075fd3dad842b


