# isabelle_session_info

session_name: Robbins-Conjecture
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
179e0a1bc6ef3dcc4446268cf7795880b0a5e961
2e26b1e29a3471e73b9ec5a949894753324031b3
bca2941f32693f001cc92de19a8245825e8bd49b


