# isabelle_session_info

session_name: Vickrey_Clarke_Groves
sources:
09a56a4c4a64772588092d2622a3f44f90355e11
104701e0b8170de33ceff5b84a3a1cd18d6c8cd3
1ae56a5039e03d41834099610012cca5afce0f4c
1ca4d5b77e29a1cf8a8aed79b6a493ba7db73c2f
364542bf3713aed24ff20724ed545dd4b95cd215
518620b683ccf5eedbdf8370e613029d8bd51ddd
649a7e4dcf0db653d29c8dd3450715e7b7d101d8
663f375206544d3eac3e8ee96e76afccb5dbb6e1
9f79f69765d9d3b508a83feb69b4949254d847a3
b810e72d9eeebe5eea939f4d6f5373c68e720d78
bbca03a883fadd20a426f4b3d7c73ab81cacecbd
cf76834a34a9c40441bded842c03859ea0ebdb2e
d42fbcf83a8eb98f539a52c034c529e080213ca8
d5b64fa054ca8ccc27a152e231927d824c8ac45e
fb12862744b1e685e229768c02603b2f3f491bb6
ff2e3c58a670d3a8854e2f2752c7139c764e0e9f

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


