# isabelle_session_info

session_name: Polynomial_Interpolation
sources:
032879ffe48e4f8a576cf73031ef5b1efc48909b
04838ebc096a0f58c270cb43e5687be4afad0744
0c2e6ea241c5cbcf9e054ebff91076cbbc011d96
12ec7cff11983f7c7a7fbe6a056e7906b10e0c47
27ac21bdb159031616c4cf5627db252d4a84c80e
2c3e480de7d0907848a1519cdd85a3213e0d892e
4dd2ad968bf5ca9baef9b5b38e41a85cea9bbbc1
5c57cb94f124fde23cc428d02c89099265ca2aea
5c5e1236472315944402fb10792f7bcf14f7e7d8
9423cfbe33c446e9427e1802bee1b228805a86ed
9f9c809496c43e458557929e05501a0e473845af
b11d34899f6b5fe605610238ecc5ec490328bb6a
b4e13b84e26f1a05f72f4ab06b2e7ba7e1534362
c3cabaf82e20c20da85a471147e0d20f75fa4074
dd60e39f2dd4a5069421c64b7763cd217c446055

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2
2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89


