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 }ED,< ]S Formula_Derivatives-Examples:threads=2elapsed=36.444cpu=70.552gc=14.148factor=1.947zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6!PaS?2t!- 7Ԭd|Vحs_>cPyXfv(O>˞pz4P@zꬨaUϫl=oDAt=XvZI3*|0scqƙR|}JhrϢEKG:XDJJw[gތ=gB&ːI&e||Ts\2>3$WpaN&J_T+GZYS(pREuM l1i:X6V2L{(@ ?@M1w:;/팘TB$l?2|{Yv˝?Tz[@(::gYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼyFF9w@l톄Jvhpåi'~Ru> 1ahEf̛>h|ǪRtq7Զ(!*.Go0Pu=)~J83&(6k搱gYZ7zXZִF! U]ŗXi%;уqQԊOMpaG}D?$I}#* E`H*5M+-m6a N!Ӕ(p32 6|_5bgk;u)՛cF\PNAXMrO\>S[ ?HmQ=Ʒ56):p\5 k+ Qأ.u q`!%#y]`-''yiGD8> Ė[ JfDGgcj.p/JC2\ϗJCw$}oe=w;F`^cpXQ'8) d ۆu x(CeGBdm>\478LT f=Y2]"˳4VmX'T׸dމ :[@L^n7&,0\ PU/fC:}kelۛ^Nij8ZtO/ U%jI$J=Z0Qu1wAd~}HC >|&dq=nJ^F6C6a"PFK^RIѰWz;l;;gZ&<2AV= x1z S!e⇡]KVv w[y K}]YO_X/nVG% q?q@T_R 2cC *7oMIQtiLSLaє oH*_fo+ON{w5}1 82zU~`{\6Ggo7pTY+f|]ZT)4`/,m(րJ-StA ǩֆyA2{ &p@~1c@`~|jQTwApc\ W2 -P.2`DM>W֥7׬c @/ EylpL-iMsw"2iQGo%lJ ˥ 5:ZiZ{^zL]0#gvS EPkl)H pJ9@iVp9>1 _ZC4s:h~ZuO ;Ub)ĵʸH< rXr7] x2epU&CY39#ɵyW +6`- :1ک^mvb~vc՟X6;|#z]@Ԣ <7'q a]`yBQ ~QE*Z&O6c f#_r.ܱ 7)z%ˎDЖ"sn&\Xx*h w)Zڸ9X:С:n.vZ|7v! #.2@; w%(I7L;>GPp'&KT$ĬK@i=mlpFl`_<\S劍&H% ax6sbDFF"qx3K?``+_ϱgYZebf318512857f2ee85eec8b0bda006bb3feb41a979d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069 3ed2d3c7ebea45fc9b114e3b052fb957c634c897 E Formula_Derivatives-Examples