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 55H= \\D ]S]HOL-Nonstandard_Analysis:threads=2elapsed=11.993cpu=21.768gc=1.236factor=1.817zXZִF! 0e]ŗXf1-q恈1`VnȆf ס@wp  қ@\]{f u}bB70.gR=.afY U.O\MZxf\#2'b2|ܻ֚~~MH׮wY|T)M:Vc kf $KgYZ7zXZִF! f]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>}mꇼKJ #'6OQ-qG9uwy.͞/ y@8C&@plu7$Os9(cD[HoUgTM%_%_3 $&SF/{;( OBWs&OSy'V%۶I2~qӊb?ffN(bP^r=3x q4 8+*{ЫΣ'n|C?\ 5YtADygv!v]C޼u5e FK @QEMgYZ7zXZִF! V]ŗXi%>gg^ SGj؛r؊&fn*Qab U\!:MmI[fxM[리ŜMrV:mX<3ܼ颺,PO707jha|Ϯf\c1UY,"ȦU RSMy"9ºfPi;Q^9 _ &[dSkukG#6?*'RHؚrWԯ `ِHj#in 4_#ZJP R זS\xlNUHl4᮵f羭A!}wbYEށ\ӥ 'WBRq^9"=C Fy2q\d=] \yZR_})a4=x!]Vq40Ջ431ei. Fmߌ6!a6]/ZD䋩`Z;fŊ F=Īcs|+ PsD/ \×#ma[8" 7H4syye{=ZR<Ré֝;IQV;nк^3!T,f]]B'cF5I֏gӎ' S]sV}ADX""B$ WF礦^zP߂-K0 L