# isabelle_session_info

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

input_heaps:
b9e4cad54624ad835a14cb92fdf2da43457b5cfe
190aba293ecca7a1fb1d23b827c0a4edea07cd47
f0510f2c76a5403ce56881da7392413a0e09c10e
0827bd8ab1601bb0f3979d5efaa5243c815cb833
554bf6145f8091b3e332ed4820528a9218b9105b


