# isabelle_session_info

session_name: Elliptic_Curves_Group_Law
sources:
03539c92a9bff4c83d1788bc1c8cf814a4937fa6
1c9b089216ee849adf080b0cc7fadcb84ea501e3
1fd4d278a73767ccb690367825790ca8a2a045db
69024cf8d4a6c6f0ec7109e8ea9e6770a70ae425
7c6f2cd5a4f5beedbec03d55edea5ca90ce92838
918c32f99112343be4627f3fd1ceb70e2dfcef71
a055cecbf9884252534ec6464c220579bfa13e6c
cbf4d734ed87c1ef90cacf731435d13de8af2128
e5828497d38b20b87f269c192a78c70198abf15f
f9f0a3decef0d822ed495825016e1246f96ac39a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
0485e608333a458c36d43b1f5278cbcd55f1855c


