# isabelle_session_info

session_name: Algebraic_VCs
sources:
01d7221a5ca306632622ef3d2bc639e541d2ecf2
0d624df132aa2e54b02fa619fa707a1b424b9830
125e4bb865c0b71f74f19c32a3b321767d929684
192483951cd8350823f01e3935b3ac3165776308
215b967c6b6de665ad15c2bc383a16898486cb46
22f71049075f4704ecf0569858fbe207380f143e
28c88bc2d76229ee4381ad0cca1c94f07d7bc71c
2fef9e83401fd3bf8187d0e6f03ecd3b91e70104
383dee4bb60284cc7229af5017def9c12378879e
3d960a8e40faf2a74c3b7946088a5bce18ae5b43
44662f62d7096b4446ada9d1d96d04a7c7ef1a71
4893f060011fee2567d386a83c17eb08179d88c7
4bd59757d95a4dfd72fd9de5cb9ee71638997ae7
66a0efe96f11f0778dccde0fcd7f6920828c0fa3
6841d4496e8627147d057b61f095daa0827118e2
6f108f18ef8e847a7f9db85f8e1fa06003818cc0
716e997e6470d2474b98494fe2d1f460cb46a01f
750a1cdd8a9729a7d1a397f35402f6fa8d06e95a
77d0d6b5dc31a062adddd307de763e87b209d052
7c76d6abdc61b8f8e59098c9e1108fc4a7954cc7
82f8b53f881ea9494b107c2fdb91c51de1a6cf2c
856f212c93f52e735e2748fa977cf0d2104797c7
86e2ef92ac7d8a3d145d2164442c5c4c62c68b54
971c4abd5223f7df385d9bc7332a6316b3479ff2
973d6bd96dc9037f8676681fb869d6ae83013aac
a2a4c39633ee6f9dd148c650c46d3889c70ca91c
b42e70738c00b97bf9aad45b09c41c45043dcfae
b9500e17869f5fc386b0664455fb501ee97f2fe7
c0b80da767442154f8f67d1a78020874407ee5ea
c0e18460ea0efaed7358cafc465f84d259253f36
c2629e34f1e5f51badfeb45cfcb7db900fff9141
c6bb99d253b0521287a795dbb7daf9492c0b925d
c857cd19ad1dbcd3b322061d8744fa84e45c485f
d8e62c3a30723ace40d044281020fbfb35732caf
dd0e0e2cfcac8e9fbe4c293ff27f92cb317e9988
fd24ba045add4e05c997f27af2e866dc87f29034

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
d57bac779b5b488848d380f44507ec94d26f5b25
f073f7a52816d7314e464035326a3889904aece9
bf0b8760483207aec4c8e8fa17dd7273a0289a61


