# isabelle_session_info

session_name: Sugar
input_heaps: 30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
sources:
007664efb3738ca409342bcbf25b57d436593bcf
0d23fc7b1a8c0191346827b5e78a62d1b260bb54
1b1cb36eafcdb7e02008b7932e0aa3a598e6034b
304ca8c01a25af412285de51aeddc0185dc75abe
5b00ba8d0076278ae4266077ee70eb7a0bdc1162
660a191f51368b8965893a7e414f7b91d20af096
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6
faee925911f94ad13d29fb9d34b8d8f824a7470b


