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 cc7 d|D ]% HOL-Quotient_Examples:threads=2elapsed=34.805cpu=44.820gc=3.324factor=1.297zXZִF! r]ŗXf1-q恈N/|p~p%+)</80WkLaAǖf46>Oh[v6*Cxð\gۗTeH(7+{a ){# %oJfU𿡦xhʵs7pdXD a z?6LF;w 6j#svү$D+${!*j|*7awJuGAg`A$u^ sٰ; T~!ȱiQnVف^Ae3Y|$KHhMgIH]|ـc7'QyRLU*&X3~H@bVJx|˪@F&+ZiSY>X(pAʔ9%tGJ/K.&9WՁ[l (ᮝOt_^y YSK D+'l"$xΡ.Βzsbh~Mg!dŋ?srskUbNeGSH[R^-%4ѓk5 BE 'qAVK1V>Njj@gn'BqZ|1^ VyBMWr qK^L!Ed.XgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP 6 sB(i:_NjS!Oq_VrOumQ7Uv.Oxu?+ >C(Gz|&Q[vI`H˹nUirq| XڸYUAQ*L كdOQ[G7r̉j>C7&']+ӥ .Eʬk9ԙH=kkYX._Y| yPu F}<.i9z>lYhvyC p@1<v6FTm{>=2&JwT^|]|tܤF7] %W0C1­oO,!uRzYLZ׸3 jF 2g$z;~RAG7 V|,bMdl,ĒvmLkD[C6e[SjCX ?!]3 kivz~DJI&]{XZ^b3YJgL 0K1>a';j 67|^wS6X/am>ag0~[Նt`f/Yi:dcWp5=j<̢6sL UQFFC) Y4|q I?)Ĉ"|R&w^VN^+l{\y<֕|Uz*b qrt}$w{ZC%7G#LmrZe|08~=ݢa fqK ! YoAwc r ˳{6L"9u!%Hۛ]_GnsfO+d˭ [4X}O""wd_eIў G ԙYPM3sь(e d-T'(V۝S=+ǹuycV;_GtNjNx-