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 s1$$ m% Transitive-Closure:threads=2elapsed=3.651cpu=7.012gc=0.296factor=1.927zXZִF! &I]ŗXf1-/6vR[Uy{n > gA[@s)++ٰ4\!&Jc>BOf@@ ~b\(y| 1 Transitive-Closure,ځŻS"K %9I2+`h{ \c4sASb$:̵2w?돚`Lơr̺]M$s/Ar&mmTau W/679h Cy^O0|_\$q؆$1 i^~\v5)o4r_q0}~*qln岀)`݆e^h )oI;k0zeg$e u ~ulO 9TBJv$=S!)26c|skcX։n?ɽQ3z.FbeLB+K~jDs:Q42<W&k-D0W*fZaESVs+n1Zެ}0F6G!vK-^8Kf;gKCi*vV;܀1IhƋDκF.cYErN҂Y(--͖<rƭ,cM`r*dI&,mtE]`-Q"[?Tag:FImiMGv!>aZyͦә#H{) Ei'['=e) k6~1=OR;G-^cO؅Xn`k쐵7JD+iM +3ZgYZ7zXZִF! ]ŗXi%!0/d Imˍ.ÉX$E9!Ԗ})Y_0\-!H2;΁ +x"/'O4~@ Sh4J9wMɰ%(>\Fvssغ`}+,עQ/S g@3B^nT:B pRQc7a8F Xn`JR[^Mg*aA(O"]`_f/C;hOQ~ovCg 1GQ !I$~x_m+ 9\UuFe{&zQ]Ǧ:jUh4F_FyrZeLUOc+\ܳo߄yI̛;BkW" 3i$n՚8ow" Dݯ0ݵeu]$RWA`N` N"oɫ7qgYZ57d832db0aea24c58f93e26834b9d0b95d5f2f1a 609e7c203fab9c1b15b154da117a3e7fd2df4fda 6f9b654c00c3b3831c2295363b420f3434de18ac 8357add3030daba39d07599599331240c239884e a73e6f31a63992a1aaabae1d886da29a4443a823 aff6d335e087f0bbcae65cf03ab5cbefe2c83393 e11a13098d926e9f1c520c7b8af2fac038a923ef efd67b472c3e3268099a451e297bcdef800c613a f54397db183df16967fdc6332256a0179adde77907addc2441fed9b50c84968593d4ab6a353bb724 8db62e28615d4e139a28fa3d5b23cc3a3410b988 97c88b7f0434afdf88414f05525232158f0cd0a5 4657d8f2ce7824456475d2bdaff271d1acb64f85 70d9155c47e5494c732515113b8a938b0c5bbfa4