# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
e689e4dd8e5b66d1ce0438e4d78b37235fa465f7
9b5777b2744f5e0463dbe1d488b2019c496bbd5c


