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 wQ d< m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.246cpu=22.320gc=0.688factor=1.697zXZִF! L]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"?v6ә 0 J!u!+!7)"P:3\ eł -/'p ѹ.h&{6KTHn7d9{*ܤ9_*Wje>/zՓ>0u6hM1 1&ظP ĄS}jg1f4us]D@}7O-,t7aXK}\;B&t0l&Rf2,_`ܐagϕCl88.`17UZTF@y@ %'k::պ?Qp#FFL5 2ndk< e]#%ceLPڡuFBh3}‡ȽӀriu@c2I &ZN1{PVηH1$,E=? @TOѠ;W3+7CJHdF{ x#`DΔrJA^] gYZ7zXZִF! F<W]ŗXi%n8 CjP:Ej(+]aOWfgI2kZaT<+=gd)%p0|Acr~,J!C5F9%~/dlAķITzqQ񇐷;`jzƺ?7 Q{ʬ2ڌk+#^z~zBCv9IɔFqe|A>8sy7׈ #:(lblh;˵7jJ_?*NY_گVQ9RT`^CX\a7]"Ϲ J7Q7f|.u$6!q&a&QwP9ߞLP(J&Iks|g&RPG6 x0-mƦ6Ćʑѕ'Qg š6sm޷H,L3ss-V笥 zPdž1u[| tRe&gF[K ?OE)zSA-IWO`Eי-f<[ ,X)\g,*)%Cc}G%79.l2":o%%A9]_JE4q̓`D߬կMTLͮFzt\=L$Pf~#>+Bt$U ǺO)~B #q22L,2l@"/k{s,7)O%GikZ:Wm71c0K4n B!"0r+~ny'";OyL RGn?jF"-I~gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107c7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 %Q CryptoBasedCompositionalProperties