# isabelle_session_info

session_name: Nested_Multisets_Ordinals
output_heap: 84d44b5d7d60f1d42d43cbd6de08de5a72d2e8dc
sources:
01291c771f901538612c301192fb70518e0676c4
0c9469e4651698f44e3e228873be074985fc67b7
0f83e9379368d232af1423c3a9685e6e1cf74f88
12801e8ee833371d95b3f173da5f7ac95c1d057c
16e72fe96b4cf3f1b39d76191b2e82ffde55c7a5
27d5634d897c74cca7e60fafde6fd4f996bf81b0
2ca13a0a8f9e617da15d50a339366c7d9a836cec
34221437a109a5594ba7786476b5abb5979a2647
3510f32772b20684b6ccd6d055261689756fb2d3
3fe5941934893b5422165e490a489238302826c5
42592a2a3293213750136848a26f06962569fecb
5117119a178eac69d137fb85243808da2d667eaf
620ded17ed23dd392db866b5b02c8e9362ccbb43
767b848e899bf51172cfcafea6b2fd397e8b0312
782d014363b2cb6d25f5a6d8bf061ce53b2f6108
7956b24a1f40c29734aa5ab8f461f5119e7515b6
7bb2894bf6b2b1879e224f67e577c429b34466a5
82fce86746f9061205d625fb926c1da3b71e3bc1
84641e6bb83ef54337a3fdd5117db822c2664b84
852c4b663a8d439dbafab771fff6222b134f0cbe
8a7614b588d9d76229ea74b46c6bb989e3879bf0
8bc9345473417d3848e07a6964b26b555327f4d9
962e47aa332c8804c7b150e59b0d93cdd566fffe
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a438efea6288f9f4f15f7d643bb504a34d38c343
a6d881014016ac510413e96c94577bf126ea335f
ac7c8f2fd239ae5fa32bd3c1b7686d256071c4c2
b1ef7a3ec85404c96c4b02989c93710eb0f9d363
c9a7834754ca020e75afb9d98e309c88e75bfb0a
ce168f5c6ec1725149cd64ec4a6feca6f681f8b8
ce767b8cd1d07176c23ba57465ee8e885a56dc09
d13a8831cf9604b6b307b6eae79e1314199c6414
d14245488f773ce049ba50b4fa478a906cb80044
d960ed51846a66cf16fbdc1477880036171d60f8
e16dd81c25115952353dc50e98ef8842c8109688
ea07fbeffcb1368ab04358e4a6792a15022e958f
ebf573efc33602de9e86f926b5a9837335409c01
ec69f1d08107e6837e02045aa3563a9d3720f75e
f7d7695b21718df39e8a80a5c0e149dd8fdcff3e
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
cfec08633a2c6cabc49a86e33f5c088097e609d4


