# isabelle_session_info

session_name: Robbins-Conjecture
input_heaps: 238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c
sources:
179e0a1bc6ef3dcc4446268cf7795880b0a5e961
2e26b1e29a3471e73b9ec5a949894753324031b3
a1d6778ea1c69fccd623f08d8e6ef26797959365


