# isabelle_session_info

session_name: Sugar
input_heaps: 1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
sources:
007664efb3738ca409342bcbf25b57d436593bcf
0d23fc7b1a8c0191346827b5e78a62d1b260bb54
1b1cb36eafcdb7e02008b7932e0aa3a598e6034b
304ca8c01a25af412285de51aeddc0185dc75abe
5b00ba8d0076278ae4266077ee70eb7a0bdc1162
5ea4b8e31674525de970ce99e9d7e687ab5a9043
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6
faee925911f94ad13d29fb9d34b8d8f824a7470b


