# isabelle_session_info

session_name: Stewart_Apollonius
sources:
00a5cc3f596d5a08e050b153cc4896219802c2b6
0e0f097f06721b90cbc34bf928bd857646fb74d0
67e9c1086d27650a831509a3399f27d4871f6567
6e7a5b9193039a95135b843abaf5c86ef0fd1e35
70fc6afb834f176b6a869956de07bed1400e27fe
721e4ef6a784a88167e95fff874ee5ba5b33b094

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
0c8d5da11ffcf561ab033c36ec59459b7d4f6e36
696e9f2819c1b0ea32fa6ca0613aae10e741b796
544d5273f63ab8306b7ba89b4cf320cc64739cc9
042732838dc4a8f7b026f268d23dfcd6ac269904


