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  $lT ] ZF-UNITY:threads=6elapsed=5.935cpu=31.256gc=1.296factor=5.277zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb:N:̝2SfVteGDgnݦUK_r+g4]xx=]6}(Kf^^6l!FJU) \$#D yU8DTQ+ >|ǭ$'[f<2K;S "\X^o6zO-7,lnn7LP7i՜5P8ULl|6_NH׉^G{ct/aRW'{yƋ)՚QuWKcO',^}Y)07 ѹrRNJ!:F D{wvCl!Y3jIQ򗡎Y%F AktԹJ,aΡlD5B/&5c,Qz7̝vhydpuw'xZ1|U)8wzͨ؊f,qqcDh?s֋a! "|޵>A˲z%옘$"NZXAƠ1[Xݛ'r &>'r?UkVvZd4Nf 8(vܓ,P {%5ԋgYZ7zXZִF! hn]ŗXiɟ9 i:4V;}A<<ګMP7$.ZC׫/W!Jݰ \ Pe7#7OFkTV`+u[ʸy?=,N C˦\uǾ(?[WoF6`nF \h~c$JUfIɆՖTĝ#{ 4|1 j2wc{tԼNNW֨QI?ho(u)ɸ~-)^znv1DS$Jm0T=KSA7[4ԒRI*s4rUВeKc/2!lq'Pkb2'Оpĵy|zho >gYZ7zXZִF! pb]ŗXi%@^~-Y_>6t&7dVGgHuYPiHi,'ci1\l*\-1~Dѝ.&IݗsP3űP_}?} { ~ؚPbyn- (ݦ.wh@)v_沓7{al E5(amO /sd AhcQ,[?RÉ>B~2P4Ӵ1MfVOi4I<) 2ޫ0׸tpA.vgnnx`gc̾~8gp*^*E7Իwiqm<NFkKF$9xmp/Oӟ`(^U~V P:BZ0אzUA%ӈ`bWEKHW ]6c磉xw [2'Gy*T_|EzS$PSɰG `Dw+q4NP6FdO,ק&P\)TrL^"1Z/u+%]}pTAik~gqPYu6{-MطwAŜȞ{pҗʡS,l9c^_)"lj 5w}lÍ&jT-3p(P/@bcN&f `S>¬|[yV 1M1N"bY}}4Cc䁐tÏ=z6hT<͊+>!%Gɯp XufMw8{㵮㹷'U,>LsgYZf28af067bae7c1ba965d8736ec7e8c79abafb6cedb692ddae81c9b00ee09c2ccbd0bf253d1829313 4217e9cb71117561f2d3de6e3f9326f4f22c9390 204b890e2f63a83e019f4969254717613763c8b0   ZF-UNITY