# isabelle_session_info

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

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
05218989694d9035f45149cfa16d3e890ccdfc57
d61e6fad08b1a56cbb9c72f2bce57e8e26fc3dff


