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 = D\ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.395cpu=24.064gc=1.100factor=3.257zXZִF! )Z]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk EOgKLtJyk%T5*9SSxJkf >uovf.O;HSz8aXʁ&o;S)tRX\mкِI4M#!drpRoYEtVE["Y',LS WVIQyce|~f*ɹ ߢ>W,05 +t9>DθSn.HrƏyȜ4%9I7y@]Au1~*$LvVWt"mL\'DgYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>C:SZqp_ ы w۝:,'>^8;է]YitV~tD+V~BG ΍h Be|r3L,/0SLv9$s ƥCs/OqAm-ߋV%[8 tY\J< 6`p[Gʻ=GEPe{:$%twp9jQFLRo D!Hyј/[[rr/,,L9=/+RJzLby\$ck,"xWDM@:aGcX?GQ2lXaBOVB{;gYub05_gmVՃ:[CLL\RGV+uS0}m%ޜ\N9G$'F\7$ir6!">zXL A-k]ss$EN,'c̸S}6W17of|^F7NkkĢhab iq &a+CY?}{MKcvL+k쵷5HoJgYZ7c6aeb784679074aa513d17a564ce9f07a17a3d633566f3cddb263229cca6b46057522afa84933ef bb7ec89f1f64990bcc746653a2c829e6a81d9bf2 9f96cfea966aa19fa07f5a219d81239473d5d2f3 ba31a12f9c64226a89fb472bf575d556a312e021880b6b4fcf95fa50a41bde51b16a042611071dad = HOL-Nonstandard_Analysis