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   xOD;k8wJpp=s6ω} ,Aw*B Dd|c'z`C&1xbLOgYZ7zXZִF! ^::name=HOL-Nonstandard_Analysis-Examples.NSPrimeselapsed=0.905cpu=1.848gc=0.0009n?w_,}YZ7zXZִF! ]ŗXi%94Vṫ㸨i>Y!W^6N όs`U*U[;e o Țn],VxVu#'k6Jh}s@WG-}8CySߍYtR 6. `y7 dIc`Q3հٹnqQ*B'ē:K]f~"Ϧ\)ܿ,k *B64sp2i>:܍ T9+ %x'JxOڭ[Xh~=βS9O%IVۥD?6SDz<$j" D1%2MWf)phY斻kIKs:ÓBg$dE(U/I)MPh1Tr6o +?VFPWnR0 3n*cZZiHOЫ)-k]/-gYZefb293baed1c48a62e098cbf4caeeb63e384fd54e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b61871 250b0e802eec4ab458c9da26debddd91e5310ab5 09ca5b5e6fc6ffdc00d6730fce81cb38f02cd53e cf4bb81bbc831ad34d3a1aaabb9309859c7c2cc9 $O HOL-Nonstandard_Analysis-Examples