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  3l4L ]/ FOLP-ex:threads=2elapsed=3.651cpu=6.332gc=0.084factor=1.737zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^05ͩCU]NtsĢ.ᚅ -cJ߆Ѽu[[L'($@q| XqFwD 1Tqu\Z׃Iy &˴kU9fSQޱgYZ7zXZִF! ]ŗXiɟHR,~OG_lQkѹbs U[%WuN)Kّ#&ShFP%tUlҨ]] Itꖱ7Wjs2-*Ii.ZlSa&sM"JИ ŗx8OkQ/dH{K|Q&OŦG [t=JWJp f7@evoG?{sB>`}Ҥi> Нח6fؐߜ01M@Z͉:8qʡuWܖ"@+ !u7hIW;1Gk>kM[aCܧ]$li`"iR&Ka=zqӃb@{9DR2@=-vlֹL]%N5*^oX&}g#D/ʆUHy-P%!CfWRc}F VFS |!j_5Z~2STS,>= A^8ȷ4#[b/ Amj#hI(2dQt|췽d:A6!B -TߚEc<K oir%agYZ31a5d53d2664cdc8888d41c79c892f344f80c5353d2535d0e4bd099c4cd2accf026f19c1b93bdee5 df958a538452b0a26405efd32d1555b1a1a740aa   FOLP-ex