# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
53c8bd6cd9b4e6659e7c8d26458e89775080e70f
efd18841017caead5c98b3dae82ea8c0b05c5144


