# isabelle_session_info

session_name: Polynomial_Interpolation
sources:
02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07
0c2e6ea241c5cbcf9e054ebff91076cbbc011d96
0d0953ac4c83a961a2cc6b09188e710467b61817
11dfd8947e6a414f9ca75cb3a3ca493c6101dade
12ec7cff11983f7c7a7fbe6a056e7906b10e0c47
3997ad1247c599ff5ca5a09326a165d755ba9b8b
4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1
5c57cb94f124fde23cc428d02c89099265ca2aea
5c5e1236472315944402fb10792f7bcf14f7e7d8
69b4d87e9cab0b856337e17afce32c08395ac7ff
754868a97fb8ecb4bd5624245676b23ddd584c4a
92a988078c37603d1a6c9e46f0f5d1d67d222e1f
9423cfbe33c446e9427e1802bee1b228805a86ed
98f8b5628ffebda798f975de4a2ea618c5f350f3
9bac1597585801cc20138f24efd05b1e1c42edbb
9f9c809496c43e458557929e05501a0e473845af
dd60e39f2dd4a5069421c64b7763cd217c446055
f58d9421c3633188ce29b01448ae8179d8568052

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
9d16446985398a9a4a5a5c5d9f4c3cd654f14764


