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\4$ ]S Formula_Derivatives-Examples:threads=2elapsed=41.191cpu=79.000gc=15.792factor=1.927zXZִF! /]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF9`ƊdBc(s\tq•:?ǡ[;M]?ztvV0TX]+4-=ĩ۾CjVL4)%\tT)οczmcAېŚ4 (F$t&?u-=SbMcUK{e]AG1䋊NV꾑/Sg:,Mtp @3tt1zMxL4Hy9M1]R!B N[o&%a0<&z^>:5c`lk^#^^lq}@$t8v8zeWMf{Vvg^B,o 9BFL7"5%r.}Ѓ_3'P,_M/.ўRŷe5@-:"'Efr>(6]@'SJ1"|L=͸NMx~gq6)pn&a[=xW`I"$ohѲ%,(xC.=UX%}v|^jm6yCU ,{!Cr0Q> Rнӎ!HYml!ujp@Cn큹Z|7_@F̓SS{<>L`ZN(Pi?[h×MVVtNo2jvsA_Ьo<@~N]~4Ft0rt3_k2o$VCGxZrbD|olhP9j>i<~%r%3K' 4H򽅚sq5OwY$_% %U\~8Z丑Nl%7yJٿI]sӵߑɶ3G g,YėK#ITWԷ.fSXbV-MoP+:]lW ĉQs1ߧÕѦ܀fyY]6m 0q$ժЫ**`+`ikO в3H\*֕Ӝp8VԮGטM)"s)JV$ i z)'&d{&YLo1a37$5MAzXz1?NmCH_$a/X_)cl%y󝒆b8@chƙ6̦zB S軦HBM|3l᳢@\t\> !kҾ^UЯNP:QV@5˚. :GQC++{\rAeY)Z\UFxM,$5-S\_+eE`^1zI~5Ǚy !$na|gPIH=0x"8U -'=B)_!V!YjnLUK#S$,]7(kZ^BgƓQMc ޗn/;M2"B!]L3 A6rB(\>94~ /17ROy_:6mߔ,"~w eL**Ѿ?g >y+*'_ mEp@ ar>