SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 d7 \ / Transitive-Closure-II:threads=2elapsed=14.297cpu=22.920gc=1.072factor=1.607zXZִF! ]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++*/D1""9æqȑ;6=1a).ׂ1 >Fm`1].?vx1+̢!>7vo0} u\j 1CHYCe5 7znj V&>擸%~\cpؚQfE:'vfap+왚ɔ/rR&8EJY/(Ҟެۉ!j$]Q*ca]h\MVR&ke+H꠰ |(-j"dBXߠ LxeZA.]3+LL(FKYGʹ3_fEtxbM̩ȱ+ee^)Q? lY<HU1D:Ъ{!GpgYZ7zXZִF! H]ŗXi%6˻h]^`ͦ[{;,K\4 }G/}t0#p哮`ٛEHGBi(`6aP_.nˁM Y& &Gr,ƪ14kO8H+AqLX+SBn _߬ N$鉞؋œ_FYcbR39 .Y1x!-_p 4.z(r %&I{l=iԁ ]NxzjU/{.cvIa.^d^ԑ]*-4TS)>abuKgICwW@tk?^l*b KPPW GXYzO:_J{@;_sP3E>u@{d0_(u5˧Xfi&FQ_73H̬gx Eo#Xvqֽgc:,,$Rw{ HW 6Ԧ % kvH(a<1œyuㆬ4軽Rzvo%r;ҧOOg1Z> ']8ͦ6]H\Ww Vgf`C1ir &Jx1x*__HޛJ d&DЀ XA&I<kCg oh5g`;GVdrU.v!>^Bd |ުe3ulE PS$S%a}ϕ3QR[n=k=*"(VDo Qr“Ր"%?0bpD|^*]H:%eKBI d1*>m$.0`V+0ݩ|r4#Бc1 'EDdt<_>f')Ȱ% W<Ǜ#^䘄qJ@MPjX6tS  egYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d73554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 7 Transitive-Closure-II