SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 PP%?TT ]% Elliptic_Curves_Group_Law:threads=2elapsed=72.403cpu=135.852gc=5.780factor=1.887zXZִF! bh]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PK()#,*oY w_  bJξU4=9})z.73wLAw*mC_fy< 4zVHǤ@FcT &|b*I4jS 0(9jQ11j]qy0#N;H'u #݆^ʲnNw=rXG &5)$MlmF¯*@Y*o6"Ew/{=OHuӠ1iqH!P.Ox+bsuX#}cк :mvQfggPn7 aRdlJrA8RI=Wʇ9sׇ2=Y\v uf_aZL?B(@>d*Vߴwց }9;koZ?44aIknS-< Re.Y; cƻ7^c '`e?7Q9NHe=tZ<,IS8L3ZM@->ASf6{t{[\Ԁlpncu{%`9Vc= }ZL&wS (QS 37&zaM !Ihs~?Vс\B/gTCQ$___-S$.u y(4l3<.K}<:8Je v "pۺ1Hח]Yg<7]MR ,:?ظ4,1z>JbN9VYsME,q Di8'q 3Y;v5wh=MoŪXDjo-(kBG8aٻj@v)i2Ì K66|6D%Hv[/d _}SKf=$8@u}R+;Hc2qV\vo$ TcXSn?#uU1egau/P$X_U[|84{E E-o˩}wB)gn8ּnd5LW.YyE+ǑWB{fEn_zctGhl%-yh.[|J6$i pA#pL۟cE%џ{/9:[Fz%aAFcۆ, Ji}p9^{xñ݈hvp V=[B ..mX,0R5ˉzJA|͟1QMP; >2QiXBñgYZ7zXZִF! X$]ŗXi%6Ar3%US[aѾ娚|J|/Sk\g嘡~ `ﻓsU 4 u D PwB2]϶>Nb{I"k&okcjJ^ @<[W//s6q<eؽ~$,KhacoZh)|]~Y,'ҼA+O i3&HbtqX OpJv ޻Eө#sT6B_wX=u` ? Elliptic_Curves_Group_Law66Z#I }-ޛ-zK@/%-ϓ\* jѕ\,P*%?-}ԯi ,`NTX=0[!TqB¦oi mm܆&6kǽfsĥ|kg'w!EyklpjJu  o}1lѹEj+% 瘬M Ԕߝ#z< aalR~_$3Dkxw &BU o6tjaPܻX*%|d_.xU8U,x3vl /oHouF/c`On;3 1:%)q_;'}zy :/ƿmO#,6^ֺ TE5nYE4aX@/HlITlj-e 7uL+YDM= .p[C/ϪˍNcSI#  ߃.^\E) _ܠh?^/C -S3N}0%T;9pfкqh͗5!p#8@R]) q ~P]1(R٩g+aO~%`?BGHcŧ>j>]l?Z,2Zz B<4QoVopMl F14Cc7`>)pMԙriKY~Ĉ$jVpᄻP`EmѮ֞Fn@9!I3>%Rv4 UoJ\= EKFn`(%#7wl]ga,)yUapPzx0^O#xt=xu0DgƄg5'Kgv %k'k.8nOz(l2Iy@Yl\qYV+O8=^= iVqa:0(ڑ\^'HS2fEO#cF-M0$JlGE[:a"b6\v/o nx MÒdŎl7`ce :ʢ}t:G9⾟,zy<~6Rz;"Y)ŦrfP;-'l)7oPWKTpq2wF]u2ȪU2-0҇`y7+icMBd7]Usnftd|;U~demS~>,Sq^8(bd2Tٞ˷rb!wK |cnE9W8'P(2^x?UKnP :!]h^&.ؕ_Z`#݅wŠ;߫۫$݃e)zDgm?~N#X\ΪRLaԋKl569dic{rJ BI,ͷļw?3D&] o4p,͸Ekh;{vuUt9 ׭٢ ATN"|W]h7-T˄]e1f|Bt߼XbYa8EVok+TR!-|6_6DZ`C&4q4tc?zKv5hUe G}!WG{b栅ĞN3#!kxm}oG@. &+{y0ԱpJ<(BSpz\8/diY'oWK|f.z# $)-=ܔST)JQޅSFR]:f|;G?j\}G> ܁GxkO<$LUTlXʵOҾNIvVR ܝ4ӍL!<dAʬ3B#0.!UQ" =xAZjefhK's7 m~Ea4û47pH>1䛋e{?ZL[^ ܇S^={sm_J{kZrSE#h`<ԎJ,?e/B*9&T@D]^h`uR?N{ Mݤ=)/~nj%@2M 0T/9 Q"٠I=\SuSMҋ,F9XoKL  ޽gYZ579b81c92e6b7790692435e6e8d5f1e8a9f4a3cde003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740 0015d5cf47efe9bea1af1cff8dcd1a46b779a178