SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Ed4 mS Formula_Derivatives-Examples:threads=2elapsed=59.966cpu=116.212gc=16.872factor=1.947zXZִF! &]ŗXf1-/6vRZKƯiWٙ*P59#;4Gf, )t쀱8?G,"#櫨{$eU;޶qκ'Y?r$ uG'q_`m`Ɍ!Έ%*{WNvnkK8`6#2h9R&b E Formula_Derivatives-ExamplesPK.Be1L{?@e@vڟSa־R 'Is/#qPWOy lBջf}?4CN `KϘ Z:;frP2%ޚMHU[-3%=Cg@z9 ^B0#2QTz"$XacvqoϽ3WAbTḱ8Y}a;ƏgJ,B鷦t}:<~:I:%Gv>'W:F$y3wvYM&SMgYZ7zXZִF! R]ŗXi%BׅrڞSaI<JklS_ Orfj]OhOuiuⱟW^9L(up?-GZP4^|̻^k$`?G&O%f6a̻ 95?_z Z]I2 e QV ?^4/OJeBP}y׏S$֕6,q]2ObGIG hv\l9PQ0X!Auk-Y4sT$yEyy0x b &k»]qhleunmkCXfٶ,u/#{Y6:)! "CZp*7j0cFQa4hUvPK@03Ӕ`_Fh%PW=$/܅c:kQ8`#=g Z3?%7O Amdk6[@w9e:+tIZ ^dYYY%Hg~l;[,b+u`H<W;"dwXrU.Vs߻[GN T ׹dP*/25^nDGɽa*z~ĕӕ8PBB?U9r"[LNJȻy>=_*:f;J-l^rv^DJMʳE/ݖyF(zm#v}%7(}q8j˛@&nSۺkQu;2GeCK?Wd%*йZX<7I4hf*X5l:-~iqL^kP}+PmQ oZ^`w%άG˭vb;dC )dQǝ>7rc"ܦ3#ҞNeL=5m *I4k_/N\MhƜ~JɦV*7;jUΧITX3?pvev_ kߊk(Pu :&`?Za6Q diZ53^t 9j/Q7OXd=2x UYZa8YIMYb(IOF\EO3zڷ `e<7`@JEӄZSZTZXs:#vzYs, ~jbrADr3348T5Ӭ #rꟙl7k/d΍=3PSIwXX@vE| z?{U}h2_FM&_Jb>v˜(pd +7c8J_Gu9&hu(;#1eRev:yJ }f}v7b\HH>D~o[ Kte&zz&؛mMnWTl)<$ec("~ brwT*?kz"cЬp_Q[)4:_`+S`[: &ȸ$r: f3Sql@n@2@}@v Nb@D\u°rC 1 {m唷Ђ0g:~&-YR6O+?c6gYZ3122c5b55089566c74375976fd6040cc34c326db 341531b0bebdfca12e3ae785af273096df594f93 429952f9b1ab48f5480776e72dd795c832ab4fd6 59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2 94757edc202a3b3edfc8ed89da5c3c332210b7f7 a4bce5200f82de2838e35790681756b11144e8f9 a53c1f99ebc4a99e1e3e8ed0d95db418b1749e69 cf0eb34815c10b600e671c786585de3d3713e6fc e49c7b34ef5bcbd6834a0da9691127de42c64b3fd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 3f36a11d8c74ccb5219961f66c2ee8539a4707a9 dc44248786c7ca2bc7e6e00ff807ad11674a4b66