SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 BB;= $d\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=8.159cpu=26.964gc=1.368factor=3.307zXZִF! ]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_\x ]+ ;9 v(YQ|&'8uTh,,5*,T[m)_5 HaÎ <+LY?з$2bD1`瘻7Y&)w\4[*sȳ`7e/[}ntTG]]8Κ ΜҀ@N =5;@gYx0qE=*GNn"Bݶ|f LMV̜.nzWjwUބa#ifu rߵ⢄77uW1*ֶhw2S* `:zСb{[HlϜfq4bUoGHv!e.A.R`H={`$Lv.6fi k1xo+!ﺐ| -qʬk|6I^;nSq,11I q6q!{ &rgYZ7zXZִF! (]ŗXi%@fBK'e/Z sˋ϶>7e9'|n^5H& 8-Jln?!زcQ`0XFvV. j_b&Dɭ0FN{@/f \6}˳ͥ 1W$.Z4]w[\a&'CDg" $%Yt[VWB sNpW8nȾ 1p7'9Cks~[ 2Ǻ\L (]ԃTKRo2.t7fӢ|dĒvpHĮSaXxT*uNҰ Jr43"d8ړTlx; H`I{J08.<<!I# ;O}djݙo .i)b^uyp]{ '/5q'5h{?/=vds&:j|%$_z3JZ$YO6MEcJ KN|*~+w~Cg{.Ԏwaގ(n0׮˜WՁgESkl6ڂ/ zl,61%u礠|ឣn蒇Cp` "ŌZU.ZeQIgYZ2f59da7657b5d9343e0dbb098661dda45c4f0b82ddf058c9f10e05f4106827b25b4f95ca1cedad49 983acd18ec90f8d3a7702fe7ef442de9eca26a93 f11b1db14a499cf39a77b30ecbaf6ce479036731 eca08734553756ffde3188d2ef3214435720b0d08e94e5c82a13a05ee23f661b4d8a250336d68801 = HOL-Nonstandard_Analysis