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 0= \l ]S]HOL-Nonstandard_Analysis:threads=2elapsed=12.151cpu=22.500gc=1.144factor=1.857zXZִF! <]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk]nHsgVӅe0!WQW\6mYPn-zauݑzt\D46 &iNbnx[fqT˽\֭ !s̗ù`K`j|tXrI8⁎m=.{iԶ9$ ALl&9GVbмBϯ`$ {yPUx?U@A\ 8:ΥJܟ7 TZB.k 7ny},-dkkx-Q~O\gYZ7zXZִF! g]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>[O_+aPk7v?MuyPשm=tH8\ Yθ9 |1PH~ON6Nnph=$%ީtч; .8\CҀJ+WW er`+5MH̜wg ⃿&BFxH0=3 Z #=1*t[WC5 yZzM_Rq0f-g]@(Z,4ex0EZӱ!uSY_S}A{u%9d*v\bxqlvW+uĈfސVm ؍1 TK*(2 Zi8!1㔅L_7m1H .圸 yS9!* ЖlX͆M:d$mlVKk΃MmT v| Iq"ɠT]cje OcjåeR>Ӂ'OIQ.3rKs.{}ZyƢ_hWUH t+wMō\g;*vWS .L h˺gYZ5b195e9dd6efee2e63c7fc5d2a5ee81055188cc21f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0 605ae0eb21f7e683e64e6c6163dd5bd94075e385dfadc0b8bba886001dd18fe770a628760a8851bc = HOL-Nonstandard_Analysis