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 += dd| ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.341cpu=23.588gc=1.144factor=2.837zXZִF! +]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒlbOltJh`_qF4OD[J:9AD Xऽ_)Lj-ka1 kv6ȞݘH(eC3[i?BEdVë_?F(|X{_ CdSqҎF}N6L;*?wВ~Crb{y+B-FZd`#1(>& Cw% m WG+ #gYZ7zXZִF! j]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>beb=`j'_R"}[uiD+"p$\+ؙ⤨kZl6cl<52ֽUɆ Ƹ=b .Ok]%j-(1X6U 3n7,_. -YUON#%/MK}e,in8Ҹ18!bUk㤘yU; ;ƈqt:q6( %yI\_Q1Yh{0}7,UZ;z|I<6H#h^  VֱgYZ7zXZִF! (w]ŗXi%;WgH` C{ - @71z"g=XN^՘$N:62X 7kPa¥`REɃͅ؄f]%/+}F^z3XjA.FjƁ(Oʪ 2Nrdb"ra"gEr8KvʙUW+O_IG51SϺѩוc5ֶG~.YᴅpSdg0 % Y+#Zy[X0t.8oî ;Qk__RFh5S>9[e- N"p'\ċ̉gT,/m*W1_NL.PmK`x-bz|GҴzO 3lp܄w dAG' L^Š"@J I 'P}[Ӫ.Y75^od)`rBAgD]{y;7YZ|~XW=$*؏M{{T֦+϶^R9'k~:`-Z&ãA`~FbthL/?'N3-_S91O7S'<\=cz|?ep@>$[hh] "s(Xo/b!r9X}92j7nѓfˉA)N\q-,{L*V1#u^zK;?M~uKt>kj<;U^͙U|(pH\Z3<@4|KPYހ>!D CguhxhNT [_~ ȉH .3*THPPw NgYZe9163fa61d54df8d271e1a41c9b1929e2358d32a393fae3774b4e564b1026bf200bc8a56a06c6d90 57047d6b403ca17ea2fbe0bcecbdfd87177ba07d afd7c40915b576ce0b4a18207bc1e0965b8b1d65 93b1328ddd6d6837b1e8a6cc8519cddbfbeeda9373a3e62cdab5679779b465bf1392794089be7ad0 = HOL-Nonstandard_Analysis