# isabelle_session_info

session_name: Akra_Bazzi
sources:
02ac02c44f8a4fee59a50ff624ef08e3d143c9dc
08f0891cff2f74fd97fe4f8d9775b4b780015337
0a528f420b02811cd882f5cfbe57ceb5a21dc93e
0e2369879c23ffa3af808601205c5bb2f112917a
1d7093d98c5564feae1b63d04ad5024a9533da8a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
23d00cd2cfc86d83f6993b165e1194971a5e1222
2aa27dd94402bea62cb3acc240bdf3a481ea2bae
2d9b02f48c7a89354978df16e1ec664dd5b62c96
30afac17f29e367c46142872751722118953e506
3409823eec2206aa526e41e503adcabd1945717e
397d151ca6313fee71c90f268044013a6a186f02
3d4cd8ffb0c3afc008a13c67c89131d9a0fee555
3da82dd2b91db0fffec29024fc6338a500de7ac5
44baec093d30bec4af6ab8a6da185f226cfd552e
494319893a5a2c5a1f26d93a7c2edf56654ea361
650e89855804a57a0d45c2e80e49057aaea1caa0
68a8703d0c5f9fc3813c28525ab8a528df5109c4
68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d
6d189272a50582c8466c603bd54c657408b178a4
8d8434495da4f2908e82a1b077cd387e59f40719
8d8f1e54418097925165113cf7def28df2fd1a0d
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d
c6595eb84f7f5b6ff8cf51591a134ede1855866a
ea487692239b63c714b16edc44acedef890cd258
f88de73f59cc005e8acfb2bbf58f0e0acbf33909
fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
689e42f6a537aa228ba8dcbc2d5fefa5d25464e9
fb26e65bfd5dd6cccdf71bd148144fa63cc970a1


