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 g= DT$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.726cpu=26.092gc=1.448factor=3.387zXZִF! Y]ŗXf1-q恈1`VnȆf ס@,ns*%~FȒk_a(yR.OlAXLw!1Rift-,׋evOgjxfP)]}b-NJ|<Ņ=ohO>-bKyXU/ 72A=Pev9;\Br5O\rRfFE5X qӋTtcnl# Ħ;Զ i3\2` 5l~1x}m|m!Y3PS}O1[ksJqwF~/{zgYZ7zXZִF! b]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>e [H<śVHr Hk2f_ |(ؾ#Dv` EHx| 4x%pC̬bEIs lSU/ӇLv:Q{%pc/Df?R{" ,Ixx7^L6UH_ }!vOkMr)pso"Kl䪣[f+JPyT>wV3m)o9ҩ$kgꫡqųJqa] }j&š1=z*]cJ\}Tu4utVLIs pKֺ}oƳ?ʠa8E9j=b֡۔lG LyŸ@2St,|K,$LQcx"MI!ˬ/vb}Y+`YO !$ d X'O=c>9+4*'r>FMKvgYZ9f25427bc9ef23c79f5c41484a849830b2edbf5c357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b19 1f9439498da2d8aca404011524b8312a5bdc159e 2de3ab51c8ae63e1d8912ac6d63a7c211efaeb87e8e1b6bafc33de91a7cd69f19ba8362078c6d18d = HOL-Nonstandard_Analysis