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 = TdT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.017cpu=22.924gc=1.052factor=2.867zXZִF! "]ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa Khm3}-oF.fQF_H@'| _,ݍJ:W~"@]Q֘i!ߍivz0GN|c-+UUn@Ĩ4u͂888r^?~i0ܬSx(ZrR]4qL/fq{ RLE}~q嗺2Ku^ LgYZ7zXZִF! j]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>aIizȔDNĻb T@]nڜwwWјx51$pӃҊ\kvClo;dj=e[M[{ʥwq2ЪN{YdRBg ?9QU3Qyk6˭OE#Kqܣ:>+}f2܅vTʉha{*l =]܊}HI:z}Yx~!^Ln`"a") CA|yE@ 6 148qwNa5kۃW/#B\(!*`:ICNg<;?sB4Z2)<ÂOT*95RDNc"*\lyj.2ZH:ƙSe^W?{ ,LQE3Ȝ(?L[BVPJ?A(XhOW{#d`T49AAzx6Xwlt~t1|ZA$ 3|x෗7z6|1|흔oVfX%gUߗO0KguAA ʥY{n! UC u,̛{ynKղ@@o#TQm{ln%2.{ʋ)RDQ0^;H}yV"gtl'$٠?sWϏӼZCbc:$R[~dW3EN_[p\%u Ht )]{WSfhEIQ3G$hYP=gYZdb03f2638204c8183c14b2d373c666dea7c7e56084f26ce01913cf374dc1c991cfbba0ac44f7783a e7d19b8d6ca2092be300dabcd72735083d5d2405 43b60d3b795e6911ff3abaabb41bfedcfd496f47 6550cc5f7f98d49db050ff94348c0765c725c2ecb66012a899d6e51b32afb8d65f28d38a0d2e760c = HOL-Nonstandard_Analysis