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 ZQ 4D ]/ CryptoBasedCompositionalProperties:threads=2elapsed=13.509cpu=22.644gc=0.772factor=1.687zXZִF! ]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv5[lY$%,6R1Fms~׃ eGa%xR̠*pha[c.- ⲃoOM/ZlOqv c Dh8gjw/CPM *3<2=oUmAyb47 ~ ?r.kFrI}gxġxF-QmIMj8!Xz LκMx1dhLʢ.A`aUD"?NZhI3&SZjjə -%ׄ5`H` O925:=)G+nM 3gYZ7zXZִF! HZ]ŗXi%6y8VPȦ-!'{x>ƴƄl!% %2{针6_-A͊,\p@ҍKɬǵO{;ߗ-0[Bo\Kޏ K߫RTCogtқvN+tˆu{GLޢ&q?î9yG N g7S$2ĤIC)+>&@Z"iZ@",#Mt_<0ρnXI%KgzBp=Ur>ؕkz/h$?S_Tr"fL!z$r |43'2:bk~0㦛džqskpvzP(~op.I! eWh>n .gYZ7f28aa26507a4b717ac760f0956f0f48957e5f0f72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 %Q CryptoBasedCompositionalProperties