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 &&W= LL ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.005cpu=22.696gc=1.004factor=2.847zXZִF! ']ŗXf1-q恈1`VnȆf ס@rX) -p_)ik;6G_JvAQYVa cGY!4^CSPy _Gi>glk8&.+9z2C>!R!>3(02rEiʒHY>:г~$nH}= %r Eq.:~8w&V܋=LIPK&u@Ivme={V Krؿ$+)MP . dE9.k7_\eE!#PM@eE}ReP_K^_R4c$fȊ^_[I3 rRd>M_|U1])enՈez{w%O)[@T;˱R#Pc[؋ cAՂRkTkԱy* C0_~8s3"ti;ہ֞:IMDlM{K)̩?Ѣx ENl0`FSHuXE`p)רT/>Zp }>q~{ 7m&h!c2-;&zht[HƚG/UfXb=_12b-߳*ӾvdXԎRI2neWrPnFw+qlE#Op~$>?@ewب &k tu w6`ܮcs7w/s+FKcMgYZ058949e32bb00ecc57a2c1cd38afc861774922fab690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f ef28aa63992d38cae790ea067cfbf614ad2b6a81 e77a7cfba9c2221a01222115ddc20601d8045b3fa973a674ef4b6dd1fa41ec761e2d6317cb981109 = HOL-Nonstandard_Analysis