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  E 4 mS Formula_Derivatives-Examples:threads=2elapsed=60.725cpu=107.084gc=11.064factor=1.767zXZִF! ~]ŗXf1-/6vRZKƯiWٙ*P59#;4GYkz:)0¬vMCCl-R]a0LC g!O}IG= g\%Wrn`yb;!"F!H@y4^f- M@O]0wāIifPЃ5v*R_I[} ʖLaC9-sBLڅ{ؠ!1 cܐb 0c_p_ % E Formula_Derivatives-ExamplesP %TZ lM38MwOkzce+@l̈́`yLZ%}@h@Y7{Jz-=6L+z1mtqu@5Y}&ݟaDSwX 2ɣEMPxQ(?}m1R7bl޾)d:}~/)>jɻX,m13Q`#Ҝ~SVX,*-߽ScEı8ʼY.M,ҒgYZ7zXZִF! : ]ŗXi%@35{y3eo)"pRaL`1?Eu ЀpbXc4mZ /]3hǸ"/'Ւ3y~V"xxz`$.oo vxǒ?(@=w7Ax>ڴM\suC7D(qz餚E-5TBdzA"r+$d:3t{}!U!?Nދm3C\B_[o\r`,b3 bI8 ziO0}i}vIfvi97~3&ތbEF@iXA2+k&mwA17vRU-*sؑFp9͋T8I{^o?H[R_&eAoa*Vyhu€D׻6|tu>$dnX[Z 9 \,k a~=t Ʉ̖1Y!lt@m_q~ ,WM 9ŖRY<+5'Wg7`R|9te4Z#lrsצc1.kWv2_9? 4燊Vd+y#0VtV; q!%;Κɕe" .>Ϋlz-)& D </Zw"?*hi04IA}H#oomZ楲|"AT|B?kGS7lf_&PK2?|Juai][~'L?1iӛw]VPc%Z80<:EeNiΰ$,a n^S8v$dXt1KO?=njEZ>NR!4^.orzgYR,hMΩ/RYWn' 9._$< DW8}P4 4y;i^;Iz]?rNq<1,ݫz0($G}·8A-O%⣽rlF?Sx΀>\&5F4`H]=œLOYɇE#.^KسIl *_Ef\x?I]*'_؁K̛|.J="VL=S`/AgwpV+S?G͡L;ɻ;]mCl, D^ -%BJ1 LJBM lEBwOSv8:%,)y{@P69ݥTƹgZh޽Dkl=N\{Ș;$GKNiN U |:*1cfYi. X> ~?ݐZBhk 1T~ؔRc]>pxPi>d5`)zesB?Y>i}d8L?GY !۴ߢ unCduSj}0lmS,Uh9s)kQ3E |Z޵Qю0"Qؘ6ԭzmiBlY% r|-? C 1m'bەesFQ=/13E]8/+%B)tԌܰ|5}=z Sv}ZbfP͡ ݮ#Z<]Y_Rȏ~wsLÒNN!J{7nj &#]dhdNo-Dy}o401m:p aō.a sBmu_lTfϕF%bGrdž㼌<_³kCρ ?Tvɀ zO3*`8ײD?qGz!컅mk4