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 c) |tL ]/ BNF_Operations:threads=8elapsed=9.310cpu=45.419gc=9.805factor=4.887zXZִF! u]ŗXf[&ZC\&XNt:&9x8>*ouʼTüt)*K0 Vc[=?eRݹ"si$_܉`/^€?kURȂR[>ЫRFlh?) MT '*DZ.~# =VZ+%r붰ŋ%dcn,:{|97-*ޝKCH|5hQ/J4:[6Vt9{sG!Q PqV;Dh 8gJ.9 `I´[&5ZiF6DPz.hW>vpJ[!.=j_t1CZ<.b>aKa9./ e#pp?S&z ҋ9~se<-[׋N*nͬht{BlGZⲜϠOd(& 7GkKk ξܮ0ϱpK2SƩDT5JYe=!4J*o:bTAv~OfcAS"q_UR|2ʅT<pqƅTkΊzn?msX_T3z#X lWj#u.{whc=}0G~>{0$leLu[rdzN PP$a.@pB}5#HT=-1B֓;AZ R#-Y{ e4_Јd5FxÛ ;][Lp\`HD;PcpOK~\W Up":}cD3Z%ZwaSξ/W-o.zy-A+,R!mɂhQ_mvS@ p'uA ÄxJI+Td1kVb7c #>uh;̉t7>1$0ԏ2hrm \)^!koan;?Șrx5U)GYz 3 gֽ1vg