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 II47 4\ / Transitive-Closure-II:threads=2elapsed=13.159cpu=22.324gc=1.028factor=1.707zXZִF! :S]ŗXf1-/6vR[O CИRO!,<^6QU5 >_hE++, /D1""9æqȑ;6=1a).ׂ1AX]Tc ` JHAk^o@G!1' h]8z!X* [Hkb٬XERNfMr^Z)V@eJr)Ix<&|BLpCVĻh9IU :blum|ç:Zz4LQA%KF3%|Jd:OنVQ%p`xF(!' 1{c,,kES:Jt")Œ=[sM@nX-QqGuN#M>57qLa:r63oW_̐e`Ѷb|BLլ^t~whɯG} 4cEl.k!-eK9e+->"D]Jwe>&P0cQxlp@Sݎ^|"O#(|"P~$ojE:|'4k@V g՘ Շ6>Q42m?e{nJi;ȟ]M' >`2 %=aZ7m LK\ۇPP>P@LD/lҠP= dF-BKIj=#RSNb8^4 t# ;~njDʄ>I)P^.FW̪nsW+q^3i+/da Th?Ryc:A@ܬ(o[-|!S$ A|"fd, ؁Ǣqv\lVT}w9^%k۽*Eo>cP EF$~ca;YqC"t$HN qbqA gT6wdqgxV9 +Q%.IF۩&Zڥ I[&챠փ̱g%i5ckő` j k0p26dok瀹ߓi°:H]=1;EWf =3:8@%hSDS%PՀ#(,W96I]%le@q.M?r5`'7h h~Z(=刜ʦ&qkYu)RJy ^}6 y V!8eG=9 +|WŰxnp;Wd-M(2x/N&")tY.9)`if1W>rc]Յ}I`/^_(U ߰gQv^ &d̃k Cw9@<^-\=+fB'ç]C2O\+¨&ѤX^;sPxIF,'ܞ-bu(42#@}9e)m-x0nC,A!%cL8rhM#}(wYrGթ(p0݋ eQ_ VgYZ06449ffa42e3ad9928207f59223e44cf25b2ee37 15e3687955745d143d84e0b661213649ef7f89f5 19e2cf0910b7071efb7af8472164cf296f5e5ce5 381df363fb5af5931f68add2be63eda5ce000611 3d085b2f15013ab9cdd8983b82002e5b7e45d759 6b3f34b31437c70042e95bdd0a1d13e4c08cf201 81de4762b4e143259c5d9fb6b097811906b676c1 84423e11b6d52228b0f687765f7ba7a489cbaf53 ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82 b3ea658d95c733cf18f45296a0c53b2b9aa81b62 ec92008245efcc8529cac7bd0a7e407a8d923d73c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 7 Transitive-Closure-II