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 l7 $\ / Transitive-Closure-II:threads=2elapsed=14.543cpu=23.172gc=1.092factor=1.597zXZִF! C]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzFrZ9.]&;Fb]" eS sύ{5~|a{6GeʫJ'."_ KKޖ$8eG Nܨ3 DD> y:+.KE@i<+c`KpU'ӡ &Be$g.e(Ƃhph!嗔MmL:ځfշoh>8뢁mZnfcЏV>aDž.4}W 𐃁|{ݲ6m FէFHf>c{Ry+9֞!S"pa10qs/<o=!zngbVמl;x|{&/LÿmwMlI~cM [Bl>A<]t-&ݙXo$覱gYZ7zXZִF! MY]ŗXi%6kږؑrD &Qq)7AgڨYO&TC=N c[3*>]V(ސ/3~󽜵?H9(v .ig\4 9c ְ6ɐ CѰ>ojٔqIz,1kw ðeM}ɉ Tt-]m[j8QJ `9t|vI8%>Ѓ M?X)+^gշձKE^ʀF~3q %x0 ۍjO딨0^/MY)l&cm~_KkS3gl|Ѧ da"Ǐȏ޼p1=uA'EI, Г7؀,f&ȐDݷ{N޳-K\tFP ښ,OgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 3d085b2f15013ab9cdd8983b82002e5b7e45d759 3de7c091d40740d576bd990b6f5a920ee818fd3c 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 824ffdd9ada10c2f424ff25f9c7b62a127a40fd5 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 b5a82d0be567f21be5d0c220748cba12fb66d881238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c 7 Transitive-Closure-II