# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
7ce7e5a59532e955d139c4b94c3aead293442f42


