# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
ca57ef1b446e14ab305bac96ebb43b476d3520da
fb1813d2a93164e220d76a7f584d15ae661b1c62
f1a3fb96fd8e80f60f8088bd6a6b388dd4912e72


