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 = TTD ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.006cpu=22.624gc=0.996factor=2.837zXZִF! #]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒlbOltJh`_qF4OD-QAdKHxKga342\}U4nj%g=XP  D,f7ҎOlA$RבߦʌYi0!䏲*DO&~d!* ][  OF%䖺l1ODhzVhA%Qbq. dgYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>ef'9˻ n<ϭbh>jc5߼لdl?d>b4cTy4N$5"Y CqV;` [֎zu6V~.H ̄fdZ^N-=mAq:1'cvG|a<$mIvX1@V,U(yvGuxOtT?&y26])8KiI]j]Ƕ& B qp䈑k:W:i厅?#$<'];m: r(|Չ =b I Yy.,R?)՗$K' wә;c]'V1guIZd\@2joRÂj"l RFT IWS 9K_|> DALruވ1)c*!tm$}+?+7QTIr;*J4qK{6VoևA3E:G] 3?GPH M8n V]A}l` xYj/y%p; +|}& )S#MUT3ǻUs<,kEkq[o@o=DMCOI[?^pMF '蟡/!UTQRfVnP`rʾ1ZM(DjzF԰w` i!YxF!YED1i .Ɖ <Ɵgn1`^YUbIO O?$gYZ87ac8abcf2a8e84116faec18bb0adfefcb07fd71bc0597c9f59ed66554e4cc7d1e17fb50ede497e8 14be1ab66264ed0a6d82f8a0963231fd6accee69 c85aa4bd2a6aa92c321b13913268c5235d4cf884 37d22fb55ec44ab188e65123fc29dad38d720772f77338f49c0b7163447538c15beab6931f5cd907 = HOL-Nonstandard_Analysis