# isabelle_session_info

session_name: Optics
sources:
0c9469e4651698f44e3e228873be074985fc67b7
0f78ba08339d08b66538f655fe0e82585daa057a
11e3d63edaae207e5e2a56f61a02be1d8fc71098
130c62267c36595c771455c628363bef83ce158a
185b62c9a47bec524007ec7a2225b16a8f4b9349
2d425374293817c0f5c8aae2583cbd1a9d912652
3997ad1247c599ff5ca5a09326a165d755ba9b8b
401dd92efb5244f5edcaae443f036d506678c6aa
41dcceccc454453ec360c0648a247f59c6dd66ef
465af62e0df5b0e0886c74e4c110b8aeaf7c4ffb
4910a6f20ff6d2e6c834b311ddcd11cb24882497
49191f76ecf79f5b0cfe302134aa158d050b93d5
5117119a178eac69d137fb85243808da2d667eaf
5bb14fc07e432e8f427472f2e11403eee80f1521
6915053a56e94930b56e25f02bdaa7281a2bb84e
69b4d87e9cab0b856337e17afce32c08395ac7ff
70bccdbf14087b72b4576a70dfdfe98082a6a737
7bb2894bf6b2b1879e224f67e577c429b34466a5
994e906601e17310bff00be21ae5e216ebc52992
9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1
a07a7d62bbc52cc96d889203252f50a2e6acd012
a82827ea67bb16e8dc111b541abbd7b84b287177
c2e0535779c64a2d8b2fa85bc4e8433a4cbf7771
c9a7834754ca020e75afb9d98e309c88e75bfb0a
d6b5ec5173931819e5dd1665281932bf4d9467c7
e52c459ce5f24b417f9aa59a845221224a59b2b1
e724a1825618d2a892264579415808d9d4c6ecdb
f014142dac7496bf7de9a18c5c1607208182e230
f2bbc43d9569a3faffc19104b531fc38a202e80b
f9ad8b0e4dc237bddb1a7187abcb79226fec1f90
fa2df2ebc2e30fd40935d25f4e6918f5f89ea0d7

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
2033db22aad2f813ad1dcddec841d34f85405ddb


