# isabelle_session_info

session_name: Optics
sources:
130c62267c36595c771455c628363bef83ce158a
2d425374293817c0f5c8aae2583cbd1a9d912652
401dd92efb5244f5edcaae443f036d506678c6aa
41dcceccc454453ec360c0648a247f59c6dd66ef
465af62e0df5b0e0886c74e4c110b8aeaf7c4ffb
4910a6f20ff6d2e6c834b311ddcd11cb24882497
49191f76ecf79f5b0cfe302134aa158d050b93d5
5bb14fc07e432e8f427472f2e11403eee80f1521
6915053a56e94930b56e25f02bdaa7281a2bb84e
70bccdbf14087b72b4576a70dfdfe98082a6a737
7c3a435329350c0819da6e8e55801e4e4c34f697
a07a7d62bbc52cc96d889203252f50a2e6acd012
a82827ea67bb16e8dc111b541abbd7b84b287177
c2e0535779c64a2d8b2fa85bc4e8433a4cbf7771
d6b5ec5173931819e5dd1665281932bf4d9467c7
e52c459ce5f24b417f9aa59a845221224a59b2b1
e724a1825618d2a892264579415808d9d4c6ecdb
f2bbc43d9569a3faffc19104b531fc38a202e80b

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
3d7dfe78cee44354c8710e32b283a24411587fff


