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 Q  m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.094cpu=22.172gc=0.684factor=1.697zXZִF! M]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"@+CA=O,'[D06kULze8S(} RЮWAjnlZ +eRYVcr ̲} ˛ ob2*IY:*`5G++ӇV\x +2ZK&W;(ىi.lsПuKTwwp$+4iA q96 ڭBˉoˇǖjÐrL΂%i5rhxS Wh+Z~FzF,3!M]ާ^MqVqn+K'-5hn)TAļzOCxay/ "‘LD7_;WE̍6?v–q)$P5)9j3}BɆJ2ba6ۚPoDBxogTی97Og)*ęz:O;(ˑ'ɵp ϯN"$t R6qa5|O$/)RYT{~̋H0E`HAQq)Eku[s9Q uy(T>`w;ޡb?9龀~cO](X5:*`RG"ƗxwTF g~?p=Z&,SI`S86HuH4 vK`79X9`K֤2PUUYd0Ɍ܀eu5Z.0 P_8ra2@!>ˣG5zRS4s_̿|ZxAs&AZTIy]ysq tǴ冈0o4} Nlc`9iUQ@ #\kvr0noB7'ަN/۪耼RO> MDhWc}_#"_(|@5I9QT,.Ԧggq>"to`Qĭg]Ihʴz-"'/X*Aؕ!]qL_lZ5۰H 6zW[BilEHW&ZfjF 6UBfhzv单RO70 ܠ@ Os̝DxvTP'8ߏNJŠUodJ@ڣ_#}k?i꥔Ozf{ß۶>sJRiV$=ԩgK+)FM3Ű'гw+L N$Y-)SdnS-8ΐyn^6apvBX0h9k4\oihpجC{!@hG ;OЌ励gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 481bfb7ae79433ff6f36d8db4ee3f8d77acb2067 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b6107fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 %Q CryptoBasedCompositionalProperties