# isabelle_session_info

session_name: Elliptic_Curves_Group_Law
sources:
1c9b089216ee849adf080b0cc7fadcb84ea501e3
1fd4d278a73767ccb690367825790ca8a2a045db
2186cf03ba671e9018e43760912688aba15c8352
47ffc6422a63b3697f5e849789b47f52afd31860
78ae719569ec09bd50509d8907e04fbdaef3e91b
81d6c46d87ab72575e7166aad9b8fd762b1a81ad
918c32f99112343be4627f3fd1ceb70e2dfcef71
a055cecbf9884252534ec6464c220579bfa13e6c
e914356f0f2079af0aa93d35b82660e04f58f4ab
ed14a4dc4cfe0e253f8014829705ea6b33968dd9

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
b62b082da1d764e713f5960b70e1b522ba49b147
eb91c7c7b7c0eab83abcc8a29e858815d9bddb4e


