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  4d$ ] ZF-UNITY:threads=6elapsed=5.814cpu=30.612gc=1.380factor=5.267zXZִF! @]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b nkfьm 4,cA@ w';`.p CF>,cW2 - +Ϲ:o`!:sm!>ȿ~ \#!.LQ bSIR`p3)0n4U4û#%AߧCw96G:Uv%H|-MЦ @Qz$/G`T-],' y"a}3Fڞ3^bq{})oMN3!"xjt >  k"jVI d/RE.4{m4ɰjks0^T`B8G4O]|'c~I^m2O=iDU+Jb4cڜ/ H"6B!ģZZ_Y~ZNK%S8ae—d幂s]chdQ4@Cq7FoX 9>+8Ǒ0۪ol H)q@>&V5@T͊uZhSSq0BcD<|PH=5Ny(LMB#W x-2{ z&NgYZ7zXZִF! hk]ŗXiɟ9 i:4V;}A<<ګMP7 Ԭ[+DYtzUYZ×TSPrW%-Abqex&]4QziLAF犨T>"r)qq4.&bw rc4jlشKlYꌋ'7L#Y0Bi"KSuєjPnE ǡiCCL[.?q$4[iwf&w}HY>r0}f.5 BQ/-E'E]I;!WdG[T,J9%l89f;lpǦ0ԗ;YOv魀}⩸ !gYZ7zXZִF! dJ]ŗXi%> dA?)WX[wn*M`vf騥[Zk^Z6aPlIwIuH}jzu1ʶR׷Og`I1xU#PwȘT1-4sE[{~ߣ\@0cwXx`PXxȶ9$}N<'e(W)ًإ;p+D"<#|C1p[W\5z1o#1^^О 9u> U zƙq-β9nDc5>~um0Pt·6 p+1Gd)t0;kDٖ|$5:UQ*Ĉlu4B_% <;ݗG#,"N+U?1]Z}q☦x~*Fz GFW)IeܠZWp D LHK,eu$hư^KPDws^\2Xb [ oTn.>N_'3u-cOn/*ͺB˖nbf KM 3CWPm@AlϝϘ ;UI+t4r6uXHGGP'$]>r{/s>r\CgYZa3cbb1e40c6a1ec233df740e7507c478ad62e84a86b56c8a9a539e895ed8d31c0f69ae143fdf0109 ca353a8cdf84901e0715ffbb1279b06eed4a0b9a c5a3ca89357c5dddb150663e12a3004bc7ea8808   ZF-UNITY