# isabelle_session_info

session_name: SumSquares
sources:
0a9b1618e646e6f097e066a048a6c6ea5e8de211
0fb8748bde8d9ad55867c4cd23ee350aac1b38a7
349b7b51fb3b595a40c187c8888da5bce4d6835c
9f1458bc860499132e79988e26c9213701f91aaf
d23451b2fc95e68df3aee5f50c02a2a8c976d841

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
f2c2e56b811424ca76167d3fb0e80c60cedb8d48


