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 ~E$T4 ]S Formula_Derivatives-Examples:threads=8elapsed=24.637cpu=113.553gc=25.571factor=4.617zXZִF! ]ŗXf[&QͫВO(KBCbd$%sqc^=D.IN6/@S>иw7O,CQWJ^EC_:GfgGӑޅjQ-?\Ǽݫ"82C"2߄t U]VoL@<9wjevNy$j'@^pud;tlqtX"P .2 i8@M5gXԱgYZ7zXZִF! ]ŗXiɟ1[pYP,lHwAvTrHkRkf 9gF!2^=u_x7)%xP!xi6ECk6^ @Dr捐+k\ +b^Hzi-pR (@Ntk3QYL:vwC;+pJyG4/z;mT=(:^(gYZ7zXZִF! j]ŗXi%>t{blB 1">77Nb&ԭM XiP `]XaT}2҄H!c8P8Gʷ!sI.M YDu3h5J BUM zhU{ "UkAѝygL ܐ89 $_^ i>FGMXmzϣ{/d ۋbd s 0/N͂J5d܇9kfk C} A Zg].ƖYfDDxΕRXp*e2Qs+@b͈cQ.bkPU#9o/iFF1@Rl>fm68qe$H(TV2n0]^g1/8b)'(ۄMCxXֆ"vv};L\gN~yӪ)<eB*a7Nc(Zb d"qQ^ߟ-R}FQ #D$_g`~e" 0i2yV/zi G|<ɆOFxpЎhea7~A/, L|< 1}򚬭!B:=ˆ\!|_ُWs\_0XP(P--gw>(@\"$a X1&Jax噸>O =@kB9պܢ,YD͕>IG 3l]Qw 4E<#%ahVvEx0M~vFJҜT{(h$}e NM*m1i1؁ƒi(Ŵ\eAB@u?0AW}EhEW)2.z.#R^A#,܀} on7Ezf[VppmrmWҴDPK9^U|IuZm[VaVum7Э6zlVe7[w3?u(3&.nPtlO4e  e-&% GEWnlʛ^}'faBTNQϸWފj&~_l*T`qк:٧ݧp!k5j\$vRUPb\ psThHP pI+}]WƑ9Y5 {'anbkġs=V t(\n/>eDHp6B0eA(M³TcYWDRYf cA~ͱgYZ14cc63af20aaf307c576907721b6f9f3f56e92edc58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0b 8106fb07586a30f6894ad5593c190d249fc4e2a7 E Formula_Derivatives-Examples