SQLite format 3@ . BBh77otableisabelle_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 66G= ,\t ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.740cpu=21.972gc=0.916factor=2.847zXZִF! z]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒm}*D]o4&Ҽ㊰jpLGG̤K|#j1"ѵy;rDM::Vgةآ%><]G!5V8t)ʐ!¢pօ5l*!jJ݅D)6­B.RUZEՀnۖW2Bx*{r+_ rgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>]8ΐV屓P_#=Gpf?:K5KHN#oYU*H[0 %0?}!s̊}=~=`}E8Z7!"/Bg [X?ӑg^wIE~\Di &e3JG rX/H&[ ywNbOdǮF>KۖtfN`ԦA:DW1V10y 7I!Mmö{at1%[ׄg6):AVN@/ ĮD#ugdFL$` @QEMgYZ7zXZִF! %4]ŗXi%92F0-=BVg`H6U_(f Q)t%uuJt7C.8 ro`{2[%%?WD [Q]w`ISpy{U€6((aĀ0.- D$E&>l(% ,w9GeAj> G^i33h ߤtaf LCP=-,Jˋ(""'s& U,D0EDe~@HhP(DpBCB\}T2Zkn#7f,~fU?c&E.u$[BЅK>rt[R^ciTN{3̜(}9cCEWM  hJ,o G6(lt:rBy>QvLPffOG{[ J48 8+'l%,gɔOab쿀Zuw&N7QN"bp[=gB<SQI]Xҋia/wWn+W(e}maj:.. % kw).F.}EUz5'Ӭ MoD%ZڟcŭfLĭi-9KPhl߭^q r^bVCdnai҉#0ЎlSu]sw"cf 60#=}H ~XI^K'rEwQK#-gYZ57f87997ae68237de10e0f3abba1ec02278965a5341573a915193db629e8d127a9a53502c8309b6e 9e237ec730f89ae65421631a0a1ef3d055f5d625 76a013833eac43a00f0f01bc7c1c66e403c8a835 0f2d31ff53b30fffaba3b29f2347784559f79b1f574e0434dfa9b9388430037d65ab74e5b5284f8e = HOL-Nonstandard_Analysis