# isabelle_session_info

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

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
86c7fd1199441702fd9498d93a1d3535f80efeef
9743b36a172e5fc26bd8771e996d5569f1687f17


