# isabelle_session_info

session_name: Akra_Bazzi
sources:
02ac02c44f8a4fee59a50ff624ef08e3d143c9dc
0e2369879c23ffa3af808601205c5bb2f112917a
1d7093d98c5564feae1b63d04ad5024a9533da8a
22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0
23d00cd2cfc86d83f6993b165e1194971a5e1222
2aa27dd94402bea62cb3acc240bdf3a481ea2bae
2d9b02f48c7a89354978df16e1ec664dd5b62c96
30afac17f29e367c46142872751722118953e506
3409823eec2206aa526e41e503adcabd1945717e
650e89855804a57a0d45c2e80e49057aaea1caa0
67221396bee2dd5023de34c8644fc45782151c08
68a8703d0c5f9fc3813c28525ab8a528df5109c4
6d189272a50582c8466c603bd54c657408b178a4
751ac7a1baf07200e692723be50ccd72d1262543
7e802762a7498c5c4fd131f89f692841eaee9c0a
8d8434495da4f2908e82a1b077cd387e59f40719
8d8f1e54418097925165113cf7def28df2fd1a0d
9bf2a719c4847262ff5865ce539ab70d1e93ff5b
bbd204e0147a207e71ebf56441296649558a4e7d
d25f3d256bae918966574511fca2002460d90524
e004be89eedc43b00a4133a440c7f5aab345e6ee
e2bbd00c61c94245c370af01dbca1b67a0c2a664

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
a52cca36c501e454ac8d14ffec7d171d1797787a
1d78b900664117bc27648b4f3031230e0f9a4d44
9970c3c6b5d9a06154dde012b36d9fd27aac4cf9


