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 1l| m% Transitive-Closure:threads=2elapsed=3.723cpu=7.140gc=0.344factor=1.927zXZִF! (o]ŗXf1-/6vR[l- 2K5![7uoQ8r kZUS1E٥h:$aM:6BBxhP8ی^z pg 1 Transitive-Closure,V"&!RrR"d/mfY$[m,بe^紂etw̷3a1OFe}<=-zPDi$,}k`ƓDaהS:$ݤNxHXtR-\3Sm^9+< 5W HI"#X(&F%E8<5X5t?jtFFۍ,hX\XDA+[x'eڇ8ڪ ŭd)K/7-  h-\rSs,_ Ni=38yj4w0{oe[K&NS] _y}n8uOPe97SLF@Ȕ ^GdK)\Ze.zD[IɤYXGe?lb\j>^| i;%OfamE9kuU5&xLPKTKbyV$Dw(1A l{> *&^/3A:~@fg/`X~35J# !4Mo6cAtIX67CMjf}ZpW!6]P,KƱgYZ7zXZִF! v]ŗXi%3DA@ˀT5|dE_>B-_60 i+lUj$JhXolΌ#s1 %a$-Hg |Y ϻ)h 4{qϫ߼-'ݬY5n& P/taڽFwSC_/flP3p4bIP#Ɍ^J@f"Fx):O/0KaŠ~\&k.Vb 0B'K+>EUa |Hںᬠc004tC>FQφ""t}wJ ϲyuTٰ6/xS/յl 6%"= R#_]&=5pMjE}v*A1Xj ('(;~og# cyXSʆl5w:I XU-d= krP|Ht Ia[%цJ,?-'6FsvWe)3u7:gYZ57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e 87e4279a89da9f9aeaadfd6d24a989d978c10301 a73e6f31a63992a1aaabae1d886da29a4443a823 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde77919db22422d072d942dca4f79a146f700713ec562 0ce727582e1fcdc0d95ceb5a898ac2c38b5af35b da76f4b92afdb742ca6bfad17fce36af6c2522b1 6f103b0d90558571acbb47f3a013be0da58a8393 780d20f17021465302b91bc4eb795ea9caa741f6