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  \f=5J}ڑU^ (79zRP@7Rqce ;==a,:8B+_`ix7hF@JJGbR:uY"MAD/M`$Q~s g\ˊ$sji f_lkݲţ:P uq=et22']WPzQGK֯ʼ}l f7 =Os0op@Ք 6&/LxAJ5|x?= г[&>x=k-@&(OC~<1 ˙qu/L,x';gUT|~;csAEpMp7XVcОu84a"L"i1\hN R.VC+@--'CӶW` e\rzv;ޢ ;TOw8EQyeR'.^ u(m9*>$-gYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]t߇ː\H DƳ~]"'Gh` m.Fˍ_䧒7wŨ`TTJ4E~rmer0᠆dcR5^mǤ{5mMۯ4VE`8 V|I5y .eI2(΂ s(R@5f٤f`~$ֺb-V-3P׋s)4"݄y G'yc %-Z{a>pdr{UV}}˜1)C}h)7G. Eہ4sxq4+Dp$HJACEs>/W?'SR=g {d)[(H| ,*qe9q7? d  %Ntf{6C[T;d~JMnUp^]Z1#&ui~Mx v[rn[3ԏBb6a ~<=b7$4fUq>˲QLL N 8iXt;PHMK\d|R{ #*<ܔNʕUh2 I7-[F2@KM-pk'" g#86YeYc膵PߚںV):Ma2bKIYsJTVvF5hmطkiM4̈7.ڤi0/b~9$( yZJ(!IΊt My߱>4•לQ^5`drj@cVUa뎜w*]P9_ u9@+"绲UZe32=BfQDF} VIYe:~Kel=PDQ(Y~ůvY,l੹5r#}x@:LCV®x۷HgR9/J6_+̛eB30Ӷ޼码=ފ1R~̸ŤĤE' ] cqAٲzļ3ߵeLF}1یUj\}S7lD_ ᝛_'88Л>(wK<;8u׸4ǥ͑ɽžaL砣;s/͍]?4C(u,a.Jae\sƒ=SSSbxNh\&`1l"jc(NiofS]