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 g7 t / Transitive-Closure-II:threads=2elapsed=13.652cpu=23.272gc=0.864factor=1.707zXZִF! _hE+Œ6q/b@ps1s'%K_%L 7 Transitive-Closure-II!\jQn@cW'̭TpC zB *ž|\b&ѡF=ncpt7]gj,E6'ZHjϡݢiұFWE(X'm52sqpˑK#pKeg:ĠLP'L۔V [ 3/D-&~*s+4*wiOU\ӗ>ękoL^iP Ze 0e9/d4|EPfJX1w_G{AÖ}I[k@+ƩD"ֺv|7t~dPnô wCsT{%/ym|$O,aKQ;LEwl Wad̓2ir ;zA<ԕ%rq?Ut}46Tsvk\]P+Fs.):v Qcq@jf.r}X_j}*݂zzc;J +ԂW}g]șH| t&ŌS%vޡ۟SL MR.@unޛ1\dYfM^Zʝ鞲w|,J9ypQ/LS={LCeF !`N)B HUM $@f"(ZƂN1m|=F,دCb}(bDp PT(%ahCҺ^F.y.S5X-']UK@½Qs798ֵu3t17wg<ƍ}m(@}H`ԊQ5wپ<>mwdf ~-O~j^; }mHo5o IM: O*qn<_g"ZL5v>a;^$VoO`Mesl¨,!^ CA TYg4)(8GWWzoyՐbTL @Fw|aCsM4Rqc"/hφ^Eh _:'PFX۴>!gvyOڇ{d `?GHѓd. T&7)#t"ʳ鏙Z%Y