SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 22C?$ < ]% Elliptic_Curves_Group_Law:threads=2elapsed=64.441cpu=122.144gc=6.300factor=1.907zXZִF! P]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH奲 %3 If539@^0Jb?(kw [>0Ї*8N[8qjZir^QfqER1<+x)8eCaB?!\;8G&BO!@k,ؙ~:t{̶ж5;:c@(;Iңd_lC#fl[rOl2ZA?e+@I+_73$0qQEC sl;q@w0i.z, hgYZ7zXZִF! r]ŗXiɟ17L? KxlܼWѡm'?.TW-B <2D?z@[Ya*jHa0RQF6m:5- W}DŻ vlϹ2ͿdžH_WG̍x!՝cF*fe9WIatq{FuuJhCO+Ywٻ e]ޜjגĭBݶr>;^Ғ5MU[kt2N}*[< jyXCRpu,fJK xTl7+K x9Ĕߞ[5VJoؕ2nRGIb勭 JՅzwTŀt?]Zh%%xYdbK,% Y0>!J Bw[<*M"]帓 h=H*hQk9+ Dx|U=%ƾh㐪hb]&6`" Pe2RpbVʣ Zvk2m/gĹ2So@.7<@9 90[mKɄa(ow#1{,ZbGnǴE[4 $[M4ADdmKfũ}aۮ.ɕZջm)J$jky6HP%9D1-zGUSE~ǝ3M3Dר5^#z>ʛv|nu| ZR:}'ς,4d-V*ȫ}# ZsB:q *̚QU܌5 TK[Gh $q9Ib jUKw(@JԼLHˁǦ*$aD[CeǽCL2紀,+1Kq4F)ЍD8RԚtd 4X?!(  6A6K~q:Vw [mSu,ΙM и]ݷ9[I eAF*+Q.-qbk8XN+4F  dVq{jK11A+ʶwC:JY?X"ug :ڈVFgV7l82湺8|Di5݅Oa\nQƿ:+]w҅Zo_JJ9ާM'qV p{ߨYB12#5 ڤ5H[^2M.=b[k]c2jfW0d-joUIFY$$.+5L6"+kťv-{[fg31.;Dd4 C*\6x㌚$<`S#7W7ϝ# b Us7$fx -6A 6rϾl1E/̀)N 'ε봊9'A=pSZև&HjVKWаT3!ճ&x2@GH\< #6?*(DjfیszHq"H3B$jdOioGs.}r'FBaxS _:}[Q@q4?\':~qC|݂(&Sd8 0+9\v[5ϔ2ŷbBXז()kfL` W&Aοf KfƆ6T&*7Z?)5P tb@+YQ%n@j5\= ٠vBWqȞ`Ch]Hq!nxTd vftJ< >vܰ35ċC~8?'K|c\cgQ12(2Ƀbrߣt:7I|i\}9ఢqu+9c ^ɉY[;>Sc<>_1,r)TagYZa1afa046574df5266efeee9b4d71fd4756f93e4279d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f 674eb2177a7a1aeb269732aebccc9887dc51fa48 c5c91a58d3859ee16e136bcaf6fa88419d70b567 41e81c8bc2a3401b65e58e14dcab200fdda376db