SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 b d| ] ZF-UNITY:threads=6elapsed=6.060cpu=32.132gc=1.168factor=5.307zXZִF! >]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%bHxH5:P B:fؾO[Lh5eZ."z9.+<__F{۞L2P4r4uP:T(B<"…- ®J;]nG2K':|TQ#xҒFiԑͥuL ]lv;هBL\SE iGWO&ͫ߫F;c -7ȶcD6X"RnTe*\2i.HG Mj-$бgYZ7zXZִF! hl]ŗXiɟ9 i:4V;}A<<ګMP7#\zu7TMJ V(>= ;1`.͖9Ix6IpsЋIs’]X6"wՋ/@wA rK!}879lj'6<іt6#6%"{ux<7M&ub5UqEn ["G&J0 <2)JxYM)nHa$S3E0R0Vq6D 3!\N.d[vSaDx*|XU?ڑwd3Ve7TSz GG9Po&y ܳбgYZ7zXZִF! $n8]ŗXi%B @zXG߭B(BgNy)d8gO5PT~T(w{أ$ TPFs۽x?.]dB"YoJR5)G(;i1on*h3^Ik̴g;a? FH'<21Z8K_|Ai`Mp@HL"}1 #g=FE3CE+mޖ$z<16G,GibDJ8Lϸvu_[϶3 +\byzT"qFs1q=Mc> 5P߳iӵg|k?*I^:Rb4nتhB2# v:~eړt,[a4Y}zARgᳱDzxS$AN4z0aUPAJ ]xuQSwg*tYjM>}ij$%ԪF c},y@MT:O*_,rQٺPg 㐪q-ff`;Mw:OiX?O]" J\7lv{PeG5p;OQ 4IP!{$#*GuÃpA#bpd!I:Gs(mᢇvJ>l5~2f&3?-Tu3ìV!VRk ]{[+pAzZzYW%㾐$3Pd8&H̹)-%M1;!zg͞v2!xWa\bv?'`dG);rG,,jėFqcXg.wBWM@0ƳRPrUPKgD^UH3LgYZadef545d3a7e5a2c3b7f10df4b56190066010524a4c5d301a507f7945f83c5170a983e051beeb81d 96eb001e4d3738b78cf2d370ab624306b6a0a48a 3f1ba2d1fe87905df6689335153827d1c27a2705   ZF-UNITY