SQLite format 3@ . BBh77otableisabelle_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 ::C7 D ]/ Transitive-Closure-II:threads=2elapsed=13.235cpu=21.668gc=1.208factor=1.647zXZִF! a]ŗXf1-q恈͐7ӺV 0t ŠdrviJ#UHlyzyߪK@*CHT|5W5s/ -%тU-, 5\A%/ml=ut@ HXU0Q-/ri@#05|&!T n [e:s؟9kxJGQ7C| έ7y Po" r 2($ 硾CǙ'O_lk,RmiE]BC@]Vd;'ASZŬjyfA(E@W@)h n*Fp8> [SqdgkgñgYZ7zXZִF! K~]ŗXi%92Cڏ3hDVqV8j< T,JyhwsF|KNFe:0XQ:*ч KO'x8.2b@ɂЩmU`?L{'EqgOdWs2mAwHiGBqB9]|֎+ -q[cKLPp/\8+as`9>/;$PX˦( bTK]f}{Ts&VhkҔU#tMo8x$iq`)_^U]25wn#Zf4U)bM_U'ڮ&>4ޥSJ+#nfTJde& ב.#\gIA)* 6#PMҏFm%-_(@5xɂs1)t*x".@~})Jxp;]M>68@@YbbS·w\!>ˡ SbRCiKb?k'󤯬~iEG]6?'gW屙h*U, Q (`02fֽglFۨJB_iH#6{:Ul- kAy< Rk~*0a&";ap2 VF;~Vh~%4G7K39>_,dF>2Tњa.՚0c7=> ]oX:|o-qy/AR(v@qBf֥kJ5(Va+ (egYZ7f803595c0e300f6e92b0e340afb8f9c4f6a0234f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 7 Transitive-Closure-II