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 EE81 lld ]]HereditarilyFinite:threads=8elapsed=6.218cpu=28.703gc=1.016factor=4.627zXZִF! @]ŗXf[&pC3jJEN,rHH}x>eI{nHzXa)_3KGWA.?%HGy*ko e{reFq1Z.#*a.PV6 Sl Qj:\ލ4p? vz[Db)ߚhG-v@Gqڬ Ga w.Ƶ|Q]#>$_[ﺐQ!aA 8e%GO&8Qdu["VTv@:.Ti >gYZ7zXZִF! ]ŗXiɟ пPTR<6;? D{'JѠCtT~]7֝-D*tt$b3wDW\]C"8`QQPwu 1+Wk#K4kHj Y KCb!bJ Wnl>\ 'O=/v?P&/,XC{:[0K:OKCƛ@@T\*"잚 !,߫lpʤ^Nޡ#]SͿ3Cr$ʑy#6,7߾jʖu;W֕RvPhݭK09<}[k=_0P-8z*rjÏ]uCGb̚18'K1'rUb@F6 +CޝI,!֜&5DT^¿8cRY|@ؤ˙'>ɽ?|S~(-*ިK~k3S2玷ZGt#|RM,eɀP( <0 ^n ykìz.-]S ѢPD,$6] j.RR{IFC`%)Hk7 Scc5ϴ^ ,XsBEy%*k8-&^]thoURHL˾c`Jur?Sx١P :@'S;mpt Fv3b%" Iw3~; }'q^wQ|zOn# uh?>ƫDߦQ0hЁJ G?~9gTotDnGOZ _)MLds! Q87hM/DIT@<,xZ>20>o;bOeJ9n5Q$2Z"Dܸ0d{ kMg M]p_K嫂200!-<؊14N<6Xs=gem׆p fDgYZ742329344365da67eaf8c639c10bf98f70338cc4c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b 73b47e28ecbfcbbc455d66c78eb653314a508e0bd9d051c8b1efbc6e34dfae6cd7475735967605d6 1 HereditarilyFinite