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= TL$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.605cpu=25.064gc=1.144factor=3.307zXZִF! Jd]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXL@@YO/0i57ÇlrFZOL+|ϖACw\ xqɵTT;_T|lCrK.\`gyX`Zm 5tվ=Sd3B7 UZ?$Zֶ!㸗 7m YmMNˮQ!le4=$VtC-ݹ]8L,9{~OP_Dbe1'.̬+wG (W>H0EGC 'U+vYRgR1@h/q2̳w|ު^o__Xh%څ6Q j LBI$6f֐㤀4 l3YR?h̿PeGu_"Q@K;HSp%J^M%í:t'c'}s߅.4V5{c)f r&x'fpcoCDlJ"e|alܽ{R` z4fxml8<5Ydm+E?-W~}&0UYK7Z=^`NL@΃vedU7 @o{T>kƂ%%*{oϦ`9)OnUa[}/t2CmМyo mo uV8"+zPȎn͟  HCU%_=MgWbA${_/\`q"Kr90rJ  SN\0qK۩ 7gvk*b֧}9Fv@O^F:tMX`SFI4W!C/m`%oScڲ% AZ]B77/b`) _nsʐP$v`n(e'{%tN[6;8r-ݨ]E&.7Io3_98%t.% E0mRrzGJn٤] u{gz[wRc%Rq[^M3wgYZa4b158f15ab878782a94c380d89a5cb118b381eeae96c4661efb67fa55c859aee66272e43d21faf1 df5aaee0a1fb0d2bd927fe99191fb28d9ac1e456 4c87dae7a22a56cb1a92c51c901d150667bd40a9 7ede7a58b97b7332a0ce68a911b7865636eb892dc6ea5020215d1bfb7865c24d037c996900451c75 = HOL-Nonstandard_Analysis