SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  = D4 ]S]HOL-Nonstandard_Analysis:threads=6elapsed=6.943cpu=24.180gc=1.012factor=3.487zXZִF! ~]ŗXf1-q恈1`VnȆf ס@wp  қ@\]ϭ:2[cˬ8C %O`8TM"l݄St$?p+[h΅՝^NIjo8*;bu!^p)% f,IwF{`ۙ"RNCQ~t)m r@lDt0 @!Th|;͗RA.ɽdNj#-5,pZ‰%ñ3 /)X D4BO]B=cAHVR,YB@Уj)cXn _D%`u%cC/[HHD ehrztjD؝G gYZ7zXZִF! []ŗXiɟ1$BQ0dE8sM \`Nᵝ^>A$LbZTB447?M%o"Wv]u -n"Fjw8d/q\u0}HLĚ/>u1Ծvyi8us bn--%IL,1'8VH&Lms@q"5e̳ljmJۜSƚCUt'sIW-^d/2Ӫ9l3H*X?mgIV%A GC^qȉ]Ƶ"r1O (  +gYZ7zXZִF! &]ŗXi%B@ϝ},%,}kx:d'dyhW}NO}VȃwpeL[+ʠ|к8QxR~]l~8s5 TkPyO^ι gfwyjȒ5Xi!D>0,EL*V vP!a;]ާ=xt9+z1 tOP!ʐz\BVV v+a-%p@O#([3Xp 71qʆޏ+*;4_QOHҳ>ki#e+8c7KFp>ҝq7$϶'3/oCK\6Ɩ~%WR?srV@3VWJ͢'əcPijJ'zS ,jjfGiH)w)PR0޶q;p…\ p\q"D4 O'-H.ӴKcJ:٢q]VWmk&fFsU1Z7}ubV^żt[gy әʦ HS^-