# isabelle_session_info

session_name: Vickrey_Clarke_Groves
sources:
09a56a4c4a64772588092d2622a3f44f90355e11
104701e0b8170de33ceff5b84a3a1cd18d6c8cd3
1ae56a5039e03d41834099610012cca5afce0f4c
518620b683ccf5eedbdf8370e613029d8bd51ddd
5b6a0423a233b3ff23f6312247aad859ff59dfc7
649a7e4dcf0db653d29c8dd3450715e7b7d101d8
79a31ce21aa5095095da096bcee11995d05a50c3
8ae3e8a2636d5abf8509cf07e9ab2959c18e0f17
98fe36493d38fdfc0bf0b80c00c79f7df5df3e52
9f79f69765d9d3b508a83feb69b4949254d847a3
a5632cb34a80e685f4660c34baab8d9356834a0d
bbca03a883fadd20a426f4b3d7c73ab81cacecbd
cf76834a34a9c40441bded842c03859ea0ebdb2e
d42fbcf83a8eb98f539a52c034c529e080213ca8
e5835bf6362eefa613c07394edb18d0d7996a922
f1b8a05db98e0cd088b94b172d8eb57e9f2e5598

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c


