# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
e96a53ecfba8c901425ebc6abaf9d1ab1381c1f6
3329f4008da94d222f4926ad1af6ecc78692ca6c


