# isabelle_session_info

session_name: Sugar
input_heaps: d38e002fb81c6e684e22dfb9a00446f1cfd993cd c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
sources:
007664efb3738ca409342bcbf25b57d436593bcf
09ed8e3647ac2ab7585af4bfd03b0ca28be5291c
0d23fc7b1a8c0191346827b5e78a62d1b260bb54
1b1cb36eafcdb7e02008b7932e0aa3a598e6034b
304ca8c01a25af412285de51aeddc0185dc75abe
5b00ba8d0076278ae4266077ee70eb7a0bdc1162
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
d4a744693dde4b2b4dcd1b586a909e4d25f5abd6
faee925911f94ad13d29fb9d34b8d8f824a7470b


