# isabelle_session_info

session_name: Buffons_Needle
sources:
472226100ae27ad24b652caa510cc6022ce1dc2a
5d0c5d1a9d2fcc4b28b595c22d5d6d70590ae180
77a7ffcbcf94b2be64b1ad8d277ac932fbfe3ed6
d8803725895c2727b9591c321eb8201e3d5a8e95

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
000c31cfe79f77e59785b0781aea8cbf500999b8
2e955ab17180c267756e7fdff229af0d6ca147a9


