# isabelle_session_info

session_name: MFMC_Countable
sources:
19e2cf0910b7071efb7af8472164cf296f5e5ce5
346146238c66aa3e706857a5da86223bedd0d725
444d44cbf04fcccb63e0be6f75dae67a16d01f41
5e2886080de1faa06657d403497f877b8013669e
720ac04f33ddc2813d1275c854e6768f8d752240
727a3bc73d01adf44a32e16a42e3681b2739013d
821ae2330fe72fc145d299eccbf2c16ed7c94604
8f298abcadb3bba8f71b6470a1d7621e1385a5a8
f221a5367f960c3148624d276c49476719de155c

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
3d4014483414825c400089dffb34dee8f3340d83


