SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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=39.387cpu=75.796gc=15.312factor=1.927zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF:焏6R·)/o :U0\C`|TXrqaGo(IuXtƽ&UmpT>1_m]EtEo2pE@@>'9a9: 37+G"'5c#M豙fٜRnw2;~^7xgYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼy 뱹CAIj?  UHdA\[a!$CNMv얕`FݬO 7Jr0Gkn"aEh";xb[_r%N'03mDlq>f rgYZ7zXZִF! ?]ŗXi%>gui`8|\-*S%|Wi^'H۪-Eޭ!]mÚ $E@eA~Ok J8t6mO"ճ$K8QX1i4ӹ̂`>m}*M}}SJxG00rp|9~'s{O,lbwA1*m a*[%"(HC4[X7n=MsP,'>e)UA)k8Z/]n/C]S+Vx{?O#OG8퐈Ei< S`pnT2g3@mА \q; P)2 P9W2?2+Fήַ_7*,&_SW%ViT?uԼ=#YNv-ϻ3t9\YrosD.z*jkּ&_&qTP} .7yW]K=@zp&0Ze63hVr0z!-H3jսy*,DF}' `W <"Q5xܼI?BN6#{_U' /?h*Ǩ #Hb^'!n?8O#ʔ4[xdcyigԫY `Nfgg7W'F"8haӭO] 7& [Hg8a((_{ ĭfM`"JG_՞Lj*]OAm#McUw(c" 姌Y!o˾~1|/?x ZGK١pq/P[s7t_ 8iP'_; |pw?`5"e"D.VmI2_[XHW#w =(eFMG&˹xV^Ԋ@+֘`.ͫb\%RtJ,\\GsDOZ9kD Clpk53'I]P񲨚ECX[F 5PlYѢ#ds`(zM)Ģt5 :bG71EXϯxFd,6KIhY_g›GcӞ5Hцe*_[fd=p_AA4дe8qL`ltdUwj3 D=Ƨ{󯕭L ȋܮ6ԝDfĖJ P{dݭ=Y.NҤAC{a`oiqh޸ὀ7r[Qzǃ= Vv)bm1Vwtf^EbͰ IF B1 χa`x?y8իpuuV=~|S#\{DHb$$,$btf[]U8Hà cRGdzKą[֡cch&r7/%XO\".Ӯ֛~&gg]mg:1V_:kx_=X6QgJɨIS|qʕ %A!2Sida)rQif۝3z[Z&.`h5-Nv8(΍VK{T&!g5KOtѥ[CѮ`)1P!WXWn$}kb<&SU [ht0]5K]1/j)sҚJQk#agC/L~/?͓a*+Uש;?ZyΑFN4*=7譱gYZ4f7a15fc81f7335260c1a1ce5ed4345cbb9a9b45767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 aa27327e7506aed109cf9dc65dd590f6e005365f E Formula_Derivatives-Examples