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 xxE$,l ]S Formula_Derivatives-Examples:threads=2elapsed=37.632cpu=72.440gc=14.120factor=1.927zXZִF! ]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF6/Mb$STN>_Y%):]zd$l)  uZj3 jGj6 &קH,mQb#|˴=3"zvJFB*V_p4sh|X/>Q2O)bZ 8Ԕ\ E B%蔡&.ٸ"{H)yTE.IBy9K эpə$+>} :,1&5:l|yFLʤG5?R(e6 +y0C^c:e=eiY7́{j|uAxe:^Š6pcb{di\ɉz(U`khXŊM.ύ~vpz$ұgYZ7zXZִF! ~]ŗXiɟ1[pYP,lHwAvfC ٛ'?c~ܼyGȳ›'ɟ+wQn61OI- |eI^HQaA_6(l4n#a `;+|kTbk1ciCt1]ePa.Ȱ)GCڒ֮t7 | bAg6#Ԣ7;FgYZ7zXZִF! G]ŗXi%>g9Dc<&=#; M[C0ANփۣnZB S,B4,Mǹ:i-$Z+!MWo[`z" Y2~JB.tFLzp#k(R9ZBd7gݳPKx3 =^qKp}mY" {MU7+ٟ[<&s͘|D;Bd8py2&7)KLBы[8@0j@pcc+5|yc\D|)bϊ=5`2gyҞHTg'̩:&ߐCSn >Aa X[lq4#BXl9T~e$ )1|82W kX]B0m-ǝҰ񛝾wSYHH3H+պ'YFpLet;;M]+WQg!{@\åF u)gZ +9XakaGekIq¹œE(#yTE_'xҟ/ f~rjS=rkcˑ7.lkV:bZ..r9\'zޓ°i2T{ţaH'mг{^%3myvrƪL *<M x٢+{^gWFV0R9ac9#QDž)%@Il~%0/˟E眓 Ȅ]]QycšʹZI򘯑#Hu"3!?ۛ,#qRq ӛB[[r ]qQwUmj#m}%'g>GuM#a9Y=95M@2/֖JX25r޵ ') *WHET