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 550E\ mS Formula_Derivatives-Examples:threads=2elapsed=67.537cpu=130.304gc=19.464factor=1.937zXZִF! .,(]ŗXf1-/6vRZKƯiWٙ*P59#;Ջ+y E Formula_Derivatives-ExamplesXx6T'@db$L =c&TNc<+ 4U˛VH;j\A*P| ƦZf( se,;Eӣ'b_$nIbMiP0S{l{AI_{ jb4GwCx2G&տ/g};PېŷHN?#wTPOھ?b>Pqp[QY(j*\mvl~e,@)Аn)G&\\P-I}L&2Rb|tiZ%ʑ/'s# l}ӹ:/h5 "uCI&whEo>o?@)0PQ+z uԋNS1?%i q5_cy+$ۄZ3ŋ'pYk<)0F3Pnf1@/EYDu-۷eIK ">[%ȩKC64 qn2.GI\zQPaDB]1;T@2 Y߆-a: ovbs&d#¿կŁb@2!!#a9Ŧr]#G@]K+JEqE\8i!64+B^gyo3S 7_ߡۄ}x1bS13.rcE_С(nhaeS QZe=|i D{O#A0~لNb3a@l` VcW$fe n4߿Мm$i0` РVۚI`\gYZ7zXZִF! v ]ŗXi% cPMȴq {1[ҶDa}#Vd.ooB1Cis(e ث_Fn{slX\ݜ^x=5NɺyA>I5uq$ѢLS LgTwR 8| Mz>I!ZJȀ$hhbMy0J 6 bJ1 HK;9n/'J6 X gwFFȏ'%=w D1 `ͫ-+bFAu;eq]&t+Fx Kv4Z|YV KH&HQZϩUۣj18nKaow~h0,n.*ZNۖb#!TK3ݴ|e {OL,tY23r,UY"iMؤ{)&eDsU8;ŲjW$T/ǵ|cS񨙜|G,8@ kMɨ&x%KH~":3384paWy= % mwv2KzBD_vmZ>hfbFI:/>^|OV![Znb(]y G!9R |Xۛy!xy`>$^Kvht4P^1Imƚ 2, PǴ0{RD80$qwQSsՅz>;l%H|ݛuGA`5X>x H? 1_)B v8_zFgfkHe.VS߀6D\o!o^vz Ϡp'ٓe3.K:): J/ҔWӂAO*!h.zWUYV_cqzfBS[d]uF~! ldCu%3CdqB$n0:=1KH8-V){Rc ɘЌۓ>gu;(1ߎ ySK+X2q ݰ bͻ 2\}r[b8:'e3ykO#|s1Zg] su,$= =&#{g$7Xj jUߍ D};\cߡ/_1;򘊯z0^iLEZð-R@\L!ujL{^7L%[F7{jLG58>wo so=Hu"I2[GX))9eRc ykTٔ3TI8Ju? &e]Mm`Hbbp/e rjgKZYCq; '* 2mq+$< ! DLxZjWT_'U'J_?ܡKZ[CV8Y]polx.*e\5k%t/2w%+76Se-vo)B=Wg]`g-1._~^eގ=5~qs:9Bi 4 Gz FׂpFءәyR9d/IA(ܻݼ!#:ǻS瀴&K#`1R+H͡G2=$κ>ͷvIN4Rx_urtو<~5bJBU&.7hK \[(Ġ݈Gm!ǂT}8\- oW*1K};Ow*z3uiBQ# ҟA~۷v?/C &Ɋc[̑yŌE\fm^@ B4p_,$(3TA>bvaƲPuuڇ-"UP*pS;tCiudą B)_ش6`P--!OO2 T{Sx)6@ndwZ½=S^ƒQq|Bm +r&ڵ8K;x ^ndjsGF@hÝ=QȰ2@}*NO^%>{pZ}O!Dܯ;D.eWx狮KHTuPf}ӳȇD/u JaߪşT涿jr<ڐyu<(IMp SCTEZyw\IxOf/_y<΂j9L6l׷T0Ojm:5N~$o9uOYPl,IޖKorCgYZ3122c5b55089566c74375976fd6040cc34c326db 341531b0bebdfca12e3ae785af273096df594f93 3eb6b1df3cba6e2b171f80b39d22d9906bf31ad9 429952f9b1ab48f5480776e72dd795c832ab4fd6 59b2dc7b422924b1b9bdf7f2de4adf9c5084d0d2 94757edc202a3b3edfc8ed89da5c3c332210b7f7 a4bce5200f82de2838e35790681756b11144e8f9 cf0eb34815c10b600e671c786585de3d3713e6fc e49c7b34ef5bcbd6834a0da9691127de42c64b3f3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a31 9e4dd3324448f16ff00891553cff258901d498cc