# isabelle_session_info

session_name: SumSquares
sources:
0a9b1618e646e6f097e066a048a6c6ea5e8de211
1a74dae19e78a324ba6a397f07cf7bddaecf9f1d
349b7b51fb3b595a40c187c8888da5bce4d6835c
9f1458bc860499132e79988e26c9213701f91aaf
d23451b2fc95e68df3aee5f50c02a2a8c976d841

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
26ae8fa5511ee03c7aad2befc092143c1bfaf495


