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 k= L\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.880cpu=26.380gc=1.392factor=3.357zXZִF! ^]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLw!1Rift-,׋evkiNO\H< Ga< m=7Rw쑽. 8t `R7mo-YT[O`l{(_wP(Ղ5,*m/)kޞ o >$lzY;Y9%.c0j89Џ!NTq^`'6iR=϶Gg ]gYZ7zXZִF! &]ŗXi%@^pA[{j~r50Vu'LK1 F(ܑ[僒8B+QF5f-ޭUԝAeqH8k2ӏ!&v_:mWuEY`{foڡF\!x8^+57K7 ,]" K*|B w қ}o^&5('.tu -3z5o1 -0FWZ$BpZ)Z"1',0UYZ_&cc6}3^KbiLDm/1?̓e(GT {_LZST<᳋c^꛲6/4Z--'%Mgl$6A# sz+@"5Qm&}xZk遴tW5Cʁ[hh )Bycs YCnAӞ* Ci1I(Jf`taMp[,B[/1FG?KG0i)ukXud'. ǃWH;K0#TlKL\al,S4Hi!,{Jd1L_wl vy >d.~ae׼KR`|}nq>ȢS O.Ο^Lܤ=]ݤi/]V\PDh@t#X`_{! PySUUz2 cf?Ro&ϳ|l| f-)g|;wZCnv֬:9 J~(2*cqXG.PET>`9F:B H rLn-J{@S# d>l6 aaH%E<2,St6IſdC`ux!tA=kMHogYZfd7c25ae499f8049491a32d35bb577fc42ed6d35db692ddae81c9b00ee09c2ccbd0bf253d1829313 a61ae159d682d08a86748e488b5545fc9c92026d dec87339ee5118ce60098092fcdb5a3cb9ecbdb6 5861e6aeacd558ab5a78934474ded42b0191e0cdd57208afba5748d8991727625cd8d22037844c3d = HOL-Nonstandard_Analysis