# isabelle_session_info

session_name: Nitpick
input_heaps: 30107fd93ce37db2bdd67b83360028ac0c573143
sources:
188e1066095fd2b98c500e2816b3e3da0d801ce8
457d02a572a0fdf5e6d683531094ab0706112941
8f194db846e67a7e87b25a27fa8ba1259c4af82d
a634d2977750efd14daaf8018feb1fdee3310b68
b11535fde2d9d0009e6e8cb56e2404c1fd4bd994
da1567c528c0591b76c11bbf612dc90f71ec564d
e0c27630056f0366330b7c9ad85474caa07ad3c2


