SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   a/ m/ FeatherweightJava:threads=2elapsed=11.823cpu=22.584gc=0.744factor=1.917zXZִF! J]ŗXf1-/6vRZ9@{q$Szyj߫iIlCq4D_HȅC *hootvyRcdg!KWVs~Yh!;#{cnM bN$"#<˥]gTU3|u4N j4pr[i;qFmvxP2muVC0{":qz Z@]HHwliddeGZa5U\e 3Co2U/u\AC3w{YgqSneN@{`/$'Ba Y7 R}`:2:ECMW P{׶##q#n'-^dIjo4`]6*eNQ⠞ T'O ^m{ g7^9qcRݐFY4w(\)!3eN/#9cQ'bAOrxr >(_ ֩s04VYGn+E F-X3L ̓Z-ƪ˒K)|$PB(*fV _w%^rR_{*K>aQ -M r0SKG}jJ[.6ϕ#Va湊܅x%?ړmGݟ1BW#S7l fLR-rC?8LI߃ȯ=mft4xƐ 1k$nk#+z;ѫU-Rw%>S}1\F.cɉ7I6;|a`B-@Q-Cs=J+2qB* 4I6;%ZkimtaDl mX ؤS0ԵLb],a$ykTUB{.V@* =U[3Z]{JT\\p&beBH6j~||]_M[bV oL\tvŌi] ְ.P + d|gYZ7zXZִF! C=]ŗXi%0p?G/Lv0V)x- 1ȚjDi?r׭v`&,4ȖioH_FInt])ӕRYc$?`[_L=IJt<Ƥzay~a+a'zqg6ۂVv}& IYM9 .H μ[ *6m4_qvj:Gke(S 29N i QIUa2™m}e`.KvK4fKAo[Mw[vD5XL3lgKe;_]9w8H֭$j"*N:L~deIEHJiD(rSzCnM6A< PpyJ1w5\8N!k4ß[wy3jb.5U0:D l[,$^dZm }r9h`puY4[xAC'wi麈<,D9MtQbfOWac.+E ƥ TR,-~ /NTےSh1RܻX; D&e%Vdp)Ճ_0` =;je5)x%%$K#)Ck!ޱq7Xk8L7-GۯQpN.I N$]{X%<˒zK~,4E.Ki*7Q1*뀲ucsZoh(0rQ/76(1@я츥jx %V#zC辺gc8zeԟn=b.8_>* 3C.X@җkd!^@+HB&]w kwMM`\0Q2-~E;LxG.ЧxgYZ15b749966d51ddea26fd9a520aa4813973991f3b 198938cbcbc4ce0043784e081f4ed6f385fc3fd9 1e9875f5e0a757bfebbcb562f5c50b5e166c192a 567f9f3722ba555a42e70439beb4b81042d52d87 6997f9235ca3d099fe0942d18074c256eeffea71 79f51d0a15eab3b8daf33ea13a876578226efb47 8a7bdf614baadee9c2f7718c6862516e546b4b93 c35e0a99ae96f4f979865d8a9d9e12042bcc0842 f0b6e798c92be38da5d39829f18dc38183d2822f3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 2f80d3f93a8e8908ea20a991b6190f7aaeac097c