# isabelle_session_info

session_name: GPU_Kernel_PL
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
1fbf1493ffeb658a28b0f43552899c32613f9159
238eda9ed75994d968e2402c252b82de8837ccc2
366e9dd029eea5eecb51d91c98c40a4489685c40
6585ded636f354c2755e294270579691e5ea4c5d
762f950c57d35a314ce1797cece4dff739cbbcce
8655fd42ba7f63ab7a1f184f74d9298cc5af741e
a9167a0b8612ad1e809fc121287577400b3b9ada
c8fdde6d91b49c6b9357d2adff47e62f96618ed8
cd8bb6ebd55de2a4193a91b9783bf6c462286531
d1ea15ecb192165a6cee62da5a2813f0832905ba
fbca982a7b17a138c3924c8dd89c9bc240f75345


