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   sQ $t m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.109cpu=22.032gc=0.704factor=1.687zXZִF! N ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!">)呉8aɎVQ e Nd*{nHUQx}s٘`Ƃ;` eb@lUC]wan5ߗр($h o5_ܛڬa>rHt 3*FZQ2;w7ǀ?lN@xQ*{e11$S,\d8ojJk04:wi׼N49؅H6fP;6l=5Vߊ?v@.sҺ p ʀ6a1 ƒv΀J-D 0V*Y5]f)=Ыc r}o@a ]6~P-`Z `Zl" *aN|@Z^Rۉy |/=Aj>}WH@C_jG@T"z6M֜+_ˋEcl| 60θMLfW%I2'7k֍]`i.SUKFp $`M4a,b%H|r!y=Z0m"g&}ViD<{Ѓy)I&(k஛2ڹKFЁz)] X$v~YD#l|$ 7~ Dm!B6޾{yڝC[W@[D:sApIKH8o\ '̶t9myь Tz{oɫEd楀!,Fj$ @7}䫛&W C)^W5sCg 6w>zo(+c__Uf s2UC7K ]? ~|%? 1~rSK*9T "*A -*utߦ|JV_Nyb6#0bV>:<|f ף ^K|),hCF-eL/W[;ԽR3T { Z2*_l6պAR|]ЂTy$C.$CڃD 1,ΰ"VXW0` QMbRC~(Q4r|qQBk6[L}cm@Co xEH'ϣ8p[ΑCE4` IG W'$M_)h ޙgYZ7zXZִF! FI1]ŗXi%s : ϰ!c ^qP!$9rQ,&k+Kɰ#XE||%$i$h3n(: -ft(omt oυkf9LKfQ:e04C3i>Lqy3oJndnT`c:4LyjF;M֥/$d H{ ؖ3Ah+;ZNg :@,ֽI޸ fB -[]P؇+:TPҝς.WUͦbK[e X4Edں23U]K/*ͫ.+Zsyvm+.@fpp!ouL^i2Ceo6 ^vz'~nx D0%%ԯ{On|BEG&A<iR[AL8bPbDvHiDgeOO]%< dy{j6 OD7M-+B\"-{'{29HQiE/+"k^?&g2 dJq/2I 걿j+QN~=&eFYP9-}ڵ)Q8Q /T߂DWrH!z}+].]1 Z['${wҙrvmve-(ng:V#7?4?uǟA=~p63 žrXCtYsZSѨɷACm렊Z؂р,Vcݥ<+\<^\ kjbL_ O{ٿ}zvcMI5eu,KBzۙ!z@g8JweSJ+a獟u.qJc]rU+ؾFfmVIZ/z՟蠟SZ#M$HV=>6?\Qڑ/3`kLg킳R7ca 6ʌOgYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b61079711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 %Q CryptoBasedCompositionalProperties