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   ]E,$ ]S Formula_Derivatives-Examples:threads=2elapsed=35.698cpu=70.048gc=13.784factor=1.967zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6XyE VʲE堝]wmv%U3oUF#ltxR`] U\%tT1 q#U3rXn.\5F5 A҃qS s99S4`b&,'iEdpqkG&] !q6SIt7ꍃ ^Me7j8[yJϓ{ Y9xXJ PjiJj 竊E&;k}}nϜaZ(Z m#+p$iwtMY j(nF,Rӳ*ϥwf\kԜV$fRz+FΉDe}nӖ( YI ^34˳ЀxvgYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼy΍m Ch$i.IB6UFH', aT J{e{o,t嵉:>n(&jWugd.CmA%3_uǦd#B;?K~'in3NdXJvaqFaޙ@{fwkR}ъB :M5{.Ӏ* _ޘ8د?ϛ~8fճ[:Ϝd,|o'4W\E 4?>)~N19@,DzNRARs%$h )IQr6p~çSnЉ)uLZoqޯB+a=P"fԈKhi J՘6ʚ[fQ)tŶO)^" ˰dX,˧ZFoد˨QKH|9*%'-9ի(-?Y/kXk$GbSbf%~ p;7:aIaν˕Ex(ؠ Z _/NY 3Ck,70z*$1~q)njyǎ;%m.GdIpL!{׍D@ԧ:\f#dk5*I}B\GPvUN(OB4n;[?%t2۔hzٓ3fY!<PFiJWvwڽK@PK18sԼ1C=bv3Ls?KSo,/PXoXMh:HhKM,ht.8kt&^-Bp=MB4G<9ˁNf68n`m)KV{7S6%u &3 f8aͣ*z1L|%m}ug { ȃT|2.|Db }%¸ =mІfn9IJέ8 0IUELZrvuu}T 2lR@-pqQ`nl@i a rwaa-$VlC*fDh6fW*oHX4 ]z1*+{@@99$2qsb)8Z!]p}gYZ7559bf547d35026af74baeb94d20fdf3d760ba8300b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 90fdd132dc269b22477e61acedc69f01f576d41c 75cbfc18f6e8c31a777015f20c52c492e84a7be5 E Formula_Derivatives-Examples