# isabelle_session_info

session_name: Euler_Partition
input_heaps: e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
sources:
0f83e9379368d232af1423c3a9685e6e1cf74f88
119d44278270db17b2743c3a9e79a787bc295e46
4dc5dcbb173c1d4a56ace0685a339a50db42973f
7062f6bc3330331442ee719da0d76412d11266f3
767b848e899bf51172cfcafea6b2fd397e8b0312
78759369f7db0a7b2e1ca4cd148107e261ab15f1
82fce86746f9061205d625fb926c1da3b71e3bc1
a6d881014016ac510413e96c94577bf126ea335f
be04bd4097d198048a83936accc0a0b3bb132513
d406b5237c82709a11613edc0c45a93fcc03a74c
ddf7f141cbe49f6438d63bc3fca2b36b516a85ae
fe3d3c8b2a587b47ad44872e673f9926ec16a563


