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 vvQ 4 m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.448cpu=22.324gc=0.652factor=1.667zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R1X{6!CW5̚:vZVGTt #AP&ޚ:oN?wOKbgsw[fۺC-:AHpH]6ˇ{u=s&mz_0t޶ɱ,C&H$^V24/;"EW.f`B>_K7ҮmpjPȨ`o -X Wc֫<YSzjԕyo:cm;{(>x9@޿"G?T +g5NC톛mdJgNqg`9IDgYZ7zXZִF! H?]ŗXi%6k(E-[7i,a̪yUdmx9 N׈2̧|Vkn1ܤQ}~!&&JeKr'P9S*NX];99JBпyBj9NkQ3Lc3N;8z 𱺞atv-0%[ȴ5(0Ʃ@8!C5'[f"8OrA-2 ق{GăMSc"zm+[(lGXsr;*~a >ˍi2p}-062`#stsDt0I]lQ|io)K{|m5H]a8d?nΚՀ-}䥱0%לφ"oaJQ؊7B&ykl9^$wUysC`o\O阃4Is{VPVPP~xfơ,n氍EȫNPPr(9#ؑ\T}srSLUEOS2fT+ϸm(dgӑF~i9fh01;. =R8L7|޶)a| x,O+r(]ԫw˺|OWĴ{WĞ|p O" fGu#AͧsJa­낢*_c`NX;po2 b <9K&\nBʼHof!O2PuH)lMSxp/mO }n:}DH /jDt#CKEZCw)75IEp(c'=ΡCg܊{"C`Hd%#=Y]G{1ZaƝ \[.=gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c %Q CryptoBasedCompositionalProperties